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 |
| 1014.360 | 3570239.00 | 6915913.00 | 7189.10 | ?T?F?T??F?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 ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500306
=====================================================================
--------------------
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-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526822136749
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 ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ 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-ReachabilityCardinality.task
lola: always true
lola: LP says that atomic proposition is always true: (B3 <= A22)
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (3 <= B18)
lola: E (F ((3 <= A9))) : A (G (())) : A (G ((A6 <= 2))) : E (F (())) : A (G (((A26 <= A3) OR (A16 <= A26) OR (A12 <= 2) OR (A1 <= A15)))) : A (G (TRUE)) : A (G (((A13 <= A21) OR (3 <= A11) OR (A21 <= A23) OR (A13 <= A3) OR (1 <= A5)))) : A (G (((A21 <= A10) OR (A5 <= 1)))) : E (F (FALSE)) : E (F ((3 <= A19))) : E (F (FALSE)) : E (F (((B17 <= B18) AND (3 <= A6)))) : E (F ((3 <= A15))) : E (F ((3 <= A4))) : E (F (((1 <= A7) AND ((2 <= A17) OR (2 <= A25)) AND (2 <= A6)))) : E (F (((2 <= A13) AND (3 <= A17))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 205 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A9)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A9)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A9)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 313631 markings, 1559766 edges, 62726 markings/sec, 0 secs
lola: sara is running 5 secs || 632842 markings, 3260798 edges, 63842 markings/sec, 5 secs
lola: sara is running 10 secs || 930548 markings, 5023359 edges, 59541 markings/sec, 10 secs
lola: sara is running 15 secs || 1207516 markings, 6635630 edges, 55394 markings/sec, 15 secs
lola: sara is running 20 secs || 1477889 markings, 8545763 edges, 54075 markings/sec, 20 secs
lola: sara is running 25 secs || 1757394 markings, 10378829 edges, 55901 markings/sec, 25 secs
lola: sara is running 30 secs || 2027862 markings, 12267940 edges, 54094 markings/sec, 30 secs
lola: sara is running 35 secs || 2313306 markings, 14002878 edges, 57089 markings/sec, 35 secs
lola: sara is running 40 secs || 2589369 markings, 15874139 edges, 55213 markings/sec, 40 secs
lola: sara is running 45 secs || 2863110 markings, 17725336 edges, 54748 markings/sec, 45 secs
lola: sara is running 50 secs || 3131216 markings, 19559071 edges, 53621 markings/sec, 50 secs
lola: sara is running 55 secs || 3377905 markings, 21480081 edges, 49338 markings/sec, 55 secs
lola: sara is running 60 secs || 3650612 markings, 23178877 edges, 54541 markings/sec, 60 secs
lola: sara is running 65 secs || 3900186 markings, 25103850 edges, 49915 markings/sec, 65 secs
lola: sara is running 70 secs || 4149276 markings, 27025242 edges, 49818 markings/sec, 70 secs
lola: sara is running 75 secs || 4399112 markings, 28819904 edges, 49967 markings/sec, 75 secs
lola: sara is running 80 secs || 4679053 markings, 30500278 edges, 55988 markings/sec, 80 secs
lola: sara is running 85 secs || 4958476 markings, 32319226 edges, 55885 markings/sec, 85 secs
lola: sara is running 90 secs || 5231174 markings, 34091619 edges, 54540 markings/sec, 90 secs
lola: sara is running 95 secs || 5492272 markings, 35915641 edges, 52220 markings/sec, 95 secs
lola: sara is running 100 secs || 5755412 markings, 37655884 edges, 52628 markings/sec, 100 secs
lola: sara is running 105 secs || 6017760 markings, 39412808 edges, 52470 markings/sec, 105 secs
lola: sara is running 110 secs || 6262621 markings, 41360610 edges, 48972 markings/sec, 110 secs
lola: sara is running 115 secs || 6515031 markings, 43155077 edges, 50482 markings/sec, 115 secs
lola: sara is running 120 secs || 6759125 markings, 45049151 edges, 48819 markings/sec, 120 secs
lola: sara is running 125 secs || 7019750 markings, 46836897 edges, 52125 markings/sec, 125 secs
lola: sara is running 130 secs || 7289442 markings, 48645090 edges, 53938 markings/sec, 130 secs
lola: sara is running 135 secs || 7557431 markings, 50435109 edges, 53598 markings/sec, 135 secs
lola: sara is running 140 secs || 7815783 markings, 52311544 edges, 51670 markings/sec, 140 secs
lola: sara is running 145 secs || 8057731 markings, 54227515 edges, 48390 markings/sec, 145 secs
lola: sara is running 150 secs || 8315462 markings, 55864639 edges, 51546 markings/sec, 150 secs
lola: sara is running 155 secs || 8567803 markings, 57580926 edges, 50468 markings/sec, 155 secs
lola: sara is running 160 secs || 8809916 markings, 59413547 edges, 48423 markings/sec, 160 secs
lola: sara is running 165 secs || 9081500 markings, 61109586 edges, 54317 markings/sec, 165 secs
lola: sara is running 170 secs || 9358234 markings, 62928471 edges, 55347 markings/sec, 170 secs
lola: sara is running 175 secs || 9643184 markings, 64639297 edges, 56990 markings/sec, 175 secs
lola: sara is running 180 secs || 9913443 markings, 66408011 edges, 54052 markings/sec, 180 secs
lola: sara is running 185 secs || 10185368 markings, 68000985 edges, 54385 markings/sec, 185 secs
lola: sara is running 190 secs || 10435657 markings, 69815334 edges, 50058 markings/sec, 190 secs
lola: sara is running 195 secs || 10677621 markings, 71759650 edges, 48393 markings/sec, 195 secs
lola: sara is running 200 secs || 10932604 markings, 73499332 edges, 50997 markings/sec, 200 secs
lola: sara is running 205 secs || 11178489 markings, 75363787 edges, 49177 markings/sec, 205 secs
lola: sara is running 210 secs || 11450500 markings, 77010101 edges, 54402 markings/sec, 210 secs
lola: sara is running 215 secs || 11714482 markings, 78842323 edges, 52796 markings/sec, 215 secs
lola: sara is running 220 secs || 11979337 markings, 80631814 edges, 52971 markings/sec, 220 secs
lola: sara is running 225 secs || 12239617 markings, 82443801 edges, 52056 markings/sec, 225 secs
lola: sara is running 230 secs || 12478601 markings, 84313697 edges, 47797 markings/sec, 230 secs
lola: sara is running 235 secs || 12737775 markings, 85960533 edges, 51835 markings/sec, 235 secs
lola: sara is running 240 secs || 12982385 markings, 87758338 edges, 48922 markings/sec, 240 secs
lola: sara is running 245 secs || 13215513 markings, 89687660 edges, 46626 markings/sec, 245 secs
lola: sara is running 250 secs || 13454646 markings, 91534688 edges, 47827 markings/sec, 250 secs
lola: sara is running 255 secs || 13696290 markings, 93303307 edges, 48329 markings/sec, 255 secs
lola: sara is running 260 secs || 13970924 markings, 94922824 edges, 54927 markings/sec, 260 secs
lola: sara is running 265 secs || 14237248 markings, 96746063 edges, 53265 markings/sec, 265 secs
lola: sara is running 270 secs || 14503142 markings, 98476377 edges, 53179 markings/sec, 270 secs
lola: sara is running 275 secs || 14761660 markings, 100235079 edges, 51704 markings/sec, 275 secs
lola: sara is running 280 secs || 15006764 markings, 102054105 edges, 49021 markings/sec, 280 secs
lola: sara is running 285 secs || 15269691 markings, 103632885 edges, 52585 markings/sec, 285 secs
lola: sara is running 290 secs || 15506444 markings, 105504250 edges, 47351 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 544692 KB
lola: time consumption: 584 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A19)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A19)))
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A19)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 381791 markings, 1265837 edges, 76358 markings/sec, 0 secs
lola: sara is running 5 secs || 776006 markings, 2785338 edges, 78843 markings/sec, 5 secs
lola: sara is running 10 secs || 1111772 markings, 4311538 edges, 67153 markings/sec, 10 secs
lola: sara is running 15 secs || 1416679 markings, 5819770 edges, 60981 markings/sec, 15 secs
lola: sara is running 20 secs || 1749128 markings, 7319989 edges, 66490 markings/sec, 20 secs
lola: sara is running 25 secs || 2074331 markings, 8810346 edges, 65041 markings/sec, 25 secs
lola: sara is running 30 secs || 2390465 markings, 10341644 edges, 63227 markings/sec, 30 secs
lola: sara is running 35 secs || 2692328 markings, 11797366 edges, 60373 markings/sec, 35 secs
lola: sara is running 40 secs || 2981203 markings, 13274972 edges, 57775 markings/sec, 40 secs
lola: sara is running 45 secs || 3290349 markings, 14802410 edges, 61829 markings/sec, 45 secs
lola: sara is running 50 secs || 3605552 markings, 16152230 edges, 63041 markings/sec, 50 secs
lola: sara is running 55 secs || 3924722 markings, 17588549 edges, 63834 markings/sec, 55 secs
lola: sara is running 60 secs || 4237668 markings, 18861711 edges, 62589 markings/sec, 60 secs
lola: sara is running 65 secs || 4542233 markings, 20402705 edges, 60913 markings/sec, 65 secs
lola: sara is running 70 secs || 4845658 markings, 21919097 edges, 60685 markings/sec, 70 secs
lola: sara is running 75 secs || 5113107 markings, 23356071 edges, 53490 markings/sec, 75 secs
lola: sara is running 80 secs || 5410414 markings, 24601307 edges, 59461 markings/sec, 80 secs
lola: sara is running 85 secs || 5741523 markings, 26075179 edges, 66222 markings/sec, 85 secs
lola: sara is running 90 secs || 6046765 markings, 27549678 edges, 61048 markings/sec, 90 secs
lola: sara is running 95 secs || 6380761 markings, 28962983 edges, 66799 markings/sec, 95 secs
lola: sara is running 100 secs || 6713310 markings, 30577445 edges, 66510 markings/sec, 100 secs
lola: sara is running 105 secs || 7049914 markings, 32317176 edges, 67321 markings/sec, 105 secs
lola: sara is running 110 secs || 7355531 markings, 33784111 edges, 61123 markings/sec, 110 secs
lola: sara is running 115 secs || 7674845 markings, 35379981 edges, 63863 markings/sec, 115 secs
lola: sara is running 120 secs || 8009361 markings, 36965292 edges, 66903 markings/sec, 120 secs
lola: sara is running 125 secs || 8342668 markings, 38427853 edges, 66661 markings/sec, 125 secs
lola: sara is running 130 secs || 8645959 markings, 39873399 edges, 60658 markings/sec, 130 secs
lola: sara is running 135 secs || 8932898 markings, 41173275 edges, 57388 markings/sec, 135 secs
lola: sara is running 140 secs || 9262897 markings, 42642329 edges, 66000 markings/sec, 140 secs
lola: sara is running 145 secs || 9574002 markings, 44200446 edges, 62221 markings/sec, 145 secs
lola: sara is running 150 secs || 9857359 markings, 45626023 edges, 56671 markings/sec, 150 secs
lola: sara is running 155 secs || 10176313 markings, 47039459 edges, 63791 markings/sec, 155 secs
lola: sara is running 160 secs || 10502470 markings, 48582287 edges, 65231 markings/sec, 160 secs
lola: sara is running 165 secs || 10804017 markings, 50001114 edges, 60309 markings/sec, 165 secs
lola: sara is running 170 secs || 11113118 markings, 51345384 edges, 61820 markings/sec, 170 secs
lola: sara is running 175 secs || 11419928 markings, 52759418 edges, 61362 markings/sec, 175 secs
lola: sara is running 180 secs || 11725061 markings, 54223353 edges, 61027 markings/sec, 180 secs
lola: sara is running 185 secs || 12024429 markings, 55522897 edges, 59874 markings/sec, 185 secs
lola: sara is running 190 secs || 12348586 markings, 56889248 edges, 64831 markings/sec, 190 secs
lola: sara is running 195 secs || 12649287 markings, 58575742 edges, 60140 markings/sec, 195 secs
lola: sara is running 200 secs || 12927092 markings, 60220752 edges, 55561 markings/sec, 200 secs
lola: sara is running 205 secs || 13217333 markings, 61864251 edges, 58048 markings/sec, 205 secs
lola: sara is running 210 secs || 13493410 markings, 63594629 edges, 55215 markings/sec, 210 secs
lola: sara is running 215 secs || 13763943 markings, 65176766 edges, 54107 markings/sec, 215 secs
lola: sara is running 220 secs || 14034265 markings, 66860239 edges, 54064 markings/sec, 220 secs
lola: sara is running 225 secs || 14323265 markings, 68474537 edges, 57800 markings/sec, 225 secs
lola: sara is running 230 secs || 14589689 markings, 70380084 edges, 53285 markings/sec, 230 secs
lola: sara is running 235 secs || 14863918 markings, 72187172 edges, 54846 markings/sec, 235 secs
lola: sara is running 240 secs || 15176228 markings, 73733853 edges, 62462 markings/sec, 240 secs
lola: sara is running 245 secs || 15468327 markings, 75298798 edges, 58420 markings/sec, 245 secs
lola: sara is running 250 secs || 15771067 markings, 76880165 edges, 60548 markings/sec, 250 secs
lola: sara is running 255 secs || 16055268 markings, 78724601 edges, 56840 markings/sec, 255 secs
lola: sara is running 260 secs || 16347672 markings, 80577491 edges, 58481 markings/sec, 260 secs
lola: sara is running 265 secs || 16634715 markings, 82470927 edges, 57409 markings/sec, 265 secs
lola: sara is running 270 secs || 16965079 markings, 84338527 edges, 66073 markings/sec, 270 secs
lola: sara is running 275 secs || 17268633 markings, 85983906 edges, 60711 markings/sec, 275 secs
lola: sara is running 280 secs || 17562430 markings, 87634143 edges, 58759 markings/sec, 280 secs
lola: sara is running 285 secs || 17902829 markings, 89342487 edges, 68080 markings/sec, 285 secs
lola: sara is running 290 secs || 18186632 markings, 90983333 edges, 56761 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 665268 KB
lola: time consumption: 882 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A6 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((A6 <= 2)))
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (3 <= A6)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 372692 markings, 1426916 edges, 74538 markings/sec, 0 secs
lola: sara is running 5 secs || 761681 markings, 2966654 edges, 77798 markings/sec, 5 secs
lola: sara is running 10 secs || 1127879 markings, 4424770 edges, 73240 markings/sec, 10 secs
lola: sara is running 15 secs || 1484829 markings, 5886661 edges, 71390 markings/sec, 15 secs
lola: sara is running 20 secs || 1828417 markings, 7422111 edges, 68718 markings/sec, 20 secs
lola: sara is running 25 secs || 2159852 markings, 9134500 edges, 66287 markings/sec, 25 secs
lola: sara is running 30 secs || 2489723 markings, 10913643 edges, 65974 markings/sec, 30 secs
lola: sara is running 35 secs || 2829183 markings, 12515841 edges, 67892 markings/sec, 35 secs
lola: sara is running 40 secs || 3158822 markings, 14379319 edges, 65928 markings/sec, 40 secs
lola: sara is running 45 secs || 3473393 markings, 16094918 edges, 62914 markings/sec, 45 secs
lola: sara is running 50 secs || 3783777 markings, 17785435 edges, 62077 markings/sec, 50 secs
lola: sara is running 55 secs || 4069600 markings, 19557482 edges, 57165 markings/sec, 55 secs
lola: sara is running 60 secs || 4343828 markings, 21335729 edges, 54846 markings/sec, 60 secs
lola: sara is running 65 secs || 4620483 markings, 23113238 edges, 55331 markings/sec, 65 secs
lola: sara is running 70 secs || 4891753 markings, 24862274 edges, 54254 markings/sec, 70 secs
lola: sara is running 75 secs || 5177173 markings, 26516128 edges, 57084 markings/sec, 75 secs
lola: sara is running 80 secs || 5465806 markings, 28280730 edges, 57727 markings/sec, 80 secs
lola: sara is running 85 secs || 5743649 markings, 30009820 edges, 55569 markings/sec, 85 secs
lola: sara is running 90 secs || 6019556 markings, 31767169 edges, 55181 markings/sec, 90 secs
lola: sara is running 95 secs || 6300740 markings, 33479381 edges, 56237 markings/sec, 95 secs
lola: sara is running 100 secs || 6573059 markings, 35207434 edges, 54464 markings/sec, 100 secs
lola: sara is running 105 secs || 6838847 markings, 36993549 edges, 53158 markings/sec, 105 secs
lola: sara is running 110 secs || 7095962 markings, 38748198 edges, 51423 markings/sec, 110 secs
lola: sara is running 115 secs || 7351858 markings, 40535398 edges, 51179 markings/sec, 115 secs
lola: sara is running 120 secs || 7651450 markings, 42193197 edges, 59918 markings/sec, 120 secs
lola: sara is running 125 secs || 7931706 markings, 44003044 edges, 56051 markings/sec, 125 secs
lola: sara is running 130 secs || 8212902 markings, 45740250 edges, 56239 markings/sec, 130 secs
lola: sara is running 135 secs || 8508900 markings, 47312847 edges, 59200 markings/sec, 135 secs
lola: sara is running 140 secs || 8781814 markings, 49034580 edges, 54583 markings/sec, 140 secs
lola: sara is running 145 secs || 9034281 markings, 50935744 edges, 50493 markings/sec, 145 secs
lola: sara is running 150 secs || 9316214 markings, 52703240 edges, 56387 markings/sec, 150 secs
lola: sara is running 155 secs || 9596217 markings, 54465084 edges, 56001 markings/sec, 155 secs
lola: sara is running 160 secs || 9879792 markings, 56113534 edges, 56715 markings/sec, 160 secs
lola: sara is running 165 secs || 10157742 markings, 57780068 edges, 55590 markings/sec, 165 secs
lola: sara is running 170 secs || 10426550 markings, 59509442 edges, 53762 markings/sec, 170 secs
lola: sara is running 175 secs || 10682476 markings, 61399851 edges, 51185 markings/sec, 175 secs
lola: sara is running 180 secs || 10947812 markings, 63231456 edges, 53067 markings/sec, 180 secs
lola: sara is running 185 secs || 11206459 markings, 64992585 edges, 51729 markings/sec, 185 secs
lola: sara is running 190 secs || 11465868 markings, 66774766 edges, 51882 markings/sec, 190 secs
lola: sara is running 195 secs || 11715273 markings, 68623167 edges, 49881 markings/sec, 195 secs
lola: sara is running 200 secs || 11988900 markings, 70479576 edges, 54725 markings/sec, 200 secs
lola: sara is running 205 secs || 12260156 markings, 72201907 edges, 54251 markings/sec, 205 secs
lola: sara is running 210 secs || 12516321 markings, 74154117 edges, 51233 markings/sec, 210 secs
lola: sara is running 215 secs || 12790098 markings, 75937330 edges, 54755 markings/sec, 215 secs
lola: sara is running 220 secs || 13050388 markings, 77779382 edges, 52058 markings/sec, 220 secs
lola: sara is running 225 secs || 13307185 markings, 79703296 edges, 51359 markings/sec, 225 secs
lola: sara is running 230 secs || 13542431 markings, 81658223 edges, 47049 markings/sec, 230 secs
lola: sara is running 235 secs || 13790284 markings, 83610571 edges, 49571 markings/sec, 235 secs
lola: sara is running 240 secs || 14036898 markings, 85534410 edges, 49323 markings/sec, 240 secs
lola: sara is running 245 secs || 14303604 markings, 87082913 edges, 53341 markings/sec, 245 secs
lola: sara is running 250 secs || 14549684 markings, 88927147 edges, 49216 markings/sec, 250 secs
lola: sara is running 255 secs || 14796278 markings, 90894259 edges, 49319 markings/sec, 255 secs
lola: sara is running 260 secs || 15048523 markings, 92687597 edges, 50449 markings/sec, 260 secs
lola: sara is running 265 secs || 15294581 markings, 94583377 edges, 49212 markings/sec, 265 secs
lola: sara is running 270 secs || 15552675 markings, 96301988 edges, 51619 markings/sec, 270 secs
lola: sara is running 275 secs || 15793841 markings, 98274880 edges, 48233 markings/sec, 275 secs
lola: sara is running 280 secs || 16053520 markings, 100171062 edges, 51936 markings/sec, 280 secs
lola: sara is running 285 secs || 16300367 markings, 102048364 edges, 49369 markings/sec, 285 secs
lola: sara is running 290 secs || 16533040 markings, 103926473 edges, 46535 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 580020 KB
lola: time consumption: 1180 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A15)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A15)))
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A15)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 443039 markings, 1336108 edges, 88608 markings/sec, 0 secs
lola: sara is running 5 secs || 883857 markings, 2726787 edges, 88164 markings/sec, 5 secs
lola: sara is running 10 secs || 1361803 markings, 4113397 edges, 95589 markings/sec, 10 secs
lola: sara is running 15 secs || 1854334 markings, 5559465 edges, 98506 markings/sec, 15 secs
lola: sara is running 20 secs || 2313329 markings, 6959052 edges, 91799 markings/sec, 20 secs
lola: sara is running 25 secs || 2701870 markings, 8334934 edges, 77708 markings/sec, 25 secs
lola: sara is running 30 secs || 3051597 markings, 9911225 edges, 69945 markings/sec, 30 secs
lola: sara is running 35 secs || 3366640 markings, 11320732 edges, 63009 markings/sec, 35 secs
lola: sara is running 40 secs || 3668806 markings, 12806096 edges, 60433 markings/sec, 40 secs
lola: sara is running 45 secs || 4029469 markings, 14232950 edges, 72133 markings/sec, 45 secs
lola: sara is running 50 secs || 4536905 markings, 15726275 edges, 101487 markings/sec, 50 secs
lola: sara is running 55 secs || 5031988 markings, 17085159 edges, 99017 markings/sec, 55 secs
lola: sara is running 60 secs || 5492355 markings, 18628767 edges, 92073 markings/sec, 60 secs
lola: sara is running 65 secs || 5945854 markings, 20152673 edges, 90700 markings/sec, 65 secs
lola: sara is running 70 secs || 6413624 markings, 21604572 edges, 93554 markings/sec, 70 secs
lola: sara is running 75 secs || 6878667 markings, 23122956 edges, 93009 markings/sec, 75 secs
lola: sara is running 80 secs || 7336795 markings, 24567775 edges, 91626 markings/sec, 80 secs
lola: sara is running 85 secs || 7855930 markings, 25873926 edges, 103827 markings/sec, 85 secs
lola: sara is running 90 secs || 8325603 markings, 27331907 edges, 93935 markings/sec, 90 secs
lola: sara is running 95 secs || 8776043 markings, 28929057 edges, 90088 markings/sec, 95 secs
lola: sara is running 100 secs || 9218173 markings, 30453171 edges, 88426 markings/sec, 100 secs
lola: sara is running 105 secs || 9675099 markings, 32046687 edges, 91385 markings/sec, 105 secs
lola: sara is running 110 secs || 10029766 markings, 33463535 edges, 70933 markings/sec, 110 secs
lola: sara is running 115 secs || 10446066 markings, 34932606 edges, 83260 markings/sec, 115 secs
lola: sara is running 120 secs || 10884119 markings, 36308123 edges, 87611 markings/sec, 120 secs
lola: sara is running 125 secs || 11221306 markings, 37845428 edges, 67437 markings/sec, 125 secs
lola: sara is running 130 secs || 11608645 markings, 39334923 edges, 77468 markings/sec, 130 secs
lola: sara is running 135 secs || 12104116 markings, 40621881 edges, 99094 markings/sec, 135 secs
lola: sara is running 140 secs || 12549805 markings, 42021242 edges, 89138 markings/sec, 140 secs
lola: sara is running 145 secs || 13026667 markings, 43349627 edges, 95372 markings/sec, 145 secs
lola: sara is running 150 secs || 13484599 markings, 44567345 edges, 91586 markings/sec, 150 secs
lola: sara is running 155 secs || 13898704 markings, 46001172 edges, 82821 markings/sec, 155 secs
lola: sara is running 160 secs || 14333509 markings, 47398380 edges, 86961 markings/sec, 160 secs
lola: sara is running 165 secs || 14666870 markings, 48901569 edges, 66672 markings/sec, 165 secs
lola: sara is running 170 secs || 15010150 markings, 50397265 edges, 68656 markings/sec, 170 secs
lola: sara is running 175 secs || 15510901 markings, 51732973 edges, 100150 markings/sec, 175 secs
lola: sara is running 180 secs || 15965394 markings, 53105117 edges, 90899 markings/sec, 180 secs
lola: sara is running 185 secs || 16389163 markings, 54534112 edges, 84754 markings/sec, 185 secs
lola: sara is running 190 secs || 16831769 markings, 55982016 edges, 88521 markings/sec, 190 secs
lola: sara is running 195 secs || 17267219 markings, 57439445 edges, 87090 markings/sec, 195 secs
lola: sara is running 200 secs || 17697482 markings, 58839163 edges, 86053 markings/sec, 200 secs
lola: sara is running 205 secs || 18121273 markings, 60151996 edges, 84758 markings/sec, 205 secs
lola: sara is running 210 secs || 18501806 markings, 61827927 edges, 76107 markings/sec, 210 secs
lola: sara is running 215 secs || 18877730 markings, 63534265 edges, 75185 markings/sec, 215 secs
lola: sara is running 220 secs || 19317347 markings, 65097562 edges, 87923 markings/sec, 220 secs
lola: sara is running 225 secs || 19701808 markings, 66753050 edges, 76892 markings/sec, 225 secs
lola: sara is running 230 secs || 20081666 markings, 68441000 edges, 75972 markings/sec, 230 secs
lola: sara is running 235 secs || 20501504 markings, 70122209 edges, 83968 markings/sec, 235 secs
lola: sara is running 240 secs || 20913050 markings, 71745217 edges, 82309 markings/sec, 240 secs
lola: sara is running 245 secs || 21277993 markings, 73434860 edges, 72989 markings/sec, 245 secs
lola: sara is running 250 secs || 21600225 markings, 75232619 edges, 64446 markings/sec, 250 secs
lola: sara is running 255 secs || 22041284 markings, 76849370 edges, 88212 markings/sec, 255 secs
lola: sara is running 260 secs || 22472617 markings, 78390514 edges, 86267 markings/sec, 260 secs
lola: sara is running 265 secs || 22848869 markings, 80099281 edges, 75250 markings/sec, 265 secs
lola: sara is running 270 secs || 23187834 markings, 81864119 edges, 67793 markings/sec, 270 secs
lola: sara is running 275 secs || 23603589 markings, 83504231 edges, 83151 markings/sec, 275 secs
lola: sara is running 280 secs || 24011155 markings, 85165687 edges, 81513 markings/sec, 280 secs
lola: sara is running 285 secs || 24403463 markings, 86750680 edges, 78462 markings/sec, 285 secs
lola: sara is running 290 secs || 24763709 markings, 88670867 edges, 72049 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 855776 KB
lola: time consumption: 1478 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A4)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A4)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A4)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 381336 markings, 1217394 edges, 76267 markings/sec, 0 secs
lola: sara is running 5 secs || 699938 markings, 2496868 edges, 63720 markings/sec, 5 secs
lola: sara is running 10 secs || 1050528 markings, 3694680 edges, 70118 markings/sec, 10 secs
lola: sara is running 15 secs || 1372689 markings, 5159862 edges, 64432 markings/sec, 15 secs
lola: sara is running 20 secs || 1671354 markings, 6778329 edges, 59733 markings/sec, 20 secs
lola: sara is running 25 secs || 2000289 markings, 8140228 edges, 65787 markings/sec, 25 secs
lola: sara is running 30 secs || 2295729 markings, 9430132 edges, 59088 markings/sec, 30 secs
lola: sara is running 35 secs || 2610990 markings, 10750541 edges, 63052 markings/sec, 35 secs
lola: sara is running 40 secs || 2895238 markings, 12336696 edges, 56850 markings/sec, 40 secs
lola: sara is running 45 secs || 3201024 markings, 13728316 edges, 61157 markings/sec, 45 secs
lola: sara is running 50 secs || 3502307 markings, 14997779 edges, 60257 markings/sec, 50 secs
lola: sara is running 55 secs || 3818650 markings, 16182413 edges, 63269 markings/sec, 55 secs
lola: sara is running 60 secs || 4102711 markings, 17684663 edges, 56812 markings/sec, 60 secs
lola: sara is running 65 secs || 4395967 markings, 19169481 edges, 58651 markings/sec, 65 secs
lola: sara is running 70 secs || 4673085 markings, 20755768 edges, 55424 markings/sec, 70 secs
lola: sara is running 75 secs || 4974068 markings, 22208080 edges, 60197 markings/sec, 75 secs
lola: sara is running 80 secs || 5270001 markings, 23531315 edges, 59187 markings/sec, 80 secs
lola: sara is running 85 secs || 5612195 markings, 24878964 edges, 68439 markings/sec, 85 secs
lola: sara is running 90 secs || 5925667 markings, 26433520 edges, 62694 markings/sec, 90 secs
lola: sara is running 95 secs || 6224438 markings, 27771342 edges, 59754 markings/sec, 95 secs
lola: sara is running 100 secs || 6512926 markings, 29077938 edges, 57698 markings/sec, 100 secs
lola: sara is running 105 secs || 6795864 markings, 30415613 edges, 56588 markings/sec, 105 secs
lola: sara is running 110 secs || 7129941 markings, 31733752 edges, 66815 markings/sec, 110 secs
lola: sara is running 115 secs || 7481577 markings, 33094098 edges, 70327 markings/sec, 115 secs
lola: sara is running 120 secs || 7831283 markings, 34462232 edges, 69941 markings/sec, 120 secs
lola: sara is running 125 secs || 8185848 markings, 35664030 edges, 70913 markings/sec, 125 secs
lola: sara is running 130 secs || 8529748 markings, 36916806 edges, 68780 markings/sec, 130 secs
lola: sara is running 135 secs || 8861857 markings, 38377951 edges, 66422 markings/sec, 135 secs
lola: sara is running 140 secs || 9208888 markings, 39785626 edges, 69406 markings/sec, 140 secs
lola: sara is running 145 secs || 9553388 markings, 41086109 edges, 68900 markings/sec, 145 secs
lola: sara is running 150 secs || 9904894 markings, 42460520 edges, 70301 markings/sec, 150 secs
lola: sara is running 155 secs || 10250955 markings, 43905545 edges, 69212 markings/sec, 155 secs
lola: sara is running 160 secs || 10563806 markings, 45493059 edges, 62570 markings/sec, 160 secs
lola: sara is running 165 secs || 10874770 markings, 47166591 edges, 62193 markings/sec, 165 secs
lola: sara is running 170 secs || 11184499 markings, 48703106 edges, 61946 markings/sec, 170 secs
lola: sara is running 175 secs || 11491122 markings, 50434391 edges, 61325 markings/sec, 175 secs
lola: sara is running 180 secs || 11801248 markings, 52091374 edges, 62025 markings/sec, 180 secs
lola: sara is running 185 secs || 12103971 markings, 53722880 edges, 60545 markings/sec, 185 secs
lola: sara is running 190 secs || 12413035 markings, 55251345 edges, 61813 markings/sec, 190 secs
lola: sara is running 195 secs || 12735027 markings, 56719789 edges, 64398 markings/sec, 195 secs
lola: sara is running 200 secs || 13043983 markings, 58340017 edges, 61791 markings/sec, 200 secs
lola: sara is running 205 secs || 13359510 markings, 59896906 edges, 63105 markings/sec, 205 secs
lola: sara is running 210 secs || 13648491 markings, 61503017 edges, 57796 markings/sec, 210 secs
lola: sara is running 215 secs || 13909216 markings, 63211082 edges, 52145 markings/sec, 215 secs
lola: sara is running 220 secs || 14197405 markings, 65125175 edges, 57638 markings/sec, 220 secs
lola: sara is running 225 secs || 14482168 markings, 66975091 edges, 56953 markings/sec, 225 secs
lola: sara is running 230 secs || 14784381 markings, 68558977 edges, 60443 markings/sec, 230 secs
lola: sara is running 235 secs || 15143672 markings, 70046533 edges, 71858 markings/sec, 235 secs
lola: sara is running 240 secs || 15480235 markings, 71678494 edges, 67313 markings/sec, 240 secs
lola: sara is running 245 secs || 15822354 markings, 73226456 edges, 68424 markings/sec, 245 secs
lola: sara is running 250 secs || 16138483 markings, 74954511 edges, 63226 markings/sec, 250 secs
lola: sara is running 255 secs || 16445189 markings, 76778995 edges, 61341 markings/sec, 255 secs
lola: sara is running 260 secs || 16763009 markings, 78643986 edges, 63564 markings/sec, 260 secs
lola: sara is running 265 secs || 17091813 markings, 80494277 edges, 65761 markings/sec, 265 secs
lola: sara is running 270 secs || 17368168 markings, 82533043 edges, 55271 markings/sec, 270 secs
lola: sara is running 275 secs || 17669700 markings, 84199363 edges, 60306 markings/sec, 275 secs
lola: sara is running 280 secs || 17985526 markings, 85738154 edges, 63165 markings/sec, 280 secs
lola: sara is running 285 secs || 18268787 markings, 87332029 edges, 56652 markings/sec, 285 secs
lola: sara is running 290 secs || 18540343 markings, 88935727 edges, 54311 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 653948 KB
lola: time consumption: 1776 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A13) AND (3 <= A17))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A13) AND (3 <= A17))))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((2 <= A13) AND (3 <= A17))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 418788 markings, 1097976 edges, 83758 markings/sec, 0 secs
lola: sara is running 5 secs || 775612 markings, 2267582 edges, 71365 markings/sec, 5 secs
lola: sara is running 10 secs || 1148083 markings, 3475923 edges, 74494 markings/sec, 10 secs
lola: sara is running 15 secs || 1515192 markings, 4711587 edges, 73422 markings/sec, 15 secs
lola: sara is running 20 secs || 1869787 markings, 5914744 edges, 70919 markings/sec, 20 secs
lola: sara is running 25 secs || 2264289 markings, 7174792 edges, 78900 markings/sec, 25 secs
lola: sara is running 30 secs || 2660694 markings, 8552375 edges, 79281 markings/sec, 30 secs
lola: sara is running 35 secs || 3046729 markings, 9921293 edges, 77207 markings/sec, 35 secs
lola: sara is running 40 secs || 3439546 markings, 11247386 edges, 78563 markings/sec, 40 secs
lola: sara is running 45 secs || 3837253 markings, 12563710 edges, 79541 markings/sec, 45 secs
lola: sara is running 50 secs || 4238120 markings, 13839357 edges, 80173 markings/sec, 50 secs
lola: sara is running 55 secs || 4628825 markings, 15190491 edges, 78141 markings/sec, 55 secs
lola: sara is running 60 secs || 4950022 markings, 16582334 edges, 64239 markings/sec, 60 secs
lola: sara is running 65 secs || 5265803 markings, 18044353 edges, 63156 markings/sec, 65 secs
lola: sara is running 70 secs || 5592928 markings, 19451717 edges, 65425 markings/sec, 70 secs
lola: sara is running 75 secs || 5963427 markings, 20840912 edges, 74100 markings/sec, 75 secs
lola: sara is running 80 secs || 6352561 markings, 22239800 edges, 77827 markings/sec, 80 secs
lola: sara is running 85 secs || 6732754 markings, 23540572 edges, 76039 markings/sec, 85 secs
lola: sara is running 90 secs || 7081141 markings, 24984742 edges, 69677 markings/sec, 90 secs
lola: sara is running 95 secs || 7464271 markings, 26346392 edges, 76626 markings/sec, 95 secs
lola: sara is running 100 secs || 7812943 markings, 27753177 edges, 69734 markings/sec, 100 secs
lola: sara is running 105 secs || 8121889 markings, 29198607 edges, 61789 markings/sec, 105 secs
lola: sara is running 110 secs || 8470611 markings, 30675401 edges, 69744 markings/sec, 110 secs
lola: sara is running 115 secs || 8770348 markings, 32251641 edges, 59947 markings/sec, 115 secs
lola: sara is running 120 secs || 9140136 markings, 33616804 edges, 73958 markings/sec, 120 secs
lola: sara is running 125 secs || 9501605 markings, 34886865 edges, 72294 markings/sec, 125 secs
lola: sara is running 130 secs || 9830026 markings, 36307580 edges, 65684 markings/sec, 130 secs
lola: sara is running 135 secs || 10171862 markings, 37778382 edges, 68367 markings/sec, 135 secs
lola: sara is running 140 secs || 10520660 markings, 39263280 edges, 69760 markings/sec, 140 secs
lola: sara is running 145 secs || 10855083 markings, 40731155 edges, 66885 markings/sec, 145 secs
lola: sara is running 150 secs || 11188736 markings, 42168580 edges, 66731 markings/sec, 150 secs
lola: sara is running 155 secs || 11541600 markings, 43491678 edges, 70573 markings/sec, 155 secs
lola: sara is running 160 secs || 11866415 markings, 45046119 edges, 64963 markings/sec, 160 secs
lola: sara is running 165 secs || 12217959 markings, 46617846 edges, 70309 markings/sec, 165 secs
lola: sara is running 170 secs || 12593262 markings, 48169447 edges, 75061 markings/sec, 170 secs
lola: sara is running 175 secs || 12982042 markings, 49692773 edges, 77756 markings/sec, 175 secs
lola: sara is running 180 secs || 13305485 markings, 51349844 edges, 64689 markings/sec, 180 secs
lola: sara is running 185 secs || 13661281 markings, 52886322 edges, 71159 markings/sec, 185 secs
lola: sara is running 190 secs || 14005577 markings, 54412880 edges, 68859 markings/sec, 190 secs
lola: sara is running 195 secs || 14358522 markings, 55979158 edges, 70589 markings/sec, 195 secs
lola: sara is running 200 secs || 14704585 markings, 57422377 edges, 69213 markings/sec, 200 secs
lola: sara is running 205 secs || 15016634 markings, 59040776 edges, 62410 markings/sec, 205 secs
lola: sara is running 210 secs || 15349168 markings, 60738081 edges, 66507 markings/sec, 210 secs
lola: sara is running 215 secs || 15667874 markings, 62363240 edges, 63741 markings/sec, 215 secs
lola: sara is running 220 secs || 15983635 markings, 64008746 edges, 63152 markings/sec, 220 secs
lola: sara is running 225 secs || 16299751 markings, 65667832 edges, 63223 markings/sec, 225 secs
lola: sara is running 230 secs || 16630825 markings, 67383809 edges, 66215 markings/sec, 230 secs
lola: sara is running 235 secs || 16927066 markings, 69183265 edges, 59248 markings/sec, 235 secs
lola: sara is running 240 secs || 17238139 markings, 70898023 edges, 62215 markings/sec, 240 secs
lola: sara is running 245 secs || 17553598 markings, 72607448 edges, 63092 markings/sec, 245 secs
lola: sara is running 250 secs || 17846142 markings, 74352834 edges, 58509 markings/sec, 250 secs
lola: sara is running 255 secs || 18135366 markings, 76169131 edges, 57845 markings/sec, 255 secs
lola: sara is running 260 secs || 18431190 markings, 77875146 edges, 59165 markings/sec, 260 secs
lola: sara is running 265 secs || 18723742 markings, 79661607 edges, 58510 markings/sec, 265 secs
lola: sara is running 270 secs || 19010434 markings, 81387252 edges, 57338 markings/sec, 270 secs
lola: sara is running 275 secs || 19322641 markings, 83292918 edges, 62441 markings/sec, 275 secs
lola: sara is running 280 secs || 19621745 markings, 85175534 edges, 59821 markings/sec, 280 secs
lola: sara is running 285 secs || 19922177 markings, 87064553 edges, 60086 markings/sec, 285 secs
lola: sara is running 290 secs || 20240661 markings, 88895287 edges, 63697 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 706348 KB
lola: time consumption: 2075 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((B17 <= B18) AND (3 <= A6))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((B17 <= B18) AND (3 <= A6))))
lola: processed formula length: 36
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((B17 <= B18) AND (3 <= A6))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 411917 markings, 1433236 edges, 82383 markings/sec, 0 secs
lola: sara is running 5 secs || 835218 markings, 2965263 edges, 84660 markings/sec, 5 secs
lola: sara is running 10 secs || 1216181 markings, 4357965 edges, 76193 markings/sec, 10 secs
lola: sara is running 15 secs || 1550880 markings, 5879835 edges, 66940 markings/sec, 15 secs
lola: sara is running 20 secs || 1882415 markings, 7561364 edges, 66307 markings/sec, 20 secs
lola: sara is running 25 secs || 2363880 markings, 9478627 edges, 96293 markings/sec, 25 secs
lola: sara is running 30 secs || 2696759 markings, 11232584 edges, 66576 markings/sec, 30 secs
lola: sara is running 35 secs || 3106413 markings, 13109385 edges, 81931 markings/sec, 35 secs
lola: sara is running 40 secs || 3457864 markings, 14767933 edges, 70290 markings/sec, 40 secs
lola: sara is running 45 secs || 3802786 markings, 16598154 edges, 68984 markings/sec, 45 secs
lola: sara is running 50 secs || 4163845 markings, 18484011 edges, 72212 markings/sec, 50 secs
lola: sara is running 55 secs || 4492484 markings, 20254997 edges, 65728 markings/sec, 55 secs
lola: sara is running 60 secs || 4792797 markings, 21861514 edges, 60063 markings/sec, 60 secs
lola: sara is running 65 secs || 5083641 markings, 23581534 edges, 58169 markings/sec, 65 secs
lola: sara is running 70 secs || 5414680 markings, 25344303 edges, 66208 markings/sec, 70 secs
lola: sara is running 75 secs || 5751372 markings, 27126477 edges, 67338 markings/sec, 75 secs
lola: sara is running 80 secs || 6077518 markings, 28848885 edges, 65229 markings/sec, 80 secs
lola: sara is running 85 secs || 6388120 markings, 30604523 edges, 62120 markings/sec, 85 secs
lola: sara is running 90 secs || 6700372 markings, 32438809 edges, 62450 markings/sec, 90 secs
lola: sara is running 95 secs || 7050396 markings, 34262205 edges, 70005 markings/sec, 95 secs
lola: sara is running 100 secs || 7405736 markings, 36101054 edges, 71068 markings/sec, 100 secs
lola: sara is running 105 secs || 7748604 markings, 37902570 edges, 68574 markings/sec, 105 secs
lola: sara is running 110 secs || 8072816 markings, 39541305 edges, 64842 markings/sec, 110 secs
lola: sara is running 115 secs || 8387408 markings, 41424890 edges, 62918 markings/sec, 115 secs
lola: sara is running 120 secs || 8723023 markings, 43232887 edges, 67123 markings/sec, 120 secs
lola: sara is running 125 secs || 9060332 markings, 45013085 edges, 67462 markings/sec, 125 secs
lola: sara is running 130 secs || 9349749 markings, 46713573 edges, 57883 markings/sec, 130 secs
lola: sara is running 135 secs || 9629086 markings, 48184655 edges, 55867 markings/sec, 135 secs
lola: sara is running 140 secs || 9885616 markings, 50011833 edges, 51306 markings/sec, 140 secs
lola: sara is running 145 secs || 10195846 markings, 51878263 edges, 62046 markings/sec, 145 secs
lola: sara is running 150 secs || 10505635 markings, 53706739 edges, 61958 markings/sec, 150 secs
lola: sara is running 155 secs || 10800208 markings, 55420186 edges, 58915 markings/sec, 155 secs
lola: sara is running 160 secs || 11106346 markings, 57297875 edges, 61228 markings/sec, 160 secs
lola: sara is running 165 secs || 11433064 markings, 59095256 edges, 65344 markings/sec, 165 secs
lola: sara is running 170 secs || 11754336 markings, 61065096 edges, 64254 markings/sec, 170 secs
lola: sara is running 175 secs || 12072850 markings, 62943051 edges, 63703 markings/sec, 175 secs
lola: sara is running 180 secs || 12392388 markings, 64867095 edges, 63908 markings/sec, 180 secs
lola: sara is running 185 secs || 12745982 markings, 66959477 edges, 70719 markings/sec, 185 secs
lola: sara is running 190 secs || 13096663 markings, 69029418 edges, 70136 markings/sec, 190 secs
lola: sara is running 195 secs || 13414181 markings, 70712450 edges, 63504 markings/sec, 195 secs
lola: sara is running 200 secs || 13665463 markings, 72443766 edges, 50256 markings/sec, 200 secs
lola: sara is running 205 secs || 13937931 markings, 74416369 edges, 54494 markings/sec, 205 secs
lola: sara is running 210 secs || 14249541 markings, 76237886 edges, 62322 markings/sec, 210 secs
lola: sara is running 215 secs || 14549451 markings, 78091844 edges, 59982 markings/sec, 215 secs
lola: sara is running 220 secs || 14821280 markings, 79988738 edges, 54366 markings/sec, 220 secs
lola: sara is running 225 secs || 15169771 markings, 82033498 edges, 69698 markings/sec, 225 secs
lola: sara is running 230 secs || 15538270 markings, 84045895 edges, 73700 markings/sec, 230 secs
lola: sara is running 235 secs || 15882857 markings, 86044537 edges, 68917 markings/sec, 235 secs
lola: sara is running 240 secs || 16234709 markings, 88140826 edges, 70370 markings/sec, 240 secs
lola: sara is running 245 secs || 16583570 markings, 90160144 edges, 69772 markings/sec, 245 secs
lola: sara is running 250 secs || 16908432 markings, 92043045 edges, 64972 markings/sec, 250 secs
lola: sara is running 255 secs || 17161436 markings, 93662322 edges, 50601 markings/sec, 255 secs
lola: sara is running 260 secs || 17396759 markings, 95551969 edges, 47065 markings/sec, 260 secs
lola: sara is running 265 secs || 17686516 markings, 97137211 edges, 57951 markings/sec, 265 secs
lola: sara is running 270 secs || 17971392 markings, 98949730 edges, 56975 markings/sec, 270 secs
lola: sara is running 275 secs || 18373145 markings, 100538227 edges, 80351 markings/sec, 275 secs
lola: sara is running 280 secs || 18732862 markings, 101999754 edges, 71943 markings/sec, 280 secs
lola: sara is running 285 secs || 19039911 markings, 103628810 edges, 61410 markings/sec, 285 secs
lola: sara is running 290 secs || 19450185 markings, 105523607 edges, 82055 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 684824 KB
lola: time consumption: 2374 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A21 <= A10) OR (A5 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A21 <= A10) OR (A5 <= 1))))
lola: processed formula length: 36
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A10 + 1 <= A21) AND (2 <= A5))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 420107 markings, 1102840 edges, 84021 markings/sec, 0 secs
lola: sara is running 5 secs || 834037 markings, 2153973 edges, 82786 markings/sec, 5 secs
lola: sara is running 10 secs || 1233678 markings, 3332501 edges, 79928 markings/sec, 10 secs
lola: sara is running 15 secs || 1632166 markings, 4481369 edges, 79698 markings/sec, 15 secs
lola: sara is running 20 secs || 2002788 markings, 5697719 edges, 74124 markings/sec, 20 secs
lola: sara is running 25 secs || 2338637 markings, 7001246 edges, 67170 markings/sec, 25 secs
lola: sara is running 30 secs || 2692847 markings, 8311918 edges, 70842 markings/sec, 30 secs
lola: sara is running 35 secs || 3020116 markings, 9680449 edges, 65454 markings/sec, 35 secs
lola: sara is running 40 secs || 3374089 markings, 10968912 edges, 70795 markings/sec, 40 secs
lola: sara is running 45 secs || 3687339 markings, 12360169 edges, 62650 markings/sec, 45 secs
lola: sara is running 50 secs || 4031029 markings, 13652855 edges, 68738 markings/sec, 50 secs
lola: sara is running 55 secs || 4372985 markings, 14971319 edges, 68391 markings/sec, 55 secs
lola: sara is running 60 secs || 4696951 markings, 16342939 edges, 64793 markings/sec, 60 secs
lola: sara is running 65 secs || 5010854 markings, 17714418 edges, 62781 markings/sec, 65 secs
lola: sara is running 70 secs || 5330620 markings, 19020516 edges, 63953 markings/sec, 70 secs
lola: sara is running 75 secs || 5646116 markings, 20362054 edges, 63099 markings/sec, 75 secs
lola: sara is running 80 secs || 5960962 markings, 21825487 edges, 62969 markings/sec, 80 secs
lola: sara is running 85 secs || 6289923 markings, 23263726 edges, 65792 markings/sec, 85 secs
lola: sara is running 90 secs || 6608614 markings, 24666051 edges, 63738 markings/sec, 90 secs
lola: sara is running 95 secs || 6929118 markings, 25992427 edges, 64101 markings/sec, 95 secs
lola: sara is running 100 secs || 7271474 markings, 27187429 edges, 68471 markings/sec, 100 secs
lola: sara is running 105 secs || 7598837 markings, 28436295 edges, 65473 markings/sec, 105 secs
lola: sara is running 110 secs || 7936646 markings, 29667715 edges, 67562 markings/sec, 110 secs
lola: sara is running 115 secs || 8241306 markings, 31239073 edges, 60932 markings/sec, 115 secs
lola: sara is running 120 secs || 8557559 markings, 32665101 edges, 63251 markings/sec, 120 secs
lola: sara is running 125 secs || 8874118 markings, 34049635 edges, 63312 markings/sec, 125 secs
lola: sara is running 130 secs || 9206807 markings, 35254256 edges, 66538 markings/sec, 130 secs
lola: sara is running 135 secs || 9521508 markings, 36653303 edges, 62940 markings/sec, 135 secs
lola: sara is running 140 secs || 9827218 markings, 38074658 edges, 61142 markings/sec, 140 secs
lola: sara is running 145 secs || 10134014 markings, 39446881 edges, 61359 markings/sec, 145 secs
lola: sara is running 150 secs || 10477139 markings, 40593650 edges, 68625 markings/sec, 150 secs
lola: sara is running 155 secs || 10798063 markings, 41858385 edges, 64185 markings/sec, 155 secs
lola: sara is running 160 secs || 11123320 markings, 43081149 edges, 65051 markings/sec, 160 secs
lola: sara is running 165 secs || 11463461 markings, 44247233 edges, 68028 markings/sec, 165 secs
lola: sara is running 170 secs || 11802549 markings, 45431610 edges, 67818 markings/sec, 170 secs
lola: sara is running 175 secs || 12120964 markings, 46678921 edges, 63683 markings/sec, 175 secs
lola: sara is running 180 secs || 12442109 markings, 47944747 edges, 64229 markings/sec, 180 secs
lola: sara is running 185 secs || 12778851 markings, 49174333 edges, 67348 markings/sec, 185 secs
lola: sara is running 190 secs || 13104093 markings, 50414739 edges, 65048 markings/sec, 190 secs
lola: sara is running 195 secs || 13434249 markings, 51664908 edges, 66031 markings/sec, 195 secs
lola: sara is running 200 secs || 13763820 markings, 52885967 edges, 65914 markings/sec, 200 secs
lola: sara is running 205 secs || 14069264 markings, 54039151 edges, 61089 markings/sec, 205 secs
lola: sara is running 210 secs || 14393173 markings, 55239023 edges, 64782 markings/sec, 210 secs
lola: sara is running 215 secs || 14717185 markings, 56455551 edges, 64802 markings/sec, 215 secs
lola: sara is running 220 secs || 15043490 markings, 57683971 edges, 65261 markings/sec, 220 secs
lola: sara is running 225 secs || 15374918 markings, 58895151 edges, 66286 markings/sec, 225 secs
lola: sara is running 230 secs || 15705414 markings, 60131651 edges, 66099 markings/sec, 230 secs
lola: sara is running 235 secs || 16040280 markings, 61350155 edges, 66973 markings/sec, 235 secs
lola: sara is running 240 secs || 16358109 markings, 62588046 edges, 63566 markings/sec, 240 secs
lola: sara is running 245 secs || 16709772 markings, 63849902 edges, 70333 markings/sec, 245 secs
lola: sara is running 250 secs || 17026014 markings, 65273220 edges, 63248 markings/sec, 250 secs
lola: sara is running 255 secs || 17360696 markings, 66655907 edges, 66936 markings/sec, 255 secs
lola: sara is running 260 secs || 17695112 markings, 68030369 edges, 66883 markings/sec, 260 secs
lola: sara is running 265 secs || 18034704 markings, 69392608 edges, 67918 markings/sec, 265 secs
lola: sara is running 270 secs || 18367743 markings, 70735970 edges, 66608 markings/sec, 270 secs
lola: sara is running 275 secs || 18703301 markings, 72127360 edges, 67112 markings/sec, 275 secs
lola: sara is running 280 secs || 19035168 markings, 73476104 edges, 66373 markings/sec, 280 secs
lola: sara is running 285 secs || 19387282 markings, 74629917 edges, 70423 markings/sec, 285 secs
lola: sara is running 290 secs || 19720274 markings, 75857491 edges, 66598 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 700088 KB
lola: time consumption: 2673 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= A7) AND ((2 <= A17) OR (2 <= A25)) AND (2 <= A6))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= A7) AND ((2 <= A17) OR (2 <= A25)) AND (2 <= A6))))
lola: processed formula length: 65
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= A7) AND ((2 <= A17) OR (2 <= A25)) AND (2 <= A6))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 480575 markings, 1144622 edges, 96115 markings/sec, 0 secs
lola: sara is running 5 secs || 936611 markings, 2257031 edges, 91207 markings/sec, 5 secs
lola: sara is running 10 secs || 1372648 markings, 3596373 edges, 87207 markings/sec, 10 secs
lola: sara is running 15 secs || 1792766 markings, 5099826 edges, 84024 markings/sec, 15 secs
lola: sara is running 20 secs || 2246654 markings, 6298652 edges, 90778 markings/sec, 20 secs
lola: sara is running 25 secs || 2679433 markings, 7546451 edges, 86556 markings/sec, 25 secs
lola: sara is running 30 secs || 3098078 markings, 8744846 edges, 83729 markings/sec, 30 secs
lola: sara is running 35 secs || 3482688 markings, 10180585 edges, 76922 markings/sec, 35 secs
lola: sara is running 40 secs || 3820354 markings, 11561014 edges, 67533 markings/sec, 40 secs
lola: sara is running 45 secs || 4156928 markings, 12888753 edges, 67315 markings/sec, 45 secs
lola: sara is running 50 secs || 4571759 markings, 13969698 edges, 82966 markings/sec, 50 secs
lola: sara is running 55 secs || 5000398 markings, 15043759 edges, 85728 markings/sec, 55 secs
lola: sara is running 60 secs || 5442020 markings, 16130585 edges, 88324 markings/sec, 60 secs
lola: sara is running 65 secs || 5855287 markings, 17281780 edges, 82653 markings/sec, 65 secs
lola: sara is running 70 secs || 6250384 markings, 18367068 edges, 79019 markings/sec, 70 secs
lola: sara is running 75 secs || 6628633 markings, 19571360 edges, 75650 markings/sec, 75 secs
lola: sara is running 80 secs || 7056170 markings, 20733052 edges, 85507 markings/sec, 80 secs
lola: sara is running 85 secs || 7448964 markings, 21946785 edges, 78559 markings/sec, 85 secs
lola: sara is running 90 secs || 7850788 markings, 23351784 edges, 80365 markings/sec, 90 secs
lola: sara is running 95 secs || 8227479 markings, 24778295 edges, 75338 markings/sec, 95 secs
lola: sara is running 100 secs || 8605650 markings, 26270830 edges, 75634 markings/sec, 100 secs
lola: sara is running 105 secs || 8974894 markings, 27704203 edges, 73849 markings/sec, 105 secs
lola: sara is running 110 secs || 9366152 markings, 29163528 edges, 78252 markings/sec, 110 secs
lola: sara is running 115 secs || 9726787 markings, 30604908 edges, 72127 markings/sec, 115 secs
lola: sara is running 120 secs || 10091566 markings, 32141561 edges, 72956 markings/sec, 120 secs
lola: sara is running 125 secs || 10467199 markings, 33692388 edges, 75127 markings/sec, 125 secs
lola: sara is running 130 secs || 10835855 markings, 35319430 edges, 73731 markings/sec, 130 secs
lola: sara is running 135 secs || 11215386 markings, 36802666 edges, 75906 markings/sec, 135 secs
lola: sara is running 140 secs || 11540008 markings, 38467748 edges, 64924 markings/sec, 140 secs
lola: sara is running 145 secs || 11877713 markings, 39942996 edges, 67541 markings/sec, 145 secs
lola: sara is running 150 secs || 12261622 markings, 41332435 edges, 76782 markings/sec, 150 secs
lola: sara is running 155 secs || 12609538 markings, 42766791 edges, 69583 markings/sec, 155 secs
lola: sara is running 160 secs || 12971276 markings, 44266237 edges, 72348 markings/sec, 160 secs
lola: sara is running 165 secs || 13315278 markings, 45959083 edges, 68800 markings/sec, 165 secs
lola: sara is running 170 secs || 13655564 markings, 47607501 edges, 68057 markings/sec, 170 secs
lola: sara is running 175 secs || 13993820 markings, 49302219 edges, 67651 markings/sec, 175 secs
lola: sara is running 180 secs || 14438422 markings, 50417311 edges, 88920 markings/sec, 180 secs
lola: sara is running 185 secs || 14851878 markings, 51683893 edges, 82691 markings/sec, 185 secs
lola: sara is running 190 secs || 15249072 markings, 53085409 edges, 79439 markings/sec, 190 secs
lola: sara is running 195 secs || 15679611 markings, 54318235 edges, 86108 markings/sec, 195 secs
lola: sara is running 200 secs || 16017317 markings, 55759061 edges, 67541 markings/sec, 200 secs
lola: sara is running 205 secs || 16355213 markings, 57054116 edges, 67579 markings/sec, 205 secs
lola: sara is running 210 secs || 16748410 markings, 58170103 edges, 78639 markings/sec, 210 secs
lola: sara is running 215 secs || 17180603 markings, 59277955 edges, 86439 markings/sec, 215 secs
lola: sara is running 220 secs || 17587807 markings, 60432582 edges, 81441 markings/sec, 220 secs
lola: sara is running 225 secs || 17990152 markings, 61593216 edges, 80469 markings/sec, 225 secs
lola: sara is running 230 secs || 18374400 markings, 63028361 edges, 76850 markings/sec, 230 secs
lola: sara is running 235 secs || 18740715 markings, 64476370 edges, 73263 markings/sec, 235 secs
lola: sara is running 240 secs || 19128377 markings, 65948941 edges, 77532 markings/sec, 240 secs
lola: sara is running 245 secs || 19509171 markings, 67445798 edges, 76159 markings/sec, 245 secs
lola: sara is running 250 secs || 19863677 markings, 68932844 edges, 70901 markings/sec, 250 secs
lola: sara is running 255 secs || 20184692 markings, 70669898 edges, 64203 markings/sec, 255 secs
lola: sara is running 260 secs || 20548370 markings, 72128886 edges, 72736 markings/sec, 260 secs
lola: sara is running 265 secs || 20909676 markings, 73660592 edges, 72261 markings/sec, 265 secs
lola: sara is running 270 secs || 21243184 markings, 75350107 edges, 66702 markings/sec, 270 secs
lola: sara is running 275 secs || 21674626 markings, 76566360 edges, 86288 markings/sec, 275 secs
lola: sara is running 280 secs || 22099134 markings, 77740792 edges, 84902 markings/sec, 280 secs
lola: sara is running 285 secs || 22491684 markings, 79201080 edges, 78510 markings/sec, 285 secs
lola: sara is running 290 secs || 22918328 markings, 80446964 edges, 85329 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 807688 KB
lola: time consumption: 2972 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A13 <= A21) OR (3 <= A11) OR (A21 <= A23) OR (A13 <= A3) OR (1 <= A5))))
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 (((A13 <= A21) OR (3 <= A11) OR (A21 <= A23) OR (A13 <= A3) OR (1 <= A5))))
lola: processed formula length: 84
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A21 + 1 <= A13) AND (A11 <= 2) AND (A23 + 1 <= A21) AND (A3 + 1 <= A13) AND (A5 <= 0))
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 460666 markings, 1079777 edges, 92133 markings/sec, 0 secs
lola: sara is running 5 secs || 857944 markings, 2181434 edges, 79456 markings/sec, 5 secs
lola: sara is running 10 secs || 1249540 markings, 3393258 edges, 78319 markings/sec, 10 secs
lola: sara is running 15 secs || 1669384 markings, 4710946 edges, 83969 markings/sec, 15 secs
lola: sara is running 20 secs || 2049662 markings, 5967990 edges, 76056 markings/sec, 20 secs
lola: sara is running 25 secs || 2400883 markings, 7289729 edges, 70244 markings/sec, 25 secs
lola: sara is running 30 secs || 2749511 markings, 8629358 edges, 69726 markings/sec, 30 secs
lola: sara is running 35 secs || 3097585 markings, 10021179 edges, 69615 markings/sec, 35 secs
lola: sara is running 40 secs || 3450335 markings, 11456800 edges, 70550 markings/sec, 40 secs
lola: sara is running 45 secs || 3897763 markings, 12619562 edges, 89486 markings/sec, 45 secs
lola: sara is running 50 secs || 4291139 markings, 13803880 edges, 78675 markings/sec, 50 secs
lola: sara is running 55 secs || 4636732 markings, 15072803 edges, 69119 markings/sec, 55 secs
lola: sara is running 60 secs || 5072523 markings, 16485069 edges, 87158 markings/sec, 60 secs
lola: sara is running 65 secs || 5511648 markings, 17906417 edges, 87825 markings/sec, 65 secs
lola: sara is running 70 secs || 5925320 markings, 19235919 edges, 82734 markings/sec, 70 secs
lola: sara is running 75 secs || 6376477 markings, 20606203 edges, 90231 markings/sec, 75 secs
lola: sara is running 80 secs || 6791484 markings, 22079131 edges, 83001 markings/sec, 80 secs
lola: sara is running 85 secs || 7109148 markings, 23402558 edges, 63533 markings/sec, 85 secs
lola: sara is running 90 secs || 7436459 markings, 24806164 edges, 65462 markings/sec, 90 secs
lola: sara is running 95 secs || 7842105 markings, 26298731 edges, 81129 markings/sec, 95 secs
lola: sara is running 100 secs || 8271925 markings, 27723219 edges, 85964 markings/sec, 100 secs
lola: sara is running 105 secs || 8692570 markings, 29187480 edges, 84129 markings/sec, 105 secs
lola: sara is running 110 secs || 9095844 markings, 30681107 edges, 80655 markings/sec, 110 secs
lola: sara is running 115 secs || 9531856 markings, 32171434 edges, 87202 markings/sec, 115 secs
lola: sara is running 120 secs || 9940978 markings, 33693487 edges, 81824 markings/sec, 120 secs
lola: sara is running 125 secs || 10354011 markings, 34950975 edges, 82607 markings/sec, 125 secs
lola: sara is running 130 secs || 10712792 markings, 36199496 edges, 71756 markings/sec, 130 secs
lola: sara is running 135 secs || 11101771 markings, 37450420 edges, 77796 markings/sec, 135 secs
lola: sara is running 140 secs || 11446349 markings, 38780517 edges, 68916 markings/sec, 140 secs
lola: sara is running 145 secs || 11842119 markings, 40165201 edges, 79154 markings/sec, 145 secs
lola: sara is running 150 secs || 12261094 markings, 41563502 edges, 83795 markings/sec, 150 secs
lola: sara is running 155 secs || 12627855 markings, 42828434 edges, 73352 markings/sec, 155 secs
lola: sara is running 160 secs || 13058323 markings, 44252179 edges, 86094 markings/sec, 160 secs
lola: sara is running 165 secs || 13449788 markings, 45760942 edges, 78293 markings/sec, 165 secs
lola: sara is running 170 secs || 13767642 markings, 47229087 edges, 63571 markings/sec, 170 secs
lola: sara is running 175 secs || 14114041 markings, 48657961 edges, 69280 markings/sec, 175 secs
lola: sara is running 180 secs || 14504328 markings, 50133050 edges, 78057 markings/sec, 180 secs
lola: sara is running 185 secs || 14893779 markings, 51578069 edges, 77890 markings/sec, 185 secs
lola: sara is running 190 secs || 15273272 markings, 53105958 edges, 75899 markings/sec, 190 secs
lola: sara is running 195 secs || 15675512 markings, 54478057 edges, 80448 markings/sec, 195 secs
lola: sara is running 200 secs || 16039515 markings, 55763378 edges, 72801 markings/sec, 200 secs
lola: sara is running 205 secs || 16410512 markings, 57091237 edges, 74199 markings/sec, 205 secs
lola: sara is running 210 secs || 16794221 markings, 58431438 edges, 76742 markings/sec, 210 secs
lola: sara is running 215 secs || 17203130 markings, 59843963 edges, 81782 markings/sec, 215 secs
lola: sara is running 220 secs || 17553483 markings, 61317655 edges, 70071 markings/sec, 220 secs
lola: sara is running 225 secs || 17945905 markings, 62825569 edges, 78484 markings/sec, 225 secs
lola: sara is running 230 secs || 18321887 markings, 64215172 edges, 75196 markings/sec, 230 secs
lola: sara is running 235 secs || 18693419 markings, 65471924 edges, 74306 markings/sec, 235 secs
lola: sara is running 240 secs || 19087271 markings, 66822017 edges, 78770 markings/sec, 240 secs
lola: sara is running 245 secs || 19486581 markings, 68270537 edges, 79862 markings/sec, 245 secs
lola: sara is running 250 secs || 19853589 markings, 69677150 edges, 73402 markings/sec, 250 secs
lola: sara is running 255 secs || 20215894 markings, 71154206 edges, 72461 markings/sec, 255 secs
lola: sara is running 260 secs || 20570261 markings, 72671751 edges, 70873 markings/sec, 260 secs
lola: sara is running 265 secs || 20920877 markings, 74088181 edges, 70123 markings/sec, 265 secs
lola: sara is running 270 secs || 21290319 markings, 75445771 edges, 73888 markings/sec, 270 secs
lola: sara is running 275 secs || 21665645 markings, 76597370 edges, 75065 markings/sec, 275 secs
lola: sara is running 280 secs || 22021176 markings, 77940088 edges, 71106 markings/sec, 280 secs
lola: sara is running 285 secs || 22381258 markings, 79421452 edges, 72016 markings/sec, 285 secs
lola: sara is running 290 secs || 22747569 markings, 80921629 edges, 73262 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 793200 KB
lola: time consumption: 3271 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A26 <= A3) OR (A16 <= A26) OR (A12 <= 2) OR (A1 <= A15))))
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 (((A26 <= A3) OR (A16 <= A26) OR (A12 <= 2) OR (A1 <= A15))))
lola: processed formula length: 69
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A3 + 1 <= A26) AND (A26 + 1 <= A16) AND (3 <= A12) AND (A15 + 1 <= A1))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 539405 markings, 1332642 edges, 107881 markings/sec, 0 secs
lola: sara is running 5 secs || 904353 markings, 2689037 edges, 72990 markings/sec, 5 secs
lola: sara is running 10 secs || 1228044 markings, 4208056 edges, 64738 markings/sec, 10 secs
lola: sara is running 15 secs || 1560070 markings, 5712647 edges, 66405 markings/sec, 15 secs
lola: sara is running 20 secs || 1899499 markings, 7297215 edges, 67886 markings/sec, 20 secs
lola: sara is running 25 secs || 2234398 markings, 8668005 edges, 66980 markings/sec, 25 secs
lola: sara is running 30 secs || 2602420 markings, 10047811 edges, 73604 markings/sec, 30 secs
lola: sara is running 35 secs || 2925642 markings, 11417279 edges, 64644 markings/sec, 35 secs
lola: sara is running 40 secs || 3288940 markings, 12742920 edges, 72660 markings/sec, 40 secs
lola: sara is running 45 secs || 3632684 markings, 14079092 edges, 68749 markings/sec, 45 secs
lola: sara is running 50 secs || 3967260 markings, 15691182 edges, 66915 markings/sec, 50 secs
lola: sara is running 55 secs || 4309169 markings, 17294374 edges, 68382 markings/sec, 55 secs
lola: sara is running 60 secs || 4660532 markings, 18940760 edges, 70273 markings/sec, 60 secs
lola: sara is running 65 secs || 4944128 markings, 20628802 edges, 56719 markings/sec, 65 secs
lola: sara is running 70 secs || 5270110 markings, 22260460 edges, 65196 markings/sec, 70 secs
lola: sara is running 75 secs || 5562023 markings, 23931791 edges, 58383 markings/sec, 75 secs
lola: sara is running 80 secs || 5870250 markings, 25858656 edges, 61645 markings/sec, 80 secs
lola: sara is running 85 secs || 6166913 markings, 27764351 edges, 59333 markings/sec, 85 secs
lola: sara is running 90 secs || 6516299 markings, 29545856 edges, 69877 markings/sec, 90 secs
lola: sara is running 95 secs || 6836631 markings, 31574000 edges, 64066 markings/sec, 95 secs
lola: sara is running 100 secs || 7374718 markings, 32924717 edges, 107617 markings/sec, 100 secs
lola: sara is running 105 secs || 7731824 markings, 34280797 edges, 71421 markings/sec, 105 secs
lola: sara is running 110 secs || 8054213 markings, 35679535 edges, 64478 markings/sec, 110 secs
lola: sara is running 115 secs || 8373074 markings, 37214466 edges, 63772 markings/sec, 115 secs
lola: sara is running 120 secs || 8711895 markings, 38662845 edges, 67764 markings/sec, 120 secs
lola: sara is running 125 secs || 9025356 markings, 40169408 edges, 62692 markings/sec, 125 secs
lola: sara is running 130 secs || 9357135 markings, 41471500 edges, 66356 markings/sec, 130 secs
lola: sara is running 135 secs || 9692072 markings, 42846157 edges, 66987 markings/sec, 135 secs
lola: sara is running 140 secs || 10027648 markings, 44267501 edges, 67115 markings/sec, 140 secs
lola: sara is running 145 secs || 10351959 markings, 45843426 edges, 64862 markings/sec, 145 secs
lola: sara is running 150 secs || 10677209 markings, 47257112 edges, 65050 markings/sec, 150 secs
lola: sara is running 155 secs || 11002982 markings, 48665110 edges, 65155 markings/sec, 155 secs
lola: sara is running 160 secs || 11327111 markings, 50151094 edges, 64826 markings/sec, 160 secs
lola: sara is running 165 secs || 11627803 markings, 51727289 edges, 60138 markings/sec, 165 secs
lola: sara is running 170 secs || 11914387 markings, 53342811 edges, 57317 markings/sec, 170 secs
lola: sara is running 175 secs || 12224389 markings, 55039798 edges, 62000 markings/sec, 175 secs
lola: sara is running 180 secs || 12517179 markings, 56605161 edges, 58558 markings/sec, 180 secs
lola: sara is running 185 secs || 12816798 markings, 58217225 edges, 59924 markings/sec, 185 secs
lola: sara is running 190 secs || 13113874 markings, 59907151 edges, 59415 markings/sec, 190 secs
lola: sara is running 195 secs || 13410420 markings, 61599666 edges, 59309 markings/sec, 195 secs
lola: sara is running 200 secs || 13699549 markings, 63267191 edges, 57826 markings/sec, 200 secs
lola: sara is running 205 secs || 13977101 markings, 64990075 edges, 55510 markings/sec, 205 secs
lola: sara is running 210 secs || 14262715 markings, 66838989 edges, 57123 markings/sec, 210 secs
lola: sara is running 215 secs || 14530242 markings, 68737264 edges, 53505 markings/sec, 215 secs
lola: sara is running 220 secs || 14822190 markings, 70662900 edges, 58390 markings/sec, 220 secs
lola: sara is running 225 secs || 15162363 markings, 72429363 edges, 68035 markings/sec, 225 secs
lola: sara is running 230 secs || 15475111 markings, 74429211 edges, 62550 markings/sec, 230 secs
lola: sara is running 235 secs || 15864549 markings, 75647355 edges, 77888 markings/sec, 235 secs
lola: sara is running 240 secs || 16179255 markings, 76960689 edges, 62941 markings/sec, 240 secs
lola: sara is running 245 secs || 16525521 markings, 78262680 edges, 69253 markings/sec, 245 secs
lola: sara is running 250 secs || 16877597 markings, 79678214 edges, 70415 markings/sec, 250 secs
lola: sara is running 255 secs || 17218206 markings, 81198580 edges, 68122 markings/sec, 255 secs
lola: sara is running 260 secs || 17562932 markings, 82651108 edges, 68945 markings/sec, 260 secs
lola: sara is running 265 secs || 17894927 markings, 84145440 edges, 66399 markings/sec, 265 secs
lola: sara is running 270 secs || 18241197 markings, 85612562 edges, 69254 markings/sec, 270 secs
lola: sara is running 275 secs || 18567822 markings, 87034958 edges, 65325 markings/sec, 275 secs
lola: sara is running 280 secs || 18904781 markings, 88629727 edges, 67392 markings/sec, 280 secs
lola: sara is running 285 secs || 19239642 markings, 90170963 edges, 66972 markings/sec, 285 secs
lola: sara is running 290 secs || 19578440 markings, 91571116 edges, 67760 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 686768 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A9)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A9)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A9)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 21848 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 21848 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
BK_STOP 1526825706988
--------------------
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="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-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 ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500306"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;