About the Execution of LoLA for DNAwalker-PT-14ringLRLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1406.370 | 3570257.00 | 7177825.00 | 7811.80 | ???T???T???????T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-14ringLRLarge, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500322
=====================================================================
--------------------
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-14ringLRLarge-ReachabilityFireability-00
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-01
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-02
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-03
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-04
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-05
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-06
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-07
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-08
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-09
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-10
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-11
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-12
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-13
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-14
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526847403163
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-14ringLRLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-14ringLRLarge formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ DNAwalker-PT-14ringLRLarge @ 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-14ringLRLarge-ReachabilityFireability.task
lola: A (G ((((NOT FIREABLE(t7_9) OR NOT FIREABLE(t2_23)) AND (NOT FIREABLE(t27_2) OR NOT FIREABLE(t11_12))) OR (FIREABLE(t18_1) AND NOT FIREABLE(t19_20) AND ((FIREABLE(t7_2) AND FIREABLE(t24_27)) OR NOT FIREABLE(t8_2)))))) : A (G ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t11_12)))) : A (G (((FIREABLE(t19_20) AND FIREABLE(tloop9)) OR FIREABLE(t2_16) OR (FIREABLE(t15_12) AND FIREABLE(t8_11) AND NOT FIREABLE(t7_6)) OR NOT FIREABLE(t11_9) OR NOT FIREABLE(t16_11) OR NOT FIREABLE(t24_26)))) : A (G (((FIREABLE(t26_4) AND FIREABLE(t5_2) AND FIREABLE(t1_6)) OR FIREABLE(t7_3) OR NOT FIREABLE(tAb3) OR NOT FIREABLE(t1_22) OR NOT FIREABLE(t21_1)))) : A (G ((FIREABLE(t27_4) OR NOT FIREABLE(t27_23)))) : E (F ((FIREABLE(t2_8) AND FIREABLE(t3_4) AND FIREABLE(t5_1)))) : E (F ((FIREABLE(t18_16) AND FIREABLE(t20_23) AND FIREABLE(t10_1)))) : A (G ((NOT FIREABLE(t10_16) OR (NOT FIREABLE(t1_22) AND NOT FIREABLE(t25_1))))) : A (G ((NOT FIREABLE(t18_22) OR NOT FIREABLE(t8_16) OR NOT FIREABLE(t15_9) OR NOT FIREABLE(t16_2) OR FIREABLE(t15_10)))) : E (F ((FIREABLE(t14_18) AND FIREABLE(t17_18) AND NOT FIREABLE(tAb2) AND (NOT FIREABLE(t7_10) OR (FIREABLE(t1_25) AND FIREABLE(t23_21))) AND FIREABLE(t15_10)))) : A (G ((((NOT FIREABLE(t2_16) OR NOT FIREABLE(t7_1)) AND NOT FIREABLE(t24_2)) OR NOT FIREABLE(t5_26)))) : A (G ((NOT FIREABLE(t5_6) OR NOT FIREABLE(t18_21) OR FIREABLE(t16_21) OR (FIREABLE(t25_22) AND NOT FIREABLE(t25_1) AND (FIREABLE(t26_4) OR FIREABLE(t10_16) OR NOT FIREABLE(tAb3)))))) : A (G ((NOT FIREABLE(t1_12) OR NOT FIREABLE(t15_18) OR NOT FIREABLE(t2_5) OR ((NOT FIREABLE(t6_5) OR NOT FIREABLE(t11_12)) AND FIREABLE(t16_19))))) : A (G ((NOT FIREABLE(t10_9) OR NOT FIREABLE(t19_20) OR (NOT FIREABLE(t2_3) AND NOT FIREABLE(t7_4)) OR FIREABLE(t5_7)))) : A (G ((FIREABLE(t3_6) OR (NOT FIREABLE(t14_16) AND NOT FIREABLE(t23_25)) OR NOT FIREABLE(t2_4)))) : A (G (((NOT FIREABLE(t18_1) AND (NOT FIREABLE(t12_10) OR NOT FIREABLE(t1_5))) OR FIREABLE(t1_10))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t11_12))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t11_12))))
lola: processed formula length: 55
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t24_26) AND FIREABLE(t11_12))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 502758 markings, 1070510 edges, 100552 markings/sec, 0 secs
lola: sara is running 5 secs || 1003689 markings, 2236947 edges, 100186 markings/sec, 5 secs
lola: sara is running 10 secs || 1477034 markings, 3445936 edges, 94669 markings/sec, 10 secs
lola: sara is running 15 secs || 1957767 markings, 4629038 edges, 96147 markings/sec, 15 secs
lola: sara is running 20 secs || 2423245 markings, 5972274 edges, 93096 markings/sec, 20 secs
lola: sara is running 25 secs || 2873517 markings, 7206018 edges, 90054 markings/sec, 25 secs
lola: sara is running 30 secs || 3295703 markings, 8495160 edges, 84437 markings/sec, 30 secs
lola: sara is running 35 secs || 3717749 markings, 9742080 edges, 84409 markings/sec, 35 secs
lola: sara is running 40 secs || 4185559 markings, 11035190 edges, 93562 markings/sec, 40 secs
lola: sara is running 45 secs || 4691167 markings, 12257305 edges, 101122 markings/sec, 45 secs
lola: sara is running 50 secs || 5122656 markings, 13628433 edges, 86298 markings/sec, 50 secs
lola: sara is running 55 secs || 5544849 markings, 15155854 edges, 84439 markings/sec, 55 secs
lola: sara is running 60 secs || 5977913 markings, 16623754 edges, 86613 markings/sec, 60 secs
lola: sara is running 65 secs || 6439899 markings, 18116072 edges, 92397 markings/sec, 65 secs
lola: sara is running 70 secs || 6869763 markings, 19598245 edges, 85973 markings/sec, 70 secs
lola: sara is running 75 secs || 7303716 markings, 21199705 edges, 86791 markings/sec, 75 secs
lola: sara is running 80 secs || 7729452 markings, 22807991 edges, 85147 markings/sec, 80 secs
lola: sara is running 85 secs || 8164300 markings, 24349227 edges, 86970 markings/sec, 85 secs
lola: sara is running 90 secs || 8625406 markings, 25836804 edges, 92221 markings/sec, 90 secs
lola: sara is running 95 secs || 9060809 markings, 27343846 edges, 87081 markings/sec, 95 secs
lola: sara is running 100 secs || 9454339 markings, 28862060 edges, 78706 markings/sec, 100 secs
lola: sara is running 105 secs || 9897930 markings, 30345157 edges, 88718 markings/sec, 105 secs
lola: sara is running 110 secs || 10289424 markings, 31993885 edges, 78299 markings/sec, 110 secs
lola: sara is running 115 secs || 10700428 markings, 33695393 edges, 82201 markings/sec, 115 secs
lola: sara is running 120 secs || 11101554 markings, 35425929 edges, 80225 markings/sec, 120 secs
lola: sara is running 125 secs || 11542360 markings, 36770843 edges, 88161 markings/sec, 125 secs
lola: sara is running 130 secs || 11974899 markings, 38120681 edges, 86508 markings/sec, 130 secs
lola: sara is running 135 secs || 12434566 markings, 39394558 edges, 91933 markings/sec, 135 secs
lola: sara is running 140 secs || 12877386 markings, 40771864 edges, 88564 markings/sec, 140 secs
lola: sara is running 145 secs || 13342816 markings, 42017932 edges, 93086 markings/sec, 145 secs
lola: sara is running 150 secs || 13816670 markings, 43326669 edges, 94771 markings/sec, 150 secs
lola: sara is running 155 secs || 14237194 markings, 44749476 edges, 84105 markings/sec, 155 secs
lola: sara is running 160 secs || 14680781 markings, 46161507 edges, 88717 markings/sec, 160 secs
lola: sara is running 165 secs || 15093952 markings, 47634147 edges, 82634 markings/sec, 165 secs
lola: sara is running 170 secs || 15538498 markings, 48963330 edges, 88909 markings/sec, 170 secs
lola: sara is running 175 secs || 15983288 markings, 50249572 edges, 88958 markings/sec, 175 secs
lola: sara is running 180 secs || 16399477 markings, 51736707 edges, 83238 markings/sec, 180 secs
lola: sara is running 185 secs || 16794763 markings, 53230998 edges, 79057 markings/sec, 185 secs
lola: sara is running 190 secs || 17188551 markings, 54726843 edges, 78758 markings/sec, 190 secs
lola: sara is running 195 secs || 17566186 markings, 56273930 edges, 75527 markings/sec, 195 secs
lola: sara is running 200 secs || 17939711 markings, 57898228 edges, 74705 markings/sec, 200 secs
lola: sara is running 205 secs || 18363724 markings, 59430537 edges, 84803 markings/sec, 205 secs
lola: sara is running 210 secs || 18798518 markings, 60893135 edges, 86959 markings/sec, 210 secs
lola: sara is running 215 secs || 19198893 markings, 62456121 edges, 80075 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 669524 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t27_4) OR NOT FIREABLE(t27_23))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t27_4) OR NOT FIREABLE(t27_23))))
lola: processed formula length: 50
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t27_4) AND FIREABLE(t27_23))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 398565 markings, 1082857 edges, 79713 markings/sec, 0 secs
lola: sara is running 5 secs || 782556 markings, 2220646 edges, 76798 markings/sec, 5 secs
lola: sara is running 10 secs || 1134518 markings, 3411664 edges, 70392 markings/sec, 10 secs
lola: sara is running 15 secs || 1518931 markings, 4587403 edges, 76883 markings/sec, 15 secs
lola: sara is running 20 secs || 1867161 markings, 5792302 edges, 69646 markings/sec, 20 secs
lola: sara is running 25 secs || 2294254 markings, 7053869 edges, 85419 markings/sec, 25 secs
lola: sara is running 30 secs || 2667012 markings, 8295806 edges, 74552 markings/sec, 30 secs
lola: sara is running 35 secs || 3049726 markings, 9474399 edges, 76543 markings/sec, 35 secs
lola: sara is running 40 secs || 3434172 markings, 10702140 edges, 76889 markings/sec, 40 secs
lola: sara is running 45 secs || 3785437 markings, 11956538 edges, 70253 markings/sec, 45 secs
lola: sara is running 50 secs || 4214964 markings, 13218720 edges, 85905 markings/sec, 50 secs
lola: sara is running 55 secs || 4623543 markings, 14495979 edges, 81716 markings/sec, 55 secs
lola: sara is running 60 secs || 5028838 markings, 15873189 edges, 81059 markings/sec, 60 secs
lola: sara is running 65 secs || 5441861 markings, 17230001 edges, 82605 markings/sec, 65 secs
lola: sara is running 70 secs || 5845533 markings, 18559069 edges, 80734 markings/sec, 70 secs
lola: sara is running 75 secs || 6237335 markings, 19867138 edges, 78360 markings/sec, 75 secs
lola: sara is running 80 secs || 6633921 markings, 21150680 edges, 79317 markings/sec, 80 secs
lola: sara is running 85 secs || 7016448 markings, 22673067 edges, 76505 markings/sec, 85 secs
lola: sara is running 90 secs || 7382800 markings, 24288168 edges, 73270 markings/sec, 90 secs
lola: sara is running 95 secs || 7750925 markings, 25868813 edges, 73625 markings/sec, 95 secs
lola: sara is running 100 secs || 8112110 markings, 27419021 edges, 72237 markings/sec, 100 secs
lola: sara is running 105 secs || 8476598 markings, 28994827 edges, 72898 markings/sec, 105 secs
lola: sara is running 110 secs || 8887129 markings, 30709693 edges, 82106 markings/sec, 110 secs
lola: sara is running 115 secs || 9282437 markings, 32366385 edges, 79062 markings/sec, 115 secs
lola: sara is running 120 secs || 9672987 markings, 33917733 edges, 78110 markings/sec, 120 secs
lola: sara is running 125 secs || 10030614 markings, 35471517 edges, 71525 markings/sec, 125 secs
lola: sara is running 130 secs || 10356559 markings, 37060409 edges, 65189 markings/sec, 130 secs
lola: sara is running 135 secs || 10679894 markings, 38628362 edges, 64667 markings/sec, 135 secs
lola: sara is running 140 secs || 11041074 markings, 40177776 edges, 72236 markings/sec, 140 secs
lola: sara is running 145 secs || 11356340 markings, 41762149 edges, 63053 markings/sec, 145 secs
lola: sara is running 150 secs || 11705648 markings, 43349972 edges, 69862 markings/sec, 150 secs
lola: sara is running 155 secs || 12066257 markings, 44969351 edges, 72122 markings/sec, 155 secs
lola: sara is running 160 secs || 12438573 markings, 46616577 edges, 74463 markings/sec, 160 secs
lola: sara is running 165 secs || 12796226 markings, 48230125 edges, 71531 markings/sec, 165 secs
lola: sara is running 170 secs || 13136296 markings, 50055217 edges, 68014 markings/sec, 170 secs
lola: sara is running 175 secs || 13461791 markings, 51918481 edges, 65099 markings/sec, 175 secs
lola: sara is running 180 secs || 13800459 markings, 53783295 edges, 67734 markings/sec, 180 secs
lola: sara is running 185 secs || 14158375 markings, 55633346 edges, 71583 markings/sec, 185 secs
lola: sara is running 190 secs || 14499896 markings, 57155828 edges, 68304 markings/sec, 190 secs
lola: sara is running 195 secs || 14844492 markings, 58683266 edges, 68919 markings/sec, 195 secs
lola: sara is running 200 secs || 15204699 markings, 60276044 edges, 72041 markings/sec, 200 secs
lola: sara is running 205 secs || 15547464 markings, 61816990 edges, 68553 markings/sec, 205 secs
lola: sara is running 210 secs || 15898016 markings, 63374993 edges, 70110 markings/sec, 210 secs
lola: sara is running 215 secs || 16267012 markings, 64967429 edges, 73799 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 582920 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2_8) AND FIREABLE(t3_4) AND FIREABLE(t5_1))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t2_8) AND FIREABLE(t3_4) AND FIREABLE(t5_1))))
lola: processed formula length: 62
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t2_8) AND FIREABLE(t3_4) AND FIREABLE(t5_1))
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 480172 markings, 1193900 edges, 96034 markings/sec, 0 secs
lola: sara is running 5 secs || 917355 markings, 2366810 edges, 87437 markings/sec, 5 secs
lola: sara is running 10 secs || 1351700 markings, 3582638 edges, 86869 markings/sec, 10 secs
lola: sara is running 15 secs || 1793456 markings, 4774265 edges, 88351 markings/sec, 15 secs
lola: sara is running 20 secs || 2244108 markings, 5847022 edges, 90130 markings/sec, 20 secs
lola: sara is running 25 secs || 2774919 markings, 7161312 edges, 106162 markings/sec, 25 secs
lola: sara is running 30 secs || 3277710 markings, 8463249 edges, 100558 markings/sec, 30 secs
lola: sara is running 35 secs || 3704782 markings, 9727039 edges, 85414 markings/sec, 35 secs
lola: sara is running 40 secs || 4180391 markings, 11055633 edges, 95122 markings/sec, 40 secs
lola: sara is running 45 secs || 4616758 markings, 12215976 edges, 87273 markings/sec, 45 secs
lola: sara is running 50 secs || 5061451 markings, 13505712 edges, 88939 markings/sec, 50 secs
lola: sara is running 55 secs || 5550151 markings, 14815400 edges, 97740 markings/sec, 55 secs
lola: sara is running 60 secs || 6020693 markings, 16102263 edges, 94108 markings/sec, 60 secs
lola: sara is running 65 secs || 6515991 markings, 17345191 edges, 99060 markings/sec, 65 secs
lola: sara is running 70 secs || 6963898 markings, 18612971 edges, 89581 markings/sec, 70 secs
lola: sara is running 75 secs || 7455902 markings, 19919125 edges, 98401 markings/sec, 75 secs
lola: sara is running 80 secs || 7947781 markings, 21172901 edges, 98376 markings/sec, 80 secs
lola: sara is running 85 secs || 8422383 markings, 22439693 edges, 94920 markings/sec, 85 secs
lola: sara is running 90 secs || 8903051 markings, 23756411 edges, 96134 markings/sec, 90 secs
lola: sara is running 95 secs || 9385455 markings, 25084658 edges, 96481 markings/sec, 95 secs
lola: sara is running 100 secs || 9850113 markings, 26235309 edges, 92932 markings/sec, 100 secs
lola: sara is running 105 secs || 10323421 markings, 27363393 edges, 94662 markings/sec, 105 secs
lola: sara is running 110 secs || 10820007 markings, 28548069 edges, 99317 markings/sec, 110 secs
lola: sara is running 115 secs || 11246037 markings, 29755154 edges, 85206 markings/sec, 115 secs
lola: sara is running 120 secs || 11675786 markings, 31012976 edges, 85950 markings/sec, 120 secs
lola: sara is running 125 secs || 12128332 markings, 32280753 edges, 90509 markings/sec, 125 secs
lola: sara is running 130 secs || 12565179 markings, 33565801 edges, 87369 markings/sec, 130 secs
lola: sara is running 135 secs || 13004597 markings, 34819581 edges, 87884 markings/sec, 135 secs
lola: sara is running 140 secs || 13483921 markings, 36102024 edges, 95865 markings/sec, 140 secs
lola: sara is running 145 secs || 13952872 markings, 37386146 edges, 93790 markings/sec, 145 secs
lola: sara is running 150 secs || 14379334 markings, 38539103 edges, 85292 markings/sec, 150 secs
lola: sara is running 155 secs || 14791991 markings, 39762448 edges, 82531 markings/sec, 155 secs
lola: sara is running 160 secs || 15263679 markings, 40978680 edges, 94338 markings/sec, 160 secs
lola: sara is running 165 secs || 15684246 markings, 42270592 edges, 84113 markings/sec, 165 secs
lola: sara is running 170 secs || 16087751 markings, 43690705 edges, 80701 markings/sec, 170 secs
lola: sara is running 175 secs || 16486341 markings, 45059979 edges, 79718 markings/sec, 175 secs
lola: sara is running 180 secs || 16873628 markings, 46553649 edges, 77457 markings/sec, 180 secs
lola: sara is running 185 secs || 17293581 markings, 47920560 edges, 83991 markings/sec, 185 secs
lola: sara is running 190 secs || 17734073 markings, 49226153 edges, 88098 markings/sec, 190 secs
lola: sara is running 195 secs || 18150223 markings, 50548848 edges, 83230 markings/sec, 195 secs
lola: sara is running 200 secs || 18622491 markings, 51884367 edges, 94454 markings/sec, 200 secs
lola: sara is running 205 secs || 19122217 markings, 53188680 edges, 99945 markings/sec, 205 secs
lola: sara is running 210 secs || 19559024 markings, 54544098 edges, 87361 markings/sec, 210 secs
lola: sara is running 215 secs || 20004479 markings, 55884883 edges, 89091 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 697304 KB
lola: time consumption: 669 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t18_16) AND FIREABLE(t20_23) AND FIREABLE(t10_1))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t18_16) AND FIREABLE(t20_23) AND FIREABLE(t10_1))))
lola: processed formula length: 67
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t18_16) AND FIREABLE(t20_23) AND FIREABLE(t10_1))
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-3-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 407459 markings, 1368910 edges, 81492 markings/sec, 0 secs
lola: sara is running 5 secs || 839215 markings, 2838742 edges, 86351 markings/sec, 5 secs
lola: sara is running 10 secs || 1326220 markings, 4299227 edges, 97401 markings/sec, 10 secs
lola: sara is running 15 secs || 1800803 markings, 5915837 edges, 94917 markings/sec, 15 secs
lola: sara is running 20 secs || 2322939 markings, 7686128 edges, 104427 markings/sec, 20 secs
lola: sara is running 25 secs || 2720372 markings, 9341392 edges, 79487 markings/sec, 25 secs
lola: sara is running 30 secs || 3157434 markings, 10994033 edges, 87412 markings/sec, 30 secs
lola: sara is running 35 secs || 3620405 markings, 12652410 edges, 92594 markings/sec, 35 secs
lola: sara is running 40 secs || 4011983 markings, 14309213 edges, 78316 markings/sec, 40 secs
lola: sara is running 45 secs || 4410684 markings, 15925628 edges, 79740 markings/sec, 45 secs
lola: sara is running 50 secs || 4864599 markings, 17396263 edges, 90783 markings/sec, 50 secs
lola: sara is running 55 secs || 5304844 markings, 19051356 edges, 88049 markings/sec, 55 secs
lola: sara is running 60 secs || 5783154 markings, 20196273 edges, 95662 markings/sec, 60 secs
lola: sara is running 65 secs || 6269663 markings, 21315009 edges, 97302 markings/sec, 65 secs
lola: sara is running 70 secs || 6722255 markings, 22686562 edges, 90518 markings/sec, 70 secs
lola: sara is running 75 secs || 7164078 markings, 24193543 edges, 88365 markings/sec, 75 secs
lola: sara is running 80 secs || 7598079 markings, 25688117 edges, 86800 markings/sec, 80 secs
lola: sara is running 85 secs || 8016549 markings, 27403314 edges, 83694 markings/sec, 85 secs
lola: sara is running 90 secs || 8453428 markings, 28884506 edges, 87376 markings/sec, 90 secs
lola: sara is running 95 secs || 8865436 markings, 30651758 edges, 82402 markings/sec, 95 secs
lola: sara is running 100 secs || 9268105 markings, 32452059 edges, 80534 markings/sec, 100 secs
lola: sara is running 105 secs || 9759430 markings, 33917663 edges, 98265 markings/sec, 105 secs
lola: sara is running 110 secs || 10212066 markings, 35655545 edges, 90527 markings/sec, 110 secs
lola: sara is running 115 secs || 10643489 markings, 37524359 edges, 86285 markings/sec, 115 secs
lola: sara is running 120 secs || 11059733 markings, 39510135 edges, 83249 markings/sec, 120 secs
lola: sara is running 125 secs || 11506925 markings, 41165855 edges, 89438 markings/sec, 125 secs
lola: sara is running 130 secs || 11998389 markings, 42623205 edges, 98293 markings/sec, 130 secs
lola: sara is running 135 secs || 12422724 markings, 44398469 edges, 84867 markings/sec, 135 secs
lola: sara is running 140 secs || 12849669 markings, 46221895 edges, 85389 markings/sec, 140 secs
lola: sara is running 145 secs || 13271005 markings, 48142415 edges, 84267 markings/sec, 145 secs
lola: sara is running 150 secs || 13697515 markings, 49989475 edges, 85302 markings/sec, 150 secs
lola: sara is running 155 secs || 14097520 markings, 52101660 edges, 80001 markings/sec, 155 secs
lola: sara is running 160 secs || 14586237 markings, 53890637 edges, 97743 markings/sec, 160 secs
lola: sara is running 165 secs || 15052136 markings, 55903471 edges, 93180 markings/sec, 165 secs
lola: sara is running 170 secs || 15530896 markings, 57974560 edges, 95752 markings/sec, 170 secs
lola: sara is running 175 secs || 16004944 markings, 59832429 edges, 94810 markings/sec, 175 secs
lola: sara is running 180 secs || 16390184 markings, 61452803 edges, 77048 markings/sec, 180 secs
lola: sara is running 185 secs || 16780349 markings, 63222893 edges, 78033 markings/sec, 185 secs
lola: sara is running 190 secs || 17119667 markings, 64972111 edges, 67864 markings/sec, 190 secs
lola: sara is running 195 secs || 17484599 markings, 66699358 edges, 72986 markings/sec, 195 secs
lola: sara is running 200 secs || 17886061 markings, 68398306 edges, 80292 markings/sec, 200 secs
lola: sara is running 205 secs || 18266459 markings, 70099683 edges, 76080 markings/sec, 205 secs
lola: sara is running 210 secs || 18690531 markings, 71752603 edges, 84814 markings/sec, 210 secs
lola: sara is running 215 secs || 19171056 markings, 73416703 edges, 96105 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 674952 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t10_16) OR (NOT FIREABLE(t1_22) AND NOT FIREABLE(t25_1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t10_16) OR (NOT FIREABLE(t1_22) AND NOT FIREABLE(t25_1)))))
lola: processed formula length: 80
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t10_16) AND (FIREABLE(t1_22) OR FIREABLE(t25_1)))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 15309 markings, 17496 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((NOT FIREABLE(t2_16) OR NOT FIREABLE(t7_1)) AND NOT FIREABLE(t24_2)) OR NOT FIREABLE(t5_26))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((NOT FIREABLE(t2_16) OR NOT FIREABLE(t7_1)) AND NOT FIREABLE(t24_2)) OR NOT FIREABLE(t5_26))))
lola: processed formula length: 104
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((FIREABLE(t2_16) AND FIREABLE(t7_1)) OR FIREABLE(t24_2)) AND FIREABLE(t5_26))
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 457599 markings, 1199886 edges, 91520 markings/sec, 0 secs
lola: sara is running 5 secs || 900478 markings, 2429455 edges, 88576 markings/sec, 5 secs
lola: sara is running 10 secs || 1469968 markings, 3724692 edges, 113898 markings/sec, 10 secs
lola: sara is running 15 secs || 2025132 markings, 5005143 edges, 111033 markings/sec, 15 secs
lola: sara is running 20 secs || 2531180 markings, 6283316 edges, 101210 markings/sec, 20 secs
lola: sara is running 25 secs || 2911958 markings, 7587019 edges, 76156 markings/sec, 25 secs
lola: sara is running 30 secs || 3288980 markings, 8901019 edges, 75404 markings/sec, 30 secs
lola: sara is running 35 secs || 3576592 markings, 10287921 edges, 57522 markings/sec, 35 secs
lola: sara is running 40 secs || 4084536 markings, 11580936 edges, 101589 markings/sec, 40 secs
lola: sara is running 45 secs || 4465038 markings, 12860663 edges, 76100 markings/sec, 45 secs
lola: sara is running 50 secs || 4778867 markings, 14164175 edges, 62766 markings/sec, 50 secs
lola: sara is running 55 secs || 5091192 markings, 15445071 edges, 62465 markings/sec, 55 secs
lola: sara is running 60 secs || 5389004 markings, 16782943 edges, 59562 markings/sec, 60 secs
lola: sara is running 65 secs || 5769726 markings, 18105207 edges, 76144 markings/sec, 65 secs
lola: sara is running 70 secs || 6218668 markings, 19433484 edges, 89788 markings/sec, 70 secs
lola: sara is running 75 secs || 6693479 markings, 20740912 edges, 94962 markings/sec, 75 secs
lola: sara is running 80 secs || 7097615 markings, 22016026 edges, 80827 markings/sec, 80 secs
lola: sara is running 85 secs || 7368211 markings, 23344560 edges, 54119 markings/sec, 85 secs
lola: sara is running 90 secs || 7766530 markings, 24686984 edges, 79664 markings/sec, 90 secs
lola: sara is running 95 secs || 8107197 markings, 25949580 edges, 68133 markings/sec, 95 secs
lola: sara is running 100 secs || 8402717 markings, 27336473 edges, 59104 markings/sec, 100 secs
lola: sara is running 105 secs || 8891565 markings, 28713488 edges, 97770 markings/sec, 105 secs
lola: sara is running 110 secs || 9360753 markings, 30095033 edges, 93838 markings/sec, 110 secs
lola: sara is running 115 secs || 9825204 markings, 31480158 edges, 92890 markings/sec, 115 secs
lola: sara is running 120 secs || 10230179 markings, 32944785 edges, 80995 markings/sec, 120 secs
lola: sara is running 125 secs || 10757882 markings, 34343402 edges, 105541 markings/sec, 125 secs
lola: sara is running 130 secs || 11218359 markings, 35697602 edges, 92095 markings/sec, 130 secs
lola: sara is running 135 secs || 11718092 markings, 37091373 edges, 99947 markings/sec, 135 secs
lola: sara is running 140 secs || 12209374 markings, 38425866 edges, 98256 markings/sec, 140 secs
lola: sara is running 145 secs || 12605297 markings, 39545748 edges, 79185 markings/sec, 145 secs
lola: sara is running 150 secs || 12939009 markings, 40764115 edges, 66742 markings/sec, 150 secs
lola: sara is running 155 secs || 13339643 markings, 41914810 edges, 80127 markings/sec, 155 secs
lola: sara is running 160 secs || 13728131 markings, 43047332 edges, 77698 markings/sec, 160 secs
lola: sara is running 165 secs || 14034730 markings, 44354121 edges, 61320 markings/sec, 165 secs
lola: sara is running 170 secs || 14368467 markings, 45651482 edges, 66747 markings/sec, 170 secs
lola: sara is running 175 secs || 14720188 markings, 46988983 edges, 70344 markings/sec, 175 secs
lola: sara is running 180 secs || 15139826 markings, 48371063 edges, 83928 markings/sec, 180 secs
lola: sara is running 185 secs || 15528296 markings, 49721308 edges, 77694 markings/sec, 185 secs
lola: sara is running 190 secs || 16112370 markings, 51197703 edges, 116815 markings/sec, 190 secs
lola: sara is running 195 secs || 16677487 markings, 52609488 edges, 113023 markings/sec, 195 secs
lola: sara is running 200 secs || 17201014 markings, 54028849 edges, 104705 markings/sec, 200 secs
lola: sara is running 205 secs || 17711087 markings, 55510342 edges, 102015 markings/sec, 205 secs
lola: sara is running 210 secs || 18206593 markings, 56962513 edges, 99101 markings/sec, 210 secs
lola: sara is running 215 secs || 18700134 markings, 58431983 edges, 98708 markings/sec, 215 secs
lola: sara is running 220 secs || 19111013 markings, 59819548 edges, 82176 markings/sec, 220 secs
lola: sara is running 225 secs || 19469405 markings, 61244612 edges, 71678 markings/sec, 225 secs
lola: sara is running 230 secs || 19758088 markings, 62724488 edges, 57737 markings/sec, 230 secs
lola: sara is running 235 secs || 20045792 markings, 64237085 edges, 57541 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 694832 KB
lola: time consumption: 1135 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t3_6) OR (NOT FIREABLE(t14_16) AND NOT FIREABLE(t23_25)) OR NOT FIREABLE(t2_4))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t3_6) OR (NOT FIREABLE(t14_16) AND NOT FIREABLE(t23_25)) OR NOT FIREABLE(t2_4))))
lola: processed formula length: 99
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t3_6) AND (FIREABLE(t14_16) OR FIREABLE(t23_25)) AND FIREABLE(t2_4))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 549689 markings, 1067435 edges, 109938 markings/sec, 0 secs
lola: sara is running 5 secs || 1013699 markings, 2132178 edges, 92802 markings/sec, 5 secs
lola: sara is running 10 secs || 1473916 markings, 3200000 edges, 92043 markings/sec, 10 secs
lola: sara is running 15 secs || 1921283 markings, 4367317 edges, 89473 markings/sec, 15 secs
lola: sara is running 20 secs || 2395988 markings, 5481832 edges, 94941 markings/sec, 20 secs
lola: sara is running 25 secs || 2867560 markings, 6690773 edges, 94314 markings/sec, 25 secs
lola: sara is running 30 secs || 3361380 markings, 7957076 edges, 98764 markings/sec, 30 secs
lola: sara is running 35 secs || 3860492 markings, 9208953 edges, 99822 markings/sec, 35 secs
lola: sara is running 40 secs || 4356303 markings, 10476820 edges, 99162 markings/sec, 40 secs
lola: sara is running 45 secs || 4869486 markings, 11760097 edges, 102637 markings/sec, 45 secs
lola: sara is running 50 secs || 5338008 markings, 13045275 edges, 93704 markings/sec, 50 secs
lola: sara is running 55 secs || 5866385 markings, 14335727 edges, 105675 markings/sec, 55 secs
lola: sara is running 60 secs || 6379465 markings, 15647001 edges, 102616 markings/sec, 60 secs
lola: sara is running 65 secs || 6822360 markings, 16875006 edges, 88579 markings/sec, 65 secs
lola: sara is running 70 secs || 7241469 markings, 18083524 edges, 83822 markings/sec, 70 secs
lola: sara is running 75 secs || 7685201 markings, 19351213 edges, 88746 markings/sec, 75 secs
lola: sara is running 80 secs || 8121242 markings, 20636876 edges, 87208 markings/sec, 80 secs
lola: sara is running 85 secs || 8557272 markings, 21944479 edges, 87206 markings/sec, 85 secs
lola: sara is running 90 secs || 9061036 markings, 23262236 edges, 100753 markings/sec, 90 secs
lola: sara is running 95 secs || 9450525 markings, 24590998 edges, 77898 markings/sec, 95 secs
lola: sara is running 100 secs || 9918765 markings, 25904504 edges, 93648 markings/sec, 100 secs
lola: sara is running 105 secs || 10329968 markings, 27167831 edges, 82241 markings/sec, 105 secs
lola: sara is running 110 secs || 10820843 markings, 28488309 edges, 98175 markings/sec, 110 secs
lola: sara is running 115 secs || 11279193 markings, 29756902 edges, 91670 markings/sec, 115 secs
lola: sara is running 120 secs || 11772060 markings, 31077927 edges, 98573 markings/sec, 120 secs
lola: sara is running 125 secs || 12277093 markings, 32403767 edges, 101007 markings/sec, 125 secs
lola: sara is running 130 secs || 12760966 markings, 33745878 edges, 96775 markings/sec, 130 secs
lola: sara is running 135 secs || 13246973 markings, 35070529 edges, 97201 markings/sec, 135 secs
lola: sara is running 140 secs || 13690001 markings, 36325767 edges, 88606 markings/sec, 140 secs
lola: sara is running 145 secs || 14075430 markings, 37598426 edges, 77086 markings/sec, 145 secs
lola: sara is running 150 secs || 14435150 markings, 38838454 edges, 71944 markings/sec, 150 secs
lola: sara is running 155 secs || 14804092 markings, 39997953 edges, 73788 markings/sec, 155 secs
lola: sara is running 160 secs || 15195590 markings, 41307771 edges, 78300 markings/sec, 160 secs
lola: sara is running 165 secs || 15621611 markings, 42689855 edges, 85204 markings/sec, 165 secs
lola: sara is running 170 secs || 16059484 markings, 44036695 edges, 87575 markings/sec, 170 secs
lola: sara is running 175 secs || 16478333 markings, 45474964 edges, 83770 markings/sec, 175 secs
lola: sara is running 180 secs || 16980923 markings, 46860851 edges, 100518 markings/sec, 180 secs
lola: sara is running 185 secs || 17484136 markings, 48225981 edges, 100643 markings/sec, 185 secs
lola: sara is running 190 secs || 17957045 markings, 49624588 edges, 94582 markings/sec, 190 secs
lola: sara is running 195 secs || 18410218 markings, 51013234 edges, 90635 markings/sec, 195 secs
lola: sara is running 200 secs || 18920332 markings, 52388924 edges, 102023 markings/sec, 200 secs
lola: sara is running 205 secs || 19368854 markings, 53690640 edges, 89704 markings/sec, 205 secs
lola: sara is running 210 secs || 19861074 markings, 55136030 edges, 98444 markings/sec, 210 secs
lola: sara is running 215 secs || 20339072 markings, 56619179 edges, 95600 markings/sec, 215 secs
lola: sara is running 220 secs || 20807985 markings, 58127748 edges, 93783 markings/sec, 220 secs
lola: sara is running 225 secs || 21288010 markings, 59605573 edges, 96005 markings/sec, 225 secs
lola: sara is running 230 secs || 21680363 markings, 61164488 edges, 78471 markings/sec, 230 secs
lola: sara is running 235 secs || 22096423 markings, 62686850 edges, 83212 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 765752 KB
lola: time consumption: 1378 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t18_1) AND (NOT FIREABLE(t12_10) OR NOT FIREABLE(t1_5))) OR FIREABLE(t1_10))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t18_1) AND (NOT FIREABLE(t12_10) OR NOT FIREABLE(t1_5))) OR FIREABLE(t1_10))))
lola: processed formula length: 101
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(t18_1) OR (FIREABLE(t12_10) AND FIREABLE(t1_5))) AND NOT FIREABLE(t1_10))
lola: state equation: Generated DNF with 11 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 15309 markings, 17496 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t18_22) OR NOT FIREABLE(t8_16) OR NOT FIREABLE(t15_9) OR NOT FIREABLE(t16_2) OR FIREABLE(t15_10))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t18_22) OR NOT FIREABLE(t8_16) OR NOT FIREABLE(t15_9) OR NOT FIREABLE(t16_2) OR FIREABLE(t15_10))))
lola: processed formula length: 123
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t18_22) AND FIREABLE(t8_16) AND FIREABLE(t15_9) AND FIREABLE(t16_2) AND NOT FIREABLE(t15_10))
lola: state equation: Generated DNF with 18 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 421430 markings, 1461307 edges, 84286 markings/sec, 0 secs
lola: sara is running 5 secs || 819364 markings, 3117556 edges, 79587 markings/sec, 5 secs
lola: sara is running 10 secs || 1165636 markings, 4744207 edges, 69254 markings/sec, 10 secs
lola: sara is running 15 secs || 1509648 markings, 6323836 edges, 68802 markings/sec, 15 secs
lola: sara is running 20 secs || 1845875 markings, 7985216 edges, 67245 markings/sec, 20 secs
lola: sara is running 25 secs || 2170396 markings, 9835954 edges, 64904 markings/sec, 25 secs
lola: sara is running 30 secs || 2531774 markings, 11559412 edges, 72276 markings/sec, 30 secs
lola: sara is running 35 secs || 2873739 markings, 13262178 edges, 68393 markings/sec, 35 secs
lola: sara is running 40 secs || 3212156 markings, 14939900 edges, 67683 markings/sec, 40 secs
lola: sara is running 45 secs || 3522587 markings, 16840810 edges, 62086 markings/sec, 45 secs
lola: sara is running 50 secs || 3861353 markings, 18538828 edges, 67753 markings/sec, 50 secs
lola: sara is running 55 secs || 4185138 markings, 20319185 edges, 64757 markings/sec, 55 secs
lola: sara is running 60 secs || 4516093 markings, 22083506 edges, 66191 markings/sec, 60 secs
lola: sara is running 65 secs || 5042648 markings, 23638203 edges, 105311 markings/sec, 65 secs
lola: sara is running 70 secs || 5663378 markings, 25201037 edges, 124146 markings/sec, 70 secs
lola: sara is running 75 secs || 6279920 markings, 26706136 edges, 123308 markings/sec, 75 secs
lola: sara is running 80 secs || 6863308 markings, 28162901 edges, 116678 markings/sec, 80 secs
lola: sara is running 85 secs || 7447276 markings, 29767989 edges, 116794 markings/sec, 85 secs
lola: sara is running 90 secs || 8043759 markings, 31462949 edges, 119297 markings/sec, 90 secs
lola: sara is running 95 secs || 8574548 markings, 33304893 edges, 106158 markings/sec, 95 secs
lola: sara is running 100 secs || 9038119 markings, 34900150 edges, 92714 markings/sec, 100 secs
lola: sara is running 105 secs || 9566680 markings, 36532547 edges, 105712 markings/sec, 105 secs
lola: sara is running 110 secs || 10118952 markings, 38117209 edges, 110454 markings/sec, 110 secs
lola: sara is running 115 secs || 10626006 markings, 39737837 edges, 101411 markings/sec, 115 secs
lola: sara is running 120 secs || 11283134 markings, 41147922 edges, 131426 markings/sec, 120 secs
lola: sara is running 125 secs || 11847195 markings, 42783008 edges, 112812 markings/sec, 125 secs
lola: sara is running 130 secs || 12418376 markings, 44496602 edges, 114236 markings/sec, 130 secs
lola: sara is running 135 secs || 13035638 markings, 46159923 edges, 123452 markings/sec, 135 secs
lola: sara is running 140 secs || 13641587 markings, 47735163 edges, 121190 markings/sec, 140 secs
lola: sara is running 145 secs || 13944119 markings, 49391210 edges, 60506 markings/sec, 145 secs
lola: sara is running 150 secs || 14310002 markings, 51094993 edges, 73177 markings/sec, 150 secs
lola: sara is running 155 secs || 14821101 markings, 52584701 edges, 102220 markings/sec, 155 secs
lola: sara is running 160 secs || 15304648 markings, 54147697 edges, 96709 markings/sec, 160 secs
lola: sara is running 165 secs || 15809803 markings, 55667016 edges, 101031 markings/sec, 165 secs
lola: sara is running 170 secs || 16263225 markings, 57386628 edges, 90684 markings/sec, 170 secs
lola: sara is running 175 secs || 16693867 markings, 59170636 edges, 86128 markings/sec, 175 secs
lola: sara is running 180 secs || 17193673 markings, 60932268 edges, 99961 markings/sec, 180 secs
lola: sara is running 185 secs || 17653411 markings, 62664490 edges, 91948 markings/sec, 185 secs
lola: sara is running 190 secs || 18066262 markings, 64525864 edges, 82570 markings/sec, 190 secs
lola: sara is running 195 secs || 18501192 markings, 66410276 edges, 86986 markings/sec, 195 secs
lola: sara is running 200 secs || 18945500 markings, 68222248 edges, 88862 markings/sec, 200 secs
lola: sara is running 205 secs || 19356422 markings, 69993510 edges, 82184 markings/sec, 205 secs
lola: sara is running 210 secs || 19797760 markings, 71835593 edges, 88268 markings/sec, 210 secs
lola: sara is running 215 secs || 20227623 markings, 73682089 edges, 85973 markings/sec, 215 secs
lola: sara is running 220 secs || 20634470 markings, 75482367 edges, 81369 markings/sec, 220 secs
lola: sara is running 225 secs || 21004331 markings, 77129674 edges, 73972 markings/sec, 225 secs
lola: sara is running 230 secs || 21349867 markings, 78740609 edges, 69107 markings/sec, 230 secs
lola: sara is running 235 secs || 21713462 markings, 80362667 edges, 72719 markings/sec, 235 secs
lola: sara is running 240 secs || 22138798 markings, 82059595 edges, 85067 markings/sec, 240 secs
lola: sara is running 245 secs || 22664019 markings, 83679907 edges, 105044 markings/sec, 245 secs
lola: sara is running 250 secs || 23201103 markings, 85348914 edges, 107417 markings/sec, 250 secs
lola: sara is running 255 secs || 23750126 markings, 86894400 edges, 109805 markings/sec, 255 secs
lola: sara is running 260 secs || 24268265 markings, 88557385 edges, 103628 markings/sec, 260 secs
lola: sara is running 265 secs || 24814287 markings, 90147659 edges, 109204 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 880152 KB
lola: time consumption: 1652 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t10_9) OR NOT FIREABLE(t19_20) OR (NOT FIREABLE(t2_3) AND NOT FIREABLE(t7_4)) OR FIREABLE(t5_7))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t10_9) OR NOT FIREABLE(t19_20) OR (NOT FIREABLE(t2_3) AND NOT FIREABLE(t7_4)) OR FIREABLE(t5_7))))
lola: processed formula length: 121
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t10_9) AND FIREABLE(t19_20) AND (FIREABLE(t2_3) OR FIREABLE(t7_4)) AND NOT FIREABLE(t5_7))
lola: state equation: Generated DNF with 28 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 520943 markings, 1573023 edges, 104189 markings/sec, 0 secs
lola: sara is running 5 secs || 968971 markings, 3274937 edges, 89606 markings/sec, 5 secs
lola: sara is running 10 secs || 1495478 markings, 4806813 edges, 105301 markings/sec, 10 secs
lola: sara is running 15 secs || 1977257 markings, 6096522 edges, 96356 markings/sec, 15 secs
lola: sara is running 20 secs || 2446620 markings, 7739025 edges, 93873 markings/sec, 20 secs
lola: sara is running 25 secs || 2895750 markings, 9499934 edges, 89826 markings/sec, 25 secs
lola: sara is running 30 secs || 3300629 markings, 11325230 edges, 80976 markings/sec, 30 secs
lola: sara is running 35 secs || 3732366 markings, 12833183 edges, 86347 markings/sec, 35 secs
lola: sara is running 40 secs || 4146541 markings, 14610591 edges, 82835 markings/sec, 40 secs
lola: sara is running 45 secs || 4569150 markings, 16171187 edges, 84522 markings/sec, 45 secs
lola: sara is running 50 secs || 4961195 markings, 17993815 edges, 78409 markings/sec, 50 secs
lola: sara is running 55 secs || 5373994 markings, 19537472 edges, 82560 markings/sec, 55 secs
lola: sara is running 60 secs || 5783263 markings, 21195026 edges, 81854 markings/sec, 60 secs
lola: sara is running 65 secs || 6166560 markings, 23067860 edges, 76659 markings/sec, 65 secs
lola: sara is running 70 secs || 6646021 markings, 24613899 edges, 95892 markings/sec, 70 secs
lola: sara is running 75 secs || 7135320 markings, 26245547 edges, 97860 markings/sec, 75 secs
lola: sara is running 80 secs || 7573430 markings, 28023617 edges, 87622 markings/sec, 80 secs
lola: sara is running 85 secs || 7993251 markings, 29540974 edges, 83964 markings/sec, 85 secs
lola: sara is running 90 secs || 8406433 markings, 31158099 edges, 82636 markings/sec, 90 secs
lola: sara is running 95 secs || 8892211 markings, 32731547 edges, 97156 markings/sec, 95 secs
lola: sara is running 100 secs || 9337150 markings, 34413159 edges, 88988 markings/sec, 100 secs
lola: sara is running 105 secs || 9796416 markings, 36009413 edges, 91853 markings/sec, 105 secs
lola: sara is running 110 secs || 10244853 markings, 37720865 edges, 89687 markings/sec, 110 secs
lola: sara is running 115 secs || 10764368 markings, 39203215 edges, 103903 markings/sec, 115 secs
lola: sara is running 120 secs || 11231418 markings, 40701306 edges, 93410 markings/sec, 120 secs
lola: sara is running 125 secs || 11658010 markings, 42393571 edges, 85318 markings/sec, 125 secs
lola: sara is running 130 secs || 12070503 markings, 44167020 edges, 82499 markings/sec, 130 secs
lola: sara is running 135 secs || 12452001 markings, 45919376 edges, 76300 markings/sec, 135 secs
lola: sara is running 140 secs || 12885459 markings, 47280735 edges, 86692 markings/sec, 140 secs
lola: sara is running 145 secs || 13284669 markings, 48996204 edges, 79842 markings/sec, 145 secs
lola: sara is running 150 secs || 13686991 markings, 50651323 edges, 80464 markings/sec, 150 secs
lola: sara is running 155 secs || 14084603 markings, 52297350 edges, 79522 markings/sec, 155 secs
lola: sara is running 160 secs || 14470696 markings, 54025860 edges, 77219 markings/sec, 160 secs
lola: sara is running 165 secs || 14876153 markings, 55831546 edges, 81091 markings/sec, 165 secs
lola: sara is running 170 secs || 15319845 markings, 57335418 edges, 88738 markings/sec, 170 secs
lola: sara is running 175 secs || 15742628 markings, 58855502 edges, 84557 markings/sec, 175 secs
lola: sara is running 180 secs || 16129844 markings, 60630786 edges, 77443 markings/sec, 180 secs
lola: sara is running 185 secs || 16559304 markings, 62295320 edges, 85892 markings/sec, 185 secs
lola: sara is running 190 secs || 16977629 markings, 64009709 edges, 83665 markings/sec, 190 secs
lola: sara is running 195 secs || 17392222 markings, 65705128 edges, 82919 markings/sec, 195 secs
lola: sara is running 200 secs || 17846698 markings, 66933020 edges, 90895 markings/sec, 200 secs
lola: sara is running 205 secs || 18273532 markings, 68352741 edges, 85367 markings/sec, 205 secs
lola: sara is running 210 secs || 18696396 markings, 69946523 edges, 84573 markings/sec, 210 secs
lola: sara is running 215 secs || 19104623 markings, 71635283 edges, 81645 markings/sec, 215 secs
lola: sara is running 220 secs || 19533287 markings, 73087099 edges, 85733 markings/sec, 220 secs
lola: sara is running 225 secs || 19987670 markings, 74196939 edges, 90877 markings/sec, 225 secs
lola: sara is running 230 secs || 20405876 markings, 75604214 edges, 83641 markings/sec, 230 secs
lola: sara is running 235 secs || 20807136 markings, 77105206 edges, 80252 markings/sec, 235 secs
lola: sara is running 240 secs || 21215044 markings, 78645519 edges, 81582 markings/sec, 240 secs
lola: sara is running 245 secs || 21607009 markings, 80317627 edges, 78393 markings/sec, 245 secs
lola: sara is running 250 secs || 22024134 markings, 81838300 edges, 83425 markings/sec, 250 secs
lola: sara is running 255 secs || 22411565 markings, 83545270 edges, 77486 markings/sec, 255 secs
lola: sara is running 260 secs || 22804226 markings, 85312822 edges, 78532 markings/sec, 260 secs
lola: sara is running 265 secs || 23188479 markings, 86921639 edges, 76851 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 812320 KB
lola: time consumption: 1926 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1_12) OR NOT FIREABLE(t15_18) OR NOT FIREABLE(t2_5) OR ((NOT FIREABLE(t6_5) OR NOT FIREABLE(t11_12)) AND FIREABLE(t16_19)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t1_12) OR NOT FIREABLE(t15_18) OR NOT FIREABLE(t2_5) OR ((NOT FIREABLE(t6_5) OR NOT FIREABLE(t11_12)) AND FIREABLE(t16_19)))))
lola: processed formula length: 150
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t1_12) AND FIREABLE(t15_18) AND FIREABLE(t2_5) AND ((FIREABLE(t6_5) AND FIREABLE(t11_12)) OR NOT FIREABLE(t16_19)))
lola: state equation: Generated DNF with 24 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 497052 markings, 1300327 edges, 99410 markings/sec, 0 secs
lola: sara is running 5 secs || 851723 markings, 2449877 edges, 70934 markings/sec, 5 secs
lola: sara is running 10 secs || 1294009 markings, 3732639 edges, 88457 markings/sec, 10 secs
lola: sara is running 15 secs || 1758755 markings, 5076834 edges, 92949 markings/sec, 15 secs
lola: sara is running 20 secs || 2188272 markings, 6369699 edges, 85903 markings/sec, 20 secs
lola: sara is running 25 secs || 2615696 markings, 7693510 edges, 85485 markings/sec, 25 secs
lola: sara is running 30 secs || 3008323 markings, 8836526 edges, 78525 markings/sec, 30 secs
lola: sara is running 35 secs || 3508017 markings, 10185125 edges, 99939 markings/sec, 35 secs
lola: sara is running 40 secs || 3986096 markings, 11599582 edges, 95616 markings/sec, 40 secs
lola: sara is running 45 secs || 4427517 markings, 12843213 edges, 88284 markings/sec, 45 secs
lola: sara is running 50 secs || 4842600 markings, 14150987 edges, 83017 markings/sec, 50 secs
lola: sara is running 55 secs || 5212356 markings, 15449345 edges, 73951 markings/sec, 55 secs
lola: sara is running 60 secs || 5538877 markings, 16748534 edges, 65304 markings/sec, 60 secs
lola: sara is running 65 secs || 5873179 markings, 18033889 edges, 66860 markings/sec, 65 secs
lola: sara is running 70 secs || 6201317 markings, 19321804 edges, 65628 markings/sec, 70 secs
lola: sara is running 75 secs || 6526480 markings, 20639530 edges, 65033 markings/sec, 75 secs
lola: sara is running 80 secs || 6875835 markings, 21955853 edges, 69871 markings/sec, 80 secs
lola: sara is running 85 secs || 7326787 markings, 23322557 edges, 90190 markings/sec, 85 secs
lola: sara is running 90 secs || 7755560 markings, 24678348 edges, 85755 markings/sec, 90 secs
lola: sara is running 95 secs || 8110502 markings, 25879110 edges, 70988 markings/sec, 95 secs
lola: sara is running 100 secs || 8553125 markings, 27301790 edges, 88525 markings/sec, 100 secs
lola: sara is running 105 secs || 9002169 markings, 28796668 edges, 89809 markings/sec, 105 secs
lola: sara is running 110 secs || 9455445 markings, 30246692 edges, 90655 markings/sec, 110 secs
lola: sara is running 115 secs || 9903453 markings, 31729574 edges, 89602 markings/sec, 115 secs
lola: sara is running 120 secs || 10290911 markings, 33040783 edges, 77492 markings/sec, 120 secs
lola: sara is running 125 secs || 10732133 markings, 34267141 edges, 88244 markings/sec, 125 secs
lola: sara is running 130 secs || 11215695 markings, 35514551 edges, 96712 markings/sec, 130 secs
lola: sara is running 135 secs || 11675263 markings, 36875180 edges, 91914 markings/sec, 135 secs
lola: sara is running 140 secs || 12126477 markings, 38185012 edges, 90243 markings/sec, 140 secs
lola: sara is running 145 secs || 12574261 markings, 39488029 edges, 89557 markings/sec, 145 secs
lola: sara is running 150 secs || 13029344 markings, 40760084 edges, 91017 markings/sec, 150 secs
lola: sara is running 155 secs || 13473695 markings, 42136635 edges, 88870 markings/sec, 155 secs
lola: sara is running 160 secs || 13904645 markings, 43408087 edges, 86190 markings/sec, 160 secs
lola: sara is running 165 secs || 14381582 markings, 44770459 edges, 95387 markings/sec, 165 secs
lola: sara is running 170 secs || 14801317 markings, 46075041 edges, 83947 markings/sec, 170 secs
lola: sara is running 175 secs || 15242815 markings, 47370105 edges, 88300 markings/sec, 175 secs
lola: sara is running 180 secs || 15661820 markings, 48581289 edges, 83801 markings/sec, 180 secs
lola: sara is running 185 secs || 16078151 markings, 49828376 edges, 83266 markings/sec, 185 secs
lola: sara is running 190 secs || 16513193 markings, 51078117 edges, 87008 markings/sec, 190 secs
lola: sara is running 195 secs || 16928140 markings, 52333588 edges, 82989 markings/sec, 195 secs
lola: sara is running 200 secs || 17348688 markings, 53627284 edges, 84110 markings/sec, 200 secs
lola: sara is running 205 secs || 17686509 markings, 54849953 edges, 67564 markings/sec, 205 secs
lola: sara is running 210 secs || 18040988 markings, 56198698 edges, 70896 markings/sec, 210 secs
lola: sara is running 215 secs || 18452219 markings, 57734286 edges, 82246 markings/sec, 215 secs
lola: sara is running 220 secs || 18855722 markings, 59275324 edges, 80701 markings/sec, 220 secs
lola: sara is running 225 secs || 19274001 markings, 60853151 edges, 83656 markings/sec, 225 secs
lola: sara is running 230 secs || 19678978 markings, 62376968 edges, 80995 markings/sec, 230 secs
lola: sara is running 235 secs || 20080995 markings, 63877570 edges, 80403 markings/sec, 235 secs
lola: sara is running 240 secs || 20481508 markings, 65352237 edges, 80103 markings/sec, 240 secs
lola: sara is running 245 secs || 20882977 markings, 66637681 edges, 80294 markings/sec, 245 secs
lola: sara is running 250 secs || 21324032 markings, 67864780 edges, 88211 markings/sec, 250 secs
lola: sara is running 255 secs || 21811545 markings, 69107418 edges, 97503 markings/sec, 255 secs
lola: sara is running 260 secs || 22274995 markings, 70327734 edges, 92690 markings/sec, 260 secs
lola: sara is running 265 secs || 22737593 markings, 71552096 edges, 92520 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 791856 KB
lola: time consumption: 2201 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t14_18) AND FIREABLE(t17_18) AND NOT FIREABLE(tAb2) AND (NOT FIREABLE(t7_10) OR (FIREABLE(t1_25) AND FIREABLE(t23_21))) AND FIREABLE(t15_10))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t14_18) AND FIREABLE(t17_18) AND NOT FIREABLE(tAb2) AND (NOT FIREABLE(t7_10) OR (FIREABLE(t1_25) AND FIREABLE(t23_21))) AND FIREABLE(t15_10))))
lola: processed formula length: 160
lola: 1 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t14_18) AND FIREABLE(t17_18) AND NOT FIREABLE(tAb2) AND (NOT FIREABLE(t7_10) OR (FIREABLE(t1_25) AND FIREABLE(t23_21))) AND FIREABLE(t15_10))
lola: state equation: Generated DNF with 19 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 735798 markings, 1392121 edges, 147160 markings/sec, 0 secs
lola: sara is running 5 secs || 1394812 markings, 2924757 edges, 131803 markings/sec, 5 secs
lola: sara is running 10 secs || 2026915 markings, 4546104 edges, 126421 markings/sec, 10 secs
lola: sara is running 15 secs || 2733065 markings, 5977042 edges, 141230 markings/sec, 15 secs
lola: sara is running 20 secs || 3454983 markings, 7416222 edges, 144384 markings/sec, 20 secs
lola: sara is running 25 secs || 4116249 markings, 9005939 edges, 132253 markings/sec, 25 secs
lola: sara is running 30 secs || 4829547 markings, 10387514 edges, 142660 markings/sec, 30 secs
lola: sara is running 35 secs || 5493393 markings, 11858509 edges, 132769 markings/sec, 35 secs
lola: sara is running 40 secs || 6136086 markings, 13436660 edges, 128539 markings/sec, 40 secs
lola: sara is running 45 secs || 6613131 markings, 14901541 edges, 95409 markings/sec, 45 secs
lola: sara is running 50 secs || 7010994 markings, 16572381 edges, 79573 markings/sec, 50 secs
lola: sara is running 55 secs || 7452259 markings, 18088773 edges, 88253 markings/sec, 55 secs
lola: sara is running 60 secs || 7874740 markings, 19602443 edges, 84496 markings/sec, 60 secs
lola: sara is running 65 secs || 8299254 markings, 21156041 edges, 84903 markings/sec, 65 secs
lola: sara is running 70 secs || 8733485 markings, 22696202 edges, 86846 markings/sec, 70 secs
lola: sara is running 75 secs || 9042587 markings, 24295809 edges, 61820 markings/sec, 75 secs
lola: sara is running 80 secs || 9340212 markings, 25904377 edges, 59525 markings/sec, 80 secs
lola: sara is running 85 secs || 9715657 markings, 27657532 edges, 75089 markings/sec, 85 secs
lola: sara is running 90 secs || 10133198 markings, 29310921 edges, 83508 markings/sec, 90 secs
lola: sara is running 95 secs || 10639903 markings, 30877752 edges, 101341 markings/sec, 95 secs
lola: sara is running 100 secs || 11163929 markings, 32403646 edges, 104805 markings/sec, 100 secs
lola: sara is running 105 secs || 11527134 markings, 34240738 edges, 72641 markings/sec, 105 secs
lola: sara is running 110 secs || 11880707 markings, 36063794 edges, 70715 markings/sec, 110 secs
lola: sara is running 115 secs || 12234877 markings, 37800959 edges, 70834 markings/sec, 115 secs
lola: sara is running 120 secs || 12569402 markings, 39520970 edges, 66905 markings/sec, 120 secs
lola: sara is running 125 secs || 12863761 markings, 41232177 edges, 58872 markings/sec, 125 secs
lola: sara is running 130 secs || 13292556 markings, 42639650 edges, 85759 markings/sec, 130 secs
lola: sara is running 135 secs || 13775931 markings, 44173118 edges, 96675 markings/sec, 135 secs
lola: sara is running 140 secs || 14289458 markings, 45667448 edges, 102705 markings/sec, 140 secs
lola: sara is running 145 secs || 14699303 markings, 47241911 edges, 81969 markings/sec, 145 secs
lola: sara is running 150 secs || 15122426 markings, 48842646 edges, 84625 markings/sec, 150 secs
lola: sara is running 155 secs || 15558874 markings, 50421398 edges, 87290 markings/sec, 155 secs
lola: sara is running 160 secs || 16214902 markings, 51938546 edges, 131206 markings/sec, 160 secs
lola: sara is running 165 secs || 16880885 markings, 53456710 edges, 133197 markings/sec, 165 secs
lola: sara is running 170 secs || 17521153 markings, 55058142 edges, 128054 markings/sec, 170 secs
lola: sara is running 175 secs || 18134705 markings, 56717476 edges, 122710 markings/sec, 175 secs
lola: sara is running 180 secs || 18630043 markings, 58287689 edges, 99068 markings/sec, 180 secs
lola: sara is running 185 secs || 19006698 markings, 59842388 edges, 75331 markings/sec, 185 secs
lola: sara is running 190 secs || 19400122 markings, 61403270 edges, 78685 markings/sec, 190 secs
lola: sara is running 195 secs || 19784923 markings, 62977619 edges, 76960 markings/sec, 195 secs
lola: sara is running 200 secs || 20212900 markings, 64525172 edges, 85595 markings/sec, 200 secs
lola: sara is running 205 secs || 20838510 markings, 65973405 edges, 125122 markings/sec, 205 secs
lola: sara is running 210 secs || 21496587 markings, 67485670 edges, 131615 markings/sec, 210 secs
lola: sara is running 215 secs || 22159195 markings, 69039215 edges, 132522 markings/sec, 215 secs
lola: sara is running 220 secs || 22788137 markings, 70668333 edges, 125788 markings/sec, 220 secs
lola: sara is running 225 secs || 23366503 markings, 72266339 edges, 115673 markings/sec, 225 secs
lola: sara is running 230 secs || 23941220 markings, 73739304 edges, 114943 markings/sec, 230 secs
lola: sara is running 235 secs || 24551669 markings, 75293768 edges, 122090 markings/sec, 235 secs
lola: sara is running 240 secs || 25168530 markings, 76898759 edges, 123372 markings/sec, 240 secs
lola: sara is running 245 secs || 25848615 markings, 78458016 edges, 136017 markings/sec, 245 secs
lola: sara is running 250 secs || 26612141 markings, 79938885 edges, 152705 markings/sec, 250 secs
lola: sara is running 255 secs || 27292623 markings, 81455368 edges, 136096 markings/sec, 255 secs
lola: sara is running 260 secs || 28025223 markings, 82773495 edges, 146520 markings/sec, 260 secs
lola: sara is running 265 secs || 28638433 markings, 84440147 edges, 122642 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 999868 KB
lola: time consumption: 2474 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t26_4) AND FIREABLE(t5_2) AND FIREABLE(t1_6)) OR FIREABLE(t7_3) OR NOT FIREABLE(tAb3) OR NOT FIREABLE(t1_22) OR NOT FIREABLE(t21_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 (((FIREABLE(t26_4) AND FIREABLE(t5_2) AND FIREABLE(t1_6)) OR FIREABLE(t7_3) OR NOT FIREABLE(tAb3) OR NOT FIREABLE(t1_22) OR NOT FIREABLE(t21_1))))
lola: processed formula length: 155
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NOT FIREABLE(t26_4) OR NOT FIREABLE(t5_2) OR NOT FIREABLE(t1_6)) AND NOT FIREABLE(t7_3) AND FIREABLE(tAb3) AND FIREABLE(t1_22) AND FIREABLE(t21_1))
lola: state equation: Generated DNF with 84 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 5508 markings, 6075 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t5_6) OR NOT FIREABLE(t18_21) OR FIREABLE(t16_21) OR (FIREABLE(t25_22) AND NOT FIREABLE(t25_1) AND (FIREABLE(t26_4) OR FIREABLE(t10_16) OR NOT FIREABLE(tAb3))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t5_6) OR NOT FIREABLE(t18_21) OR FIREABLE(t16_21) OR (FIREABLE(t25_22) AND NOT FIREABLE(t25_1) AND (FIREABLE(t26_4) OR FIREABLE(t10_16) OR NOT FIREABLE(tAb3))))))
lola: processed formula length: 187
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t5_6) AND FIREABLE(t18_21) AND NOT FIREABLE(t16_21) AND (NOT FIREABLE(t25_22) OR FIREABLE(t25_1) OR (NOT FIREABLE(t26_4) AND NOT FIREABLE(t10_16) AND FIREABLE(tAb3))))
lola: state equation: Generated DNF with 51 literals and 7 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 598776 markings, 1402976 edges, 119755 markings/sec, 0 secs
lola: sara is running 5 secs || 1145445 markings, 2990436 edges, 109334 markings/sec, 5 secs
lola: sara is running 10 secs || 1686355 markings, 4642477 edges, 108182 markings/sec, 10 secs
lola: sara is running 15 secs || 2213533 markings, 6207174 edges, 105436 markings/sec, 15 secs
lola: sara is running 20 secs || 2724091 markings, 7624261 edges, 102112 markings/sec, 20 secs
lola: sara is running 25 secs || 3194616 markings, 9259086 edges, 94105 markings/sec, 25 secs
lola: sara is running 30 secs || 3666740 markings, 10927372 edges, 94425 markings/sec, 30 secs
lola: sara is running 35 secs || 4203184 markings, 12424551 edges, 107289 markings/sec, 35 secs
lola: sara is running 40 secs || 4736285 markings, 13820132 edges, 106620 markings/sec, 40 secs
lola: sara is running 45 secs || 5240100 markings, 15229949 edges, 100763 markings/sec, 45 secs
lola: sara is running 50 secs || 5768875 markings, 16615767 edges, 105755 markings/sec, 50 secs
lola: sara is running 55 secs || 6266425 markings, 17930590 edges, 99510 markings/sec, 55 secs
lola: sara is running 60 secs || 6722461 markings, 19425311 edges, 91207 markings/sec, 60 secs
lola: sara is running 65 secs || 7189431 markings, 20958017 edges, 93394 markings/sec, 65 secs
lola: sara is running 70 secs || 7659704 markings, 22524549 edges, 94055 markings/sec, 70 secs
lola: sara is running 75 secs || 8135529 markings, 24105546 edges, 95165 markings/sec, 75 secs
lola: sara is running 80 secs || 8621968 markings, 25697566 edges, 97288 markings/sec, 80 secs
lola: sara is running 85 secs || 9086303 markings, 27430215 edges, 92867 markings/sec, 85 secs
lola: sara is running 90 secs || 9523173 markings, 29011724 edges, 87374 markings/sec, 90 secs
lola: sara is running 95 secs || 9995139 markings, 30665447 edges, 94393 markings/sec, 95 secs
lola: sara is running 100 secs || 10483934 markings, 32300363 edges, 97759 markings/sec, 100 secs
lola: sara is running 105 secs || 10954757 markings, 34004821 edges, 94165 markings/sec, 105 secs
lola: sara is running 110 secs || 11429731 markings, 35696868 edges, 94995 markings/sec, 110 secs
lola: sara is running 115 secs || 11916930 markings, 37559835 edges, 97440 markings/sec, 115 secs
lola: sara is running 120 secs || 12386435 markings, 39387089 edges, 93901 markings/sec, 120 secs
lola: sara is running 125 secs || 12830668 markings, 41257113 edges, 88847 markings/sec, 125 secs
lola: sara is running 130 secs || 13297742 markings, 43073929 edges, 93415 markings/sec, 130 secs
lola: sara is running 135 secs || 13851510 markings, 44565962 edges, 110754 markings/sec, 135 secs
lola: sara is running 140 secs || 14356230 markings, 46091051 edges, 100944 markings/sec, 140 secs
lola: sara is running 145 secs || 14868395 markings, 47628460 edges, 102433 markings/sec, 145 secs
lola: sara is running 150 secs || 15328025 markings, 48948193 edges, 91926 markings/sec, 150 secs
lola: sara is running 155 secs || 15824562 markings, 50238997 edges, 99307 markings/sec, 155 secs
lola: sara is running 160 secs || 16286371 markings, 51796087 edges, 92362 markings/sec, 160 secs
lola: sara is running 165 secs || 16769116 markings, 53391978 edges, 96549 markings/sec, 165 secs
lola: sara is running 170 secs || 17248661 markings, 54902089 edges, 95909 markings/sec, 170 secs
lola: sara is running 175 secs || 17684893 markings, 56512063 edges, 87246 markings/sec, 175 secs
lola: sara is running 180 secs || 18164526 markings, 58097320 edges, 95927 markings/sec, 180 secs
lola: sara is running 185 secs || 18631636 markings, 59905526 edges, 93422 markings/sec, 185 secs
lola: sara is running 190 secs || 19114355 markings, 61707538 edges, 96544 markings/sec, 190 secs
lola: sara is running 195 secs || 19596012 markings, 63472262 edges, 96331 markings/sec, 195 secs
lola: sara is running 200 secs || 20021050 markings, 65154579 edges, 85008 markings/sec, 200 secs
lola: sara is running 205 secs || 20528138 markings, 66759719 edges, 101418 markings/sec, 205 secs
lola: sara is running 210 secs || 21023159 markings, 68125288 edges, 99004 markings/sec, 210 secs
lola: sara is running 215 secs || 21456377 markings, 69733494 edges, 86644 markings/sec, 215 secs
lola: sara is running 220 secs || 21892827 markings, 71309858 edges, 87290 markings/sec, 220 secs
lola: sara is running 225 secs || 22324135 markings, 72968218 edges, 86262 markings/sec, 225 secs
lola: sara is running 230 secs || 22718723 markings, 74555210 edges, 78918 markings/sec, 230 secs
lola: sara is running 235 secs || 23205335 markings, 76312658 edges, 97322 markings/sec, 235 secs
lola: sara is running 240 secs || 23637676 markings, 78010939 edges, 86468 markings/sec, 240 secs
lola: sara is running 245 secs || 24042618 markings, 79550779 edges, 80988 markings/sec, 245 secs
lola: sara is running 250 secs || 24489850 markings, 80796408 edges, 89446 markings/sec, 250 secs
lola: sara is running 255 secs || 24948384 markings, 82265895 edges, 91707 markings/sec, 255 secs
lola: sara is running 260 secs || 25374199 markings, 83861294 edges, 85163 markings/sec, 260 secs
lola: sara is running 265 secs || 25809546 markings, 85468678 edges, 87069 markings/sec, 265 secs
lola: sara is running 270 secs || 26216920 markings, 87060256 edges, 81475 markings/sec, 270 secs
lola: sara is running 275 secs || 26605452 markings, 88859189 edges, 77706 markings/sec, 275 secs
lola: sara is running 280 secs || 27004588 markings, 90575649 edges, 79827 markings/sec, 280 secs
lola: sara is running 285 secs || 27405893 markings, 92143595 edges, 80261 markings/sec, 285 secs
lola: sara is running 290 secs || 27786466 markings, 93834287 edges, 76115 markings/sec, 290 secs
lola: sara is running 295 secs || 28163372 markings, 95566131 edges, 75381 markings/sec, 295 secs
lola: sara is running 300 secs || 28518850 markings, 97387231 edges, 71096 markings/sec, 300 secs
lola: sara is running 305 secs || 28910704 markings, 98819019 edges, 78371 markings/sec, 305 secs
lola: sara is running 310 secs || 29335762 markings, 100118249 edges, 85012 markings/sec, 310 secs
lola: sara is running 315 secs || 29725287 markings, 101598553 edges, 77905 markings/sec, 315 secs
lola: sara is running 320 secs || 30112887 markings, 103169127 edges, 77520 markings/sec, 320 secs
lola: sara is running 325 secs || 30471907 markings, 104824703 edges, 71804 markings/sec, 325 secs
lola: sara is running 330 secs || 30846187 markings, 106409593 edges, 74856 markings/sec, 330 secs
lola: sara is running 335 secs || 31220042 markings, 108098907 edges, 74771 markings/sec, 335 secs
lola: sara is running 340 secs || 31565828 markings, 109834818 edges, 69157 markings/sec, 340 secs
lola: sara is running 345 secs || 31981392 markings, 111292258 edges, 83113 markings/sec, 345 secs
lola: sara is running 350 secs || 32422002 markings, 112794228 edges, 88122 markings/sec, 350 secs
lola: sara is running 355 secs || 32880168 markings, 114468577 edges, 91633 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 1147232 KB
lola: time consumption: 2839 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t19_20) AND FIREABLE(tloop9)) OR FIREABLE(t2_16) OR (FIREABLE(t15_12) AND FIREABLE(t8_11) AND NOT FIREABLE(t7_6)) OR NOT FIREABLE(t11_9) OR NOT FIREABLE(t16_11) OR NOT FIREABLE(t24_26))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((FIREABLE(t19_20) AND FIREABLE(tloop9)) OR FIREABLE(t2_16) OR (FIREABLE(t15_12) AND FIREABLE(t8_11) AND NOT FIREABLE(t7_6)) OR NOT FIREABLE(t11_9) OR NOT FIREABLE(t16_11) OR NOT FIREABLE(t24_26))))
lola: processed formula length: 209
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NOT FIREABLE(t19_20) OR NOT FIREABLE(tloop9)) AND NOT FIREABLE(t2_16) AND (NOT FIREABLE(t15_12) OR NOT FIREABLE(t8_11) OR FIREABLE(t7_6)) AND FIREABLE(t11_9) AND FIREABLE(t16_11) AND FIREABLE(t24_26))
lola: state equation: Generated DNF with 222 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 559033 markings, 1170180 edges, 111807 markings/sec, 0 secs
lola: sara is running 5 secs || 1109033 markings, 2587440 edges, 110000 markings/sec, 5 secs
lola: sara is running 10 secs || 1675654 markings, 3907529 edges, 113324 markings/sec, 10 secs
lola: sara is running 15 secs || 2184370 markings, 5255442 edges, 101743 markings/sec, 15 secs
lola: sara is running 20 secs || 2707278 markings, 6676595 edges, 104582 markings/sec, 20 secs
lola: sara is running 25 secs || 3253163 markings, 8136462 edges, 109177 markings/sec, 25 secs
lola: sara is running 30 secs || 3744005 markings, 9427598 edges, 98168 markings/sec, 30 secs
lola: sara is running 35 secs || 4242299 markings, 11047457 edges, 99659 markings/sec, 35 secs
lola: sara is running 40 secs || 4716592 markings, 12589431 edges, 94859 markings/sec, 40 secs
lola: sara is running 45 secs || 5201363 markings, 14239630 edges, 96954 markings/sec, 45 secs
lola: sara is running 50 secs || 5685365 markings, 15885042 edges, 96800 markings/sec, 50 secs
lola: sara is running 55 secs || 6198820 markings, 17554427 edges, 102691 markings/sec, 55 secs
lola: sara is running 60 secs || 6657902 markings, 18936775 edges, 91816 markings/sec, 60 secs
lola: sara is running 65 secs || 7219962 markings, 20148583 edges, 112412 markings/sec, 65 secs
lola: sara is running 70 secs || 7704400 markings, 21666185 edges, 96888 markings/sec, 70 secs
lola: sara is running 75 secs || 8203884 markings, 23195477 edges, 99897 markings/sec, 75 secs
lola: sara is running 80 secs || 8661126 markings, 24815827 edges, 91448 markings/sec, 80 secs
lola: sara is running 85 secs || 9218868 markings, 26194719 edges, 111548 markings/sec, 85 secs
lola: sara is running 90 secs || 9773821 markings, 27590883 edges, 110991 markings/sec, 90 secs
lola: sara is running 95 secs || 10340086 markings, 28886624 edges, 113253 markings/sec, 95 secs
lola: sara is running 100 secs || 10885135 markings, 30292283 edges, 109010 markings/sec, 100 secs
lola: sara is running 105 secs || 11385825 markings, 31838350 edges, 100138 markings/sec, 105 secs
lola: sara is running 110 secs || 11858762 markings, 33450362 edges, 94587 markings/sec, 110 secs
lola: sara is running 115 secs || 12372728 markings, 35021961 edges, 102793 markings/sec, 115 secs
lola: sara is running 120 secs || 12865140 markings, 36681669 edges, 98482 markings/sec, 120 secs
lola: sara is running 125 secs || 13350472 markings, 38388861 edges, 97066 markings/sec, 125 secs
lola: sara is running 130 secs || 13811382 markings, 40160303 edges, 92182 markings/sec, 130 secs
lola: sara is running 135 secs || 14282721 markings, 41809027 edges, 94268 markings/sec, 135 secs
lola: sara is running 140 secs || 14793722 markings, 43201326 edges, 102200 markings/sec, 140 secs
lola: sara is running 145 secs || 15331158 markings, 44546838 edges, 107487 markings/sec, 145 secs
lola: sara is running 150 secs || 15820264 markings, 45962238 edges, 97821 markings/sec, 150 secs
lola: sara is running 155 secs || 16381161 markings, 47339174 edges, 112179 markings/sec, 155 secs
lola: sara is running 160 secs || 16802735 markings, 48677845 edges, 84315 markings/sec, 160 secs
lola: sara is running 165 secs || 17339608 markings, 49915491 edges, 107375 markings/sec, 165 secs
lola: sara is running 170 secs || 17923177 markings, 51144049 edges, 116714 markings/sec, 170 secs
lola: sara is running 175 secs || 18442193 markings, 52592642 edges, 103803 markings/sec, 175 secs
lola: sara is running 180 secs || 18961227 markings, 54144155 edges, 103807 markings/sec, 180 secs
lola: sara is running 185 secs || 19452373 markings, 55701911 edges, 98229 markings/sec, 185 secs
lola: sara is running 190 secs || 19976477 markings, 57235414 edges, 104821 markings/sec, 190 secs
lola: sara is running 195 secs || 20434852 markings, 59004404 edges, 91675 markings/sec, 195 secs
lola: sara is running 200 secs || 20926536 markings, 60679709 edges, 98337 markings/sec, 200 secs
lola: sara is running 205 secs || 21440861 markings, 62266071 edges, 102865 markings/sec, 205 secs
lola: sara is running 210 secs || 21951616 markings, 63837402 edges, 102151 markings/sec, 210 secs
lola: sara is running 215 secs || 22422067 markings, 65630568 edges, 94090 markings/sec, 215 secs
lola: sara is running 220 secs || 22922447 markings, 67104300 edges, 100076 markings/sec, 220 secs
lola: sara is running 225 secs || 23396456 markings, 68829120 edges, 94802 markings/sec, 225 secs
lola: sara is running 230 secs || 23971017 markings, 70199577 edges, 114912 markings/sec, 230 secs
lola: sara is running 235 secs || 24504020 markings, 71625678 edges, 106601 markings/sec, 235 secs
lola: sara is running 240 secs || 25057639 markings, 73108373 edges, 110724 markings/sec, 240 secs
lola: sara is running 245 secs || 25623517 markings, 74388699 edges, 113176 markings/sec, 245 secs
lola: sara is running 250 secs || 26176554 markings, 75758577 edges, 110607 markings/sec, 250 secs
lola: sara is running 255 secs || 26711467 markings, 77184777 edges, 106983 markings/sec, 255 secs
lola: sara is running 260 secs || 27194889 markings, 78698499 edges, 96684 markings/sec, 260 secs
lola: sara is running 265 secs || 27688175 markings, 80313205 edges, 98657 markings/sec, 265 secs
lola: sara is running 270 secs || 28182492 markings, 81818097 edges, 98863 markings/sec, 270 secs
lola: sara is running 275 secs || 28672593 markings, 83463814 edges, 98020 markings/sec, 275 secs
lola: sara is running 280 secs || 29170986 markings, 85169134 edges, 99679 markings/sec, 280 secs
lola: sara is running 285 secs || 29669407 markings, 86862214 edges, 99684 markings/sec, 285 secs
lola: sara is running 290 secs || 30133107 markings, 88651360 edges, 92740 markings/sec, 290 secs
lola: sara is running 295 secs || 30596913 markings, 90461970 edges, 92761 markings/sec, 295 secs
lola: sara is running 300 secs || 31087320 markings, 92247134 edges, 98081 markings/sec, 300 secs
lola: sara is running 305 secs || 31539088 markings, 93873140 edges, 90354 markings/sec, 305 secs
lola: sara is running 310 secs || 31929360 markings, 95425633 edges, 78054 markings/sec, 310 secs
lola: sara is running 315 secs || 32316069 markings, 97020956 edges, 77342 markings/sec, 315 secs
lola: sara is running 320 secs || 32706776 markings, 98642637 edges, 78141 markings/sec, 320 secs
lola: sara is running 325 secs || 33102356 markings, 100154223 edges, 79116 markings/sec, 325 secs
lola: sara is running 330 secs || 33471244 markings, 101755710 edges, 73778 markings/sec, 330 secs
lola: sara is running 335 secs || 33844614 markings, 103336108 edges, 74674 markings/sec, 335 secs
lola: sara is running 340 secs || 34224642 markings, 104952619 edges, 76006 markings/sec, 340 secs
lola: sara is running 345 secs || 34627315 markings, 106394453 edges, 80535 markings/sec, 345 secs
lola: sara is running 350 secs || 35046901 markings, 107792326 edges, 83917 markings/sec, 350 secs
lola: sara is running 355 secs || 35422801 markings, 109345414 edges, 75180 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 1231372 KB
lola: time consumption: 3204 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((NOT FIREABLE(t7_9) OR NOT FIREABLE(t2_23)) AND (NOT FIREABLE(t27_2) OR NOT FIREABLE(t11_12))) OR (FIREABLE(t18_1) AND NOT FIREABLE(t19_20) AND ((FIREABLE(t7_2) AND FIREABLE(t24_27)) OR NOT FIREABLE(t8_2))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((NOT FIREABLE(t7_9) OR NOT FIREABLE(t2_23)) AND (NOT FIREABLE(t27_2) OR NOT FIREABLE(t11_12))) OR (FIREABLE(t18_1) AND NOT FIREABLE(t19_20) AND ((FIREABLE(t7_2) AND FIREABLE(t24_27)) OR NOT FIREABLE(t8_2))))))
lola: processed formula length: 221
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((FIREABLE(t7_9) AND FIREABLE(t2_23)) OR (FIREABLE(t27_2) AND FIREABLE(t11_12))) AND (NOT FIREABLE(t18_1) OR FIREABLE(t19_20) OR ((NOT FIREABLE(t7_2) OR NOT FIREABLE(t24_27)) AND FIREABLE(t8_2))))
lola: state equation: Generated DNF with 74 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 457027 markings, 1122468 edges, 91405 markings/sec, 0 secs
lola: sara is running 5 secs || 876534 markings, 2378968 edges, 83901 markings/sec, 5 secs
lola: sara is running 10 secs || 1315839 markings, 3782561 edges, 87861 markings/sec, 10 secs
lola: sara is running 15 secs || 1729897 markings, 5274524 edges, 82812 markings/sec, 15 secs
lola: sara is running 20 secs || 2178676 markings, 6514128 edges, 89756 markings/sec, 20 secs
lola: sara is running 25 secs || 2563811 markings, 7861146 edges, 77027 markings/sec, 25 secs
lola: sara is running 30 secs || 2986401 markings, 9283056 edges, 84518 markings/sec, 30 secs
lola: sara is running 35 secs || 3425512 markings, 10607783 edges, 87822 markings/sec, 35 secs
lola: sara is running 40 secs || 3812785 markings, 11942935 edges, 77455 markings/sec, 40 secs
lola: sara is running 45 secs || 4221369 markings, 13164764 edges, 81717 markings/sec, 45 secs
lola: sara is running 50 secs || 4646794 markings, 14343847 edges, 85085 markings/sec, 50 secs
lola: sara is running 55 secs || 5066284 markings, 15660827 edges, 83898 markings/sec, 55 secs
lola: sara is running 60 secs || 5452085 markings, 16918637 edges, 77160 markings/sec, 60 secs
lola: sara is running 65 secs || 5795046 markings, 18189769 edges, 68592 markings/sec, 65 secs
lola: sara is running 70 secs || 6151632 markings, 19409409 edges, 71317 markings/sec, 70 secs
lola: sara is running 75 secs || 6582617 markings, 20540617 edges, 86197 markings/sec, 75 secs
lola: sara is running 80 secs || 7004296 markings, 21829413 edges, 84336 markings/sec, 80 secs
lola: sara is running 85 secs || 7406823 markings, 23232216 edges, 80505 markings/sec, 85 secs
lola: sara is running 90 secs || 7779015 markings, 24701341 edges, 74438 markings/sec, 90 secs
lola: sara is running 95 secs || 8168765 markings, 26182690 edges, 77950 markings/sec, 95 secs
lola: sara is running 100 secs || 8536603 markings, 27809935 edges, 73568 markings/sec, 100 secs
lola: sara is running 105 secs || 9005587 markings, 29042842 edges, 93797 markings/sec, 105 secs
lola: sara is running 110 secs || 9389087 markings, 30343469 edges, 76700 markings/sec, 110 secs
lola: sara is running 115 secs || 9807093 markings, 31784668 edges, 83601 markings/sec, 115 secs
lola: sara is running 120 secs || 10254956 markings, 33110785 edges, 89573 markings/sec, 120 secs
lola: sara is running 125 secs || 10659564 markings, 34434601 edges, 80922 markings/sec, 125 secs
lola: sara is running 130 secs || 11063562 markings, 35701447 edges, 80800 markings/sec, 130 secs
lola: sara is running 135 secs || 11506080 markings, 36983201 edges, 88504 markings/sec, 135 secs
lola: sara is running 140 secs || 11911512 markings, 38194681 edges, 81086 markings/sec, 140 secs
lola: sara is running 145 secs || 12270924 markings, 39568716 edges, 71882 markings/sec, 145 secs
lola: sara is running 150 secs || 12648568 markings, 41066982 edges, 75529 markings/sec, 150 secs
lola: sara is running 155 secs || 13010262 markings, 42592361 edges, 72339 markings/sec, 155 secs
lola: sara is running 160 secs || 13394956 markings, 43909434 edges, 76939 markings/sec, 160 secs
lola: sara is running 165 secs || 13771002 markings, 45122477 edges, 75209 markings/sec, 165 secs
lola: sara is running 170 secs || 14119239 markings, 46558277 edges, 69647 markings/sec, 170 secs
lola: sara is running 175 secs || 14472448 markings, 48038997 edges, 70642 markings/sec, 175 secs
lola: sara is running 180 secs || 14891922 markings, 49525787 edges, 83895 markings/sec, 180 secs
lola: sara is running 185 secs || 15229994 markings, 50860279 edges, 67614 markings/sec, 185 secs
lola: sara is running 190 secs || 15523751 markings, 52318951 edges, 58751 markings/sec, 190 secs
lola: sara is running 195 secs || 15854497 markings, 53673181 edges, 66149 markings/sec, 195 secs
lola: sara is running 200 secs || 16221801 markings, 54991496 edges, 73461 markings/sec, 200 secs
lola: sara is running 205 secs || 16559216 markings, 56389257 edges, 67483 markings/sec, 205 secs
lola: sara is running 210 secs || 16918000 markings, 57577882 edges, 71757 markings/sec, 210 secs
lola: sara is running 215 secs || 17250277 markings, 59000565 edges, 66455 markings/sec, 215 secs
lola: sara is running 220 secs || 17607575 markings, 60376707 edges, 71460 markings/sec, 220 secs
lola: sara is running 225 secs || 17948870 markings, 61710283 edges, 68259 markings/sec, 225 secs
lola: sara is running 230 secs || 18310580 markings, 63021888 edges, 72342 markings/sec, 230 secs
lola: sara is running 235 secs || 18690618 markings, 64292962 edges, 76008 markings/sec, 235 secs
lola: sara is running 240 secs || 19053618 markings, 65696644 edges, 72600 markings/sec, 240 secs
lola: sara is running 245 secs || 19441378 markings, 67144853 edges, 77552 markings/sec, 245 secs
lola: sara is running 250 secs || 19823362 markings, 68824308 edges, 76397 markings/sec, 250 secs
lola: sara is running 255 secs || 20217049 markings, 70526726 edges, 78737 markings/sec, 255 secs
lola: sara is running 260 secs || 20580727 markings, 72242300 edges, 72736 markings/sec, 260 secs
lola: sara is running 265 secs || 20948018 markings, 73891102 edges, 73458 markings/sec, 265 secs
lola: sara is running 270 secs || 21325543 markings, 75447676 edges, 75505 markings/sec, 270 secs
lola: sara is running 275 secs || 21708011 markings, 77016855 edges, 76494 markings/sec, 275 secs
lola: sara is running 280 secs || 22022849 markings, 78571950 edges, 62968 markings/sec, 280 secs
lola: sara is running 285 secs || 22391989 markings, 80068451 edges, 73828 markings/sec, 285 secs
lola: sara is running 290 secs || 22773155 markings, 81765341 edges, 76233 markings/sec, 290 secs
lola: sara is running 295 secs || 23125470 markings, 83551575 edges, 70463 markings/sec, 295 secs
lola: sara is running 300 secs || 23508458 markings, 85256243 edges, 76598 markings/sec, 300 secs
lola: sara is running 305 secs || 23879581 markings, 86959469 edges, 74225 markings/sec, 305 secs
lola: sara is running 310 secs || 24259196 markings, 88569880 edges, 75923 markings/sec, 310 secs
lola: sara is running 315 secs || 24638702 markings, 90143203 edges, 75901 markings/sec, 315 secs
lola: sara is running 320 secs || 24981448 markings, 91694669 edges, 68549 markings/sec, 320 secs
lola: sara is running 325 secs || 25320753 markings, 93466177 edges, 67861 markings/sec, 325 secs
lola: sara is running 330 secs || 25668640 markings, 95139890 edges, 69577 markings/sec, 330 secs
lola: sara is running 335 secs || 25981738 markings, 96762134 edges, 62620 markings/sec, 335 secs
lola: sara is running 340 secs || 26330517 markings, 98486719 edges, 69756 markings/sec, 340 secs
lola: sara is running 345 secs || 26612851 markings, 100133937 edges, 56467 markings/sec, 345 secs
lola: sara is running 350 secs || 26928002 markings, 101747833 edges, 63030 markings/sec, 350 secs
lola: sara is running 355 secs || 27243099 markings, 103324673 edges, 63019 markings/sec, 355 secs
lola: sara is running 360 secs || 27541953 markings, 104965173 edges, 59771 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 984360 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t11_12))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t11_12))))
lola: processed formula length: 55
lola: 2 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: lola: memory consumption: 14588 KB
rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: time consumption: 3570 seconds
lola: formula 0: (FIREABLE(t24_26) AND FIREABLE(t11_12))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityFireability-16-0.sara
lola: lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown yes
lola: memory consumption: 13812 KB
lola: time consumption: 3570 seconds
BK_STOP 1526850973420
--------------------
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-14ringLRLarge"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge 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-14ringLRLarge, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500322"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;