About the Execution of LoLA for DNAwalker-PT-12ringLLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1150.420 | 3570200.00 | 7187542.00 | 7239.00 | ???????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 296K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K 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-12ringLLLarge, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500308
=====================================================================
--------------------
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-12ringLLLarge-ReachabilityFireability-00
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-01
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-02
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-03
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-04
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-05
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-06
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-07
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-08
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-09
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-10
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-11
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-12
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-13
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-14
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526825722437
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-12ringLLLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-12ringLLLarge formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ DNAwalker-PT-12ringLLLarge @ 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-12ringLLLarge-ReachabilityFireability.task
lola: E (F (FIREABLE(t4_1))) : A (G ((FIREABLE(t27_3) OR FIREABLE(t23_3) OR NOT FIREABLE(t24_25) OR NOT FIREABLE(tAb3) OR (NOT FIREABLE(t20_17) AND FIREABLE(tb3)) OR (NOT FIREABLE(t20_22) AND (FIREABLE(t24_26) OR FIREABLE(t4_3)))))) : E (F ((FIREABLE(t18_14) AND (FIREABLE(t4_25) OR FIREABLE(t26_3)) AND FIREABLE(t21_22) AND FIREABLE(t16_8) AND FIREABLE(t7_1) AND FIREABLE(t12_8) AND FIREABLE(t1_4)))) : E (F (((FIREABLE(t1_10) OR FIREABLE(t8_4) OR (FIREABLE(t1_5) AND FIREABLE(t18_16))) AND FIREABLE(t14_10) AND ((FIREABLE(t1_19) AND FIREABLE(t12_9)) OR (FIREABLE(t16_15) AND FIREABLE(t2_27))) AND FIREABLE(t12_11)))) : E (F ((FIREABLE(t3_26) AND (FIREABLE(t2_5) OR (FIREABLE(tb17) AND (FIREABLE(t6_27) OR FIREABLE(t10_15))))))) : A (G ((NOT FIREABLE(t16_15) OR NOT FIREABLE(t14_2) OR (NOT FIREABLE(t16_11) AND (FIREABLE(t12_13) OR FIREABLE(t26_4))) OR (NOT FIREABLE(t23_21) AND (FIREABLE(t25_26) OR FIREABLE(t1_3))) OR FIREABLE(t12_10)))) : E (F (((FIREABLE(t20_15) AND FIREABLE(t14_2) AND FIREABLE(t12_1) AND FIREABLE(tAb2)) OR (FIREABLE(t23_21) AND FIREABLE(t15_12) AND FIREABLE(t15_10) AND FIREABLE(t10_6)) OR (FIREABLE(t1_3) AND NOT FIREABLE(t8_16) AND FIREABLE(t4_7))))) : E (F ((FIREABLE(t12_13) AND FIREABLE(t2_24) AND FIREABLE(t27_3) AND FIREABLE(t8_3) AND FIREABLE(t1_27) AND FIREABLE(t5_1) AND NOT FIREABLE(t13_12) AND FIREABLE(t20_23)))) : A (G ((NOT FIREABLE(t27_23) OR (NOT FIREABLE(t13_15) AND NOT FIREABLE(t10_15)) OR FIREABLE(t14_12)))) : A (G ((NOT FIREABLE(t3_23) OR NOT FIREABLE(t7_3) OR NOT FIREABLE(t11_9) OR NOT FIREABLE(t14_19) OR NOT FIREABLE(t10_14) OR NOT FIREABLE(t8_3) OR NOT FIREABLE(t14_17) OR NOT FIREABLE(t8_5)))) : A (G ((NOT FIREABLE(t2_3) OR NOT FIREABLE(t16_3) OR (NOT FIREABLE(t24_2) AND NOT FIREABLE(tAb17)) OR ((FIREABLE(t6_9) OR FIREABLE(t12_9)) AND FIREABLE(t25_1) AND FIREABLE(t19_15))))) : A (G ((NOT FIREABLE(t11_12) OR NOT FIREABLE(t7_2) OR NOT FIREABLE(t6_2) OR (FIREABLE(t1_20) AND NOT FIREABLE(t13_10))))) : E (F ((FIREABLE(t15_16) AND ((FIREABLE(t1_10) AND FIREABLE(t10_1)) OR (FIREABLE(t18_1) AND FIREABLE(t27_1)) OR FIREABLE(t21_16) OR FIREABLE(t27_22) OR (FIREABLE(t23_21) AND FIREABLE(t17_14)))))) : E (F (((FIREABLE(t2_16) OR FIREABLE(t12_13)) AND FIREABLE(t2_26) AND ((FIREABLE(t27_6) AND FIREABLE(t18_22)) OR FIREABLE(t19_22)) AND FIREABLE(t4_26)))) : A (G ((NOT FIREABLE(t16_22) OR NOT FIREABLE(t10_1) OR (NOT FIREABLE(t18_22) AND NOT FIREABLE(t10_15)) OR FIREABLE(t17_14)))) : E (F ((FIREABLE(t4_1) AND (NOT FIREABLE(t14_9) OR NOT FIREABLE(t17_19)) AND FIREABLE(t25_23) AND FIREABLE(tloop22))))
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(t4_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(t4_1)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t4_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 371015 markings, 1265079 edges, 74203 markings/sec, 0 secs
lola: sara is running 5 secs || 701700 markings, 2801299 edges, 66137 markings/sec, 5 secs
lola: sara is running 10 secs || 1002337 markings, 4286252 edges, 60127 markings/sec, 10 secs
lola: sara is running 15 secs || 1285352 markings, 5791719 edges, 56603 markings/sec, 15 secs
lola: sara is running 20 secs || 1599344 markings, 7148531 edges, 62798 markings/sec, 20 secs
lola: sara is running 25 secs || 1880941 markings, 8685463 edges, 56319 markings/sec, 25 secs
lola: sara is running 30 secs || 2163707 markings, 10212244 edges, 56553 markings/sec, 30 secs
lola: sara is running 35 secs || 2474166 markings, 11640208 edges, 62092 markings/sec, 35 secs
lola: sara is running 40 secs || 2758604 markings, 13168167 edges, 56888 markings/sec, 40 secs
lola: sara is running 45 secs || 3050293 markings, 14652422 edges, 58338 markings/sec, 45 secs
lola: sara is running 50 secs || 3394061 markings, 16055318 edges, 68754 markings/sec, 50 secs
lola: sara is running 55 secs || 3742719 markings, 17236518 edges, 69732 markings/sec, 55 secs
lola: sara is running 60 secs || 4062542 markings, 18660182 edges, 63965 markings/sec, 60 secs
lola: sara is running 65 secs || 4368880 markings, 20305644 edges, 61268 markings/sec, 65 secs
lola: sara is running 70 secs || 4664152 markings, 21884618 edges, 59054 markings/sec, 70 secs
lola: sara is running 75 secs || 4978298 markings, 23524987 edges, 62829 markings/sec, 75 secs
lola: sara is running 80 secs || 5276171 markings, 25214152 edges, 59575 markings/sec, 80 secs
lola: sara is running 85 secs || 5548615 markings, 27041603 edges, 54489 markings/sec, 85 secs
lola: sara is running 90 secs || 5884737 markings, 28599614 edges, 67224 markings/sec, 90 secs
lola: sara is running 95 secs || 6178605 markings, 30406381 edges, 58774 markings/sec, 95 secs
lola: sara is running 100 secs || 6469485 markings, 32328800 edges, 58176 markings/sec, 100 secs
lola: sara is running 105 secs || 6818915 markings, 33675034 edges, 69886 markings/sec, 105 secs
lola: sara is running 110 secs || 7144273 markings, 35138979 edges, 65072 markings/sec, 110 secs
lola: sara is running 115 secs || 7450996 markings, 36770530 edges, 61345 markings/sec, 115 secs
lola: sara is running 120 secs || 7745253 markings, 38500506 edges, 58851 markings/sec, 120 secs
lola: sara is running 125 secs || 8058441 markings, 40184265 edges, 62638 markings/sec, 125 secs
lola: sara is running 130 secs || 8372477 markings, 41938180 edges, 62807 markings/sec, 130 secs
lola: sara is running 135 secs || 8695060 markings, 43442717 edges, 64517 markings/sec, 135 secs
lola: sara is running 140 secs || 9002200 markings, 45137846 edges, 61428 markings/sec, 140 secs
lola: sara is running 145 secs || 9312835 markings, 46861530 edges, 62127 markings/sec, 145 secs
lola: sara is running 150 secs || 9624126 markings, 48563861 edges, 62258 markings/sec, 150 secs
lola: sara is running 155 secs || 9937994 markings, 50219793 edges, 62774 markings/sec, 155 secs
lola: sara is running 160 secs || 10226467 markings, 51869667 edges, 57695 markings/sec, 160 secs
lola: sara is running 165 secs || 10505637 markings, 53366422 edges, 55834 markings/sec, 165 secs
lola: sara is running 170 secs || 10780723 markings, 54842874 edges, 55017 markings/sec, 170 secs
lola: sara is running 175 secs || 11075315 markings, 56127133 edges, 58918 markings/sec, 175 secs
lola: sara is running 180 secs || 11394747 markings, 57658537 edges, 63886 markings/sec, 180 secs
lola: sara is running 185 secs || 11704632 markings, 59169142 edges, 61977 markings/sec, 185 secs
lola: sara is running 190 secs || 12007124 markings, 60672578 edges, 60498 markings/sec, 190 secs
lola: sara is running 195 secs || 12323267 markings, 62155256 edges, 63229 markings/sec, 195 secs
lola: sara is running 200 secs || 12632760 markings, 63658821 edges, 61899 markings/sec, 200 secs
lola: sara is running 205 secs || 12948395 markings, 65177127 edges, 63127 markings/sec, 205 secs
lola: sara is running 210 secs || 13269429 markings, 66635286 edges, 64207 markings/sec, 210 secs
lola: sara is running 215 secs || 13589549 markings, 68151157 edges, 64024 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: 475892 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(t27_23) OR (NOT FIREABLE(t13_15) AND NOT FIREABLE(t10_15)) OR FIREABLE(t14_12))))
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(t27_23) OR (NOT FIREABLE(t13_15) AND NOT FIREABLE(t10_15)) OR FIREABLE(t14_12))))
lola: processed formula length: 103
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t27_23) AND (FIREABLE(t13_15) OR FIREABLE(t10_15)) AND NOT FIREABLE(t14_12))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 397216 markings, 1547806 edges, 79443 markings/sec, 0 secs
lola: sara is running 5 secs || 781914 markings, 3069016 edges, 76940 markings/sec, 5 secs
lola: sara is running 10 secs || 1159441 markings, 4671516 edges, 75505 markings/sec, 10 secs
lola: sara is running 15 secs || 1549518 markings, 6212634 edges, 78015 markings/sec, 15 secs
lola: sara is running 20 secs || 1967030 markings, 7764662 edges, 83502 markings/sec, 20 secs
lola: sara is running 25 secs || 2361456 markings, 9344415 edges, 78885 markings/sec, 25 secs
lola: sara is running 30 secs || 2739061 markings, 10891794 edges, 75521 markings/sec, 30 secs
lola: sara is running 35 secs || 3114693 markings, 12575887 edges, 75126 markings/sec, 35 secs
lola: sara is running 40 secs || 3499159 markings, 13943447 edges, 76893 markings/sec, 40 secs
lola: sara is running 45 secs || 3862001 markings, 15331088 edges, 72568 markings/sec, 45 secs
lola: sara is running 50 secs || 4252142 markings, 16761595 edges, 78028 markings/sec, 50 secs
lola: sara is running 55 secs || 4619795 markings, 18202925 edges, 73531 markings/sec, 55 secs
lola: sara is running 60 secs || 5012981 markings, 19624270 edges, 78637 markings/sec, 60 secs
lola: sara is running 65 secs || 5361684 markings, 21201959 edges, 69741 markings/sec, 65 secs
lola: sara is running 70 secs || 5690034 markings, 22705314 edges, 65670 markings/sec, 70 secs
lola: sara is running 75 secs || 6028222 markings, 24122680 edges, 67638 markings/sec, 75 secs
lola: sara is running 80 secs || 6387284 markings, 25654683 edges, 71812 markings/sec, 80 secs
lola: sara is running 85 secs || 6741993 markings, 27147203 edges, 70942 markings/sec, 85 secs
lola: sara is running 90 secs || 7063316 markings, 28623556 edges, 64265 markings/sec, 90 secs
lola: sara is running 95 secs || 7394031 markings, 30146870 edges, 66143 markings/sec, 95 secs
lola: sara is running 100 secs || 7771400 markings, 31537324 edges, 75474 markings/sec, 100 secs
lola: sara is running 105 secs || 8110809 markings, 33058107 edges, 67882 markings/sec, 105 secs
lola: sara is running 110 secs || 8418660 markings, 34728514 edges, 61570 markings/sec, 110 secs
lola: sara is running 115 secs || 8763955 markings, 36183966 edges, 69059 markings/sec, 115 secs
lola: sara is running 120 secs || 9107011 markings, 37532141 edges, 68611 markings/sec, 120 secs
lola: sara is running 125 secs || 9420893 markings, 39156923 edges, 62776 markings/sec, 125 secs
lola: sara is running 130 secs || 9709294 markings, 40922526 edges, 57680 markings/sec, 130 secs
lola: sara is running 135 secs || 10016451 markings, 42391718 edges, 61431 markings/sec, 135 secs
lola: sara is running 140 secs || 10334686 markings, 43997828 edges, 63647 markings/sec, 140 secs
lola: sara is running 145 secs || 10677385 markings, 45480686 edges, 68540 markings/sec, 145 secs
lola: sara is running 150 secs || 10981626 markings, 46962825 edges, 60848 markings/sec, 150 secs
lola: sara is running 155 secs || 11334802 markings, 48326175 edges, 70635 markings/sec, 155 secs
lola: sara is running 160 secs || 11732859 markings, 49622383 edges, 79611 markings/sec, 160 secs
lola: sara is running 165 secs || 12121329 markings, 51067368 edges, 77694 markings/sec, 165 secs
lola: sara is running 170 secs || 12502360 markings, 52628164 edges, 76206 markings/sec, 170 secs
lola: sara is running 175 secs || 12862119 markings, 54159769 edges, 71952 markings/sec, 175 secs
lola: sara is running 180 secs || 13185454 markings, 55868590 edges, 64667 markings/sec, 180 secs
lola: sara is running 185 secs || 13521092 markings, 57431945 edges, 67128 markings/sec, 185 secs
lola: sara is running 190 secs || 13864420 markings, 58651109 edges, 68666 markings/sec, 190 secs
lola: sara is running 195 secs || 14198950 markings, 59928051 edges, 66906 markings/sec, 195 secs
lola: sara is running 200 secs || 14520420 markings, 61347752 edges, 64294 markings/sec, 200 secs
lola: sara is running 205 secs || 14850776 markings, 62785852 edges, 66071 markings/sec, 205 secs
lola: sara is running 210 secs || 15179010 markings, 64235148 edges, 65647 markings/sec, 210 secs
lola: sara is running 215 secs || 15514086 markings, 65705698 edges, 67015 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: 555108 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_26) AND (FIREABLE(t2_5) OR (FIREABLE(tb17) AND (FIREABLE(t6_27) OR FIREABLE(t10_15)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t3_26) AND (FIREABLE(t2_5) OR (FIREABLE(tb17) AND (FIREABLE(t6_27) OR FIREABLE(t10_15)))))))
lola: processed formula length: 110
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t3_26) AND (FIREABLE(t2_5) OR (FIREABLE(tb17) AND (FIREABLE(t6_27) OR FIREABLE(t10_15)))))
lola: state equation: Generated DNF with 14 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 536519 markings, 1350846 edges, 107304 markings/sec, 0 secs
lola: sara is running 5 secs || 1065421 markings, 2597662 edges, 105780 markings/sec, 5 secs
lola: sara is running 10 secs || 1615037 markings, 3749757 edges, 109923 markings/sec, 10 secs
lola: sara is running 15 secs || 2124228 markings, 5222714 edges, 101838 markings/sec, 15 secs
lola: sara is running 20 secs || 2594245 markings, 6717018 edges, 94003 markings/sec, 20 secs
lola: sara is running 25 secs || 3073436 markings, 8356141 edges, 95838 markings/sec, 25 secs
lola: sara is running 30 secs || 3661602 markings, 9781788 edges, 117633 markings/sec, 30 secs
lola: sara is running 35 secs || 4107427 markings, 11342651 edges, 89165 markings/sec, 35 secs
lola: sara is running 40 secs || 4548609 markings, 12685286 edges, 88236 markings/sec, 40 secs
lola: sara is running 45 secs || 4934412 markings, 14283058 edges, 77161 markings/sec, 45 secs
lola: sara is running 50 secs || 5466025 markings, 15614444 edges, 106323 markings/sec, 50 secs
lola: sara is running 55 secs || 5943097 markings, 16954158 edges, 95414 markings/sec, 55 secs
lola: sara is running 60 secs || 6452996 markings, 18181597 edges, 101980 markings/sec, 60 secs
lola: sara is running 65 secs || 6948992 markings, 19715498 edges, 99199 markings/sec, 65 secs
lola: sara is running 70 secs || 7402988 markings, 21222709 edges, 90799 markings/sec, 70 secs
lola: sara is running 75 secs || 7862190 markings, 22862872 edges, 91840 markings/sec, 75 secs
lola: sara is running 80 secs || 8315001 markings, 24348532 edges, 90562 markings/sec, 80 secs
lola: sara is running 85 secs || 8792273 markings, 25676485 edges, 95454 markings/sec, 85 secs
lola: sara is running 90 secs || 9275201 markings, 26948700 edges, 96586 markings/sec, 90 secs
lola: sara is running 95 secs || 9745044 markings, 28287017 edges, 93969 markings/sec, 95 secs
lola: sara is running 100 secs || 10241495 markings, 29811778 edges, 99290 markings/sec, 100 secs
lola: sara is running 105 secs || 10690926 markings, 31465099 edges, 89886 markings/sec, 105 secs
lola: sara is running 110 secs || 11139232 markings, 33097497 edges, 89661 markings/sec, 110 secs
lola: sara is running 115 secs || 11627332 markings, 34394062 edges, 97620 markings/sec, 115 secs
lola: sara is running 120 secs || 12081255 markings, 35714374 edges, 90785 markings/sec, 120 secs
lola: sara is running 125 secs || 12535202 markings, 37300293 edges, 90789 markings/sec, 125 secs
lola: sara is running 130 secs || 12979246 markings, 38786017 edges, 88809 markings/sec, 130 secs
lola: sara is running 135 secs || 13449988 markings, 40270328 edges, 94148 markings/sec, 135 secs
lola: sara is running 140 secs || 13982485 markings, 41571819 edges, 106499 markings/sec, 140 secs
lola: sara is running 145 secs || 14475961 markings, 42913628 edges, 98695 markings/sec, 145 secs
lola: sara is running 150 secs || 14942146 markings, 44579677 edges, 93237 markings/sec, 150 secs
lola: sara is running 155 secs || 15382337 markings, 46014050 edges, 88038 markings/sec, 155 secs
lola: sara is running 160 secs || 15759577 markings, 47442134 edges, 75448 markings/sec, 160 secs
lola: sara is running 165 secs || 16142521 markings, 48796944 edges, 76589 markings/sec, 165 secs
lola: sara is running 170 secs || 16575648 markings, 50145307 edges, 86625 markings/sec, 170 secs
lola: sara is running 175 secs || 16940454 markings, 51506229 edges, 72961 markings/sec, 175 secs
lola: sara is running 180 secs || 17367177 markings, 52841352 edges, 85345 markings/sec, 180 secs
lola: sara is running 185 secs || 17721735 markings, 54325522 edges, 70912 markings/sec, 185 secs
lola: sara is running 190 secs || 18017910 markings, 55991204 edges, 59235 markings/sec, 190 secs
lola: sara is running 195 secs || 18410157 markings, 57689216 edges, 78449 markings/sec, 195 secs
lola: sara is running 200 secs || 18860888 markings, 59459279 edges, 90146 markings/sec, 200 secs
lola: sara is running 205 secs || 19249321 markings, 60792424 edges, 77687 markings/sec, 205 secs
lola: sara is running 210 secs || 19617412 markings, 62230046 edges, 73618 markings/sec, 210 secs
lola: sara is running 215 secs || 20001062 markings, 63528622 edges, 76730 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: 708164 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(t11_12) OR NOT FIREABLE(t7_2) OR NOT FIREABLE(t6_2) OR (FIREABLE(t1_20) AND NOT FIREABLE(t13_10)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t11_12) OR NOT FIREABLE(t7_2) OR NOT FIREABLE(t6_2) OR (FIREABLE(t1_20) AND NOT FIREABLE(t13_10)))))
lola: processed formula length: 123
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t11_12) AND FIREABLE(t7_2) AND FIREABLE(t6_2) AND (NOT FIREABLE(t1_20) OR FIREABLE(t13_10)))
lola: state equation: Generated DNF with 22 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-3-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 410405 markings, 1289006 edges, 82081 markings/sec, 0 secs
lola: sara is running 5 secs || 804059 markings, 2716869 edges, 78731 markings/sec, 5 secs
lola: sara is running 10 secs || 1169740 markings, 4165684 edges, 73136 markings/sec, 10 secs
lola: sara is running 15 secs || 1692659 markings, 5701912 edges, 104584 markings/sec, 15 secs
lola: sara is running 20 secs || 2196095 markings, 7176377 edges, 100687 markings/sec, 20 secs
lola: sara is running 25 secs || 2672718 markings, 8764160 edges, 95325 markings/sec, 25 secs
lola: sara is running 30 secs || 3162534 markings, 10255085 edges, 97963 markings/sec, 30 secs
lola: sara is running 35 secs || 3651131 markings, 11759044 edges, 97719 markings/sec, 35 secs
lola: sara is running 40 secs || 4145903 markings, 13163965 edges, 98954 markings/sec, 40 secs
lola: sara is running 45 secs || 4639916 markings, 14510638 edges, 98803 markings/sec, 45 secs
lola: sara is running 50 secs || 5098001 markings, 16091218 edges, 91617 markings/sec, 50 secs
lola: sara is running 55 secs || 5542511 markings, 17456713 edges, 88902 markings/sec, 55 secs
lola: sara is running 60 secs || 5972157 markings, 18738434 edges, 85929 markings/sec, 60 secs
lola: sara is running 65 secs || 6402278 markings, 19914591 edges, 86024 markings/sec, 65 secs
lola: sara is running 70 secs || 6798090 markings, 21278204 edges, 79162 markings/sec, 70 secs
lola: sara is running 75 secs || 7193573 markings, 22807619 edges, 79097 markings/sec, 75 secs
lola: sara is running 80 secs || 7587380 markings, 24367777 edges, 78761 markings/sec, 80 secs
lola: sara is running 85 secs || 7998185 markings, 25906908 edges, 82161 markings/sec, 85 secs
lola: sara is running 90 secs || 8387968 markings, 27583354 edges, 77957 markings/sec, 90 secs
lola: sara is running 95 secs || 8823203 markings, 29195379 edges, 87047 markings/sec, 95 secs
lola: sara is running 100 secs || 9269461 markings, 30551972 edges, 89252 markings/sec, 100 secs
lola: sara is running 105 secs || 9714696 markings, 32037992 edges, 89047 markings/sec, 105 secs
lola: sara is running 110 secs || 10143998 markings, 33714444 edges, 85860 markings/sec, 110 secs
lola: sara is running 115 secs || 10567547 markings, 35431928 edges, 84710 markings/sec, 115 secs
lola: sara is running 120 secs || 10986876 markings, 36881067 edges, 83866 markings/sec, 120 secs
lola: sara is running 125 secs || 11406516 markings, 38308816 edges, 83928 markings/sec, 125 secs
lola: sara is running 130 secs || 11838166 markings, 39502760 edges, 86330 markings/sec, 130 secs
lola: sara is running 135 secs || 12243207 markings, 41066071 edges, 81008 markings/sec, 135 secs
lola: sara is running 140 secs || 12652214 markings, 42680704 edges, 81801 markings/sec, 140 secs
lola: sara is running 145 secs || 13067043 markings, 44294399 edges, 82966 markings/sec, 145 secs
lola: sara is running 150 secs || 13450441 markings, 45928806 edges, 76680 markings/sec, 150 secs
lola: sara is running 155 secs || 13818321 markings, 47337253 edges, 73576 markings/sec, 155 secs
lola: sara is running 160 secs || 14240076 markings, 49044009 edges, 84351 markings/sec, 160 secs
lola: sara is running 165 secs || 14649235 markings, 50650266 edges, 81832 markings/sec, 165 secs
lola: sara is running 170 secs || 15051864 markings, 52407362 edges, 80526 markings/sec, 170 secs
lola: sara is running 175 secs || 15450176 markings, 54257239 edges, 79662 markings/sec, 175 secs
lola: sara is running 180 secs || 15839866 markings, 55732875 edges, 77938 markings/sec, 180 secs
lola: sara is running 185 secs || 16246095 markings, 57152984 edges, 81246 markings/sec, 185 secs
lola: sara is running 190 secs || 16582327 markings, 58609378 edges, 67246 markings/sec, 190 secs
lola: sara is running 195 secs || 16989242 markings, 60087612 edges, 81383 markings/sec, 195 secs
lola: sara is running 200 secs || 17461270 markings, 61623985 edges, 94406 markings/sec, 200 secs
lola: sara is running 205 secs || 17955285 markings, 63052273 edges, 98803 markings/sec, 205 secs
lola: sara is running 210 secs || 18422451 markings, 64615390 edges, 93433 markings/sec, 210 secs
lola: sara is running 215 secs || 18899607 markings, 66134018 edges, 95431 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: 655276 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t16_22) OR NOT FIREABLE(t10_1) OR (NOT FIREABLE(t18_22) AND NOT FIREABLE(t10_15)) OR FIREABLE(t17_14))))
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(t16_22) OR NOT FIREABLE(t10_1) OR (NOT FIREABLE(t18_22) AND NOT FIREABLE(t10_15)) OR FIREABLE(t17_14))))
lola: processed formula length: 127
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t16_22) AND FIREABLE(t10_1) AND (FIREABLE(t18_22) OR FIREABLE(t10_15)) AND NOT FIREABLE(t17_14))
lola: state equation: Generated DNF with 28 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 397238 markings, 1299333 edges, 79448 markings/sec, 0 secs
lola: sara is running 5 secs || 792657 markings, 2598768 edges, 79084 markings/sec, 5 secs
lola: sara is running 10 secs || 1181260 markings, 3792656 edges, 77721 markings/sec, 10 secs
lola: sara is running 15 secs || 1563874 markings, 5143791 edges, 76523 markings/sec, 15 secs
lola: sara is running 20 secs || 1946345 markings, 6445248 edges, 76494 markings/sec, 20 secs
lola: sara is running 25 secs || 2318155 markings, 7764821 edges, 74362 markings/sec, 25 secs
lola: sara is running 30 secs || 2687459 markings, 9080735 edges, 73861 markings/sec, 30 secs
lola: sara is running 35 secs || 3039175 markings, 10624255 edges, 70343 markings/sec, 35 secs
lola: sara is running 40 secs || 3404906 markings, 12102721 edges, 73146 markings/sec, 40 secs
lola: sara is running 45 secs || 3789221 markings, 13473294 edges, 76863 markings/sec, 45 secs
lola: sara is running 50 secs || 4156297 markings, 14847513 edges, 73415 markings/sec, 50 secs
lola: sara is running 55 secs || 4487486 markings, 16293971 edges, 66238 markings/sec, 55 secs
lola: sara is running 60 secs || 4820909 markings, 17580865 edges, 66685 markings/sec, 60 secs
lola: sara is running 65 secs || 5151854 markings, 19133337 edges, 66189 markings/sec, 65 secs
lola: sara is running 70 secs || 5517699 markings, 20503832 edges, 73169 markings/sec, 70 secs
lola: sara is running 75 secs || 5856027 markings, 21969387 edges, 67666 markings/sec, 75 secs
lola: sara is running 80 secs || 6243134 markings, 23447111 edges, 77421 markings/sec, 80 secs
lola: sara is running 85 secs || 6609376 markings, 24819410 edges, 73248 markings/sec, 85 secs
lola: sara is running 90 secs || 6939171 markings, 26253372 edges, 65959 markings/sec, 90 secs
lola: sara is running 95 secs || 7269102 markings, 27725731 edges, 65986 markings/sec, 95 secs
lola: sara is running 100 secs || 7591040 markings, 29183588 edges, 64388 markings/sec, 100 secs
lola: sara is running 105 secs || 7935835 markings, 30570405 edges, 68959 markings/sec, 105 secs
lola: sara is running 110 secs || 8275927 markings, 32004594 edges, 68018 markings/sec, 110 secs
lola: sara is running 115 secs || 8622195 markings, 33390058 edges, 69254 markings/sec, 115 secs
lola: sara is running 120 secs || 8970740 markings, 34703364 edges, 69709 markings/sec, 120 secs
lola: sara is running 125 secs || 9270407 markings, 36099350 edges, 59933 markings/sec, 125 secs
lola: sara is running 130 secs || 9556996 markings, 37551705 edges, 57318 markings/sec, 130 secs
lola: sara is running 135 secs || 9832566 markings, 39046557 edges, 55114 markings/sec, 135 secs
lola: sara is running 140 secs || 10151138 markings, 40388201 edges, 63714 markings/sec, 140 secs
lola: sara is running 145 secs || 10452406 markings, 41827151 edges, 60254 markings/sec, 145 secs
lola: sara is running 150 secs || 10725035 markings, 43311017 edges, 54526 markings/sec, 150 secs
lola: sara is running 155 secs || 11018200 markings, 44755461 edges, 58633 markings/sec, 155 secs
lola: sara is running 160 secs || 11297089 markings, 46417482 edges, 55778 markings/sec, 160 secs
lola: sara is running 165 secs || 11575534 markings, 48044602 edges, 55689 markings/sec, 165 secs
lola: sara is running 170 secs || 11854213 markings, 49656501 edges, 55736 markings/sec, 170 secs
lola: sara is running 175 secs || 12201943 markings, 51014797 edges, 69546 markings/sec, 175 secs
lola: sara is running 180 secs || 12520256 markings, 52640298 edges, 63663 markings/sec, 180 secs
lola: sara is running 185 secs || 12859477 markings, 54064456 edges, 67844 markings/sec, 185 secs
lola: sara is running 190 secs || 13189670 markings, 55593628 edges, 66039 markings/sec, 190 secs
lola: sara is running 195 secs || 13487612 markings, 57020295 edges, 59588 markings/sec, 195 secs
lola: sara is running 200 secs || 13796217 markings, 58518027 edges, 61721 markings/sec, 200 secs
lola: sara is running 205 secs || 14080397 markings, 60081086 edges, 56836 markings/sec, 205 secs
lola: sara is running 210 secs || 14343346 markings, 61675618 edges, 52590 markings/sec, 210 secs
lola: sara is running 215 secs || 14638484 markings, 63222623 edges, 59028 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: 510760 KB
lola: time consumption: 1115 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t4_1) AND (NOT FIREABLE(t14_9) OR NOT FIREABLE(t17_19)) AND FIREABLE(t25_23) AND FIREABLE(tloop22))))
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(t4_1) AND (NOT FIREABLE(t14_9) OR NOT FIREABLE(t17_19)) AND FIREABLE(t25_23) AND FIREABLE(tloop22))))
lola: processed formula length: 118
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t4_1) AND (NOT FIREABLE(t14_9) OR NOT FIREABLE(t17_19)) AND FIREABLE(t25_23) AND FIREABLE(tloop22))
lola: state equation: Generated DNF with 24 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 357442 markings, 1394892 edges, 71488 markings/sec, 0 secs
lola: sara is running 5 secs || 683904 markings, 2951813 edges, 65292 markings/sec, 5 secs
lola: sara is running 10 secs || 985729 markings, 4497481 edges, 60365 markings/sec, 10 secs
lola: sara is running 15 secs || 1282323 markings, 6096117 edges, 59319 markings/sec, 15 secs
lola: sara is running 20 secs || 1615393 markings, 7546664 edges, 66614 markings/sec, 20 secs
lola: sara is running 25 secs || 1939837 markings, 9068481 edges, 64889 markings/sec, 25 secs
lola: sara is running 30 secs || 2255567 markings, 10660173 edges, 63146 markings/sec, 30 secs
lola: sara is running 35 secs || 2570955 markings, 12151112 edges, 63078 markings/sec, 35 secs
lola: sara is running 40 secs || 2872626 markings, 13755053 edges, 60334 markings/sec, 40 secs
lola: sara is running 45 secs || 3159232 markings, 15325060 edges, 57321 markings/sec, 45 secs
lola: sara is running 50 secs || 3443953 markings, 16921460 edges, 56944 markings/sec, 50 secs
lola: sara is running 55 secs || 3722939 markings, 18532509 edges, 55797 markings/sec, 55 secs
lola: sara is running 60 secs || 4027302 markings, 19992251 edges, 60873 markings/sec, 60 secs
lola: sara is running 65 secs || 4317174 markings, 21586257 edges, 57974 markings/sec, 65 secs
lola: sara is running 70 secs || 4650309 markings, 23117348 edges, 66627 markings/sec, 70 secs
lola: sara is running 75 secs || 4945263 markings, 24733159 edges, 58991 markings/sec, 75 secs
lola: sara is running 80 secs || 5325956 markings, 26034720 edges, 76139 markings/sec, 80 secs
lola: sara is running 85 secs || 5674560 markings, 27437079 edges, 69721 markings/sec, 85 secs
lola: sara is running 90 secs || 6038855 markings, 28589547 edges, 72859 markings/sec, 90 secs
lola: sara is running 95 secs || 6373610 markings, 30057126 edges, 66951 markings/sec, 95 secs
lola: sara is running 100 secs || 6694647 markings, 31664430 edges, 64207 markings/sec, 100 secs
lola: sara is running 105 secs || 7034769 markings, 33291131 edges, 68024 markings/sec, 105 secs
lola: sara is running 110 secs || 7361818 markings, 34870798 edges, 65410 markings/sec, 110 secs
lola: sara is running 115 secs || 7668647 markings, 36637807 edges, 61366 markings/sec, 115 secs
lola: sara is running 120 secs || 7989876 markings, 38159205 edges, 64246 markings/sec, 120 secs
lola: sara is running 125 secs || 8290333 markings, 39951703 edges, 60091 markings/sec, 125 secs
lola: sara is running 130 secs || 8600200 markings, 41805161 edges, 61973 markings/sec, 130 secs
lola: sara is running 135 secs || 8922341 markings, 43337359 edges, 64428 markings/sec, 135 secs
lola: sara is running 140 secs || 9240314 markings, 44963175 edges, 63595 markings/sec, 140 secs
lola: sara is running 145 secs || 9540389 markings, 46766787 edges, 60015 markings/sec, 145 secs
lola: sara is running 150 secs || 9836907 markings, 48586846 edges, 59304 markings/sec, 150 secs
lola: sara is running 155 secs || 10128386 markings, 50500863 edges, 58296 markings/sec, 155 secs
lola: sara is running 160 secs || 10416474 markings, 52524715 edges, 57618 markings/sec, 160 secs
lola: sara is running 165 secs || 10780120 markings, 53798186 edges, 72729 markings/sec, 165 secs
lola: sara is running 170 secs || 11126125 markings, 55088724 edges, 69201 markings/sec, 170 secs
lola: sara is running 175 secs || 11454495 markings, 56710064 edges, 65674 markings/sec, 175 secs
lola: sara is running 180 secs || 11782117 markings, 58365156 edges, 65524 markings/sec, 180 secs
lola: sara is running 185 secs || 12100346 markings, 60028477 edges, 63646 markings/sec, 185 secs
lola: sara is running 190 secs || 12403614 markings, 61867463 edges, 60654 markings/sec, 190 secs
lola: sara is running 195 secs || 12725070 markings, 63457610 edges, 64291 markings/sec, 195 secs
lola: sara is running 200 secs || 13024391 markings, 65391026 edges, 59864 markings/sec, 200 secs
lola: sara is running 205 secs || 13335047 markings, 67264044 edges, 62131 markings/sec, 205 secs
lola: sara is running 210 secs || 13700805 markings, 68652055 edges, 73152 markings/sec, 210 secs
lola: sara is running 215 secs || 14023511 markings, 70365781 edges, 64541 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: 494240 KB
lola: time consumption: 1338 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t2_16) OR FIREABLE(t12_13)) AND FIREABLE(t2_26) AND ((FIREABLE(t27_6) AND FIREABLE(t18_22)) OR FIREABLE(t19_22)) AND FIREABLE(t4_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(t2_16) OR FIREABLE(t12_13)) AND FIREABLE(t2_26) AND ((FIREABLE(t27_6) AND FIREABLE(t18_22)) OR FIREABLE(t19_22)) AND FIREABLE(t4_26))))
lola: processed formula length: 154
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t2_16) OR FIREABLE(t12_13)) AND FIREABLE(t2_26) AND ((FIREABLE(t27_6) AND FIREABLE(t18_22)) OR FIREABLE(t19_22)) AND FIREABLE(t4_26))
lola: state equation: Generated DNF with 36 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 528674 markings, 1304081 edges, 105735 markings/sec, 0 secs
lola: sara is running 5 secs || 957173 markings, 3007203 edges, 85700 markings/sec, 5 secs
lola: sara is running 10 secs || 1409996 markings, 4447973 edges, 90565 markings/sec, 10 secs
lola: sara is running 15 secs || 1813917 markings, 5996334 edges, 80784 markings/sec, 15 secs
lola: sara is running 20 secs || 2164597 markings, 7666944 edges, 70136 markings/sec, 20 secs
lola: sara is running 25 secs || 2493148 markings, 9351053 edges, 65710 markings/sec, 25 secs
lola: sara is running 30 secs || 2824589 markings, 10930987 edges, 66288 markings/sec, 30 secs
lola: sara is running 35 secs || 3170013 markings, 12404430 edges, 69085 markings/sec, 35 secs
lola: sara is running 40 secs || 3487819 markings, 14008562 edges, 63561 markings/sec, 40 secs
lola: sara is running 45 secs || 3824303 markings, 15687267 edges, 67297 markings/sec, 45 secs
lola: sara is running 50 secs || 4173237 markings, 17118342 edges, 69787 markings/sec, 50 secs
lola: sara is running 55 secs || 4489384 markings, 18499353 edges, 63229 markings/sec, 55 secs
lola: sara is running 60 secs || 4837444 markings, 20067712 edges, 69612 markings/sec, 60 secs
lola: sara is running 65 secs || 5187537 markings, 21568140 edges, 70019 markings/sec, 65 secs
lola: sara is running 70 secs || 5494429 markings, 23195952 edges, 61378 markings/sec, 70 secs
lola: sara is running 75 secs || 5866246 markings, 24726124 edges, 74363 markings/sec, 75 secs
lola: sara is running 80 secs || 6166137 markings, 26479788 edges, 59978 markings/sec, 80 secs
lola: sara is running 85 secs || 6474265 markings, 28078570 edges, 61626 markings/sec, 85 secs
lola: sara is running 90 secs || 6791050 markings, 29731978 edges, 63357 markings/sec, 90 secs
lola: sara is running 95 secs || 7100681 markings, 31236083 edges, 61926 markings/sec, 95 secs
lola: sara is running 100 secs || 7405953 markings, 32847414 edges, 61054 markings/sec, 100 secs
lola: sara is running 105 secs || 7791008 markings, 34468766 edges, 77011 markings/sec, 105 secs
lola: sara is running 110 secs || 8167760 markings, 36060440 edges, 75350 markings/sec, 110 secs
lola: sara is running 115 secs || 8545731 markings, 37477000 edges, 75594 markings/sec, 115 secs
lola: sara is running 120 secs || 8899078 markings, 38747561 edges, 70669 markings/sec, 120 secs
lola: sara is running 125 secs || 9258908 markings, 40104787 edges, 71966 markings/sec, 125 secs
lola: sara is running 130 secs || 9629130 markings, 41253654 edges, 74044 markings/sec, 130 secs
lola: sara is running 135 secs || 10119314 markings, 42408430 edges, 98037 markings/sec, 135 secs
lola: sara is running 140 secs || 10566929 markings, 43849852 edges, 89523 markings/sec, 140 secs
lola: sara is running 145 secs || 11027308 markings, 45294635 edges, 92076 markings/sec, 145 secs
lola: sara is running 150 secs || 11347397 markings, 46712396 edges, 64018 markings/sec, 150 secs
lola: sara is running 155 secs || 11782714 markings, 48219826 edges, 87063 markings/sec, 155 secs
lola: sara is running 160 secs || 12186120 markings, 49725635 edges, 80681 markings/sec, 160 secs
lola: sara is running 165 secs || 12550611 markings, 51253727 edges, 72898 markings/sec, 165 secs
lola: sara is running 170 secs || 12869144 markings, 52923668 edges, 63707 markings/sec, 170 secs
lola: sara is running 175 secs || 13216883 markings, 54476808 edges, 69548 markings/sec, 175 secs
lola: sara is running 180 secs || 13529250 markings, 56002406 edges, 62473 markings/sec, 180 secs
lola: sara is running 185 secs || 13826178 markings, 57561850 edges, 59386 markings/sec, 185 secs
lola: sara is running 190 secs || 14167879 markings, 59056609 edges, 68340 markings/sec, 190 secs
lola: sara is running 195 secs || 14570657 markings, 60681248 edges, 80556 markings/sec, 195 secs
lola: sara is running 200 secs || 14954358 markings, 62406498 edges, 76740 markings/sec, 200 secs
lola: sara is running 205 secs || 15273798 markings, 64002072 edges, 63888 markings/sec, 205 secs
lola: sara is running 210 secs || 15578300 markings, 65626243 edges, 60900 markings/sec, 210 secs
lola: sara is running 215 secs || 15933394 markings, 67136946 edges, 71019 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: 562220 KB
lola: time consumption: 1561 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t12_13) AND FIREABLE(t2_24) AND FIREABLE(t27_3) AND FIREABLE(t8_3) AND FIREABLE(t1_27) AND FIREABLE(t5_1) AND NOT FIREABLE(t13_12) 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 ((FIREABLE(t12_13) AND FIREABLE(t2_24) AND FIREABLE(t27_3) AND FIREABLE(t8_3) AND FIREABLE(t1_27) AND FIREABLE(t5_1) AND NOT FIREABLE(t13_12) AND FIREABLE(t20_23))))
lola: processed formula length: 170
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t12_13) AND FIREABLE(t2_24) AND FIREABLE(t27_3) AND FIREABLE(t8_3) AND FIREABLE(t1_27) AND FIREABLE(t5_1) AND NOT FIREABLE(t13_12) AND FIREABLE(t20_23))
lola: state equation: Generated DNF with 30 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-7-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: 25758 markings, 33777 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t18_14) AND (FIREABLE(t4_25) OR FIREABLE(t26_3)) AND FIREABLE(t21_22) AND FIREABLE(t16_8) AND FIREABLE(t7_1) AND FIREABLE(t12_8) AND FIREABLE(t1_4))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t18_14) AND (FIREABLE(t4_25) OR FIREABLE(t26_3)) AND FIREABLE(t21_22) AND FIREABLE(t16_8) AND FIREABLE(t7_1) AND FIREABLE(t12_8) AND FIREABLE(t1_4))))
lola: processed formula length: 167
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t18_14) AND (FIREABLE(t4_25) OR FIREABLE(t26_3)) AND FIREABLE(t21_22) AND FIREABLE(t16_8) AND FIREABLE(t7_1) AND FIREABLE(t12_8) AND FIREABLE(t1_4))
lola: state equation: Generated DNF with 28 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 572829 markings, 1241571 edges, 114566 markings/sec, 0 secs
lola: sara is running 5 secs || 1093735 markings, 2504741 edges, 104181 markings/sec, 5 secs
lola: sara is running 10 secs || 1625896 markings, 3808447 edges, 106432 markings/sec, 10 secs
lola: sara is running 15 secs || 2165275 markings, 5113102 edges, 107876 markings/sec, 15 secs
lola: sara is running 20 secs || 2639157 markings, 6599281 edges, 94776 markings/sec, 20 secs
lola: sara is running 25 secs || 3071733 markings, 7966374 edges, 86515 markings/sec, 25 secs
lola: sara is running 30 secs || 3566215 markings, 9502752 edges, 98896 markings/sec, 30 secs
lola: sara is running 35 secs || 4047540 markings, 11108588 edges, 96265 markings/sec, 35 secs
lola: sara is running 40 secs || 4491081 markings, 12779180 edges, 88708 markings/sec, 40 secs
lola: sara is running 45 secs || 5002078 markings, 14258229 edges, 102199 markings/sec, 45 secs
lola: sara is running 50 secs || 5488295 markings, 15689267 edges, 97243 markings/sec, 50 secs
lola: sara is running 55 secs || 5978410 markings, 17102182 edges, 98023 markings/sec, 55 secs
lola: sara is running 60 secs || 6461598 markings, 18533378 edges, 96638 markings/sec, 60 secs
lola: sara is running 65 secs || 6979515 markings, 19949436 edges, 103583 markings/sec, 65 secs
lola: sara is running 70 secs || 7447134 markings, 21397379 edges, 93524 markings/sec, 70 secs
lola: sara is running 75 secs || 7915877 markings, 22856261 edges, 93749 markings/sec, 75 secs
lola: sara is running 80 secs || 8319493 markings, 24208129 edges, 80723 markings/sec, 80 secs
lola: sara is running 85 secs || 8770862 markings, 25754746 edges, 90274 markings/sec, 85 secs
lola: sara is running 90 secs || 9205841 markings, 27286948 edges, 86996 markings/sec, 90 secs
lola: sara is running 95 secs || 9568295 markings, 28977138 edges, 72491 markings/sec, 95 secs
lola: sara is running 100 secs || 10088334 markings, 30595192 edges, 104008 markings/sec, 100 secs
lola: sara is running 105 secs || 10578314 markings, 32209414 edges, 97996 markings/sec, 105 secs
lola: sara is running 110 secs || 11057698 markings, 33812216 edges, 95877 markings/sec, 110 secs
lola: sara is running 115 secs || 11530075 markings, 35499318 edges, 94475 markings/sec, 115 secs
lola: sara is running 120 secs || 11961737 markings, 37125688 edges, 86332 markings/sec, 120 secs
lola: sara is running 125 secs || 12408429 markings, 38751825 edges, 89338 markings/sec, 125 secs
lola: sara is running 130 secs || 12793740 markings, 40414616 edges, 77062 markings/sec, 130 secs
lola: sara is running 135 secs || 13212044 markings, 42143312 edges, 83661 markings/sec, 135 secs
lola: sara is running 140 secs || 13638251 markings, 43922153 edges, 85241 markings/sec, 140 secs
lola: sara is running 145 secs || 14006309 markings, 45719832 edges, 73612 markings/sec, 145 secs
lola: sara is running 150 secs || 14482165 markings, 47467090 edges, 95171 markings/sec, 150 secs
lola: sara is running 155 secs || 15010922 markings, 48933204 edges, 105751 markings/sec, 155 secs
lola: sara is running 160 secs || 15545482 markings, 50296441 edges, 106912 markings/sec, 160 secs
lola: sara is running 165 secs || 16081639 markings, 51733914 edges, 107231 markings/sec, 165 secs
lola: sara is running 170 secs || 16570866 markings, 53238700 edges, 97845 markings/sec, 170 secs
lola: sara is running 175 secs || 17054689 markings, 54712582 edges, 96765 markings/sec, 175 secs
lola: sara is running 180 secs || 17538004 markings, 56066752 edges, 96663 markings/sec, 180 secs
lola: sara is running 185 secs || 17985202 markings, 57467132 edges, 89440 markings/sec, 185 secs
lola: sara is running 190 secs || 18446703 markings, 58894865 edges, 92300 markings/sec, 190 secs
lola: sara is running 195 secs || 18924888 markings, 60375831 edges, 95637 markings/sec, 195 secs
lola: sara is running 200 secs || 19335304 markings, 62093663 edges, 82083 markings/sec, 200 secs
lola: sara is running 205 secs || 19793016 markings, 63693420 edges, 91542 markings/sec, 205 secs
lola: sara is running 210 secs || 20202617 markings, 65427984 edges, 81920 markings/sec, 210 secs
lola: sara is running 215 secs || 20682620 markings, 67043564 edges, 96001 markings/sec, 215 secs
lola: sara is running 220 secs || 21134856 markings, 68590341 edges, 90447 markings/sec, 220 secs
lola: sara is running 225 secs || 21556787 markings, 70341530 edges, 84386 markings/sec, 225 secs
lola: sara is running 230 secs || 21998436 markings, 72132860 edges, 88330 markings/sec, 230 secs
lola: sara is running 235 secs || 22393399 markings, 73846146 edges, 78993 markings/sec, 235 secs
lola: sara is running 240 secs || 22734175 markings, 75549835 edges, 68155 markings/sec, 240 secs
lola: sara is running 245 secs || 23090792 markings, 77197256 edges, 71323 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 793364 KB
lola: time consumption: 1813 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t3_23) OR NOT FIREABLE(t7_3) OR NOT FIREABLE(t11_9) OR NOT FIREABLE(t14_19) OR NOT FIREABLE(t10_14) OR NOT FIREABLE(t8_3) OR NOT FIREABLE(t14_17) OR NOT FIREABLE(t8_5))))
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(t3_23) OR NOT FIREABLE(t7_3) OR NOT FIREABLE(t11_9) OR NOT FIREABLE(t14_19) OR NOT FIREABLE(t10_14) OR NOT FIREABLE(t8_3) OR NOT FIREABLE(t14_17) OR NOT FIREABLE(t8_5))))
lola: processed formula length: 197
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t3_23) AND FIREABLE(t7_3) AND FIREABLE(t11_9) AND FIREABLE(t14_19) AND FIREABLE(t10_14) AND FIREABLE(t8_3) AND FIREABLE(t14_17) AND FIREABLE(t8_5))
lola: state equation: Generated DNF with 16 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 699411 markings, 1267831 edges, 139882 markings/sec, 0 secs
lola: sara is running 5 secs || 1311522 markings, 2596633 edges, 122422 markings/sec, 5 secs
lola: sara is running 10 secs || 1920887 markings, 3826868 edges, 121873 markings/sec, 10 secs
lola: sara is running 15 secs || 2517057 markings, 5043712 edges, 119234 markings/sec, 15 secs
lola: sara is running 20 secs || 3179711 markings, 6264095 edges, 132531 markings/sec, 20 secs
lola: sara is running 25 secs || 3808265 markings, 7565557 edges, 125711 markings/sec, 25 secs
lola: sara is running 30 secs || 4356362 markings, 8862238 edges, 109619 markings/sec, 30 secs
lola: sara is running 35 secs || 4907796 markings, 10213617 edges, 110287 markings/sec, 35 secs
lola: sara is running 40 secs || 5555910 markings, 11569809 edges, 129623 markings/sec, 40 secs
lola: sara is running 45 secs || 6197027 markings, 12973367 edges, 128223 markings/sec, 45 secs
lola: sara is running 50 secs || 6805573 markings, 14350224 edges, 121709 markings/sec, 50 secs
lola: sara is running 55 secs || 7345245 markings, 15819310 edges, 107934 markings/sec, 55 secs
lola: sara is running 60 secs || 7848763 markings, 17311374 edges, 100704 markings/sec, 60 secs
lola: sara is running 65 secs || 8423607 markings, 18815376 edges, 114969 markings/sec, 65 secs
lola: sara is running 70 secs || 9043711 markings, 20255238 edges, 124021 markings/sec, 70 secs
lola: sara is running 75 secs || 9647727 markings, 21552521 edges, 120803 markings/sec, 75 secs
lola: sara is running 80 secs || 10238295 markings, 22877863 edges, 118114 markings/sec, 80 secs
lola: sara is running 85 secs || 10836194 markings, 24241017 edges, 119580 markings/sec, 85 secs
lola: sara is running 90 secs || 11387094 markings, 25626353 edges, 110180 markings/sec, 90 secs
lola: sara is running 95 secs || 12056614 markings, 27041889 edges, 133904 markings/sec, 95 secs
lola: sara is running 100 secs || 12668961 markings, 28423320 edges, 122469 markings/sec, 100 secs
lola: sara is running 105 secs || 13220421 markings, 29957753 edges, 110292 markings/sec, 105 secs
lola: sara is running 110 secs || 13799206 markings, 31468111 edges, 115757 markings/sec, 110 secs
lola: sara is running 115 secs || 14338913 markings, 32878536 edges, 107941 markings/sec, 115 secs
lola: sara is running 120 secs || 14966397 markings, 34303288 edges, 125497 markings/sec, 120 secs
lola: sara is running 125 secs || 15608546 markings, 35613921 edges, 128430 markings/sec, 125 secs
lola: sara is running 130 secs || 16225361 markings, 37022199 edges, 123363 markings/sec, 130 secs
lola: sara is running 135 secs || 16770259 markings, 38477444 edges, 108980 markings/sec, 135 secs
lola: sara is running 140 secs || 17241110 markings, 39995677 edges, 94170 markings/sec, 140 secs
lola: sara is running 145 secs || 17721489 markings, 41464536 edges, 96076 markings/sec, 145 secs
lola: sara is running 150 secs || 18144045 markings, 42891452 edges, 84511 markings/sec, 150 secs
lola: sara is running 155 secs || 18565122 markings, 44380089 edges, 84215 markings/sec, 155 secs
lola: sara is running 160 secs || 19000009 markings, 45794456 edges, 86977 markings/sec, 160 secs
lola: sara is running 165 secs || 19505621 markings, 47137451 edges, 101122 markings/sec, 165 secs
lola: sara is running 170 secs || 20022359 markings, 48718663 edges, 103348 markings/sec, 170 secs
lola: sara is running 175 secs || 20410023 markings, 50398204 edges, 77533 markings/sec, 175 secs
lola: sara is running 180 secs || 20870515 markings, 52024937 edges, 92098 markings/sec, 180 secs
lola: sara is running 185 secs || 21312436 markings, 53566195 edges, 88384 markings/sec, 185 secs
lola: sara is running 190 secs || 21888664 markings, 55025544 edges, 115246 markings/sec, 190 secs
lola: sara is running 195 secs || 22577656 markings, 56434254 edges, 137798 markings/sec, 195 secs
lola: sara is running 200 secs || 23270264 markings, 57796618 edges, 138522 markings/sec, 200 secs
lola: sara is running 205 secs || 23934428 markings, 59218632 edges, 132833 markings/sec, 205 secs
lola: sara is running 210 secs || 24566162 markings, 60672743 edges, 126347 markings/sec, 210 secs
lola: sara is running 215 secs || 25181344 markings, 62171502 edges, 123036 markings/sec, 215 secs
lola: sara is running 220 secs || 25794713 markings, 63579454 edges, 122674 markings/sec, 220 secs
lola: sara is running 225 secs || 26377150 markings, 65008999 edges, 116487 markings/sec, 225 secs
lola: sara is running 230 secs || 26925491 markings, 66433071 edges, 109668 markings/sec, 230 secs
lola: sara is running 235 secs || 27525039 markings, 67875409 edges, 119910 markings/sec, 235 secs
lola: sara is running 240 secs || 28116246 markings, 69155743 edges, 118241 markings/sec, 240 secs
lola: sara is running 245 secs || 28686992 markings, 70472835 edges, 114149 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 987388 KB
lola: time consumption: 2064 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t2_3) OR NOT FIREABLE(t16_3) OR (NOT FIREABLE(t24_2) AND NOT FIREABLE(tAb17)) OR ((FIREABLE(t6_9) OR FIREABLE(t12_9)) AND FIREABLE(t25_1) AND FIREABLE(t19_15)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t2_3) OR NOT FIREABLE(t16_3) OR (NOT FIREABLE(t24_2) AND NOT FIREABLE(tAb17)) OR ((FIREABLE(t6_9) OR FIREABLE(t12_9)) AND FIREABLE(t25_1) AND FIREABLE(t19_15)))))
lola: processed formula length: 186
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t2_3) AND FIREABLE(t16_3) AND (FIREABLE(t24_2) OR FIREABLE(tAb17)) AND ((NOT FIREABLE(t6_9) AND NOT FIREABLE(t12_9)) OR NOT FIREABLE(t25_1) OR NOT FIREABLE(t19_15)))
lola: state equation: Generated DNF with 112 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 497843 markings, 1616655 edges, 99569 markings/sec, 0 secs
lola: sara is running 5 secs || 971372 markings, 3193270 edges, 94706 markings/sec, 5 secs
lola: sara is running 10 secs || 1501248 markings, 4779616 edges, 105975 markings/sec, 10 secs
lola: sara is running 15 secs || 1883535 markings, 6492819 edges, 76457 markings/sec, 15 secs
lola: sara is running 20 secs || 2360220 markings, 7890495 edges, 95337 markings/sec, 20 secs
lola: sara is running 25 secs || 2862495 markings, 9260482 edges, 100455 markings/sec, 25 secs
lola: sara is running 30 secs || 3367806 markings, 10547440 edges, 101062 markings/sec, 30 secs
lola: sara is running 35 secs || 3772429 markings, 12091639 edges, 80925 markings/sec, 35 secs
lola: sara is running 40 secs || 4182362 markings, 13815077 edges, 81987 markings/sec, 40 secs
lola: sara is running 45 secs || 4583122 markings, 15633241 edges, 80152 markings/sec, 45 secs
lola: sara is running 50 secs || 4920251 markings, 17356737 edges, 67426 markings/sec, 50 secs
lola: sara is running 55 secs || 5248184 markings, 19034248 edges, 65587 markings/sec, 55 secs
lola: sara is running 60 secs || 5648495 markings, 20556667 edges, 80062 markings/sec, 60 secs
lola: sara is running 65 secs || 6027224 markings, 22128106 edges, 75746 markings/sec, 65 secs
lola: sara is running 70 secs || 6381396 markings, 23697787 edges, 70834 markings/sec, 70 secs
lola: sara is running 75 secs || 6726695 markings, 25284452 edges, 69060 markings/sec, 75 secs
lola: sara is running 80 secs || 7198119 markings, 26626838 edges, 94285 markings/sec, 80 secs
lola: sara is running 85 secs || 7691478 markings, 28040866 edges, 98672 markings/sec, 85 secs
lola: sara is running 90 secs || 8188971 markings, 29409634 edges, 99499 markings/sec, 90 secs
lola: sara is running 95 secs || 8633151 markings, 30708030 edges, 88836 markings/sec, 95 secs
lola: sara is running 100 secs || 9129441 markings, 32092089 edges, 99258 markings/sec, 100 secs
lola: sara is running 105 secs || 9545143 markings, 33461179 edges, 83140 markings/sec, 105 secs
lola: sara is running 110 secs || 10042005 markings, 34929280 edges, 99372 markings/sec, 110 secs
lola: sara is running 115 secs || 10542888 markings, 36414102 edges, 100177 markings/sec, 115 secs
lola: sara is running 120 secs || 11092888 markings, 37892739 edges, 110000 markings/sec, 120 secs
lola: sara is running 125 secs || 11459872 markings, 39395848 edges, 73397 markings/sec, 125 secs
lola: sara is running 130 secs || 11805791 markings, 40906191 edges, 69184 markings/sec, 130 secs
lola: sara is running 135 secs || 12138317 markings, 42490716 edges, 66505 markings/sec, 135 secs
lola: sara is running 140 secs || 12459112 markings, 44042574 edges, 64159 markings/sec, 140 secs
lola: sara is running 145 secs || 12774991 markings, 45628666 edges, 63176 markings/sec, 145 secs
lola: sara is running 150 secs || 13134449 markings, 47323995 edges, 71892 markings/sec, 150 secs
lola: sara is running 155 secs || 13455051 markings, 49076181 edges, 64120 markings/sec, 155 secs
lola: sara is running 160 secs || 13794185 markings, 50529213 edges, 67827 markings/sec, 160 secs
lola: sara is running 165 secs || 14096200 markings, 51869355 edges, 60403 markings/sec, 165 secs
lola: sara is running 170 secs || 14392047 markings, 53263800 edges, 59169 markings/sec, 170 secs
lola: sara is running 175 secs || 14683724 markings, 54714176 edges, 58335 markings/sec, 175 secs
lola: sara is running 180 secs || 14997458 markings, 56219127 edges, 62747 markings/sec, 180 secs
lola: sara is running 185 secs || 15579633 markings, 57756386 edges, 116435 markings/sec, 185 secs
lola: sara is running 190 secs || 16146892 markings, 59294161 edges, 113452 markings/sec, 190 secs
lola: sara is running 195 secs || 16567563 markings, 60729489 edges, 84134 markings/sec, 195 secs
lola: sara is running 200 secs || 16918765 markings, 62069564 edges, 70240 markings/sec, 200 secs
lola: sara is running 205 secs || 17264113 markings, 63446784 edges, 69070 markings/sec, 205 secs
lola: sara is running 210 secs || 17643864 markings, 64870002 edges, 75950 markings/sec, 210 secs
lola: sara is running 215 secs || 17972378 markings, 66303950 edges, 65703 markings/sec, 215 secs
lola: sara is running 220 secs || 18295765 markings, 67743910 edges, 64677 markings/sec, 220 secs
lola: sara is running 225 secs || 18630406 markings, 69230085 edges, 66928 markings/sec, 225 secs
lola: sara is running 230 secs || 19232587 markings, 70684250 edges, 120436 markings/sec, 230 secs
lola: sara is running 235 secs || 19695747 markings, 72151985 edges, 92632 markings/sec, 235 secs
lola: sara is running 240 secs || 20180343 markings, 73764770 edges, 96919 markings/sec, 240 secs
lola: sara is running 245 secs || 20571628 markings, 75050955 edges, 78257 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 708504 KB
lola: time consumption: 2315 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t16_15) OR NOT FIREABLE(t14_2) OR (NOT FIREABLE(t16_11) AND (FIREABLE(t12_13) OR FIREABLE(t26_4))) OR (NOT FIREABLE(t23_21) AND (FIREABLE(t25_26) OR FIREABLE(t1_3))) OR FIREABLE(t12_10))))
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(t16_15) OR NOT FIREABLE(t14_2) OR (NOT FIREABLE(t16_11) AND (FIREABLE(t12_13) OR FIREABLE(t26_4))) OR (NOT FIREABLE(t23_21) AND (FIREABLE(t25_26) OR FIREABLE(t1_3))) OR FIREABLE(t12_10))))
lola: processed formula length: 214
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t16_15) AND FIREABLE(t14_2) AND (FIREABLE(t16_11) OR (NOT FIREABLE(t12_13) AND NOT FIREABLE(t26_4))) AND (FIREABLE(t23_21) OR (NOT FIREABLE(t25_26) AND NOT FIREABLE(t1_3))) AND NOT FIREABLE(t12_10))
lola: state equation: Generated DNF with 450 literals and 50 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 358139 markings, 1287674 edges, 71628 markings/sec, 0 secs
lola: sara is running 5 secs || 715702 markings, 2718517 edges, 71513 markings/sec, 5 secs
lola: sara is running 10 secs || 1068948 markings, 4155059 edges, 70649 markings/sec, 10 secs
lola: sara is running 15 secs || 1409977 markings, 5634678 edges, 68206 markings/sec, 15 secs
lola: sara is running 20 secs || 1774233 markings, 7071153 edges, 72851 markings/sec, 20 secs
lola: sara is running 25 secs || 2121033 markings, 8531400 edges, 69360 markings/sec, 25 secs
lola: sara is running 30 secs || 2439698 markings, 10155940 edges, 63733 markings/sec, 30 secs
lola: sara is running 35 secs || 2747264 markings, 11777516 edges, 61513 markings/sec, 35 secs
lola: sara is running 40 secs || 3055851 markings, 13339795 edges, 61717 markings/sec, 40 secs
lola: sara is running 45 secs || 3368738 markings, 14932345 edges, 62577 markings/sec, 45 secs
lola: sara is running 50 secs || 3679973 markings, 16545538 edges, 62247 markings/sec, 50 secs
lola: sara is running 55 secs || 4008488 markings, 18120946 edges, 65703 markings/sec, 55 secs
lola: sara is running 60 secs || 4346048 markings, 19622245 edges, 67512 markings/sec, 60 secs
lola: sara is running 65 secs || 4679018 markings, 21127717 edges, 66594 markings/sec, 65 secs
lola: sara is running 70 secs || 4999670 markings, 22693041 edges, 64130 markings/sec, 70 secs
lola: sara is running 75 secs || 5317833 markings, 24277180 edges, 63633 markings/sec, 75 secs
lola: sara is running 80 secs || 5637963 markings, 25731258 edges, 64026 markings/sec, 80 secs
lola: sara is running 85 secs || 5968322 markings, 27221953 edges, 66072 markings/sec, 85 secs
lola: sara is running 90 secs || 6290686 markings, 28711710 edges, 64473 markings/sec, 90 secs
lola: sara is running 95 secs || 6616316 markings, 30189489 edges, 65126 markings/sec, 95 secs
lola: sara is running 100 secs || 6973643 markings, 31559455 edges, 71465 markings/sec, 100 secs
lola: sara is running 105 secs || 7316601 markings, 32977331 edges, 68592 markings/sec, 105 secs
lola: sara is running 110 secs || 7658041 markings, 34378122 edges, 68288 markings/sec, 110 secs
lola: sara is running 115 secs || 7989472 markings, 35792943 edges, 66286 markings/sec, 115 secs
lola: sara is running 120 secs || 8330782 markings, 37225348 edges, 68262 markings/sec, 120 secs
lola: sara is running 125 secs || 8672746 markings, 38652819 edges, 68393 markings/sec, 125 secs
lola: sara is running 130 secs || 8997247 markings, 40148906 edges, 64900 markings/sec, 130 secs
lola: sara is running 135 secs || 9302437 markings, 41731403 edges, 61038 markings/sec, 135 secs
lola: sara is running 140 secs || 9604112 markings, 43313465 edges, 60335 markings/sec, 140 secs
lola: sara is running 145 secs || 9908243 markings, 44826644 edges, 60826 markings/sec, 145 secs
lola: sara is running 150 secs || 10212404 markings, 46394855 edges, 60832 markings/sec, 150 secs
lola: sara is running 155 secs || 10546402 markings, 47811899 edges, 66800 markings/sec, 155 secs
lola: sara is running 160 secs || 10864446 markings, 49280093 edges, 63609 markings/sec, 160 secs
lola: sara is running 165 secs || 11171496 markings, 50775594 edges, 61410 markings/sec, 165 secs
lola: sara is running 170 secs || 11493599 markings, 52262066 edges, 64421 markings/sec, 170 secs
lola: sara is running 175 secs || 11802054 markings, 53719111 edges, 61691 markings/sec, 175 secs
lola: sara is running 180 secs || 12109079 markings, 55251029 edges, 61405 markings/sec, 180 secs
lola: sara is running 185 secs || 12413945 markings, 56794890 edges, 60973 markings/sec, 185 secs
lola: sara is running 190 secs || 12739203 markings, 58218881 edges, 65052 markings/sec, 190 secs
lola: sara is running 195 secs || 13045622 markings, 59668486 edges, 61284 markings/sec, 195 secs
lola: sara is running 200 secs || 13348078 markings, 61137540 edges, 60491 markings/sec, 200 secs
lola: sara is running 205 secs || 13663117 markings, 62632842 edges, 63008 markings/sec, 205 secs
lola: sara is running 210 secs || 13968201 markings, 64143980 edges, 61017 markings/sec, 210 secs
lola: sara is running 215 secs || 14281122 markings, 65726355 edges, 62584 markings/sec, 215 secs
lola: sara is running 220 secs || 14582697 markings, 67269327 edges, 60315 markings/sec, 220 secs
lola: sara is running 225 secs || 14883660 markings, 68916309 edges, 60193 markings/sec, 225 secs
lola: sara is running 230 secs || 15205226 markings, 70389637 edges, 64313 markings/sec, 230 secs
lola: sara is running 235 secs || 15536063 markings, 71979017 edges, 66167 markings/sec, 235 secs
lola: sara is running 240 secs || 15861773 markings, 73554630 edges, 65142 markings/sec, 240 secs
lola: sara is running 245 secs || 16183289 markings, 75145735 edges, 64303 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 557168 KB
lola: time consumption: 2566 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t27_3) OR FIREABLE(t23_3) OR NOT FIREABLE(t24_25) OR NOT FIREABLE(tAb3) OR (NOT FIREABLE(t20_17) AND FIREABLE(tb3)) OR (NOT FIREABLE(t20_22) AND (FIREABLE(t24_26) OR FIREABLE(t4_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 ((FIREABLE(t27_3) OR FIREABLE(t23_3) OR NOT FIREABLE(t24_25) OR NOT FIREABLE(tAb3) OR (NOT FIREABLE(t20_17) AND FIREABLE(tb3)) OR (NOT FIREABLE(t20_22) AND (FIREABLE(t24_26) OR FIREABLE(t4_3))))))
lola: processed formula length: 207
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t27_3) AND NOT FIREABLE(t23_3) AND FIREABLE(t24_25) AND FIREABLE(tAb3) AND (FIREABLE(t20_17) OR NOT FIREABLE(tb3)) AND (FIREABLE(t20_22) OR (NOT FIREABLE(t24_26) AND NOT FIREABLE(t4_3))))
lola: state equation: Generated DNF with 180 literals and 20 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 435742 markings, 1279656 edges, 87148 markings/sec, 0 secs
lola: sara is running 5 secs || 854855 markings, 2618971 edges, 83823 markings/sec, 5 secs
lola: sara is running 10 secs || 1236126 markings, 4053004 edges, 76254 markings/sec, 10 secs
lola: sara is running 15 secs || 1672163 markings, 5550754 edges, 87207 markings/sec, 15 secs
lola: sara is running 20 secs || 2064662 markings, 7029195 edges, 78500 markings/sec, 20 secs
lola: sara is running 25 secs || 2422053 markings, 8740724 edges, 71478 markings/sec, 25 secs
lola: sara is running 30 secs || 2809983 markings, 10235772 edges, 77586 markings/sec, 30 secs
lola: sara is running 35 secs || 3190924 markings, 11776260 edges, 76188 markings/sec, 35 secs
lola: sara is running 40 secs || 3560194 markings, 13473251 edges, 73854 markings/sec, 40 secs
lola: sara is running 45 secs || 3922181 markings, 15204826 edges, 72397 markings/sec, 45 secs
lola: sara is running 50 secs || 4281316 markings, 16974476 edges, 71827 markings/sec, 50 secs
lola: sara is running 55 secs || 4658940 markings, 18581120 edges, 75525 markings/sec, 55 secs
lola: sara is running 60 secs || 5012225 markings, 20360731 edges, 70657 markings/sec, 60 secs
lola: sara is running 65 secs || 5381789 markings, 22051016 edges, 73913 markings/sec, 65 secs
lola: sara is running 70 secs || 5732253 markings, 23631559 edges, 70093 markings/sec, 70 secs
lola: sara is running 75 secs || 6084253 markings, 25121827 edges, 70400 markings/sec, 75 secs
lola: sara is running 80 secs || 6452177 markings, 26619179 edges, 73585 markings/sec, 80 secs
lola: sara is running 85 secs || 6813926 markings, 28176703 edges, 72350 markings/sec, 85 secs
lola: sara is running 90 secs || 7235409 markings, 29672186 edges, 84297 markings/sec, 90 secs
lola: sara is running 95 secs || 7649129 markings, 31140596 edges, 82744 markings/sec, 95 secs
lola: sara is running 100 secs || 8023806 markings, 32923758 edges, 74935 markings/sec, 100 secs
lola: sara is running 105 secs || 8404533 markings, 34663870 edges, 76145 markings/sec, 105 secs
lola: sara is running 110 secs || 8757125 markings, 36336664 edges, 70518 markings/sec, 110 secs
lola: sara is running 115 secs || 9103510 markings, 38190233 edges, 69277 markings/sec, 115 secs
lola: sara is running 120 secs || 9458778 markings, 39845324 edges, 71054 markings/sec, 120 secs
lola: sara is running 125 secs || 9785924 markings, 41514156 edges, 65429 markings/sec, 125 secs
lola: sara is running 130 secs || 10139009 markings, 42988859 edges, 70617 markings/sec, 130 secs
lola: sara is running 135 secs || 10567169 markings, 44558899 edges, 85632 markings/sec, 135 secs
lola: sara is running 140 secs || 10946499 markings, 46181180 edges, 75866 markings/sec, 140 secs
lola: sara is running 145 secs || 11286143 markings, 47774633 edges, 67929 markings/sec, 145 secs
lola: sara is running 150 secs || 11648434 markings, 49346454 edges, 72458 markings/sec, 150 secs
lola: sara is running 155 secs || 11978457 markings, 50938726 edges, 66005 markings/sec, 155 secs
lola: sara is running 160 secs || 12291060 markings, 52667781 edges, 62521 markings/sec, 160 secs
lola: sara is running 165 secs || 12668632 markings, 54039408 edges, 75514 markings/sec, 165 secs
lola: sara is running 170 secs || 13003122 markings, 55513605 edges, 66898 markings/sec, 170 secs
lola: sara is running 175 secs || 13338411 markings, 56890251 edges, 67058 markings/sec, 175 secs
lola: sara is running 180 secs || 13647551 markings, 58289625 edges, 61828 markings/sec, 180 secs
lola: sara is running 185 secs || 14050663 markings, 59647261 edges, 80622 markings/sec, 185 secs
lola: sara is running 190 secs || 14431473 markings, 61075783 edges, 76162 markings/sec, 190 secs
lola: sara is running 195 secs || 14777386 markings, 62627713 edges, 69183 markings/sec, 195 secs
lola: sara is running 200 secs || 15087006 markings, 64244237 edges, 61924 markings/sec, 200 secs
lola: sara is running 205 secs || 15410824 markings, 65756223 edges, 64764 markings/sec, 205 secs
lola: sara is running 210 secs || 15756276 markings, 67273003 edges, 69090 markings/sec, 210 secs
lola: sara is running 215 secs || 16114680 markings, 68735898 edges, 71681 markings/sec, 215 secs
lola: sara is running 220 secs || 16450025 markings, 70422916 edges, 67069 markings/sec, 220 secs
lola: sara is running 225 secs || 16776068 markings, 72103612 edges, 65209 markings/sec, 225 secs
lola: sara is running 230 secs || 17077125 markings, 73956071 edges, 60211 markings/sec, 230 secs
lola: sara is running 235 secs || 17401154 markings, 75515641 edges, 64806 markings/sec, 235 secs
lola: sara is running 240 secs || 17743946 markings, 77117319 edges, 68558 markings/sec, 240 secs
lola: sara is running 245 secs || 18041881 markings, 78879195 edges, 59587 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 630452 KB
lola: time consumption: 2817 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t15_16) AND ((FIREABLE(t1_10) AND FIREABLE(t10_1)) OR (FIREABLE(t18_1) AND FIREABLE(t27_1)) OR FIREABLE(t21_16) OR FIREABLE(t27_22) OR (FIREABLE(t23_21) AND FIREABLE(t17_14))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t15_16) AND ((FIREABLE(t1_10) AND FIREABLE(t10_1)) OR (FIREABLE(t18_1) AND FIREABLE(t27_1)) OR FIREABLE(t21_16) OR FIREABLE(t27_22) OR (FIREABLE(t23_21) AND FIREABLE(t17_14))))))
lola: processed formula length: 198
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t15_16) AND ((FIREABLE(t1_10) AND FIREABLE(t10_1)) OR (FIREABLE(t18_1) AND FIREABLE(t27_1)) OR FIREABLE(t21_16) OR FIREABLE(t27_22) OR (FIREABLE(t23_21) AND FIREABLE(t17_14))))
lola: state equation: Generated DNF with 26 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 387392 markings, 1064313 edges, 77478 markings/sec, 0 secs
lola: sara is running 5 secs || 736911 markings, 2157875 edges, 69904 markings/sec, 5 secs
lola: sara is running 10 secs || 1070724 markings, 3462680 edges, 66763 markings/sec, 10 secs
lola: sara is running 15 secs || 1393283 markings, 4900369 edges, 64512 markings/sec, 15 secs
lola: sara is running 20 secs || 1724977 markings, 6222780 edges, 66339 markings/sec, 20 secs
lola: sara is running 25 secs || 2053980 markings, 7456437 edges, 65801 markings/sec, 25 secs
lola: sara is running 30 secs || 2371680 markings, 8811106 edges, 63540 markings/sec, 30 secs
lola: sara is running 35 secs || 2679355 markings, 10164511 edges, 61535 markings/sec, 35 secs
lola: sara is running 40 secs || 2974578 markings, 11450488 edges, 59045 markings/sec, 40 secs
lola: sara is running 45 secs || 3247123 markings, 12982442 edges, 54509 markings/sec, 45 secs
lola: sara is running 50 secs || 3527693 markings, 14409524 edges, 56114 markings/sec, 50 secs
lola: sara is running 55 secs || 3833393 markings, 15700526 edges, 61140 markings/sec, 55 secs
lola: sara is running 60 secs || 4139076 markings, 16895957 edges, 61137 markings/sec, 60 secs
lola: sara is running 65 secs || 4439945 markings, 18130496 edges, 60174 markings/sec, 65 secs
lola: sara is running 70 secs || 4740747 markings, 19442451 edges, 60160 markings/sec, 70 secs
lola: sara is running 75 secs || 5038338 markings, 20781989 edges, 59518 markings/sec, 75 secs
lola: sara is running 80 secs || 5341578 markings, 21958511 edges, 60648 markings/sec, 80 secs
lola: sara is running 85 secs || 5649443 markings, 23087119 edges, 61573 markings/sec, 85 secs
lola: sara is running 90 secs || 5939598 markings, 24276160 edges, 58031 markings/sec, 90 secs
lola: sara is running 95 secs || 6229762 markings, 25524952 edges, 58033 markings/sec, 95 secs
lola: sara is running 100 secs || 6503765 markings, 27019490 edges, 54801 markings/sec, 100 secs
lola: sara is running 105 secs || 6788460 markings, 28474755 edges, 56939 markings/sec, 105 secs
lola: sara is running 110 secs || 7069599 markings, 30004566 edges, 56228 markings/sec, 110 secs
lola: sara is running 115 secs || 7338564 markings, 31511999 edges, 53793 markings/sec, 115 secs
lola: sara is running 120 secs || 7601963 markings, 33183043 edges, 52680 markings/sec, 120 secs
lola: sara is running 125 secs || 7904614 markings, 34619861 edges, 60530 markings/sec, 125 secs
lola: sara is running 130 secs || 8211457 markings, 35825424 edges, 61369 markings/sec, 130 secs
lola: sara is running 135 secs || 8489090 markings, 37180197 edges, 55527 markings/sec, 135 secs
lola: sara is running 140 secs || 8813234 markings, 38400895 edges, 64829 markings/sec, 140 secs
lola: sara is running 145 secs || 9124832 markings, 39710127 edges, 62320 markings/sec, 145 secs
lola: sara is running 150 secs || 9436307 markings, 40833404 edges, 62295 markings/sec, 150 secs
lola: sara is running 155 secs || 9746112 markings, 41969473 edges, 61961 markings/sec, 155 secs
lola: sara is running 160 secs || 10050392 markings, 43125327 edges, 60856 markings/sec, 160 secs
lola: sara is running 165 secs || 10346465 markings, 44190168 edges, 59215 markings/sec, 165 secs
lola: sara is running 170 secs || 10626303 markings, 45532478 edges, 55968 markings/sec, 170 secs
lola: sara is running 175 secs || 10909968 markings, 46931225 edges, 56733 markings/sec, 175 secs
lola: sara is running 180 secs || 11178359 markings, 48365609 edges, 53678 markings/sec, 180 secs
lola: sara is running 185 secs || 11449370 markings, 49882669 edges, 54202 markings/sec, 185 secs
lola: sara is running 190 secs || 11703205 markings, 51292143 edges, 50767 markings/sec, 190 secs
lola: sara is running 195 secs || 11994322 markings, 52762136 edges, 58223 markings/sec, 195 secs
lola: sara is running 200 secs || 12278722 markings, 54272754 edges, 56880 markings/sec, 200 secs
lola: sara is running 205 secs || 12552902 markings, 55920972 edges, 54836 markings/sec, 205 secs
lola: sara is running 210 secs || 12829338 markings, 57676471 edges, 55287 markings/sec, 210 secs
lola: sara is running 215 secs || 13099407 markings, 59533614 edges, 54014 markings/sec, 215 secs
lola: sara is running 220 secs || 13399245 markings, 60927755 edges, 59968 markings/sec, 220 secs
lola: sara is running 225 secs || 13674288 markings, 62262260 edges, 55009 markings/sec, 225 secs
lola: sara is running 230 secs || 13981219 markings, 63447264 edges, 61386 markings/sec, 230 secs
lola: sara is running 235 secs || 14276444 markings, 64593744 edges, 59045 markings/sec, 235 secs
lola: sara is running 240 secs || 14604823 markings, 65858812 edges, 65676 markings/sec, 240 secs
lola: sara is running 245 secs || 14905274 markings, 67319537 edges, 60090 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 539968 KB
lola: time consumption: 3068 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t1_10) OR FIREABLE(t8_4) OR (FIREABLE(t1_5) AND FIREABLE(t18_16))) AND FIREABLE(t14_10) AND ((FIREABLE(t1_19) AND FIREABLE(t12_9)) OR (FIREABLE(t16_15) AND FIREABLE(t2_27))) AND FIREABLE(t12_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_10) OR FIREABLE(t8_4) OR (FIREABLE(t1_5) AND FIREABLE(t18_16))) AND FIREABLE(t14_10) AND ((FIREABLE(t1_19) AND FIREABLE(t12_9)) OR (FIREABLE(t16_15) AND FIREABLE(t2_27))) AND FIREABLE(t12_11))))
lola: processed formula length: 217
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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_10) OR FIREABLE(t8_4) OR (FIREABLE(t1_5) AND FIREABLE(t18_16))) AND FIREABLE(t14_10) AND ((FIREABLE(t1_19) AND FIREABLE(t12_9)) OR (FIREABLE(t16_15) AND FIREABLE(t2_27))) AND FIREABLE(t12_11))
lola: state equation: Generated DNF with 64 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 374327 markings, 1245154 edges, 74865 markings/sec, 0 secs
lola: sara is running 5 secs || 738849 markings, 2558719 edges, 72904 markings/sec, 5 secs
lola: sara is running 10 secs || 1092885 markings, 3904174 edges, 70807 markings/sec, 10 secs
lola: sara is running 15 secs || 1438394 markings, 5395661 edges, 69102 markings/sec, 15 secs
lola: sara is running 20 secs || 1800325 markings, 6691696 edges, 72386 markings/sec, 20 secs
lola: sara is running 25 secs || 2157557 markings, 7955351 edges, 71446 markings/sec, 25 secs
lola: sara is running 30 secs || 2541429 markings, 9169750 edges, 76774 markings/sec, 30 secs
lola: sara is running 35 secs || 2915771 markings, 10389546 edges, 74868 markings/sec, 35 secs
lola: sara is running 40 secs || 3279222 markings, 11803231 edges, 72690 markings/sec, 40 secs
lola: sara is running 45 secs || 3630730 markings, 13319979 edges, 70302 markings/sec, 45 secs
lola: sara is running 50 secs || 4004665 markings, 14890676 edges, 74787 markings/sec, 50 secs
lola: sara is running 55 secs || 4375699 markings, 16427613 edges, 74207 markings/sec, 55 secs
lola: sara is running 60 secs || 4742895 markings, 17872370 edges, 73439 markings/sec, 60 secs
lola: sara is running 65 secs || 5077028 markings, 19292825 edges, 66827 markings/sec, 65 secs
lola: sara is running 70 secs || 5410554 markings, 20725423 edges, 66705 markings/sec, 70 secs
lola: sara is running 75 secs || 5732720 markings, 22300061 edges, 64433 markings/sec, 75 secs
lola: sara is running 80 secs || 6098278 markings, 23649335 edges, 73112 markings/sec, 80 secs
lola: sara is running 85 secs || 6456067 markings, 25048078 edges, 71558 markings/sec, 85 secs
lola: sara is running 90 secs || 6799838 markings, 26363747 edges, 68754 markings/sec, 90 secs
lola: sara is running 95 secs || 7138060 markings, 27897120 edges, 67644 markings/sec, 95 secs
lola: sara is running 100 secs || 7490914 markings, 29498057 edges, 70571 markings/sec, 100 secs
lola: sara is running 105 secs || 7852874 markings, 30913418 edges, 72392 markings/sec, 105 secs
lola: sara is running 110 secs || 8211154 markings, 32419373 edges, 71656 markings/sec, 110 secs
lola: sara is running 115 secs || 8539370 markings, 33851110 edges, 65643 markings/sec, 115 secs
lola: sara is running 120 secs || 8853086 markings, 35269709 edges, 62743 markings/sec, 120 secs
lola: sara is running 125 secs || 9200509 markings, 36655158 edges, 69485 markings/sec, 125 secs
lola: sara is running 130 secs || 9499333 markings, 38263978 edges, 59765 markings/sec, 130 secs
lola: sara is running 135 secs || 9848826 markings, 39647507 edges, 69899 markings/sec, 135 secs
lola: sara is running 140 secs || 10179506 markings, 41169266 edges, 66136 markings/sec, 140 secs
lola: sara is running 145 secs || 10521016 markings, 42577178 edges, 68302 markings/sec, 145 secs
lola: sara is running 150 secs || 10832243 markings, 44141081 edges, 62245 markings/sec, 150 secs
lola: sara is running 155 secs || 11152866 markings, 45619322 edges, 64125 markings/sec, 155 secs
lola: sara is running 160 secs || 11454235 markings, 47152631 edges, 60274 markings/sec, 160 secs
lola: sara is running 165 secs || 11808037 markings, 48515571 edges, 70760 markings/sec, 165 secs
lola: sara is running 170 secs || 12122867 markings, 50102763 edges, 62966 markings/sec, 170 secs
lola: sara is running 175 secs || 12441174 markings, 51552707 edges, 63661 markings/sec, 175 secs
lola: sara is running 180 secs || 12762509 markings, 53000832 edges, 64267 markings/sec, 180 secs
lola: sara is running 185 secs || 13060007 markings, 54343454 edges, 59500 markings/sec, 185 secs
lola: sara is running 190 secs || 13342034 markings, 55852970 edges, 56405 markings/sec, 190 secs
lola: sara is running 195 secs || 13650894 markings, 57352355 edges, 61772 markings/sec, 195 secs
lola: sara is running 200 secs || 13983713 markings, 58688983 edges, 66564 markings/sec, 200 secs
lola: sara is running 205 secs || 14279867 markings, 60208673 edges, 59231 markings/sec, 205 secs
lola: sara is running 210 secs || 14598945 markings, 61686804 edges, 63816 markings/sec, 210 secs
lola: sara is running 215 secs || 14901238 markings, 63230394 edges, 60459 markings/sec, 215 secs
lola: sara is running 220 secs || 15196207 markings, 64705671 edges, 58994 markings/sec, 220 secs
lola: sara is running 225 secs || 15501912 markings, 66066703 edges, 61141 markings/sec, 225 secs
lola: sara is running 230 secs || 15787629 markings, 67550322 edges, 57143 markings/sec, 230 secs
lola: sara is running 235 secs || 16096447 markings, 69046843 edges, 61764 markings/sec, 235 secs
lola: sara is running 240 secs || 16403858 markings, 70461137 edges, 61482 markings/sec, 240 secs
lola: sara is running 245 secs || 16713674 markings, 71906999 edges, 61963 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 576452 KB
lola: time consumption: 3319 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t20_15) AND FIREABLE(t14_2) AND FIREABLE(t12_1) AND FIREABLE(tAb2)) OR (FIREABLE(t23_21) AND FIREABLE(t15_12) AND FIREABLE(t15_10) AND FIREABLE(t10_6)) OR (FIREABLE(t1_3) AND NOT FIREABLE(t8_16) AND FIREABLE(t4_7)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((FIREABLE(t20_15) AND FIREABLE(t14_2) AND FIREABLE(t12_1) AND FIREABLE(tAb2)) OR (FIREABLE(t23_21) AND FIREABLE(t15_12) AND FIREABLE(t15_10) AND FIREABLE(t10_6)) OR (FIREABLE(t1_3) AND NOT FIREABLE(t8_16) AND FIREABLE(t4_7)))))
lola: processed formula length: 236
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((FIREABLE(t20_15) AND FIREABLE(t14_2) AND FIREABLE(t12_1) AND FIREABLE(tAb2)) OR (FIREABLE(t23_21) AND FIREABLE(t15_12) AND FIREABLE(t15_10) AND FIREABLE(t10_6)) OR (FIREABLE(t1_3) AND NOT FIREABLE(t8_16) AND FIREABLE(t4_7)))
lola: state equation: Generated DNF with 25 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 383784 markings, 1281933 edges, 76757 markings/sec, 0 secs
lola: sara is running 5 secs || 733599 markings, 2465081 edges, 69963 markings/sec, 5 secs
lola: sara is running 10 secs || 1113604 markings, 3411535 edges, 76001 markings/sec, 10 secs
lola: sara is running 15 secs || 1470580 markings, 4594190 edges, 71395 markings/sec, 15 secs
lola: sara is running 20 secs || 1812427 markings, 5991482 edges, 68369 markings/sec, 20 secs
lola: sara is running 25 secs || 2149410 markings, 7375784 edges, 67397 markings/sec, 25 secs
lola: sara is running 30 secs || 2462954 markings, 9007506 edges, 62709 markings/sec, 30 secs
lola: sara is running 35 secs || 2798647 markings, 10376950 edges, 67139 markings/sec, 35 secs
lola: sara is running 40 secs || 3123973 markings, 11606672 edges, 65065 markings/sec, 40 secs
lola: sara is running 45 secs || 3450330 markings, 12782250 edges, 65271 markings/sec, 45 secs
lola: sara is running 50 secs || 3761809 markings, 14148836 edges, 62296 markings/sec, 50 secs
lola: sara is running 55 secs || 4059095 markings, 15677780 edges, 59457 markings/sec, 55 secs
lola: sara is running 60 secs || 4360654 markings, 17245919 edges, 60312 markings/sec, 60 secs
lola: sara is running 65 secs || 4681387 markings, 18638392 edges, 64147 markings/sec, 65 secs
lola: sara is running 70 secs || 4999467 markings, 19913640 edges, 63616 markings/sec, 70 secs
lola: sara is running 75 secs || 5313491 markings, 21384142 edges, 62805 markings/sec, 75 secs
lola: sara is running 80 secs || 5618905 markings, 22797760 edges, 61083 markings/sec, 80 secs
lola: sara is running 85 secs || 5923353 markings, 24085644 edges, 60890 markings/sec, 85 secs
lola: sara is running 90 secs || 6220812 markings, 25563060 edges, 59492 markings/sec, 90 secs
lola: sara is running 95 secs || 6517844 markings, 27012485 edges, 59406 markings/sec, 95 secs
lola: sara is running 100 secs || 6821951 markings, 28391681 edges, 60821 markings/sec, 100 secs
lola: sara is running 105 secs || 7109131 markings, 29847690 edges, 57436 markings/sec, 105 secs
lola: sara is running 110 secs || 7459916 markings, 31080413 edges, 70157 markings/sec, 110 secs
lola: sara is running 115 secs || 7778682 markings, 32332131 edges, 63753 markings/sec, 115 secs
lola: sara is running 120 secs || 8091943 markings, 33832815 edges, 62652 markings/sec, 120 secs
lola: sara is running 125 secs || 8413195 markings, 35281514 edges, 64250 markings/sec, 125 secs
lola: sara is running 130 secs || 8722021 markings, 36770124 edges, 61765 markings/sec, 130 secs
lola: sara is running 135 secs || 9091503 markings, 38014053 edges, 73896 markings/sec, 135 secs
lola: sara is running 140 secs || 9428570 markings, 39441206 edges, 67413 markings/sec, 140 secs
lola: sara is running 145 secs || 9768731 markings, 40741371 edges, 68032 markings/sec, 145 secs
lola: sara is running 150 secs || 10106702 markings, 41996381 edges, 67594 markings/sec, 150 secs
lola: sara is running 155 secs || 10438344 markings, 43456839 edges, 66328 markings/sec, 155 secs
lola: sara is running 160 secs || 10760779 markings, 44749309 edges, 64487 markings/sec, 160 secs
lola: sara is running 165 secs || 11062859 markings, 46291637 edges, 60416 markings/sec, 165 secs
lola: sara is running 170 secs || 11360072 markings, 47929692 edges, 59443 markings/sec, 170 secs
lola: sara is running 175 secs || 11644213 markings, 49688245 edges, 56828 markings/sec, 175 secs
lola: sara is running 180 secs || 11956357 markings, 50993578 edges, 62429 markings/sec, 180 secs
lola: sara is running 185 secs || 12246457 markings, 52539686 edges, 58020 markings/sec, 185 secs
lola: sara is running 190 secs || 12535395 markings, 54075499 edges, 57788 markings/sec, 190 secs
lola: sara is running 195 secs || 12825011 markings, 55613870 edges, 57923 markings/sec, 195 secs
lola: sara is running 200 secs || 13116852 markings, 57112794 edges, 58368 markings/sec, 200 secs
lola: sara is running 205 secs || 13401832 markings, 58665321 edges, 56996 markings/sec, 205 secs
lola: sara is running 210 secs || 13692575 markings, 60224367 edges, 58149 markings/sec, 210 secs
lola: sara is running 215 secs || 13968663 markings, 62000817 edges, 55218 markings/sec, 215 secs
lola: sara is running 220 secs || 14247113 markings, 63742184 edges, 55690 markings/sec, 220 secs
lola: sara is running 225 secs || 14520409 markings, 65414449 edges, 54659 markings/sec, 225 secs
lola: sara is running 230 secs || 14861204 markings, 66970268 edges, 68159 markings/sec, 230 secs
lola: sara is running 235 secs || 15212850 markings, 68463580 edges, 70329 markings/sec, 235 secs
lola: sara is running 240 secs || 15494315 markings, 70092635 edges, 56293 markings/sec, 240 secs
lola: sara is running 245 secs || 15770603 markings, 71724088 edges, 55258 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 547416 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(t4_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(t4_1)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t4_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 14656 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t27_23) OR (NOT FIREABLE(t13_15) AND NOT FIREABLE(t10_15)) OR FIREABLE(t14_12))))
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(t27_23) OR (NOT FIREABLE(t13_15) AND NOT FIREABLE(t10_15)) OR FIREABLE(t14_12))))
lola: processed formula length: 103
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-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(t27_23) AND (FIREABLE(t13_15) OR FIREABLE(t10_15)) AND NOT FIREABLE(t14_12))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityFireability-17-0.sara
lola: state equation: calling and running sara
lola: memory consumption: 14656 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 14156 KB
lola: time consumption: 3570 seconds
BK_STOP 1526829292637
--------------------
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-12ringLLLarge"
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-12ringLLLarge.tgz
mv DNAwalker-PT-12ringLLLarge 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-12ringLLLarge, 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-152649735500308"
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 ;