About the Execution of LoLA for DNAwalker-PT-15ringRRLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2491.860 | 3600000.00 | 7182318.00 | 9243.30 | ?F????T??T??T?F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.7K 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.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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-15ringRRLarge, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500329
=====================================================================
--------------------
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-15ringRRLarge-ReachabilityFireability-00
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-01
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-02
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-03
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-04
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-05
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-06
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-07
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-08
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-09
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-10
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-11
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-12
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-13
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-14
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526858197239
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-15ringRRLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-15ringRRLarge formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ DNAwalker-PT-15ringRRLarge @ 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-15ringRRLarge-ReachabilityFireability.task
lola: E (F ((FIREABLE(t3_6) AND FIREABLE(t17_18) AND NOT FIREABLE(t18_15) AND FIREABLE(t2_17) AND (FIREABLE(t27_16) OR FIREABLE(t16_13)) AND (NOT FIREABLE(t2_14) OR NOT FIREABLE(t14_10))))) : E (F ((NOT FIREABLE(t13_14) AND NOT FIREABLE(t3_24) AND (FIREABLE(t2_17) OR FIREABLE(t27_6) OR FIREABLE(t19_16) OR FIREABLE(t5_2)) AND FIREABLE(t2_25) AND FIREABLE(t3_26) AND FIREABLE(t1_22) AND FIREABLE(t20_23)))) : A (G ((FIREABLE(t14_13) OR (NOT FIREABLE(t21_19) AND NOT FIREABLE(t1_27)) OR (NOT FIREABLE(t24_3) AND NOT FIREABLE(t3_24))))) : E (F (((FIREABLE(t17_1) OR FIREABLE(t25_26) OR (FIREABLE(t5_3) AND FIREABLE(tb15)) OR (NOT FIREABLE(t13_14) AND (FIREABLE(t23_2) OR FIREABLE(t16_9)))) AND FIREABLE(t2_1)))) : E (F ((FIREABLE(t3_5) AND FIREABLE(t16_13)))) : E (F ((FIREABLE(t1_4) AND NOT FIREABLE(t11_16) AND (NOT FIREABLE(t4_9) OR NOT FIREABLE(t4_27)) AND FIREABLE(t8_11)))) : E (F (((FIREABLE(t14_17) AND FIREABLE(t15_2) AND NOT FIREABLE(t12_8)) OR FIREABLE(t15_16) OR (FIREABLE(t1_12) AND FIREABLE(t17_22) AND FIREABLE(t17_13) AND FIREABLE(t5_4) AND FIREABLE(t16_22))))) : E (F ((FIREABLE(t14_11) AND FIREABLE(t4_27) AND FIREABLE(t18_13) AND FIREABLE(t6_3) AND FIREABLE(t4_8) AND FIREABLE(t16_22) AND NOT FIREABLE(t20_22) AND (FIREABLE(tAb15) OR FIREABLE(t15_18) OR FIREABLE(t4_9))))) : A (G ((NOT FIREABLE(t23_3) OR NOT FIREABLE(t10_15) OR NOT FIREABLE(t17_18) OR ((NOT FIREABLE(t21_15) OR NOT FIREABLE(t16_8)) AND FIREABLE(t1_3))))) : E (F (((FIREABLE(t21_2) AND FIREABLE(t2_21)) OR FIREABLE(t27_26)))) : E (F (FIREABLE(t3_1))) : E (F ((NOT FIREABLE(t8_11) AND (FIREABLE(t27_23) OR FIREABLE(t24_21)) AND FIREABLE(t26_3) AND NOT FIREABLE(t1_3) AND (NOT FIREABLE(t24_22) OR FIREABLE(t4_16))))) : A (G ((NOT FIREABLE(t1_25) OR (NOT FIREABLE(t2_25) AND NOT FIREABLE(t23_2))))) : A (G (NOT FIREABLE(t6_1))) : E (F ((FIREABLE(t27_2) AND FIREABLE(t1_9) AND (NOT FIREABLE(t20_1) OR NOT FIREABLE(t8_6))))) : A (G ((NOT FIREABLE(t12_15) OR (NOT FIREABLE(t8_5) AND NOT FIREABLE(t19_18)) OR NOT FIREABLE(t20_18))))
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(t3_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(t3_1)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 370330 markings, 1367829 edges, 74066 markings/sec, 0 secs
lola: sara is running 5 secs || 719296 markings, 2801840 edges, 69793 markings/sec, 5 secs
lola: sara is running 10 secs || 1063488 markings, 4123239 edges, 68838 markings/sec, 10 secs
lola: sara is running 15 secs || 1421795 markings, 5378709 edges, 71661 markings/sec, 15 secs
lola: sara is running 20 secs || 1768747 markings, 7004862 edges, 69390 markings/sec, 20 secs
lola: sara is running 25 secs || 2094144 markings, 8704554 edges, 65079 markings/sec, 25 secs
lola: sara is running 30 secs || 2426975 markings, 10480158 edges, 66566 markings/sec, 30 secs
lola: sara is running 35 secs || 2822670 markings, 11705680 edges, 79139 markings/sec, 35 secs
lola: sara is running 40 secs || 3204005 markings, 13171135 edges, 76267 markings/sec, 40 secs
lola: sara is running 45 secs || 3564579 markings, 14833755 edges, 72115 markings/sec, 45 secs
lola: sara is running 50 secs || 3904873 markings, 16515884 edges, 68059 markings/sec, 50 secs
lola: sara is running 55 secs || 4260737 markings, 18163063 edges, 71173 markings/sec, 55 secs
lola: sara is running 60 secs || 4656056 markings, 19607963 edges, 79064 markings/sec, 60 secs
lola: sara is running 65 secs || 5011179 markings, 21265222 edges, 71025 markings/sec, 65 secs
lola: sara is running 70 secs || 5333126 markings, 23061898 edges, 64389 markings/sec, 70 secs
lola: sara is running 75 secs || 5696697 markings, 24538617 edges, 72714 markings/sec, 75 secs
lola: sara is running 80 secs || 6045794 markings, 26167336 edges, 69819 markings/sec, 80 secs
lola: sara is running 85 secs || 6359687 markings, 27897081 edges, 62779 markings/sec, 85 secs
lola: sara is running 90 secs || 6703240 markings, 29487005 edges, 68711 markings/sec, 90 secs
lola: sara is running 95 secs || 7016057 markings, 31284454 edges, 62563 markings/sec, 95 secs
lola: sara is running 100 secs || 7344292 markings, 32727656 edges, 65647 markings/sec, 100 secs
lola: sara is running 105 secs || 7684926 markings, 34161956 edges, 68127 markings/sec, 105 secs
lola: sara is running 110 secs || 7987969 markings, 35805762 edges, 60609 markings/sec, 110 secs
lola: sara is running 115 secs || 8304982 markings, 37301092 edges, 63403 markings/sec, 115 secs
lola: sara is running 120 secs || 8605805 markings, 39074473 edges, 60165 markings/sec, 120 secs
lola: sara is running 125 secs || 8885582 markings, 40908531 edges, 55955 markings/sec, 125 secs
lola: sara is running 130 secs || 9186411 markings, 42720244 edges, 60166 markings/sec, 130 secs
lola: sara is running 135 secs || 9508987 markings, 44266230 edges, 64515 markings/sec, 135 secs
lola: sara is running 140 secs || 9835666 markings, 45770057 edges, 65336 markings/sec, 140 secs
lola: sara is running 145 secs || 10149520 markings, 47334936 edges, 62771 markings/sec, 145 secs
lola: sara is running 150 secs || 10478593 markings, 48712409 edges, 65815 markings/sec, 150 secs
lola: sara is running 155 secs || 10778388 markings, 50272932 edges, 59959 markings/sec, 155 secs
lola: sara is running 160 secs || 11082517 markings, 51804542 edges, 60826 markings/sec, 160 secs
lola: sara is running 165 secs || 11374572 markings, 53445341 edges, 58411 markings/sec, 165 secs
lola: sara is running 170 secs || 11656853 markings, 55175505 edges, 56456 markings/sec, 170 secs
lola: sara is running 175 secs || 11923752 markings, 57020701 edges, 53380 markings/sec, 175 secs
lola: sara is running 180 secs || 12202035 markings, 58751920 edges, 55657 markings/sec, 180 secs
lola: sara is running 185 secs || 12489866 markings, 60417807 edges, 57566 markings/sec, 185 secs
lola: sara is running 190 secs || 12781888 markings, 61942389 edges, 58404 markings/sec, 190 secs
lola: sara is running 195 secs || 13060417 markings, 63639914 edges, 55706 markings/sec, 195 secs
lola: sara is running 200 secs || 13351367 markings, 65270461 edges, 58190 markings/sec, 200 secs
lola: sara is running 205 secs || 13651768 markings, 66753089 edges, 60080 markings/sec, 205 secs
lola: sara is running 210 secs || 13937429 markings, 68362519 edges, 57132 markings/sec, 210 secs
lola: sara is running 215 secs || 14226054 markings, 69908762 edges, 57725 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: 506220 KB
lola: time consumption: 223 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: A (G (NOT FIREABLE(t6_1)))
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(t6_1)))
lola: processed formula length: 26
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t6_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 402717 markings, 1130462 edges, 80543 markings/sec, 0 secs
lola: sara is running 5 secs || 804663 markings, 2364608 edges, 80389 markings/sec, 5 secs
lola: sara is running 10 secs || 1171595 markings, 3747018 edges, 73386 markings/sec, 10 secs
lola: sara is running 15 secs || 1512178 markings, 5171081 edges, 68117 markings/sec, 15 secs
lola: sara is running 20 secs || 1883428 markings, 6451520 edges, 74250 markings/sec, 20 secs
lola: sara is running 25 secs || 2259680 markings, 7870245 edges, 75250 markings/sec, 25 secs
lola: sara is running 30 secs || 2613326 markings, 9224247 edges, 70729 markings/sec, 30 secs
lola: sara is running 35 secs || 2926732 markings, 10607900 edges, 62681 markings/sec, 35 secs
lola: sara is running 40 secs || 3260892 markings, 11908761 edges, 66832 markings/sec, 40 secs
lola: sara is running 45 secs || 3565698 markings, 13428611 edges, 60961 markings/sec, 45 secs
lola: sara is running 50 secs || 3883803 markings, 14873401 edges, 63621 markings/sec, 50 secs
lola: sara is running 55 secs || 4175850 markings, 16423438 edges, 58409 markings/sec, 55 secs
lola: sara is running 60 secs || 4490532 markings, 17899101 edges, 62936 markings/sec, 60 secs
lola: sara is running 65 secs || 4791612 markings, 19449994 edges, 60216 markings/sec, 65 secs
lola: sara is running 70 secs || 5093629 markings, 20997477 edges, 60403 markings/sec, 70 secs
lola: sara is running 75 secs || 5402247 markings, 22364694 edges, 61724 markings/sec, 75 secs
lola: sara is running 80 secs || 5759881 markings, 24012095 edges, 71527 markings/sec, 80 secs
lola: sara is running 85 secs || 6107564 markings, 25808855 edges, 69537 markings/sec, 85 secs
lola: sara is running 90 secs || 6426631 markings, 27560604 edges, 63813 markings/sec, 90 secs
lola: sara is running 95 secs || 6733872 markings, 29331770 edges, 61448 markings/sec, 95 secs
lola: sara is running 100 secs || 7038375 markings, 31067474 edges, 60901 markings/sec, 100 secs
lola: sara is running 105 secs || 7365407 markings, 32464387 edges, 65406 markings/sec, 105 secs
lola: sara is running 110 secs || 7694015 markings, 33912170 edges, 65722 markings/sec, 110 secs
lola: sara is running 115 secs || 7987051 markings, 35437873 edges, 58607 markings/sec, 115 secs
lola: sara is running 120 secs || 8280373 markings, 37019421 edges, 58664 markings/sec, 120 secs
lola: sara is running 125 secs || 8582111 markings, 38537421 edges, 60348 markings/sec, 125 secs
lola: sara is running 130 secs || 8903576 markings, 39914672 edges, 64293 markings/sec, 130 secs
lola: sara is running 135 secs || 9209207 markings, 41476351 edges, 61126 markings/sec, 135 secs
lola: sara is running 140 secs || 9497376 markings, 43062997 edges, 57634 markings/sec, 140 secs
lola: sara is running 145 secs || 9777655 markings, 44674473 edges, 56056 markings/sec, 145 secs
lola: sara is running 150 secs || 10086366 markings, 46028268 edges, 61742 markings/sec, 150 secs
lola: sara is running 155 secs || 10396385 markings, 47544551 edges, 62004 markings/sec, 155 secs
lola: sara is running 160 secs || 10678775 markings, 49289478 edges, 56478 markings/sec, 160 secs
lola: sara is running 165 secs || 10950750 markings, 51056894 edges, 54395 markings/sec, 165 secs
lola: sara is running 170 secs || 11232840 markings, 52720682 edges, 56418 markings/sec, 170 secs
lola: sara is running 175 secs || 11511936 markings, 54491263 edges, 55819 markings/sec, 175 secs
lola: sara is running 180 secs || 11818243 markings, 55965485 edges, 61261 markings/sec, 180 secs
lola: sara is running 185 secs || 12107278 markings, 57443513 edges, 57807 markings/sec, 185 secs
lola: sara is running 190 secs || 12384647 markings, 58957724 edges, 55474 markings/sec, 190 secs
lola: sara is running 195 secs || 12671928 markings, 60498519 edges, 57456 markings/sec, 195 secs
lola: sara is running 200 secs || 12950399 markings, 62007286 edges, 55694 markings/sec, 200 secs
lola: sara is running 205 secs || 13219229 markings, 63553874 edges, 53766 markings/sec, 205 secs
lola: sara is running 210 secs || 13496395 markings, 65051501 edges, 55433 markings/sec, 210 secs
lola: sara is running 215 secs || 13788882 markings, 66484268 edges, 58497 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: 489056 KB
lola: time consumption: 446 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_5) AND FIREABLE(t16_13))))
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_5) AND FIREABLE(t16_13))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_5) AND FIREABLE(t16_13))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 450345 markings, 1315384 edges, 90069 markings/sec, 0 secs
lola: sara is running 5 secs || 926538 markings, 2691472 edges, 95239 markings/sec, 5 secs
lola: sara is running 10 secs || 1336310 markings, 4310451 edges, 81954 markings/sec, 10 secs
lola: sara is running 15 secs || 1684598 markings, 6050564 edges, 69658 markings/sec, 15 secs
lola: sara is running 20 secs || 2206621 markings, 7426198 edges, 104405 markings/sec, 20 secs
lola: sara is running 25 secs || 2675957 markings, 9010648 edges, 93867 markings/sec, 25 secs
lola: sara is running 30 secs || 3086187 markings, 10663741 edges, 82046 markings/sec, 30 secs
lola: sara is running 35 secs || 3463361 markings, 12331053 edges, 75435 markings/sec, 35 secs
lola: sara is running 40 secs || 3962433 markings, 13809358 edges, 99814 markings/sec, 40 secs
lola: sara is running 45 secs || 4366155 markings, 15470297 edges, 80744 markings/sec, 45 secs
lola: sara is running 50 secs || 4755487 markings, 17122043 edges, 77866 markings/sec, 50 secs
lola: sara is running 55 secs || 5180341 markings, 18775747 edges, 84971 markings/sec, 55 secs
lola: sara is running 60 secs || 5554051 markings, 20325910 edges, 74742 markings/sec, 60 secs
lola: sara is running 65 secs || 5942043 markings, 21637459 edges, 77598 markings/sec, 65 secs
lola: sara is running 70 secs || 6348497 markings, 22891663 edges, 81291 markings/sec, 70 secs
lola: sara is running 75 secs || 6719282 markings, 24146688 edges, 74157 markings/sec, 75 secs
lola: sara is running 80 secs || 7035670 markings, 25364785 edges, 63278 markings/sec, 80 secs
lola: sara is running 85 secs || 7414868 markings, 26761728 edges, 75840 markings/sec, 85 secs
lola: sara is running 90 secs || 7780298 markings, 28301721 edges, 73086 markings/sec, 90 secs
lola: sara is running 95 secs || 8123612 markings, 29925991 edges, 68663 markings/sec, 95 secs
lola: sara is running 100 secs || 8494929 markings, 31559149 edges, 74263 markings/sec, 100 secs
lola: sara is running 105 secs || 8852542 markings, 33195210 edges, 71523 markings/sec, 105 secs
lola: sara is running 110 secs || 9216904 markings, 34756367 edges, 72872 markings/sec, 110 secs
lola: sara is running 115 secs || 9531363 markings, 36454432 edges, 62892 markings/sec, 115 secs
lola: sara is running 120 secs || 9891693 markings, 38147073 edges, 72066 markings/sec, 120 secs
lola: sara is running 125 secs || 10249775 markings, 39814097 edges, 71616 markings/sec, 125 secs
lola: sara is running 130 secs || 10615977 markings, 41182638 edges, 73240 markings/sec, 130 secs
lola: sara is running 135 secs || 10931559 markings, 42709177 edges, 63116 markings/sec, 135 secs
lola: sara is running 140 secs || 11269565 markings, 44036906 edges, 67601 markings/sec, 140 secs
lola: sara is running 145 secs || 11588570 markings, 45549368 edges, 63801 markings/sec, 145 secs
lola: sara is running 150 secs || 11889282 markings, 47201069 edges, 60142 markings/sec, 150 secs
lola: sara is running 155 secs || 12217225 markings, 48540750 edges, 65589 markings/sec, 155 secs
lola: sara is running 160 secs || 12544251 markings, 49820152 edges, 65405 markings/sec, 160 secs
lola: sara is running 165 secs || 12856475 markings, 51014845 edges, 62445 markings/sec, 165 secs
lola: sara is running 170 secs || 13140941 markings, 52471908 edges, 56893 markings/sec, 170 secs
lola: sara is running 175 secs || 13484698 markings, 53780798 edges, 68751 markings/sec, 175 secs
lola: sara is running 180 secs || 13900428 markings, 55134745 edges, 83146 markings/sec, 180 secs
lola: sara is running 185 secs || 14251526 markings, 56723874 edges, 70220 markings/sec, 185 secs
lola: sara is running 190 secs || 14539854 markings, 58385401 edges, 57666 markings/sec, 190 secs
lola: sara is running 195 secs || 14834975 markings, 60056262 edges, 59024 markings/sec, 195 secs
lola: sara is running 200 secs || 15134680 markings, 61764299 edges, 59941 markings/sec, 200 secs
lola: sara is running 205 secs || 15439665 markings, 63443940 edges, 60997 markings/sec, 205 secs
lola: sara is running 210 secs || 15736631 markings, 65190678 edges, 59393 markings/sec, 210 secs
lola: sara is running 215 secs || 16046396 markings, 66787348 edges, 61953 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: 567196 KB
lola: time consumption: 669 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: A (G ((NOT FIREABLE(t1_25) OR (NOT FIREABLE(t2_25) AND NOT FIREABLE(t23_2)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t1_25) OR (NOT FIREABLE(t2_25) AND NOT FIREABLE(t23_2)))))
lola: processed formula length: 79
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t1_25) AND (FIREABLE(t2_25) OR FIREABLE(t23_2)))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-3-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
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityFireability-12 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: ...considering subproblem: E (F (((FIREABLE(t21_2) AND FIREABLE(t2_21)) OR FIREABLE(t27_26))))
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(t21_2) AND FIREABLE(t2_21)) OR FIREABLE(t27_26))))
lola: processed formula length: 68
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t21_2) AND FIREABLE(t2_21)) OR FIREABLE(t27_26))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-4-0.sara
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t27_2) AND FIREABLE(t1_9) AND (NOT FIREABLE(t20_1) OR NOT FIREABLE(t8_6)))))
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(t27_2) AND FIREABLE(t1_9) AND (NOT FIREABLE(t20_1) OR NOT FIREABLE(t8_6)))))
lola: processed formula length: 93
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t27_2) AND FIREABLE(t1_9) AND (NOT FIREABLE(t20_1) OR NOT FIREABLE(t8_6)))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 5267 markings, 5834 edges
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t12_15) OR (NOT FIREABLE(t8_5) AND NOT FIREABLE(t19_18)) OR NOT FIREABLE(t20_18))))
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(t12_15) OR (NOT FIREABLE(t8_5) AND NOT FIREABLE(t19_18)) OR NOT FIREABLE(t20_18))))
lola: processed formula length: 105
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t12_15) AND (FIREABLE(t8_5) OR FIREABLE(t19_18)) AND FIREABLE(t20_18))
lola: state equation: Generated DNF with 12 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 434363 markings, 1174427 edges, 86873 markings/sec, 0 secs
lola: sara is running 5 secs || 918324 markings, 2344023 edges, 96792 markings/sec, 5 secs
lola: sara is running 10 secs || 1432204 markings, 3743165 edges, 102776 markings/sec, 10 secs
lola: sara is running 15 secs || 1894696 markings, 4993219 edges, 92498 markings/sec, 15 secs
lola: sara is running 20 secs || 2336592 markings, 6352615 edges, 88379 markings/sec, 20 secs
lola: sara is running 25 secs || 2778312 markings, 7583682 edges, 88344 markings/sec, 25 secs
lola: sara is running 30 secs || 3213140 markings, 9031413 edges, 86966 markings/sec, 30 secs
lola: sara is running 35 secs || 3647475 markings, 10414617 edges, 86867 markings/sec, 35 secs
lola: sara is running 40 secs || 4101408 markings, 11756657 edges, 90787 markings/sec, 40 secs
lola: sara is running 45 secs || 4486220 markings, 12885295 edges, 76962 markings/sec, 45 secs
lola: sara is running 50 secs || 4926441 markings, 14115477 edges, 88044 markings/sec, 50 secs
lola: sara is running 55 secs || 5338742 markings, 15331763 edges, 82460 markings/sec, 55 secs
lola: sara is running 60 secs || 5726660 markings, 16699804 edges, 77584 markings/sec, 60 secs
lola: sara is running 65 secs || 6109068 markings, 17964260 edges, 76482 markings/sec, 65 secs
lola: sara is running 70 secs || 6515917 markings, 19294020 edges, 81370 markings/sec, 70 secs
lola: sara is running 75 secs || 6886065 markings, 20610927 edges, 74030 markings/sec, 75 secs
lola: sara is running 80 secs || 7320728 markings, 21937842 edges, 86933 markings/sec, 80 secs
lola: sara is running 85 secs || 7732770 markings, 23158639 edges, 82408 markings/sec, 85 secs
lola: sara is running 90 secs || 8122120 markings, 24560403 edges, 77870 markings/sec, 90 secs
lola: sara is running 95 secs || 8488903 markings, 25954121 edges, 73357 markings/sec, 95 secs
lola: sara is running 100 secs || 8912242 markings, 27382258 edges, 84668 markings/sec, 100 secs
lola: sara is running 105 secs || 9265056 markings, 28921692 edges, 70563 markings/sec, 105 secs
lola: sara is running 110 secs || 9665315 markings, 30505018 edges, 80052 markings/sec, 110 secs
lola: sara is running 115 secs || 10055286 markings, 32099230 edges, 77994 markings/sec, 115 secs
lola: sara is running 120 secs || 10407218 markings, 33771748 edges, 70386 markings/sec, 120 secs
lola: sara is running 125 secs || 10775285 markings, 35341994 edges, 73613 markings/sec, 125 secs
lola: sara is running 130 secs || 11128555 markings, 36975618 edges, 70654 markings/sec, 130 secs
lola: sara is running 135 secs || 11524036 markings, 38574080 edges, 79096 markings/sec, 135 secs
lola: sara is running 140 secs || 11961290 markings, 40139107 edges, 87451 markings/sec, 140 secs
lola: sara is running 145 secs || 12410493 markings, 41733565 edges, 89841 markings/sec, 145 secs
lola: sara is running 150 secs || 12836911 markings, 43358837 edges, 85284 markings/sec, 150 secs
lola: sara is running 155 secs || 13252945 markings, 45036497 edges, 83207 markings/sec, 155 secs
lola: sara is running 160 secs || 13645130 markings, 46640946 edges, 78437 markings/sec, 160 secs
lola: sara is running 165 secs || 14040467 markings, 48182055 edges, 79067 markings/sec, 165 secs
lola: sara is running 170 secs || 14384191 markings, 49819623 edges, 68745 markings/sec, 170 secs
lola: sara is running 175 secs || 14735959 markings, 51431390 edges, 70354 markings/sec, 175 secs
lola: sara is running 180 secs || 15117555 markings, 52998831 edges, 76319 markings/sec, 180 secs
lola: sara is running 185 secs || 15442880 markings, 54577254 edges, 65065 markings/sec, 185 secs
lola: sara is running 190 secs || 15801953 markings, 56238546 edges, 71815 markings/sec, 190 secs
lola: sara is running 195 secs || 16154321 markings, 57939987 edges, 70474 markings/sec, 195 secs
lola: sara is running 200 secs || 16512165 markings, 59556928 edges, 71569 markings/sec, 200 secs
lola: sara is running 205 secs || 16834978 markings, 61347048 edges, 64563 markings/sec, 205 secs
lola: sara is running 210 secs || 17138729 markings, 63004973 edges, 60750 markings/sec, 210 secs
lola: sara is running 215 secs || 17552906 markings, 64309405 edges, 82835 markings/sec, 215 secs
lola: sara is running 220 secs || 18067767 markings, 65642174 edges, 102972 markings/sec, 220 secs
lola: sara is running 225 secs || 18518772 markings, 66958130 edges, 90201 markings/sec, 225 secs
lola: sara is running 230 secs || 18962976 markings, 68322585 edges, 88841 markings/sec, 230 secs
lola: sara is running 235 secs || 19415019 markings, 69766312 edges, 90409 markings/sec, 235 secs
lola: sara is running 240 secs || 19853034 markings, 71370397 edges, 87603 markings/sec, 240 secs
lola: sara is running 245 secs || 20273090 markings, 73002917 edges, 84011 markings/sec, 245 secs
lola: sara is running 250 secs || 20655109 markings, 74534202 edges, 76404 markings/sec, 250 secs
lola: sara is running 255 secs || 20976066 markings, 76025663 edges, 64191 markings/sec, 255 secs
lola: sara is running 260 secs || 21321125 markings, 77595113 edges, 69012 markings/sec, 260 secs
lola: sara is running 265 secs || 21722246 markings, 79140486 edges, 80224 markings/sec, 265 secs
lola: sara is running 270 secs || 22167513 markings, 80605891 edges, 89053 markings/sec, 270 secs
lola: sara is running 275 secs || 22582417 markings, 82085703 edges, 82981 markings/sec, 275 secs
lola: sara is running 280 secs || 22940840 markings, 83653909 edges, 71685 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 806708 KB
lola: time consumption: 959 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t14_13) OR (NOT FIREABLE(t21_19) AND NOT FIREABLE(t1_27)) OR (NOT FIREABLE(t24_3) AND NOT FIREABLE(t3_24)))))
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(t14_13) OR (NOT FIREABLE(t21_19) AND NOT FIREABLE(t1_27)) OR (NOT FIREABLE(t24_3) AND NOT FIREABLE(t3_24)))))
lola: processed formula length: 127
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t14_13) AND (FIREABLE(t21_19) OR FIREABLE(t1_27)) AND (FIREABLE(t24_3) OR FIREABLE(t3_24)))
lola: state equation: Generated DNF with 40 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 613941 markings, 1265249 edges, 122788 markings/sec, 0 secs
lola: sara is running 5 secs || 1185221 markings, 2579382 edges, 114256 markings/sec, 5 secs
lola: sara is running 10 secs || 1649022 markings, 3946943 edges, 92760 markings/sec, 10 secs
lola: sara is running 15 secs || 2184925 markings, 5288558 edges, 107181 markings/sec, 15 secs
lola: sara is running 20 secs || 2695431 markings, 6801310 edges, 102101 markings/sec, 20 secs
lola: sara is running 25 secs || 3222556 markings, 8145210 edges, 105425 markings/sec, 25 secs
lola: sara is running 30 secs || 3765718 markings, 9449247 edges, 108632 markings/sec, 30 secs
lola: sara is running 35 secs || 4262043 markings, 11009589 edges, 99265 markings/sec, 35 secs
lola: sara is running 40 secs || 4777404 markings, 12371046 edges, 103072 markings/sec, 40 secs
lola: sara is running 45 secs || 5275542 markings, 13865592 edges, 99628 markings/sec, 45 secs
lola: sara is running 50 secs || 5747128 markings, 15211888 edges, 94317 markings/sec, 50 secs
lola: sara is running 55 secs || 6309630 markings, 16561091 edges, 112500 markings/sec, 55 secs
lola: sara is running 60 secs || 6833156 markings, 18039385 edges, 104705 markings/sec, 60 secs
lola: sara is running 65 secs || 7381598 markings, 19608362 edges, 109688 markings/sec, 65 secs
lola: sara is running 70 secs || 7909207 markings, 20926171 edges, 105522 markings/sec, 70 secs
lola: sara is running 75 secs || 8463881 markings, 22357136 edges, 110935 markings/sec, 75 secs
lola: sara is running 80 secs || 8958478 markings, 23933993 edges, 98919 markings/sec, 80 secs
lola: sara is running 85 secs || 9376465 markings, 25523075 edges, 83597 markings/sec, 85 secs
lola: sara is running 90 secs || 9759145 markings, 27006982 edges, 76536 markings/sec, 90 secs
lola: sara is running 95 secs || 10329413 markings, 28333121 edges, 114054 markings/sec, 95 secs
lola: sara is running 100 secs || 10825072 markings, 29904611 edges, 99132 markings/sec, 100 secs
lola: sara is running 105 secs || 11416829 markings, 31255500 edges, 118351 markings/sec, 105 secs
lola: sara is running 110 secs || 11965613 markings, 32779635 edges, 109757 markings/sec, 110 secs
lola: sara is running 115 secs || 12401282 markings, 34285413 edges, 87134 markings/sec, 115 secs
lola: sara is running 120 secs || 12838868 markings, 35773162 edges, 87517 markings/sec, 120 secs
lola: sara is running 125 secs || 13143242 markings, 37361982 edges, 60875 markings/sec, 125 secs
lola: sara is running 130 secs || 13557693 markings, 38779773 edges, 82890 markings/sec, 130 secs
lola: sara is running 135 secs || 13965629 markings, 40229506 edges, 81587 markings/sec, 135 secs
lola: sara is running 140 secs || 14328413 markings, 41565714 edges, 72557 markings/sec, 140 secs
lola: sara is running 145 secs || 14692152 markings, 43094558 edges, 72748 markings/sec, 145 secs
lola: sara is running 150 secs || 15063569 markings, 44669567 edges, 74283 markings/sec, 150 secs
lola: sara is running 155 secs || 15473023 markings, 46094965 edges, 81891 markings/sec, 155 secs
lola: sara is running 160 secs || 15881858 markings, 47487526 edges, 81767 markings/sec, 160 secs
lola: sara is running 165 secs || 16282208 markings, 48840362 edges, 80070 markings/sec, 165 secs
lola: sara is running 170 secs || 16639877 markings, 50486831 edges, 71534 markings/sec, 170 secs
lola: sara is running 175 secs || 16999680 markings, 52200100 edges, 71961 markings/sec, 175 secs
lola: sara is running 180 secs || 17391562 markings, 53771656 edges, 78376 markings/sec, 180 secs
lola: sara is running 185 secs || 17873266 markings, 55168844 edges, 96341 markings/sec, 185 secs
lola: sara is running 190 secs || 18412085 markings, 56492647 edges, 107764 markings/sec, 190 secs
lola: sara is running 195 secs || 18920124 markings, 57806990 edges, 101608 markings/sec, 195 secs
lola: sara is running 200 secs || 19444003 markings, 59146653 edges, 104776 markings/sec, 200 secs
lola: sara is running 205 secs || 19962774 markings, 60510581 edges, 103754 markings/sec, 205 secs
lola: sara is running 210 secs || 20424922 markings, 61839058 edges, 92430 markings/sec, 210 secs
lola: sara is running 215 secs || 20980707 markings, 63184466 edges, 111157 markings/sec, 215 secs
lola: sara is running 220 secs || 21436504 markings, 64574366 edges, 91159 markings/sec, 220 secs
lola: sara is running 225 secs || 21876049 markings, 65907759 edges, 87909 markings/sec, 225 secs
lola: sara is running 230 secs || 22441673 markings, 67241208 edges, 113125 markings/sec, 230 secs
lola: sara is running 235 secs || 22895172 markings, 68612978 edges, 90700 markings/sec, 235 secs
lola: sara is running 240 secs || 23193698 markings, 70049728 edges, 59705 markings/sec, 240 secs
lola: sara is running 245 secs || 23503809 markings, 71465433 edges, 62022 markings/sec, 245 secs
lola: sara is running 250 secs || 23811311 markings, 72852124 edges, 61500 markings/sec, 250 secs
lola: sara is running 255 secs || 24143885 markings, 74320364 edges, 66515 markings/sec, 255 secs
lola: sara is running 260 secs || 24523166 markings, 75698052 edges, 75856 markings/sec, 260 secs
lola: sara is running 265 secs || 24925757 markings, 77086978 edges, 80518 markings/sec, 265 secs
lola: sara is running 270 secs || 25324493 markings, 78424583 edges, 79747 markings/sec, 270 secs
lola: sara is running 275 secs || 25712862 markings, 79705923 edges, 77674 markings/sec, 275 secs
lola: sara is running 280 secs || 26157684 markings, 81007500 edges, 88964 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 911740 KB
lola: time consumption: 1249 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1_4) AND NOT FIREABLE(t11_16) AND (NOT FIREABLE(t4_9) OR NOT FIREABLE(t4_27)) AND FIREABLE(t8_11))))
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(t1_4) AND NOT FIREABLE(t11_16) AND (NOT FIREABLE(t4_9) OR NOT FIREABLE(t4_27)) AND FIREABLE(t8_11))))
lola: processed formula length: 118
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t1_4) AND NOT FIREABLE(t11_16) AND (NOT FIREABLE(t4_9) OR NOT FIREABLE(t4_27)) AND FIREABLE(t8_11))
lola: state equation: Generated DNF with 48 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 478713 markings, 1001947 edges, 95743 markings/sec, 0 secs
lola: sara is running 5 secs || 930944 markings, 2106253 edges, 90446 markings/sec, 5 secs
lola: sara is running 10 secs || 1398648 markings, 3112386 edges, 93541 markings/sec, 10 secs
lola: sara is running 15 secs || 1846028 markings, 4220479 edges, 89476 markings/sec, 15 secs
lola: sara is running 20 secs || 2278586 markings, 5259864 edges, 86512 markings/sec, 20 secs
lola: sara is running 25 secs || 2744676 markings, 6342890 edges, 93218 markings/sec, 25 secs
lola: sara is running 30 secs || 3162525 markings, 7470121 edges, 83570 markings/sec, 30 secs
lola: sara is running 35 secs || 3503710 markings, 8682737 edges, 68237 markings/sec, 35 secs
lola: sara is running 40 secs || 3835264 markings, 9913884 edges, 66311 markings/sec, 40 secs
lola: sara is running 45 secs || 4207970 markings, 11113157 edges, 74541 markings/sec, 45 secs
lola: sara is running 50 secs || 4571670 markings, 12323800 edges, 72740 markings/sec, 50 secs
lola: sara is running 55 secs || 4926062 markings, 13498899 edges, 70878 markings/sec, 55 secs
lola: sara is running 60 secs || 5274590 markings, 14689011 edges, 69706 markings/sec, 60 secs
lola: sara is running 65 secs || 5639786 markings, 15901684 edges, 73039 markings/sec, 65 secs
lola: sara is running 70 secs || 6022529 markings, 17041731 edges, 76549 markings/sec, 70 secs
lola: sara is running 75 secs || 6355790 markings, 18248180 edges, 66652 markings/sec, 75 secs
lola: sara is running 80 secs || 6723400 markings, 19516194 edges, 73522 markings/sec, 80 secs
lola: sara is running 85 secs || 7093040 markings, 20645860 edges, 73928 markings/sec, 85 secs
lola: sara is running 90 secs || 7426773 markings, 21856404 edges, 66747 markings/sec, 90 secs
lola: sara is running 95 secs || 7807392 markings, 23114713 edges, 76124 markings/sec, 95 secs
lola: sara is running 100 secs || 8161722 markings, 24276268 edges, 70866 markings/sec, 100 secs
lola: sara is running 105 secs || 8486161 markings, 25500076 edges, 64888 markings/sec, 105 secs
lola: sara is running 110 secs || 8949601 markings, 26759900 edges, 92688 markings/sec, 110 secs
lola: sara is running 115 secs || 9454647 markings, 28015525 edges, 101009 markings/sec, 115 secs
lola: sara is running 120 secs || 9933622 markings, 29258226 edges, 95795 markings/sec, 120 secs
lola: sara is running 125 secs || 10408826 markings, 30525700 edges, 95041 markings/sec, 125 secs
lola: sara is running 130 secs || 10868393 markings, 31789415 edges, 91913 markings/sec, 130 secs
lola: sara is running 135 secs || 11329886 markings, 33030559 edges, 92299 markings/sec, 135 secs
lola: sara is running 140 secs || 11744637 markings, 34237197 edges, 82950 markings/sec, 140 secs
lola: sara is running 145 secs || 12178675 markings, 35534757 edges, 86808 markings/sec, 145 secs
lola: sara is running 150 secs || 12547961 markings, 36721121 edges, 73857 markings/sec, 150 secs
lola: sara is running 155 secs || 12936385 markings, 37909613 edges, 77685 markings/sec, 155 secs
lola: sara is running 160 secs || 13350100 markings, 39219679 edges, 82743 markings/sec, 160 secs
lola: sara is running 165 secs || 13781106 markings, 40527804 edges, 86201 markings/sec, 165 secs
lola: sara is running 170 secs || 14191276 markings, 41852970 edges, 82034 markings/sec, 170 secs
lola: sara is running 175 secs || 14569898 markings, 43117928 edges, 75724 markings/sec, 175 secs
lola: sara is running 180 secs || 14947049 markings, 44403885 edges, 75430 markings/sec, 180 secs
lola: sara is running 185 secs || 15341582 markings, 45690077 edges, 78907 markings/sec, 185 secs
lola: sara is running 190 secs || 15729622 markings, 47017572 edges, 77608 markings/sec, 190 secs
lola: sara is running 195 secs || 16114458 markings, 48337177 edges, 76967 markings/sec, 195 secs
lola: sara is running 200 secs || 16466460 markings, 49663959 edges, 70400 markings/sec, 200 secs
lola: sara is running 205 secs || 16817146 markings, 50992491 edges, 70137 markings/sec, 205 secs
lola: sara is running 210 secs || 17189793 markings, 52264302 edges, 74529 markings/sec, 210 secs
lola: sara is running 215 secs || 17560329 markings, 53508343 edges, 74107 markings/sec, 215 secs
lola: sara is running 220 secs || 17948338 markings, 54743098 edges, 77602 markings/sec, 220 secs
lola: sara is running 225 secs || 18350901 markings, 55965772 edges, 80513 markings/sec, 225 secs
lola: sara is running 230 secs || 18715897 markings, 57133093 edges, 72999 markings/sec, 230 secs
lola: sara is running 235 secs || 19123004 markings, 58403430 edges, 81421 markings/sec, 235 secs
lola: sara is running 240 secs || 19496344 markings, 59673579 edges, 74668 markings/sec, 240 secs
lola: sara is running 245 secs || 19858384 markings, 60889220 edges, 72408 markings/sec, 245 secs
lola: sara is running 250 secs || 20249035 markings, 62239625 edges, 78130 markings/sec, 250 secs
lola: sara is running 255 secs || 20633190 markings, 63555287 edges, 76831 markings/sec, 255 secs
lola: sara is running 260 secs || 21000749 markings, 64852325 edges, 73512 markings/sec, 260 secs
lola: sara is running 265 secs || 21360655 markings, 66153785 edges, 71981 markings/sec, 265 secs
lola: sara is running 270 secs || 21742133 markings, 67326670 edges, 76296 markings/sec, 270 secs
lola: sara is running 275 secs || 22123283 markings, 68571048 edges, 76230 markings/sec, 275 secs
lola: sara is running 280 secs || 22504267 markings, 69873766 edges, 76197 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 783200 KB
lola: time consumption: 1539 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t23_3) OR NOT FIREABLE(t10_15) OR NOT FIREABLE(t17_18) OR ((NOT FIREABLE(t21_15) OR NOT FIREABLE(t16_8)) AND FIREABLE(t1_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(t23_3) OR NOT FIREABLE(t10_15) OR NOT FIREABLE(t17_18) OR ((NOT FIREABLE(t21_15) OR NOT FIREABLE(t16_8)) AND FIREABLE(t1_3)))))
lola: processed formula length: 151
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t23_3) AND FIREABLE(t10_15) AND FIREABLE(t17_18) AND ((FIREABLE(t21_15) AND FIREABLE(t16_8)) OR NOT FIREABLE(t1_3)))
lola: state equation: Generated DNF with 17 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 480166 markings, 1375733 edges, 96033 markings/sec, 0 secs
lola: sara is running 5 secs || 931081 markings, 2663412 edges, 90183 markings/sec, 5 secs
lola: sara is running 10 secs || 1346210 markings, 4240435 edges, 83026 markings/sec, 10 secs
lola: sara is running 15 secs || 1769072 markings, 5821931 edges, 84572 markings/sec, 15 secs
lola: sara is running 20 secs || 2213803 markings, 7212065 edges, 88946 markings/sec, 20 secs
lola: sara is running 25 secs || 2724250 markings, 8598298 edges, 102089 markings/sec, 25 secs
lola: sara is running 30 secs || 3140845 markings, 10004450 edges, 83319 markings/sec, 30 secs
lola: sara is running 35 secs || 3551433 markings, 11477417 edges, 82118 markings/sec, 35 secs
lola: sara is running 40 secs || 4049126 markings, 12540576 edges, 99539 markings/sec, 40 secs
lola: sara is running 45 secs || 4523723 markings, 13600128 edges, 94919 markings/sec, 45 secs
lola: sara is running 50 secs || 4962807 markings, 14935229 edges, 87817 markings/sec, 50 secs
lola: sara is running 55 secs || 5392180 markings, 16273967 edges, 85875 markings/sec, 55 secs
lola: sara is running 60 secs || 5805074 markings, 17735471 edges, 82579 markings/sec, 60 secs
lola: sara is running 65 secs || 6211115 markings, 19321463 edges, 81208 markings/sec, 65 secs
lola: sara is running 70 secs || 6686108 markings, 20802386 edges, 94999 markings/sec, 70 secs
lola: sara is running 75 secs || 7121129 markings, 22367182 edges, 87004 markings/sec, 75 secs
lola: sara is running 80 secs || 7551878 markings, 23928671 edges, 86150 markings/sec, 80 secs
lola: sara is running 85 secs || 8072054 markings, 25430353 edges, 104035 markings/sec, 85 secs
lola: sara is running 90 secs || 8535904 markings, 27188105 edges, 92770 markings/sec, 90 secs
lola: sara is running 95 secs || 8907595 markings, 28773425 edges, 74338 markings/sec, 95 secs
lola: sara is running 100 secs || 9391224 markings, 30082307 edges, 96726 markings/sec, 100 secs
lola: sara is running 105 secs || 9865408 markings, 31180429 edges, 94837 markings/sec, 105 secs
lola: sara is running 110 secs || 10323439 markings, 32361089 edges, 91606 markings/sec, 110 secs
lola: sara is running 115 secs || 10754721 markings, 33751160 edges, 86256 markings/sec, 115 secs
lola: sara is running 120 secs || 11190781 markings, 35176161 edges, 87212 markings/sec, 120 secs
lola: sara is running 125 secs || 11570326 markings, 36730869 edges, 75909 markings/sec, 125 secs
lola: sara is running 130 secs || 11983486 markings, 38158267 edges, 82632 markings/sec, 130 secs
lola: sara is running 135 secs || 12359372 markings, 39753137 edges, 75177 markings/sec, 135 secs
lola: sara is running 140 secs || 12806416 markings, 41093816 edges, 89409 markings/sec, 140 secs
lola: sara is running 145 secs || 13313241 markings, 42311653 edges, 101365 markings/sec, 145 secs
lola: sara is running 150 secs || 13765234 markings, 43803526 edges, 90399 markings/sec, 150 secs
lola: sara is running 155 secs || 14219356 markings, 45365628 edges, 90824 markings/sec, 155 secs
lola: sara is running 160 secs || 14634130 markings, 46945778 edges, 82955 markings/sec, 160 secs
lola: sara is running 165 secs || 15093344 markings, 48398402 edges, 91843 markings/sec, 165 secs
lola: sara is running 170 secs || 15570368 markings, 49611143 edges, 95405 markings/sec, 170 secs
lola: sara is running 175 secs || 16017818 markings, 50936813 edges, 89490 markings/sec, 175 secs
lola: sara is running 180 secs || 16433175 markings, 52413338 edges, 83071 markings/sec, 180 secs
lola: sara is running 185 secs || 16847391 markings, 53915674 edges, 82843 markings/sec, 185 secs
lola: sara is running 190 secs || 17301884 markings, 55207586 edges, 90899 markings/sec, 190 secs
lola: sara is running 195 secs || 17772475 markings, 56547949 edges, 94118 markings/sec, 195 secs
lola: sara is running 200 secs || 18194317 markings, 57883747 edges, 84368 markings/sec, 200 secs
lola: sara is running 205 secs || 18605413 markings, 59491110 edges, 82219 markings/sec, 205 secs
lola: sara is running 210 secs || 19023160 markings, 61182654 edges, 83549 markings/sec, 210 secs
lola: sara is running 215 secs || 19445520 markings, 62887448 edges, 84472 markings/sec, 215 secs
lola: sara is running 220 secs || 19849553 markings, 64638276 edges, 80807 markings/sec, 220 secs
lola: sara is running 225 secs || 20252693 markings, 66229404 edges, 80628 markings/sec, 225 secs
lola: sara is running 230 secs || 20697921 markings, 67887034 edges, 89046 markings/sec, 230 secs
lola: sara is running 235 secs || 21119101 markings, 69761967 edges, 84236 markings/sec, 235 secs
lola: sara is running 240 secs || 21584414 markings, 71127766 edges, 93063 markings/sec, 240 secs
lola: sara is running 245 secs || 22038533 markings, 72503396 edges, 90824 markings/sec, 245 secs
lola: sara is running 250 secs || 22461757 markings, 74019537 edges, 84645 markings/sec, 250 secs
lola: sara is running 255 secs || 22926172 markings, 75455909 edges, 92883 markings/sec, 255 secs
lola: sara is running 260 secs || 23389829 markings, 76894268 edges, 92731 markings/sec, 260 secs
lola: sara is running 265 secs || 23809750 markings, 78601902 edges, 83984 markings/sec, 265 secs
lola: sara is running 270 secs || 24227721 markings, 80315192 edges, 83594 markings/sec, 270 secs
lola: sara is running 275 secs || 24649651 markings, 81942671 edges, 84386 markings/sec, 275 secs
lola: sara is running 280 secs || 25084117 markings, 83636399 edges, 86893 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 911372 KB
lola: time consumption: 1829 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t8_11) AND (FIREABLE(t27_23) OR FIREABLE(t24_21)) AND FIREABLE(t26_3) AND NOT FIREABLE(t1_3) AND (NOT FIREABLE(t24_22) OR FIREABLE(t4_16)))))
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(t8_11) AND (FIREABLE(t27_23) OR FIREABLE(t24_21)) AND FIREABLE(t26_3) AND NOT FIREABLE(t1_3) AND (NOT FIREABLE(t24_22) OR FIREABLE(t4_16)))))
lola: processed formula length: 163
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t8_11) AND (FIREABLE(t27_23) OR FIREABLE(t24_21)) AND FIREABLE(t26_3) AND NOT FIREABLE(t1_3) AND (NOT FIREABLE(t24_22) OR FIREABLE(t4_16)))
lola: state equation: Generated DNF with 88 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 390174 markings, 1174171 edges, 78035 markings/sec, 0 secs
lola: sara is running 5 secs || 741798 markings, 2618531 edges, 70325 markings/sec, 5 secs
lola: sara is running 10 secs || 1116899 markings, 4146474 edges, 75020 markings/sec, 10 secs
lola: sara is running 15 secs || 1487163 markings, 5551381 edges, 74053 markings/sec, 15 secs
lola: sara is running 20 secs || 1826751 markings, 7068160 edges, 67918 markings/sec, 20 secs
lola: sara is running 25 secs || 2183803 markings, 8540888 edges, 71410 markings/sec, 25 secs
lola: sara is running 30 secs || 2558932 markings, 9891152 edges, 75026 markings/sec, 30 secs
lola: sara is running 35 secs || 2908230 markings, 11262605 edges, 69860 markings/sec, 35 secs
lola: sara is running 40 secs || 3226698 markings, 12758068 edges, 63694 markings/sec, 40 secs
lola: sara is running 45 secs || 3564469 markings, 14162873 edges, 67554 markings/sec, 45 secs
lola: sara is running 50 secs || 3883761 markings, 15622970 edges, 63858 markings/sec, 50 secs
lola: sara is running 55 secs || 4200771 markings, 17085491 edges, 63402 markings/sec, 55 secs
lola: sara is running 60 secs || 4514329 markings, 18617211 edges, 62712 markings/sec, 60 secs
lola: sara is running 65 secs || 4850924 markings, 20226890 edges, 67319 markings/sec, 65 secs
lola: sara is running 70 secs || 5162225 markings, 21917271 edges, 62260 markings/sec, 70 secs
lola: sara is running 75 secs || 5506171 markings, 23399044 edges, 68789 markings/sec, 75 secs
lola: sara is running 80 secs || 5863221 markings, 24796381 edges, 71410 markings/sec, 80 secs
lola: sara is running 85 secs || 6207421 markings, 26182871 edges, 68840 markings/sec, 85 secs
lola: sara is running 90 secs || 6545549 markings, 27569357 edges, 67626 markings/sec, 90 secs
lola: sara is running 95 secs || 6877502 markings, 29002246 edges, 66391 markings/sec, 95 secs
lola: sara is running 100 secs || 7215005 markings, 30357083 edges, 67501 markings/sec, 100 secs
lola: sara is running 105 secs || 7531066 markings, 31869583 edges, 63212 markings/sec, 105 secs
lola: sara is running 110 secs || 7841250 markings, 33502147 edges, 62037 markings/sec, 110 secs
lola: sara is running 115 secs || 8142691 markings, 35210624 edges, 60288 markings/sec, 115 secs
lola: sara is running 120 secs || 8477674 markings, 36890388 edges, 66997 markings/sec, 120 secs
lola: sara is running 125 secs || 8808456 markings, 38524216 edges, 66156 markings/sec, 125 secs
lola: sara is running 130 secs || 9135390 markings, 40204325 edges, 65387 markings/sec, 130 secs
lola: sara is running 135 secs || 9490132 markings, 41625034 edges, 70948 markings/sec, 135 secs
lola: sara is running 140 secs || 9823019 markings, 43022389 edges, 66577 markings/sec, 140 secs
lola: sara is running 145 secs || 10150872 markings, 44415323 edges, 65571 markings/sec, 145 secs
lola: sara is running 150 secs || 10453731 markings, 46028701 edges, 60572 markings/sec, 150 secs
lola: sara is running 155 secs || 10774534 markings, 47735811 edges, 64161 markings/sec, 155 secs
lola: sara is running 160 secs || 11105405 markings, 49359221 edges, 66174 markings/sec, 160 secs
lola: sara is running 165 secs || 11424341 markings, 50851292 edges, 63787 markings/sec, 165 secs
lola: sara is running 170 secs || 11741373 markings, 52277472 edges, 63406 markings/sec, 170 secs
lola: sara is running 175 secs || 12050730 markings, 53806642 edges, 61871 markings/sec, 175 secs
lola: sara is running 180 secs || 12350813 markings, 55240628 edges, 60017 markings/sec, 180 secs
lola: sara is running 185 secs || 12659371 markings, 56631369 edges, 61712 markings/sec, 185 secs
lola: sara is running 190 secs || 12960741 markings, 58034632 edges, 60274 markings/sec, 190 secs
lola: sara is running 195 secs || 13243759 markings, 59413647 edges, 56604 markings/sec, 195 secs
lola: sara is running 200 secs || 13518738 markings, 61010455 edges, 54996 markings/sec, 200 secs
lola: sara is running 205 secs || 13782112 markings, 62627204 edges, 52675 markings/sec, 205 secs
lola: sara is running 210 secs || 14116554 markings, 63956569 edges, 66888 markings/sec, 210 secs
lola: sara is running 215 secs || 14462210 markings, 65230769 edges, 69131 markings/sec, 215 secs
lola: sara is running 220 secs || 14761023 markings, 66659821 edges, 59763 markings/sec, 220 secs
lola: sara is running 225 secs || 15040304 markings, 68148019 edges, 55856 markings/sec, 225 secs
lola: sara is running 230 secs || 15329183 markings, 69638718 edges, 57776 markings/sec, 230 secs
lola: sara is running 235 secs || 15620309 markings, 71156397 edges, 58225 markings/sec, 235 secs
lola: sara is running 240 secs || 15915882 markings, 72692704 edges, 59115 markings/sec, 240 secs
lola: sara is running 245 secs || 16211378 markings, 74268909 edges, 59099 markings/sec, 245 secs
lola: sara is running 250 secs || 16518692 markings, 75879052 edges, 61463 markings/sec, 250 secs
lola: sara is running 255 secs || 16807470 markings, 77603314 edges, 57756 markings/sec, 255 secs
lola: sara is running 260 secs || 17090421 markings, 79305269 edges, 56590 markings/sec, 260 secs
lola: sara is running 265 secs || 17404143 markings, 80793744 edges, 62744 markings/sec, 265 secs
lola: sara is running 270 secs || 17705507 markings, 82230538 edges, 60273 markings/sec, 270 secs
lola: sara is running 275 secs || 17989621 markings, 83798877 edges, 56823 markings/sec, 275 secs
lola: sara is running 280 secs || 18278041 markings, 85374637 edges, 57684 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 667028 KB
lola: time consumption: 2119 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3_6) AND FIREABLE(t17_18) AND NOT FIREABLE(t18_15) AND FIREABLE(t2_17) AND (FIREABLE(t27_16) OR FIREABLE(t16_13)) AND (NOT FIREABLE(t2_14) OR NOT FIREABLE(t14_10)))))
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_6) AND FIREABLE(t17_18) AND NOT FIREABLE(t18_15) AND FIREABLE(t2_17) AND (FIREABLE(t27_16) OR FIREABLE(t16_13)) AND (NOT FIREABLE(t2_14) OR NOT FIREABLE(t14_10)))))
lola: processed formula length: 185
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_6) AND FIREABLE(t17_18) AND NOT FIREABLE(t18_15) AND FIREABLE(t2_17) AND (FIREABLE(t27_16) OR FIREABLE(t16_13)) AND (NOT FIREABLE(t2_14) OR NOT FIREABLE(t14_10)))
lola: state equation: Generated DNF with 160 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 453003 markings, 1099025 edges, 90601 markings/sec, 0 secs
lola: sara is running 5 secs || 847202 markings, 2217869 edges, 78840 markings/sec, 5 secs
lola: sara is running 10 secs || 1280686 markings, 3319255 edges, 86697 markings/sec, 10 secs
lola: sara is running 15 secs || 1653383 markings, 4476882 edges, 74539 markings/sec, 15 secs
lola: sara is running 20 secs || 2007329 markings, 5637509 edges, 70789 markings/sec, 20 secs
lola: sara is running 25 secs || 2403307 markings, 6786824 edges, 79196 markings/sec, 25 secs
lola: sara is running 30 secs || 2782812 markings, 8040405 edges, 75901 markings/sec, 30 secs
lola: sara is running 35 secs || 3157946 markings, 9249064 edges, 75027 markings/sec, 35 secs
lola: sara is running 40 secs || 3519298 markings, 10458702 edges, 72270 markings/sec, 40 secs
lola: sara is running 45 secs || 3881775 markings, 11719801 edges, 72495 markings/sec, 45 secs
lola: sara is running 50 secs || 4263774 markings, 12925602 edges, 76400 markings/sec, 50 secs
lola: sara is running 55 secs || 4672247 markings, 14059922 edges, 81695 markings/sec, 55 secs
lola: sara is running 60 secs || 5066535 markings, 15219411 edges, 78858 markings/sec, 60 secs
lola: sara is running 65 secs || 5435810 markings, 16340348 edges, 73855 markings/sec, 65 secs
lola: sara is running 70 secs || 5785302 markings, 17524586 edges, 69898 markings/sec, 70 secs
lola: sara is running 75 secs || 6142749 markings, 18719392 edges, 71489 markings/sec, 75 secs
lola: sara is running 80 secs || 6533469 markings, 19869219 edges, 78144 markings/sec, 80 secs
lola: sara is running 85 secs || 6901892 markings, 20944537 edges, 73685 markings/sec, 85 secs
lola: sara is running 90 secs || 7261812 markings, 22131827 edges, 71984 markings/sec, 90 secs
lola: sara is running 95 secs || 7645295 markings, 23315645 edges, 76697 markings/sec, 95 secs
lola: sara is running 100 secs || 7982962 markings, 24535691 edges, 67533 markings/sec, 100 secs
lola: sara is running 105 secs || 8315483 markings, 25786570 edges, 66504 markings/sec, 105 secs
lola: sara is running 110 secs || 8655451 markings, 27012568 edges, 67994 markings/sec, 110 secs
lola: sara is running 115 secs || 9013309 markings, 28221757 edges, 71572 markings/sec, 115 secs
lola: sara is running 120 secs || 9348542 markings, 29466547 edges, 67047 markings/sec, 120 secs
lola: sara is running 125 secs || 9736130 markings, 30984560 edges, 77518 markings/sec, 125 secs
lola: sara is running 130 secs || 10107203 markings, 32497444 edges, 74215 markings/sec, 130 secs
lola: sara is running 135 secs || 10451711 markings, 33997711 edges, 68902 markings/sec, 135 secs
lola: sara is running 140 secs || 10797164 markings, 35581666 edges, 69091 markings/sec, 140 secs
lola: sara is running 145 secs || 11161217 markings, 37015462 edges, 72811 markings/sec, 145 secs
lola: sara is running 150 secs || 11505811 markings, 38487093 edges, 68919 markings/sec, 150 secs
lola: sara is running 155 secs || 11837340 markings, 40003266 edges, 66306 markings/sec, 155 secs
lola: sara is running 160 secs || 12193251 markings, 41475194 edges, 71182 markings/sec, 160 secs
lola: sara is running 165 secs || 12555087 markings, 42776147 edges, 72367 markings/sec, 165 secs
lola: sara is running 170 secs || 12931517 markings, 44092421 edges, 75286 markings/sec, 170 secs
lola: sara is running 175 secs || 13300035 markings, 45341088 edges, 73704 markings/sec, 175 secs
lola: sara is running 180 secs || 13661991 markings, 46661207 edges, 72391 markings/sec, 180 secs
lola: sara is running 185 secs || 13995293 markings, 47946564 edges, 66660 markings/sec, 185 secs
lola: sara is running 190 secs || 14329176 markings, 49307019 edges, 66777 markings/sec, 190 secs
lola: sara is running 195 secs || 14662243 markings, 50629668 edges, 66613 markings/sec, 195 secs
lola: sara is running 200 secs || 14979142 markings, 51977357 edges, 63380 markings/sec, 200 secs
lola: sara is running 205 secs || 15315673 markings, 53332136 edges, 67306 markings/sec, 205 secs
lola: sara is running 210 secs || 15654941 markings, 54709326 edges, 67854 markings/sec, 210 secs
lola: sara is running 215 secs || 15989753 markings, 56085445 edges, 66962 markings/sec, 215 secs
lola: sara is running 220 secs || 16313268 markings, 57450131 edges, 64703 markings/sec, 220 secs
lola: sara is running 225 secs || 16623703 markings, 58788022 edges, 62087 markings/sec, 225 secs
lola: sara is running 230 secs || 16950195 markings, 60137767 edges, 65298 markings/sec, 230 secs
lola: sara is running 235 secs || 17293526 markings, 61448166 edges, 68666 markings/sec, 235 secs
lola: sara is running 240 secs || 17639891 markings, 62768996 edges, 69273 markings/sec, 240 secs
lola: sara is running 245 secs || 17962183 markings, 64100896 edges, 64458 markings/sec, 245 secs
lola: sara is running 250 secs || 18282074 markings, 65433681 edges, 63978 markings/sec, 250 secs
lola: sara is running 255 secs || 18595698 markings, 66807970 edges, 62725 markings/sec, 255 secs
lola: sara is running 260 secs || 18920617 markings, 68076552 edges, 64984 markings/sec, 260 secs
lola: sara is running 265 secs || 19239077 markings, 69455088 edges, 63692 markings/sec, 265 secs
lola: sara is running 270 secs || 19580524 markings, 70769128 edges, 68289 markings/sec, 270 secs
lola: sara is running 275 secs || 19901328 markings, 72083802 edges, 64161 markings/sec, 275 secs
lola: sara is running 280 secs || 20206295 markings, 73447999 edges, 60993 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 715304 KB
lola: time consumption: 2410 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t17_1) OR FIREABLE(t25_26) OR (FIREABLE(t5_3) AND FIREABLE(tb15)) OR (NOT FIREABLE(t13_14) AND (FIREABLE(t23_2) OR FIREABLE(t16_9)))) AND FIREABLE(t2_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(t17_1) OR FIREABLE(t25_26) OR (FIREABLE(t5_3) AND FIREABLE(tb15)) OR (NOT FIREABLE(t13_14) AND (FIREABLE(t23_2) OR FIREABLE(t16_9)))) AND FIREABLE(t2_1))))
lola: processed formula length: 176
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_1) OR FIREABLE(t25_26) OR (FIREABLE(t5_3) AND FIREABLE(tb15)) OR (NOT FIREABLE(t13_14) AND (FIREABLE(t23_2) OR FIREABLE(t16_9)))) AND FIREABLE(t2_1))
lola: state equation: Generated DNF with 33 literals and 7 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 485622 markings, 1130334 edges, 97124 markings/sec, 0 secs
lola: sara is running 5 secs || 968815 markings, 2378295 edges, 96639 markings/sec, 5 secs
lola: sara is running 10 secs || 1367535 markings, 3561880 edges, 79744 markings/sec, 10 secs
lola: sara is running 15 secs || 1867693 markings, 4782462 edges, 100032 markings/sec, 15 secs
lola: sara is running 20 secs || 2316806 markings, 6120949 edges, 89823 markings/sec, 20 secs
lola: sara is running 25 secs || 2744578 markings, 7396471 edges, 85554 markings/sec, 25 secs
lola: sara is running 30 secs || 3147286 markings, 8598396 edges, 80542 markings/sec, 30 secs
lola: sara is running 35 secs || 3542829 markings, 9762593 edges, 79109 markings/sec, 35 secs
lola: sara is running 40 secs || 3935152 markings, 11014708 edges, 78465 markings/sec, 40 secs
lola: sara is running 45 secs || 4300397 markings, 12512818 edges, 73049 markings/sec, 45 secs
lola: sara is running 50 secs || 4676049 markings, 14056324 edges, 75130 markings/sec, 50 secs
lola: sara is running 55 secs || 5055710 markings, 15585157 edges, 75932 markings/sec, 55 secs
lola: sara is running 60 secs || 5490421 markings, 16855206 edges, 86942 markings/sec, 60 secs
lola: sara is running 65 secs || 5885166 markings, 18044775 edges, 78949 markings/sec, 65 secs
lola: sara is running 70 secs || 6261206 markings, 19583123 edges, 75208 markings/sec, 70 secs
lola: sara is running 75 secs || 6642536 markings, 21029614 edges, 76266 markings/sec, 75 secs
lola: sara is running 80 secs || 7058751 markings, 22433925 edges, 83243 markings/sec, 80 secs
lola: sara is running 85 secs || 7434107 markings, 23754293 edges, 75071 markings/sec, 85 secs
lola: sara is running 90 secs || 7802517 markings, 25234281 edges, 73682 markings/sec, 90 secs
lola: sara is running 95 secs || 8303251 markings, 26609946 edges, 100147 markings/sec, 95 secs
lola: sara is running 100 secs || 8679149 markings, 27762008 edges, 75180 markings/sec, 100 secs
lola: sara is running 105 secs || 9039520 markings, 28993838 edges, 72074 markings/sec, 105 secs
lola: sara is running 110 secs || 9393159 markings, 30077406 edges, 70728 markings/sec, 110 secs
lola: sara is running 115 secs || 9760726 markings, 31282447 edges, 73513 markings/sec, 115 secs
lola: sara is running 120 secs || 10092420 markings, 32521700 edges, 66339 markings/sec, 120 secs
lola: sara is running 125 secs || 10434666 markings, 33801691 edges, 68449 markings/sec, 125 secs
lola: sara is running 130 secs || 10794899 markings, 35021422 edges, 72047 markings/sec, 130 secs
lola: sara is running 135 secs || 11167576 markings, 36224497 edges, 74535 markings/sec, 135 secs
lola: sara is running 140 secs || 11511372 markings, 37474600 edges, 68759 markings/sec, 140 secs
lola: sara is running 145 secs || 11879484 markings, 38749565 edges, 73622 markings/sec, 145 secs
lola: sara is running 150 secs || 12239604 markings, 40056874 edges, 72024 markings/sec, 150 secs
lola: sara is running 155 secs || 12578536 markings, 41357827 edges, 67786 markings/sec, 155 secs
lola: sara is running 160 secs || 12910457 markings, 42669769 edges, 66384 markings/sec, 160 secs
lola: sara is running 165 secs || 13252894 markings, 43870428 edges, 68487 markings/sec, 165 secs
lola: sara is running 170 secs || 13618115 markings, 44984114 edges, 73044 markings/sec, 170 secs
lola: sara is running 175 secs || 13960130 markings, 46117975 edges, 68403 markings/sec, 175 secs
lola: sara is running 180 secs || 14299091 markings, 47278798 edges, 67792 markings/sec, 180 secs
lola: sara is running 185 secs || 14612490 markings, 48478363 edges, 62680 markings/sec, 185 secs
lola: sara is running 190 secs || 14939199 markings, 49843553 edges, 65342 markings/sec, 190 secs
lola: sara is running 195 secs || 15341444 markings, 51158976 edges, 80449 markings/sec, 195 secs
lola: sara is running 200 secs || 15713651 markings, 52352778 edges, 74441 markings/sec, 200 secs
lola: sara is running 205 secs || 16054332 markings, 53651846 edges, 68136 markings/sec, 205 secs
lola: sara is running 210 secs || 16361457 markings, 54971966 edges, 61425 markings/sec, 210 secs
lola: sara is running 215 secs || 16713837 markings, 56194999 edges, 70476 markings/sec, 215 secs
lola: sara is running 220 secs || 17069177 markings, 57504466 edges, 71068 markings/sec, 220 secs
lola: sara is running 225 secs || 17397869 markings, 58782783 edges, 65738 markings/sec, 225 secs
lola: sara is running 230 secs || 17731481 markings, 60048639 edges, 66722 markings/sec, 230 secs
lola: sara is running 235 secs || 18052491 markings, 61366074 edges, 64202 markings/sec, 235 secs
lola: sara is running 240 secs || 18396585 markings, 62715293 edges, 68819 markings/sec, 240 secs
lola: sara is running 245 secs || 18728018 markings, 64193283 edges, 66287 markings/sec, 245 secs
lola: sara is running 250 secs || 19066931 markings, 65636112 edges, 67783 markings/sec, 250 secs
lola: sara is running 255 secs || 19377135 markings, 67014657 edges, 62041 markings/sec, 255 secs
lola: sara is running 260 secs || 19661825 markings, 68363739 edges, 56938 markings/sec, 260 secs
lola: sara is running 265 secs || 19943616 markings, 69666868 edges, 56358 markings/sec, 265 secs
lola: sara is running 270 secs || 20214235 markings, 70872367 edges, 54124 markings/sec, 270 secs
lola: sara is running 275 secs || 20517695 markings, 72160428 edges, 60692 markings/sec, 275 secs
lola: sara is running 280 secs || 20863345 markings, 73521229 edges, 69130 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 727696 KB
lola: time consumption: 2700 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t14_17) AND FIREABLE(t15_2) AND NOT FIREABLE(t12_8)) OR FIREABLE(t15_16) OR (FIREABLE(t1_12) AND FIREABLE(t17_22) AND FIREABLE(t17_13) AND FIREABLE(t5_4) AND FIREABLE(t16_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(t14_17) AND FIREABLE(t15_2) AND NOT FIREABLE(t12_8)) OR FIREABLE(t15_16) OR (FIREABLE(t1_12) AND FIREABLE(t17_22) AND FIREABLE(t17_13) AND FIREABLE(t5_4) AND FIREABLE(t16_22)))))
lola: processed formula length: 197
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_17) AND FIREABLE(t15_2) AND NOT FIREABLE(t12_8)) OR FIREABLE(t15_16) OR (FIREABLE(t1_12) AND FIREABLE(t17_22) AND FIREABLE(t17_13) AND FIREABLE(t5_4) AND FIREABLE(t16_22)))
lola: state equation: Generated DNF with 22 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-13-0.sara
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 435 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t13_14) AND NOT FIREABLE(t3_24) AND (FIREABLE(t2_17) OR FIREABLE(t27_6) OR FIREABLE(t19_16) OR FIREABLE(t5_2)) AND FIREABLE(t2_25) AND FIREABLE(t3_26) AND FIREABLE(t1_22) AND FIREABLE(t20_23))))
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(t13_14) AND NOT FIREABLE(t3_24) AND (FIREABLE(t2_17) OR FIREABLE(t27_6) OR FIREABLE(t19_16) OR FIREABLE(t5_2)) AND FIREABLE(t2_25) AND FIREABLE(t3_26) AND FIREABLE(t1_22) AND FIREABLE(t20_23))))
lola: processed formula length: 217
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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(t13_14) AND NOT FIREABLE(t3_24) AND (FIREABLE(t2_17) OR FIREABLE(t27_6) OR FIREABLE(t19_16) OR FIREABLE(t5_2)) AND FIREABLE(t2_25) AND FIREABLE(t3_26) AND FIREABLE(t1_22) AND FIREABLE(t20_23))
lola: state equation: Generated DNF with 192 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 20169 markings, 25272 edges
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 870 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t14_11) AND FIREABLE(t4_27) AND FIREABLE(t18_13) AND FIREABLE(t6_3) AND FIREABLE(t4_8) AND FIREABLE(t16_22) AND NOT FIREABLE(t20_22) AND (FIREABLE(tAb15) OR FIREABLE(t15_18) OR FIREABLE(t4_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_11) AND FIREABLE(t4_27) AND FIREABLE(t18_13) AND FIREABLE(t6_3) AND FIREABLE(t4_8) AND FIREABLE(t16_22) AND NOT FIREABLE(t20_22) AND (FIREABLE(tAb15) OR FIREABLE(t15_18) OR FIREABLE(t4_9)))))
lola: processed formula length: 213
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_11) AND FIREABLE(t4_27) AND FIREABLE(t18_13) AND FIREABLE(t6_3) AND FIREABLE(t4_8) AND FIREABLE(t16_22) AND NOT FIREABLE(t20_22) AND (FIREABLE(tAb15) OR FIREABLE(t15_18) OR FIREABLE(t4_9)))
lola: state equation: Generated DNF with 44 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 463738 markings, 984426 edges, 92748 markings/sec, 0 secs
lola: sara is running 5 secs || 855322 markings, 2093756 edges, 78317 markings/sec, 5 secs
lola: sara is running 10 secs || 1311545 markings, 3164984 edges, 91245 markings/sec, 10 secs
lola: sara is running 15 secs || 1711803 markings, 4226498 edges, 80052 markings/sec, 15 secs
lola: sara is running 20 secs || 2136301 markings, 5449947 edges, 84900 markings/sec, 20 secs
lola: sara is running 25 secs || 2552677 markings, 6560818 edges, 83275 markings/sec, 25 secs
lola: sara is running 30 secs || 2932723 markings, 7829265 edges, 76009 markings/sec, 30 secs
lola: sara is running 35 secs || 3321357 markings, 9132190 edges, 77727 markings/sec, 35 secs
lola: sara is running 40 secs || 3705907 markings, 10362893 edges, 76910 markings/sec, 40 secs
lola: sara is running 45 secs || 4106356 markings, 11449831 edges, 80090 markings/sec, 45 secs
lola: sara is running 50 secs || 4508718 markings, 12532305 edges, 80472 markings/sec, 50 secs
lola: sara is running 55 secs || 4911964 markings, 13620178 edges, 80649 markings/sec, 55 secs
lola: sara is running 60 secs || 5302498 markings, 14838303 edges, 78107 markings/sec, 60 secs
lola: sara is running 65 secs || 5696550 markings, 16014573 edges, 78810 markings/sec, 65 secs
lola: sara is running 70 secs || 6090485 markings, 17221478 edges, 78787 markings/sec, 70 secs
lola: sara is running 75 secs || 6476700 markings, 18614256 edges, 77243 markings/sec, 75 secs
lola: sara is running 80 secs || 6835922 markings, 20016607 edges, 71844 markings/sec, 80 secs
lola: sara is running 85 secs || 7214503 markings, 21418177 edges, 75716 markings/sec, 85 secs
lola: sara is running 90 secs || 7570931 markings, 22764178 edges, 71286 markings/sec, 90 secs
lola: sara is running 95 secs || 7914779 markings, 24006157 edges, 68770 markings/sec, 95 secs
lola: sara is running 100 secs || 8258011 markings, 25399906 edges, 68646 markings/sec, 100 secs
lola: sara is running 105 secs || 8598913 markings, 26832581 edges, 68180 markings/sec, 105 secs
lola: sara is running 110 secs || 9036429 markings, 28214436 edges, 87503 markings/sec, 110 secs
lola: sara is running 115 secs || 9466063 markings, 29507895 edges, 85927 markings/sec, 115 secs
lola: sara is running 120 secs || 9898402 markings, 30858817 edges, 86468 markings/sec, 120 secs
lola: sara is running 125 secs || 10313339 markings, 32146435 edges, 82987 markings/sec, 125 secs
lola: sara is running 130 secs || 10695434 markings, 33354251 edges, 76419 markings/sec, 130 secs
lola: sara is running 135 secs || 11053811 markings, 34604517 edges, 71675 markings/sec, 135 secs
lola: sara is running 140 secs || 11399281 markings, 35964799 edges, 69094 markings/sec, 140 secs
lola: sara is running 145 secs || 11740302 markings, 37502966 edges, 68204 markings/sec, 145 secs
lola: sara is running 150 secs || 12136740 markings, 39095716 edges, 79288 markings/sec, 150 secs
lola: sara is running 155 secs || 12510415 markings, 40632944 edges, 74735 markings/sec, 155 secs
lola: sara is running 160 secs || 12896811 markings, 41874216 edges, 77279 markings/sec, 160 secs
lola: sara is running 165 secs || 13301781 markings, 43021355 edges, 80994 markings/sec, 165 secs
lola: sara is running 170 secs || 13718142 markings, 44162940 edges, 83272 markings/sec, 170 secs
lola: sara is running 175 secs || 14122465 markings, 45351178 edges, 80865 markings/sec, 175 secs
lola: sara is running 180 secs || 14521011 markings, 46539513 edges, 79709 markings/sec, 180 secs
lola: sara is running 185 secs || 14912174 markings, 47730959 edges, 78233 markings/sec, 185 secs
lola: sara is running 190 secs || 15325535 markings, 48960369 edges, 82672 markings/sec, 190 secs
lola: sara is running 195 secs || 15725504 markings, 50140725 edges, 79994 markings/sec, 195 secs
lola: sara is running 200 secs || 16131001 markings, 51309958 edges, 81099 markings/sec, 200 secs
lola: sara is running 205 secs || 16532228 markings, 52428333 edges, 80245 markings/sec, 205 secs
lola: sara is running 210 secs || 16943414 markings, 53646819 edges, 82237 markings/sec, 210 secs
lola: sara is running 215 secs || 17348869 markings, 54825289 edges, 81091 markings/sec, 215 secs
lola: sara is running 220 secs || 17766657 markings, 56023229 edges, 83558 markings/sec, 220 secs
lola: sara is running 225 secs || 18179415 markings, 57203149 edges, 82552 markings/sec, 225 secs
lola: sara is running 230 secs || 18590362 markings, 58410222 edges, 82189 markings/sec, 230 secs
lola: sara is running 235 secs || 18989684 markings, 59748220 edges, 79864 markings/sec, 235 secs
lola: sara is running 240 secs || 19365734 markings, 61086162 edges, 75210 markings/sec, 240 secs
lola: sara is running 245 secs || 19734541 markings, 62443676 edges, 73761 markings/sec, 245 secs
lola: sara is running 250 secs || 20105514 markings, 63867095 edges, 74195 markings/sec, 250 secs
lola: sara is running 255 secs || 20457891 markings, 65232526 edges, 70475 markings/sec, 255 secs
lola: sara is running 260 secs || 20838842 markings, 66703549 edges, 76190 markings/sec, 260 secs
lola: sara is running 265 secs || 21231289 markings, 68163085 edges, 78489 markings/sec, 265 secs
lola: sara is running 270 secs || 21613725 markings, 69555394 edges, 76487 markings/sec, 270 secs
lola: sara is running 275 secs || 21976627 markings, 70970090 edges, 72580 markings/sec, 275 secs
lola: sara is running 280 secs || 22352119 markings, 72372319 edges, 75098 markings/sec, 280 secs
lola: sara is running 285 secs || 22722875 markings, 73740413 edges, 74151 markings/sec, 285 secs
lola: sara is running 290 secs || 23098971 markings, 75346221 edges, 75219 markings/sec, 290 secs
lola: sara is running 295 secs || 23486235 markings, 76863010 edges, 77453 markings/sec, 295 secs
lola: sara is running 300 secs || 23922905 markings, 78311304 edges, 87334 markings/sec, 300 secs
lola: sara is running 305 secs || 24335370 markings, 79746005 edges, 82493 markings/sec, 305 secs
lola: sara is running 310 secs || 24760740 markings, 81200020 edges, 85074 markings/sec, 310 secs
lola: sara is running 315 secs || 25187799 markings, 82728155 edges, 85412 markings/sec, 315 secs
lola: sara is running 320 secs || 25633658 markings, 84249155 edges, 89172 markings/sec, 320 secs
lola: sara is running 325 secs || 26093874 markings, 85738133 edges, 92043 markings/sec, 325 secs
lola: sara is running 330 secs || 26510894 markings, 87199410 edges, 83404 markings/sec, 330 secs
lola: sara is running 335 secs || 26939025 markings, 88653852 edges, 85626 markings/sec, 335 secs
lola: sara is running 340 secs || 27350676 markings, 90148498 edges, 82330 markings/sec, 340 secs
lola: sara is running 345 secs || 27782106 markings, 91559019 edges, 86286 markings/sec, 345 secs
lola: sara is running 350 secs || 28212757 markings, 92987052 edges, 86130 markings/sec, 350 secs
lola: sara is running 355 secs || 28613722 markings, 94458611 edges, 80193 markings/sec, 355 secs
lola: sara is running 360 secs || 29046538 markings, 95968332 edges, 86563 markings/sec, 360 secs
lola: sara is running 365 secs || 29466816 markings, 97396285 edges, 84056 markings/sec, 365 secs
lola: sara is running 370 secs || 29882553 markings, 98856709 edges, 83147 markings/sec, 370 secs
lola: sara is running 375 secs || 30316872 markings, 100254002 edges, 86864 markings/sec, 375 secs
lola: sara is running 380 secs || 30734728 markings, 101672103 edges, 83571 markings/sec, 380 secs
lola: sara is running 385 secs || 31156993 markings, 103182271 edges, 84453 markings/sec, 385 secs
lola: sara is running 390 secs || 31586623 markings, 104682326 edges, 85926 markings/sec, 390 secs
lola: sara is running 395 secs || 32018537 markings, 106125648 edges, 86383 markings/sec, 395 secs
lola: sara is running 400 secs || 32453629 markings, 107610931 edges, 87018 markings/sec, 400 secs
lola: sara is running 405 secs || 32862800 markings, 109055860 edges, 81834 markings/sec, 405 secs
lola: sara is running 410 secs || 33245231 markings, 110351473 edges, 76486 markings/sec, 410 secs
lola: sara is running 415 secs || 33649651 markings, 111741532 edges, 80884 markings/sec, 415 secs
lola: sara is running 420 secs || 34046437 markings, 113140541 edges, 79357 markings/sec, 420 secs
lola: sara is running 425 secs || 34446545 markings, 114504267 edges, 80022 markings/sec, 425 secs
lola: sara is running 430 secs || 34831820 markings, 115866856 edges, 77055 markings/sec, 430 secs
lola: sara is running 435 secs || 35216561 markings, 117241952 edges, 76948 markings/sec, 435 secs
lola: sara is running 440 secs || 35585998 markings, 118572056 edges, 73887 markings/sec, 440 secs
lola: sara is running 445 secs || 35951803 markings, 119904314 edges, 73161 markings/sec, 445 secs
lola: sara is running 450 secs || 36309923 markings, 121327231 edges, 71624 markings/sec, 450 secs
lola: sara is running 455 secs || 36671039 markings, 122819780 edges, 72223 markings/sec, 455 secs
lola: sara is running 460 secs || 37001372 markings, 124442250 edges, 66067 markings/sec, 460 secs
lola: sara is running 465 secs || 37331681 markings, 125988043 edges, 66062 markings/sec, 465 secs
lola: sara is running 470 secs || 37674778 markings, 127479861 edges, 68619 markings/sec, 470 secs
lola: sara is running 475 secs || 38065173 markings, 128870238 edges, 78079 markings/sec, 475 secs
lola: sara is running 480 secs || 38441762 markings, 130234378 edges, 75318 markings/sec, 480 secs
lola: sara is running 485 secs || 38816357 markings, 131629203 edges, 74919 markings/sec, 485 secs
lola: sara is running 490 secs || 39187573 markings, 133019855 edges, 74243 markings/sec, 490 secs
lola: sara is running 495 secs || 39555835 markings, 134542010 edges, 73652 markings/sec, 495 secs
lola: sara is running 500 secs || 39912901 markings, 135952357 edges, 71413 markings/sec, 500 secs
lola: sara is running 505 secs || 40282923 markings, 137404383 edges, 74004 markings/sec, 505 secs
lola: sara is running 510 secs || 40649409 markings, 138832815 edges, 73297 markings/sec, 510 secs
lola: sara is running 515 secs || 41077364 markings, 140326237 edges, 85591 markings/sec, 515 secs
lola: sara is running 520 secs || 41579348 markings, 141794410 edges, 100397 markings/sec, 520 secs
lola: sara is running 525 secs || 42032338 markings, 143173462 edges, 90598 markings/sec, 525 secs
lola: sara is running 530 secs || 42447412 markings, 144645735 edges, 83015 markings/sec, 530 secs
lola: sara is running 535 secs || 42839921 markings, 146083235 edges, 78502 markings/sec, 535 secs
lola: sara is running 540 secs || 43223964 markings, 147544111 edges, 76809 markings/sec, 540 secs
lola: sara is running 545 secs || 43635520 markings, 149015502 edges, 82311 markings/sec, 545 secs
lola: sara is running 550 secs || 44027766 markings, 150482969 edges, 78449 markings/sec, 550 secs
lola: sara is running 555 secs || 44427785 markings, 151931588 edges, 80004 markings/sec, 555 secs
lola: sara is running 560 secs || 44805117 markings, 153342361 edges, 75466 markings/sec, 560 secs
lola: sara is running 565 secs || 45179425 markings, 154748821 edges, 74862 markings/sec, 565 secs
lola: sara is running 570 secs || 45524048 markings, 156296148 edges, 68925 markings/sec, 570 secs
lola: sara is running 575 secs || 45968310 markings, 157776779 edges, 88852 markings/sec, 575 secs
lola: sara is running 580 secs || 46433992 markings, 159298569 edges, 93136 markings/sec, 580 secs
lola: sara is running 585 secs || 46927145 markings, 160781268 edges, 98631 markings/sec, 585 secs
lola: sara is running 590 secs || 47388799 markings, 162319437 edges, 92331 markings/sec, 590 secs
lola: sara is running 595 secs || 47861564 markings, 163863105 edges, 94553 markings/sec, 595 secs
lola: sara is running 600 secs || 48274651 markings, 165452820 edges, 82617 markings/sec, 600 secs
lola: sara is running 605 secs || 48626146 markings, 167100683 edges, 70299 markings/sec, 605 secs
lola: sara is running 610 secs || 48965146 markings, 168754713 edges, 67800 markings/sec, 610 secs
lola: sara is running 615 secs || 49308440 markings, 170361383 edges, 68659 markings/sec, 615 secs
lola: sara is running 620 secs || 49654281 markings, 171937967 edges, 69168 markings/sec, 620 secs
lola: sara is running 625 secs || 49997113 markings, 173578786 edges, 68566 markings/sec, 625 secs
lola: sara is running 630 secs || 50396780 markings, 175051948 edges, 79933 markings/sec, 630 secs
lola: sara is running 635 secs || 50851201 markings, 176529954 edges, 90884 markings/sec, 635 secs
lola: sara is running 640 secs || 51283949 markings, 178055996 edges, 86550 markings/sec, 640 secs
lola: sara is running 645 secs || 51674816 markings, 179623566 edges, 78173 markings/sec, 645 secs
lola: sara is running 650 secs || 52068600 markings, 181193919 edges, 78757 markings/sec, 650 secs
lola: sara is running 655 secs || 52450623 markings, 182734419 edges, 76405 markings/sec, 655 secs
lola: sara is running 660 secs || 52808492 markings, 184439403 edges, 71574 markings/sec, 660 secs
lola: sara is running 665 secs || 53143068 markings, 186100126 edges, 66915 markings/sec, 665 secs
lola: sara is running 670 secs || 53482305 markings, 187660240 edges, 67847 markings/sec, 670 secs
lola: sara is running 675 secs || 53837138 markings, 189294392 edges, 70967 markings/sec, 675 secs
lola: sara is running 680 secs || 54224853 markings, 190913478 edges, 77543 markings/sec, 680 secs
lola: sara is running 685 secs || 54654392 markings, 192572856 edges, 85908 markings/sec, 685 secs
lola: sara is running 690 secs || 55065540 markings, 194137691 edges, 82230 markings/sec, 690 secs
lola: sara is running 695 secs || 55464566 markings, 195817845 edges, 79805 markings/sec, 695 secs
lola: sara is running 700 secs || 55835338 markings, 197509213 edges, 74154 markings/sec, 700 secs
lola: sara is running 705 secs || 56209474 markings, 199098109 edges, 74827 markings/sec, 705 secs
lola: sara is running 710 secs || 56593013 markings, 200642982 edges, 76708 markings/sec, 710 secs
lola: sara is running 715 secs || 56948940 markings, 202262344 edges, 71185 markings/sec, 715 secs
lola: sara is running 720 secs || 57326898 markings, 203762686 edges, 75592 markings/sec, 720 secs
lola: sara is running 725 secs || 57741440 markings, 204896772 edges, 82908 markings/sec, 725 secs
lola: sara is running 730 secs || 58154508 markings, 205930267 edges, 82614 markings/sec, 730 secs
lola: sara is running 735 secs || 58545817 markings, 207050138 edges, 78262 markings/sec, 735 secs
lola: sara is running 740 secs || 58926463 markings, 208399182 edges, 76129 markings/sec, 740 secs
lola: sara is running 745 secs || 59307421 markings, 209793535 edges, 76192 markings/sec, 745 secs
lola: sara is running 750 secs || 59700200 markings, 211116876 edges, 78556 markings/sec, 750 secs
lola: sara is running 755 secs || 60077756 markings, 212487160 edges, 75511 markings/sec, 755 secs
lola: sara is running 760 secs || 60448624 markings, 213741082 edges, 74174 markings/sec, 760 secs
lola: sara is running 765 secs || 60837578 markings, 214892419 edges, 77791 markings/sec, 765 secs
lola: sara is running 770 secs || 61197812 markings, 216273930 edges, 72047 markings/sec, 770 secs
lola: sara is running 775 secs || 61571470 markings, 217668650 edges, 74732 markings/sec, 775 secs
lola: sara is running 780 secs || 61974822 markings, 218731480 edges, 80670 markings/sec, 780 secs
lola: sara is running 785 secs || 62365364 markings, 219911396 edges, 78108 markings/sec, 785 secs
lola: sara is running 790 secs || 62761077 markings, 221091417 edges, 79143 markings/sec, 790 secs
lola: sara is running 795 secs || 63112425 markings, 222443862 edges, 70270 markings/sec, 795 secs
lola: sara is running 800 secs || 63504899 markings, 223684784 edges, 78495 markings/sec, 800 secs
lola: sara is running 805 secs || 63862517 markings, 224975955 edges, 71524 markings/sec, 805 secs
lola: sara is running 810 secs || 64227932 markings, 226238399 edges, 73083 markings/sec, 810 secs
lola: sara is running 815 secs || 64585292 markings, 227557360 edges, 71472 markings/sec, 815 secs
lola: sara is running 820 secs || 64957257 markings, 228812394 edges, 74393 markings/sec, 820 secs
lola: sara is running 825 secs || 65300445 markings, 230039442 edges, 68638 markings/sec, 825 secs
lola: sara is running 830 secs || 65658027 markings, 231295285 edges, 71516 markings/sec, 830 secs
lola: sara is running 835 secs || 65999258 markings, 232633920 edges, 68246 markings/sec, 835 secs
lola: sara is running 840 secs || 66387540 markings, 233857664 edges, 77656 markings/sec, 840 secs
lola: sara is running 845 secs || 66762362 markings, 235159994 edges, 74964 markings/sec, 845 secs
lola: sara is running 850 secs || 67142467 markings, 236351290 edges, 76021 markings/sec, 850 secs
lola: sara is running 855 secs || 67509731 markings, 237700937 edges, 73453 markings/sec, 855 secs
lola: sara is running 860 secs || 67884365 markings, 239043315 edges, 74927 markings/sec, 860 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown yes unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown unknown yes unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 2334176 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(t3_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(t3_1)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown yes unknown unknown yes unknown unknown yes unknown no unknown
lola:
preliminary result: unknown no unknown unknown unknown unknown yes unknown unknown yes unknown unknown yes unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown unknown yes unknown unknown yes unknown unknown yes unknown no unknown
lola: memory consumption: 14636 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t6_1)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: lola: memory consumption: 14636 KB
lola: time consumption: 3570 seconds
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(t6_1)))
lola: processed formula length: 26
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-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)
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-15ringRRLarge"
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-15ringRRLarge.tgz
mv DNAwalker-PT-15ringRRLarge 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-15ringRRLarge, 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-152649735500329"
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 ;