About the Execution of LoLA for DNAwalker-PT-15ringRRLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2076.060 | 3600000.00 | 7519406.00 | 8655.30 | ??FFF???T?F???F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-15ringRRLarge, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500327
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526854578749
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-15ringRRLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-15ringRRLarge formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-15ringRRLarge @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: atomic prop true by contained trap!
lola: always true
lola: LP says that atomic proposition is always false: (3 <= B13)
lola: LP says that atomic proposition is always false: (2 <= B14)
lola: E (F (((2 <= A27) AND (2 <= A11)))) : E (F ((3 <= A10))) : E (F (((A17 <= A8) AND (A7 <= A10) AND (A15 <= A3) AND (1 <= B13) AND (B14 + 1 <= A13) AND (A4 <= 2)))) : E (F (())) : E (F (())) : E (F (((A1 <= A6) AND (3 <= A18) AND (1 <= A18) AND ((3 <= A8) OR (3 <= A23))))) : E (F ((3 <= A15))) : E (F ((3 <= A22))) : E (F (((A7 <= A1) AND (A10 + 1 <= B14) AND ((A17 <= A19) OR (2 <= A16) OR (A22 <= B15))))) : E (F (((3 <= A6) AND (2 <= A16) AND (1 <= A20) AND (3 <= A24)))) : E (F (FALSE)) : E (F (((A8 <= 0) AND (A26 <= 1) AND (A18 <= 1) AND (A22 + 1 <= A1)))) : E (F ((3 <= A18))) : E (F ((3 <= A8))) : A (G (((A19 <= A4) OR (((3 <= A11) OR (A23 <= A25)) AND (A21 <= A7))))) : E (F (((2 <= A25) AND (A18 <= B27) AND (A8 + 1 <= A9) AND (3 <= A12))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 196 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 209 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A15)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A15)))
lola: processed formula length: 18
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A15)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-3-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 415580 markings, 1161325 edges, 83116 markings/sec, 0 secs
lola: sara is running 5 secs || 890249 markings, 2458272 edges, 94934 markings/sec, 5 secs
lola: sara is running 10 secs || 1402176 markings, 3785662 edges, 102385 markings/sec, 10 secs
lola: sara is running 15 secs || 1791712 markings, 5151103 edges, 77907 markings/sec, 15 secs
lola: sara is running 20 secs || 2120309 markings, 6501248 edges, 65719 markings/sec, 20 secs
lola: sara is running 25 secs || 2474575 markings, 7803646 edges, 70853 markings/sec, 25 secs
lola: sara is running 30 secs || 2915157 markings, 9247364 edges, 88116 markings/sec, 30 secs
lola: sara is running 35 secs || 3438068 markings, 10695429 edges, 104582 markings/sec, 35 secs
lola: sara is running 40 secs || 3959336 markings, 12081751 edges, 104254 markings/sec, 40 secs
lola: sara is running 45 secs || 4469115 markings, 13492206 edges, 101956 markings/sec, 45 secs
lola: sara is running 50 secs || 4957331 markings, 14940493 edges, 97643 markings/sec, 50 secs
lola: sara is running 55 secs || 5470527 markings, 16300407 edges, 102639 markings/sec, 55 secs
lola: sara is running 60 secs || 5964492 markings, 17795438 edges, 98793 markings/sec, 60 secs
lola: sara is running 65 secs || 6431516 markings, 19148517 edges, 93405 markings/sec, 65 secs
lola: sara is running 70 secs || 6908723 markings, 20515217 edges, 95441 markings/sec, 70 secs
lola: sara is running 75 secs || 7365113 markings, 21875895 edges, 91278 markings/sec, 75 secs
lola: sara is running 80 secs || 7826554 markings, 23218679 edges, 92288 markings/sec, 80 secs
lola: sara is running 85 secs || 8277058 markings, 24652963 edges, 90101 markings/sec, 85 secs
lola: sara is running 90 secs || 8752835 markings, 26122279 edges, 95155 markings/sec, 90 secs
lola: sara is running 95 secs || 9152731 markings, 27485860 edges, 79979 markings/sec, 95 secs
lola: sara is running 100 secs || 9624356 markings, 28834191 edges, 94325 markings/sec, 100 secs
lola: sara is running 105 secs || 10120572 markings, 30212098 edges, 99243 markings/sec, 105 secs
lola: sara is running 110 secs || 10580983 markings, 31335940 edges, 92082 markings/sec, 110 secs
lola: sara is running 115 secs || 11036114 markings, 32548909 edges, 91026 markings/sec, 115 secs
lola: sara is running 120 secs || 11430531 markings, 33899293 edges, 78883 markings/sec, 120 secs
lola: sara is running 125 secs || 11824811 markings, 35520373 edges, 78856 markings/sec, 125 secs
lola: sara is running 130 secs || 12239310 markings, 37202380 edges, 82900 markings/sec, 130 secs
lola: sara is running 135 secs || 12646634 markings, 38882416 edges, 81465 markings/sec, 135 secs
lola: sara is running 140 secs || 13051066 markings, 40572988 edges, 80886 markings/sec, 140 secs
lola: sara is running 145 secs || 13457070 markings, 42296234 edges, 81201 markings/sec, 145 secs
lola: sara is running 150 secs || 13847411 markings, 43988033 edges, 78068 markings/sec, 150 secs
lola: sara is running 155 secs || 14271177 markings, 45560876 edges, 84753 markings/sec, 155 secs
lola: sara is running 160 secs || 14665430 markings, 47147102 edges, 78851 markings/sec, 160 secs
lola: sara is running 165 secs || 15044195 markings, 48943276 edges, 75753 markings/sec, 165 secs
lola: sara is running 170 secs || 15440786 markings, 50574610 edges, 79318 markings/sec, 170 secs
lola: sara is running 175 secs || 15798193 markings, 52253194 edges, 71481 markings/sec, 175 secs
lola: sara is running 180 secs || 16172667 markings, 53971733 edges, 74895 markings/sec, 180 secs
lola: sara is running 185 secs || 16613595 markings, 55638490 edges, 88186 markings/sec, 185 secs
lola: sara is running 190 secs || 17045343 markings, 57309553 edges, 86350 markings/sec, 190 secs
lola: sara is running 195 secs || 17489385 markings, 59031704 edges, 88808 markings/sec, 195 secs
lola: sara is running 200 secs || 17895837 markings, 60645509 edges, 81290 markings/sec, 200 secs
lola: sara is running 205 secs || 18325783 markings, 62309316 edges, 85989 markings/sec, 205 secs
lola: sara is running 210 secs || 18754105 markings, 64002806 edges, 85664 markings/sec, 210 secs
lola: sara is running 215 secs || 19155865 markings, 65677057 edges, 80352 markings/sec, 215 secs
lola: sara is running 220 secs || 19592843 markings, 67195920 edges, 87396 markings/sec, 220 secs
lola: sara is running 225 secs || 19976417 markings, 68954014 edges, 76715 markings/sec, 225 secs
lola: sara is running 230 secs || 20342040 markings, 70770228 edges, 73125 markings/sec, 230 secs
lola: sara is running 235 secs || 20715420 markings, 72703099 edges, 74676 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 730964 KB
lola: time consumption: 663 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A22)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A22)))
lola: processed formula length: 18
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A22)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 340007 markings, 1199282 edges, 68001 markings/sec, 0 secs
lola: sara is running 5 secs || 673085 markings, 2474883 edges, 66616 markings/sec, 5 secs
lola: sara is running 10 secs || 1005992 markings, 3699322 edges, 66581 markings/sec, 10 secs
lola: sara is running 15 secs || 1328567 markings, 4969807 edges, 64515 markings/sec, 15 secs
lola: sara is running 20 secs || 1642052 markings, 6278312 edges, 62697 markings/sec, 20 secs
lola: sara is running 25 secs || 1956582 markings, 7600282 edges, 62906 markings/sec, 25 secs
lola: sara is running 30 secs || 2276480 markings, 8855266 edges, 63980 markings/sec, 30 secs
lola: sara is running 35 secs || 2594153 markings, 10113756 edges, 63535 markings/sec, 35 secs
lola: sara is running 40 secs || 2897744 markings, 11306085 edges, 60718 markings/sec, 40 secs
lola: sara is running 45 secs || 3207896 markings, 12579605 edges, 62030 markings/sec, 45 secs
lola: sara is running 50 secs || 3514355 markings, 13856659 edges, 61292 markings/sec, 50 secs
lola: sara is running 55 secs || 3819034 markings, 15139809 edges, 60936 markings/sec, 55 secs
lola: sara is running 60 secs || 4118507 markings, 16397937 edges, 59895 markings/sec, 60 secs
lola: sara is running 65 secs || 4428235 markings, 17668000 edges, 61946 markings/sec, 65 secs
lola: sara is running 70 secs || 4744604 markings, 18837161 edges, 63274 markings/sec, 70 secs
lola: sara is running 75 secs || 5064996 markings, 19999248 edges, 64078 markings/sec, 75 secs
lola: sara is running 80 secs || 5376323 markings, 21244692 edges, 62265 markings/sec, 80 secs
lola: sara is running 85 secs || 5686200 markings, 22450461 edges, 61975 markings/sec, 85 secs
lola: sara is running 90 secs || 5992763 markings, 23710269 edges, 61313 markings/sec, 90 secs
lola: sara is running 95 secs || 6300272 markings, 24988304 edges, 61502 markings/sec, 95 secs
lola: sara is running 100 secs || 6594200 markings, 26333426 edges, 58786 markings/sec, 100 secs
lola: sara is running 105 secs || 6902608 markings, 27525645 edges, 61682 markings/sec, 105 secs
lola: sara is running 110 secs || 7194730 markings, 28739336 edges, 58424 markings/sec, 110 secs
lola: sara is running 115 secs || 7488377 markings, 29948524 edges, 58729 markings/sec, 115 secs
lola: sara is running 120 secs || 7781516 markings, 31206140 edges, 58628 markings/sec, 120 secs
lola: sara is running 125 secs || 8076469 markings, 32427735 edges, 58991 markings/sec, 125 secs
lola: sara is running 130 secs || 8366481 markings, 33680744 edges, 58002 markings/sec, 130 secs
lola: sara is running 135 secs || 8658175 markings, 34864392 edges, 58339 markings/sec, 135 secs
lola: sara is running 140 secs || 8951473 markings, 35902876 edges, 58660 markings/sec, 140 secs
lola: sara is running 145 secs || 9223864 markings, 37217063 edges, 54478 markings/sec, 145 secs
lola: sara is running 150 secs || 9489032 markings, 38623758 edges, 53034 markings/sec, 150 secs
lola: sara is running 155 secs || 9755009 markings, 40200723 edges, 53195 markings/sec, 155 secs
lola: sara is running 160 secs || 10033512 markings, 41608759 edges, 55701 markings/sec, 160 secs
lola: sara is running 165 secs || 10315672 markings, 43053499 edges, 56432 markings/sec, 165 secs
lola: sara is running 170 secs || 10587952 markings, 44601710 edges, 54456 markings/sec, 170 secs
lola: sara is running 175 secs || 10858648 markings, 46110415 edges, 54139 markings/sec, 175 secs
lola: sara is running 180 secs || 11126293 markings, 47560334 edges, 53529 markings/sec, 180 secs
lola: sara is running 185 secs || 11384802 markings, 49117303 edges, 51702 markings/sec, 185 secs
lola: sara is running 190 secs || 11636603 markings, 50854116 edges, 50360 markings/sec, 190 secs
lola: sara is running 195 secs || 11929189 markings, 52518828 edges, 58517 markings/sec, 195 secs
lola: sara is running 200 secs || 12217539 markings, 54142996 edges, 57670 markings/sec, 200 secs
lola: sara is running 205 secs || 12494336 markings, 55814679 edges, 55359 markings/sec, 205 secs
lola: sara is running 210 secs || 12767037 markings, 57408402 edges, 54540 markings/sec, 210 secs
lola: sara is running 215 secs || 13039468 markings, 58984447 edges, 54486 markings/sec, 215 secs
lola: sara is running 220 secs || 13309357 markings, 60570095 edges, 53978 markings/sec, 220 secs
lola: sara is running 225 secs || 13580575 markings, 62178010 edges, 54244 markings/sec, 225 secs
lola: sara is running 230 secs || 13863185 markings, 63768834 edges, 56522 markings/sec, 230 secs
lola: sara is running 235 secs || 14149153 markings, 65303225 edges, 57194 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 501420 KB
lola: time consumption: 905 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A10)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A10)))
lola: processed formula length: 18
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A10)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 407555 markings, 1096426 edges, 81511 markings/sec, 0 secs
lola: sara is running 5 secs || 803215 markings, 2383396 edges, 79132 markings/sec, 5 secs
lola: sara is running 10 secs || 1185011 markings, 3960566 edges, 76359 markings/sec, 10 secs
lola: sara is running 15 secs || 1560382 markings, 5407456 edges, 75074 markings/sec, 15 secs
lola: sara is running 20 secs || 1927877 markings, 6678952 edges, 73499 markings/sec, 20 secs
lola: sara is running 25 secs || 2290402 markings, 7931873 edges, 72505 markings/sec, 25 secs
lola: sara is running 30 secs || 2644825 markings, 9174991 edges, 70885 markings/sec, 30 secs
lola: sara is running 35 secs || 2988838 markings, 10549249 edges, 68803 markings/sec, 35 secs
lola: sara is running 40 secs || 3320859 markings, 12104192 edges, 66404 markings/sec, 40 secs
lola: sara is running 45 secs || 3635561 markings, 13607847 edges, 62940 markings/sec, 45 secs
lola: sara is running 50 secs || 3949901 markings, 15186544 edges, 62868 markings/sec, 50 secs
lola: sara is running 55 secs || 4263172 markings, 16767749 edges, 62654 markings/sec, 55 secs
lola: sara is running 60 secs || 4614793 markings, 18430623 edges, 70324 markings/sec, 60 secs
lola: sara is running 65 secs || 4953598 markings, 19967603 edges, 67761 markings/sec, 65 secs
lola: sara is running 70 secs || 5274460 markings, 21629247 edges, 64172 markings/sec, 70 secs
lola: sara is running 75 secs || 5606456 markings, 23272787 edges, 66399 markings/sec, 75 secs
lola: sara is running 80 secs || 5959553 markings, 25062386 edges, 70619 markings/sec, 80 secs
lola: sara is running 85 secs || 6279792 markings, 27093507 edges, 64048 markings/sec, 85 secs
lola: sara is running 90 secs || 6616218 markings, 28766483 edges, 67285 markings/sec, 90 secs
lola: sara is running 95 secs || 6982760 markings, 30106421 edges, 73308 markings/sec, 95 secs
lola: sara is running 100 secs || 7338282 markings, 31530505 edges, 71104 markings/sec, 100 secs
lola: sara is running 105 secs || 7673243 markings, 32826942 edges, 66992 markings/sec, 105 secs
lola: sara is running 110 secs || 8002094 markings, 34250679 edges, 65770 markings/sec, 110 secs
lola: sara is running 115 secs || 8312086 markings, 35771203 edges, 61998 markings/sec, 115 secs
lola: sara is running 120 secs || 8622737 markings, 37304136 edges, 62130 markings/sec, 120 secs
lola: sara is running 125 secs || 8926922 markings, 38856178 edges, 60837 markings/sec, 125 secs
lola: sara is running 130 secs || 9224982 markings, 40456127 edges, 59612 markings/sec, 130 secs
lola: sara is running 135 secs || 9577044 markings, 42080655 edges, 70412 markings/sec, 135 secs
lola: sara is running 140 secs || 9896167 markings, 44024964 edges, 63825 markings/sec, 140 secs
lola: sara is running 145 secs || 10235311 markings, 45612628 edges, 67829 markings/sec, 145 secs
lola: sara is running 150 secs || 10568222 markings, 46917907 edges, 66582 markings/sec, 150 secs
lola: sara is running 155 secs || 10882697 markings, 48350530 edges, 62895 markings/sec, 155 secs
lola: sara is running 160 secs || 11178474 markings, 49875855 edges, 59155 markings/sec, 160 secs
lola: sara is running 165 secs || 11491497 markings, 51404359 edges, 62605 markings/sec, 165 secs
lola: sara is running 170 secs || 11831681 markings, 53161387 edges, 68037 markings/sec, 170 secs
lola: sara is running 175 secs || 12161553 markings, 54759860 edges, 65974 markings/sec, 175 secs
lola: sara is running 180 secs || 12486224 markings, 56229113 edges, 64934 markings/sec, 180 secs
lola: sara is running 185 secs || 12788351 markings, 57779917 edges, 60425 markings/sec, 185 secs
lola: sara is running 190 secs || 13129946 markings, 59483901 edges, 68319 markings/sec, 190 secs
lola: sara is running 195 secs || 13441204 markings, 60975155 edges, 62252 markings/sec, 195 secs
lola: sara is running 200 secs || 13757687 markings, 62644436 edges, 63297 markings/sec, 200 secs
lola: sara is running 205 secs || 14061334 markings, 64235506 edges, 60729 markings/sec, 205 secs
lola: sara is running 210 secs || 14395861 markings, 65641905 edges, 66905 markings/sec, 210 secs
lola: sara is running 215 secs || 14726985 markings, 66971148 edges, 66225 markings/sec, 215 secs
lola: sara is running 220 secs || 15080484 markings, 68171510 edges, 70700 markings/sec, 220 secs
lola: sara is running 225 secs || 15412649 markings, 69432541 edges, 66433 markings/sec, 225 secs
lola: sara is running 230 secs || 15753670 markings, 70787510 edges, 68204 markings/sec, 230 secs
lola: sara is running 235 secs || 16050165 markings, 72304153 edges, 59299 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 572140 KB
lola: time consumption: 1147 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A18)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A18)))
lola: processed formula length: 18
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A18)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 438382 markings, 1180452 edges, 87676 markings/sec, 0 secs
lola: sara is running 5 secs || 874122 markings, 2365017 edges, 87148 markings/sec, 5 secs
lola: sara is running 10 secs || 1344484 markings, 3553531 edges, 94072 markings/sec, 10 secs
lola: sara is running 15 secs || 1745724 markings, 5025355 edges, 80248 markings/sec, 15 secs
lola: sara is running 20 secs || 2125509 markings, 6399973 edges, 75957 markings/sec, 20 secs
lola: sara is running 25 secs || 2555937 markings, 7581263 edges, 86086 markings/sec, 25 secs
lola: sara is running 30 secs || 2932183 markings, 9120351 edges, 75249 markings/sec, 30 secs
lola: sara is running 35 secs || 3345879 markings, 10530645 edges, 82739 markings/sec, 35 secs
lola: sara is running 40 secs || 3683813 markings, 11963513 edges, 67587 markings/sec, 40 secs
lola: sara is running 45 secs || 3965844 markings, 13434830 edges, 56406 markings/sec, 45 secs
lola: sara is running 50 secs || 4250143 markings, 14929723 edges, 56860 markings/sec, 50 secs
lola: sara is running 55 secs || 4544030 markings, 16371211 edges, 58777 markings/sec, 55 secs
lola: sara is running 60 secs || 4878987 markings, 17735835 edges, 66991 markings/sec, 60 secs
lola: sara is running 65 secs || 5220740 markings, 18939782 edges, 68351 markings/sec, 65 secs
lola: sara is running 70 secs || 5666182 markings, 20132832 edges, 89088 markings/sec, 70 secs
lola: sara is running 75 secs || 6027262 markings, 21420754 edges, 72216 markings/sec, 75 secs
lola: sara is running 80 secs || 6403907 markings, 22709063 edges, 75329 markings/sec, 80 secs
lola: sara is running 85 secs || 6756097 markings, 23922333 edges, 70438 markings/sec, 85 secs
lola: sara is running 90 secs || 7183069 markings, 25196837 edges, 85394 markings/sec, 90 secs
lola: sara is running 95 secs || 7630850 markings, 26472731 edges, 89556 markings/sec, 95 secs
lola: sara is running 100 secs || 8105580 markings, 27638331 edges, 94946 markings/sec, 100 secs
lola: sara is running 105 secs || 8572803 markings, 28951849 edges, 93445 markings/sec, 105 secs
lola: sara is running 110 secs || 8906845 markings, 30576473 edges, 66808 markings/sec, 110 secs
lola: sara is running 115 secs || 9212088 markings, 32186311 edges, 61049 markings/sec, 115 secs
lola: sara is running 120 secs || 9626585 markings, 33741964 edges, 82899 markings/sec, 120 secs
lola: sara is running 125 secs || 10027303 markings, 35257294 edges, 80144 markings/sec, 125 secs
lola: sara is running 130 secs || 10411003 markings, 36622316 edges, 76740 markings/sec, 130 secs
lola: sara is running 135 secs || 10799533 markings, 38162714 edges, 77706 markings/sec, 135 secs
lola: sara is running 140 secs || 11129018 markings, 39855275 edges, 65897 markings/sec, 140 secs
lola: sara is running 145 secs || 11537391 markings, 41465199 edges, 81675 markings/sec, 145 secs
lola: sara is running 150 secs || 11859829 markings, 43088255 edges, 64488 markings/sec, 150 secs
lola: sara is running 155 secs || 12180042 markings, 44605622 edges, 64043 markings/sec, 155 secs
lola: sara is running 160 secs || 12593655 markings, 46120606 edges, 82723 markings/sec, 160 secs
lola: sara is running 165 secs || 12993996 markings, 47679088 edges, 80068 markings/sec, 165 secs
lola: sara is running 170 secs || 13391075 markings, 49166109 edges, 79416 markings/sec, 170 secs
lola: sara is running 175 secs || 13714319 markings, 50572195 edges, 64649 markings/sec, 175 secs
lola: sara is running 180 secs || 14020868 markings, 52451501 edges, 61310 markings/sec, 180 secs
lola: sara is running 185 secs || 14370377 markings, 54399731 edges, 69902 markings/sec, 185 secs
lola: sara is running 190 secs || 14721776 markings, 56239327 edges, 70280 markings/sec, 190 secs
lola: sara is running 195 secs || 15064430 markings, 58046016 edges, 68531 markings/sec, 195 secs
lola: sara is running 200 secs || 15523629 markings, 59166917 edges, 91840 markings/sec, 200 secs
lola: sara is running 205 secs || 15944217 markings, 60491054 edges, 84118 markings/sec, 205 secs
lola: sara is running 210 secs || 16354706 markings, 61857415 edges, 82098 markings/sec, 210 secs
lola: sara is running 215 secs || 16640902 markings, 63351553 edges, 57239 markings/sec, 215 secs
lola: sara is running 220 secs || 16943851 markings, 64774169 edges, 60590 markings/sec, 220 secs
lola: sara is running 225 secs || 17245277 markings, 66187225 edges, 60285 markings/sec, 225 secs
lola: sara is running 230 secs || 17574106 markings, 67462007 edges, 65766 markings/sec, 230 secs
lola: sara is running 235 secs || 17935134 markings, 68728917 edges, 72206 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 636440 KB
lola: time consumption: 1389 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A8)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A8)))
lola: processed formula length: 17
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A8)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 404903 markings, 1071264 edges, 80981 markings/sec, 0 secs
lola: sara is running 5 secs || 779335 markings, 2170588 edges, 74886 markings/sec, 5 secs
lola: sara is running 10 secs || 1163748 markings, 3251804 edges, 76883 markings/sec, 10 secs
lola: sara is running 15 secs || 1537501 markings, 4346754 edges, 74751 markings/sec, 15 secs
lola: sara is running 20 secs || 1930789 markings, 5419046 edges, 78658 markings/sec, 20 secs
lola: sara is running 25 secs || 2300150 markings, 6520455 edges, 73872 markings/sec, 25 secs
lola: sara is running 30 secs || 2676234 markings, 7601657 edges, 75217 markings/sec, 30 secs
lola: sara is running 35 secs || 3040244 markings, 8696414 edges, 72802 markings/sec, 35 secs
lola: sara is running 40 secs || 3385885 markings, 10014053 edges, 69128 markings/sec, 40 secs
lola: sara is running 45 secs || 3709388 markings, 11378486 edges, 64701 markings/sec, 45 secs
lola: sara is running 50 secs || 4050856 markings, 12811151 edges, 68294 markings/sec, 50 secs
lola: sara is running 55 secs || 4372371 markings, 14211223 edges, 64303 markings/sec, 55 secs
lola: sara is running 60 secs || 4704062 markings, 15609854 edges, 66338 markings/sec, 60 secs
lola: sara is running 65 secs || 5043638 markings, 16863101 edges, 67915 markings/sec, 65 secs
lola: sara is running 70 secs || 5374420 markings, 18120364 edges, 66156 markings/sec, 70 secs
lola: sara is running 75 secs || 5700875 markings, 19387529 edges, 65291 markings/sec, 75 secs
lola: sara is running 80 secs || 6030006 markings, 20671176 edges, 65826 markings/sec, 80 secs
lola: sara is running 85 secs || 6353507 markings, 21952753 edges, 64700 markings/sec, 85 secs
lola: sara is running 90 secs || 6677660 markings, 23211712 edges, 64831 markings/sec, 90 secs
lola: sara is running 95 secs || 6993751 markings, 24496803 edges, 63218 markings/sec, 95 secs
lola: sara is running 100 secs || 7315063 markings, 25830682 edges, 64262 markings/sec, 100 secs
lola: sara is running 105 secs || 7637480 markings, 27124422 edges, 64483 markings/sec, 105 secs
lola: sara is running 110 secs || 7950836 markings, 28465608 edges, 62671 markings/sec, 110 secs
lola: sara is running 115 secs || 8264109 markings, 29755246 edges, 62655 markings/sec, 115 secs
lola: sara is running 120 secs || 8575042 markings, 31076149 edges, 62187 markings/sec, 120 secs
lola: sara is running 125 secs || 8886272 markings, 32509141 edges, 62246 markings/sec, 125 secs
lola: sara is running 130 secs || 9172264 markings, 34049544 edges, 57198 markings/sec, 130 secs
lola: sara is running 135 secs || 9462371 markings, 35463676 edges, 58021 markings/sec, 135 secs
lola: sara is running 140 secs || 9737246 markings, 37061074 edges, 54975 markings/sec, 140 secs
lola: sara is running 145 secs || 10036681 markings, 38577559 edges, 59887 markings/sec, 145 secs
lola: sara is running 150 secs || 10311694 markings, 40159970 edges, 55003 markings/sec, 150 secs
lola: sara is running 155 secs || 10590692 markings, 41643312 edges, 55800 markings/sec, 155 secs
lola: sara is running 160 secs || 10886067 markings, 43086415 edges, 59075 markings/sec, 160 secs
lola: sara is running 165 secs || 11174014 markings, 44503267 edges, 57589 markings/sec, 165 secs
lola: sara is running 170 secs || 11448586 markings, 46019452 edges, 54914 markings/sec, 170 secs
lola: sara is running 175 secs || 11741626 markings, 47446983 edges, 58608 markings/sec, 175 secs
lola: sara is running 180 secs || 12050797 markings, 48908086 edges, 61834 markings/sec, 180 secs
lola: sara is running 185 secs || 12350475 markings, 50483142 edges, 59936 markings/sec, 185 secs
lola: sara is running 190 secs || 12657290 markings, 51977469 edges, 61363 markings/sec, 190 secs
lola: sara is running 195 secs || 12951550 markings, 53496332 edges, 58852 markings/sec, 195 secs
lola: sara is running 200 secs || 13262913 markings, 54916844 edges, 62273 markings/sec, 200 secs
lola: sara is running 205 secs || 13575690 markings, 56298206 edges, 62555 markings/sec, 205 secs
lola: sara is running 210 secs || 13885216 markings, 57604702 edges, 61905 markings/sec, 210 secs
lola: sara is running 215 secs || 14203239 markings, 58920207 edges, 63605 markings/sec, 215 secs
lola: sara is running 220 secs || 14509043 markings, 60315089 edges, 61161 markings/sec, 220 secs
lola: sara is running 225 secs || 14801329 markings, 61817191 edges, 58457 markings/sec, 225 secs
lola: sara is running 230 secs || 15088604 markings, 63442206 edges, 57455 markings/sec, 230 secs
lola: sara is running 235 secs || 15369955 markings, 65089041 edges, 56270 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 549428 KB
lola: time consumption: 1631 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A27) AND (2 <= A11))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A27) AND (2 <= A11))))
lola: processed formula length: 35
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((2 <= A27) AND (2 <= A11))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 432595 markings, 1210332 edges, 86519 markings/sec, 0 secs
lola: sara is running 5 secs || 869381 markings, 2448644 edges, 87357 markings/sec, 5 secs
lola: sara is running 10 secs || 1299831 markings, 3772822 edges, 86090 markings/sec, 10 secs
lola: sara is running 15 secs || 1720095 markings, 5135043 edges, 84053 markings/sec, 15 secs
lola: sara is running 20 secs || 2096019 markings, 6525391 edges, 75185 markings/sec, 20 secs
lola: sara is running 25 secs || 2482460 markings, 7777837 edges, 77288 markings/sec, 25 secs
lola: sara is running 30 secs || 2836533 markings, 9211130 edges, 70815 markings/sec, 30 secs
lola: sara is running 35 secs || 3212011 markings, 10665117 edges, 75096 markings/sec, 35 secs
lola: sara is running 40 secs || 3590962 markings, 12023191 edges, 75790 markings/sec, 40 secs
lola: sara is running 45 secs || 3920524 markings, 13614667 edges, 65912 markings/sec, 45 secs
lola: sara is running 50 secs || 4348701 markings, 14967148 edges, 85635 markings/sec, 50 secs
lola: sara is running 55 secs || 4728991 markings, 16450888 edges, 76058 markings/sec, 55 secs
lola: sara is running 60 secs || 5084049 markings, 17863327 edges, 71012 markings/sec, 60 secs
lola: sara is running 65 secs || 5436402 markings, 19016692 edges, 70471 markings/sec, 65 secs
lola: sara is running 70 secs || 5784067 markings, 20213538 edges, 69533 markings/sec, 70 secs
lola: sara is running 75 secs || 6129965 markings, 21422590 edges, 69180 markings/sec, 75 secs
lola: sara is running 80 secs || 6446281 markings, 22919550 edges, 63263 markings/sec, 80 secs
lola: sara is running 85 secs || 6756159 markings, 24316180 edges, 61976 markings/sec, 85 secs
lola: sara is running 90 secs || 7063104 markings, 25917456 edges, 61389 markings/sec, 90 secs
lola: sara is running 95 secs || 7380206 markings, 27351223 edges, 63420 markings/sec, 95 secs
lola: sara is running 100 secs || 7686307 markings, 28947867 edges, 61220 markings/sec, 100 secs
lola: sara is running 105 secs || 8008380 markings, 30538141 edges, 64415 markings/sec, 105 secs
lola: sara is running 110 secs || 8308117 markings, 32130094 edges, 59947 markings/sec, 110 secs
lola: sara is running 115 secs || 8598807 markings, 33697743 edges, 58138 markings/sec, 115 secs
lola: sara is running 120 secs || 8950572 markings, 35021412 edges, 70353 markings/sec, 120 secs
lola: sara is running 125 secs || 9294737 markings, 36410293 edges, 68833 markings/sec, 125 secs
lola: sara is running 130 secs || 9602992 markings, 37942789 edges, 61651 markings/sec, 130 secs
lola: sara is running 135 secs || 9898874 markings, 39280598 edges, 59176 markings/sec, 135 secs
lola: sara is running 140 secs || 10182700 markings, 40902282 edges, 56765 markings/sec, 140 secs
lola: sara is running 145 secs || 10481493 markings, 42518868 edges, 59759 markings/sec, 145 secs
lola: sara is running 150 secs || 10868480 markings, 43902880 edges, 77397 markings/sec, 150 secs
lola: sara is running 155 secs || 11279692 markings, 45361354 edges, 82242 markings/sec, 155 secs
lola: sara is running 160 secs || 11651494 markings, 46781670 edges, 74360 markings/sec, 160 secs
lola: sara is running 165 secs || 12032184 markings, 48256812 edges, 76138 markings/sec, 165 secs
lola: sara is running 170 secs || 12404011 markings, 49805015 edges, 74365 markings/sec, 170 secs
lola: sara is running 175 secs || 12733186 markings, 51530558 edges, 65835 markings/sec, 175 secs
lola: sara is running 180 secs || 13057263 markings, 53159105 edges, 64815 markings/sec, 180 secs
lola: sara is running 185 secs || 13377899 markings, 54854217 edges, 64127 markings/sec, 185 secs
lola: sara is running 190 secs || 13683231 markings, 56573577 edges, 61066 markings/sec, 190 secs
lola: sara is running 195 secs || 13974500 markings, 58232374 edges, 58254 markings/sec, 195 secs
lola: sara is running 200 secs || 14322043 markings, 60051413 edges, 69509 markings/sec, 200 secs
lola: sara is running 205 secs || 14710497 markings, 61532789 edges, 77691 markings/sec, 205 secs
lola: sara is running 210 secs || 15095533 markings, 62958918 edges, 77007 markings/sec, 210 secs
lola: sara is running 215 secs || 15455935 markings, 64252392 edges, 72080 markings/sec, 215 secs
lola: sara is running 220 secs || 15807988 markings, 65552914 edges, 70411 markings/sec, 220 secs
lola: sara is running 225 secs || 16154555 markings, 66974659 edges, 69313 markings/sec, 225 secs
lola: sara is running 230 secs || 16447937 markings, 68431348 edges, 58676 markings/sec, 230 secs
lola: sara is running 235 secs || 16777951 markings, 69870044 edges, 66003 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 610372 KB
lola: time consumption: 1873 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A6) AND (2 <= A16) AND (1 <= A20) AND (3 <= A24))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A6) AND (2 <= A16) AND (1 <= A20) AND (3 <= A24))))
lola: processed formula length: 64
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((3 <= A6) AND (2 <= A16) AND (1 <= A20) AND (3 <= A24))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 460167 markings, 1341514 edges, 92033 markings/sec, 0 secs
lola: sara is running 5 secs || 904211 markings, 2859863 edges, 88809 markings/sec, 5 secs
lola: sara is running 10 secs || 1330773 markings, 4322136 edges, 85312 markings/sec, 10 secs
lola: sara is running 15 secs || 1823383 markings, 5837145 edges, 98522 markings/sec, 15 secs
lola: sara is running 20 secs || 2355793 markings, 7242892 edges, 106482 markings/sec, 20 secs
lola: sara is running 25 secs || 2754788 markings, 8760029 edges, 79799 markings/sec, 25 secs
lola: sara is running 30 secs || 3167842 markings, 10222781 edges, 82611 markings/sec, 30 secs
lola: sara is running 35 secs || 3549716 markings, 11627911 edges, 76375 markings/sec, 35 secs
lola: sara is running 40 secs || 3950091 markings, 13000100 edges, 80075 markings/sec, 40 secs
lola: sara is running 45 secs || 4349386 markings, 14367273 edges, 79859 markings/sec, 45 secs
lola: sara is running 50 secs || 4802551 markings, 15695107 edges, 90633 markings/sec, 50 secs
lola: sara is running 55 secs || 5179598 markings, 17336718 edges, 75409 markings/sec, 55 secs
lola: sara is running 60 secs || 5516531 markings, 19067102 edges, 67387 markings/sec, 60 secs
lola: sara is running 65 secs || 5869203 markings, 20722890 edges, 70534 markings/sec, 65 secs
lola: sara is running 70 secs || 6280509 markings, 22369706 edges, 82261 markings/sec, 70 secs
lola: sara is running 75 secs || 6636536 markings, 24089086 edges, 71205 markings/sec, 75 secs
lola: sara is running 80 secs || 7022606 markings, 25803328 edges, 77214 markings/sec, 80 secs
lola: sara is running 85 secs || 7469781 markings, 27509402 edges, 89435 markings/sec, 85 secs
lola: sara is running 90 secs || 7828666 markings, 29234635 edges, 71777 markings/sec, 90 secs
lola: sara is running 95 secs || 8179235 markings, 30878762 edges, 70114 markings/sec, 95 secs
lola: sara is running 100 secs || 8553233 markings, 32549325 edges, 74800 markings/sec, 100 secs
lola: sara is running 105 secs || 8872858 markings, 34469189 edges, 63925 markings/sec, 105 secs
lola: sara is running 110 secs || 9234590 markings, 36300281 edges, 72346 markings/sec, 110 secs
lola: sara is running 115 secs || 9661788 markings, 37776394 edges, 85440 markings/sec, 115 secs
lola: sara is running 120 secs || 10118320 markings, 39285293 edges, 91306 markings/sec, 120 secs
lola: sara is running 125 secs || 10606202 markings, 40774244 edges, 97576 markings/sec, 125 secs
lola: sara is running 130 secs || 11047843 markings, 42220962 edges, 88328 markings/sec, 130 secs
lola: sara is running 135 secs || 11442257 markings, 43620327 edges, 78883 markings/sec, 135 secs
lola: sara is running 140 secs || 11836964 markings, 44999162 edges, 78941 markings/sec, 140 secs
lola: sara is running 145 secs || 12220257 markings, 46514950 edges, 76659 markings/sec, 145 secs
lola: sara is running 150 secs || 12566930 markings, 48226654 edges, 69335 markings/sec, 150 secs
lola: sara is running 155 secs || 12908366 markings, 49897309 edges, 68287 markings/sec, 155 secs
lola: sara is running 160 secs || 13292834 markings, 51595385 edges, 76894 markings/sec, 160 secs
lola: sara is running 165 secs || 13713110 markings, 53348088 edges, 84055 markings/sec, 165 secs
lola: sara is running 170 secs || 14073554 markings, 55019119 edges, 72089 markings/sec, 170 secs
lola: sara is running 175 secs || 14403648 markings, 56872261 edges, 66019 markings/sec, 175 secs
lola: sara is running 180 secs || 14784848 markings, 58565788 edges, 76240 markings/sec, 180 secs
lola: sara is running 185 secs || 15259136 markings, 60113079 edges, 94858 markings/sec, 185 secs
lola: sara is running 190 secs || 15714317 markings, 61521425 edges, 91036 markings/sec, 190 secs
lola: sara is running 195 secs || 16107626 markings, 63005792 edges, 78662 markings/sec, 195 secs
lola: sara is running 200 secs || 16451227 markings, 64684493 edges, 68720 markings/sec, 200 secs
lola: sara is running 205 secs || 16860599 markings, 66413320 edges, 81874 markings/sec, 205 secs
lola: sara is running 210 secs || 17244061 markings, 68132097 edges, 76692 markings/sec, 210 secs
lola: sara is running 215 secs || 17594244 markings, 69880737 edges, 70037 markings/sec, 215 secs
lola: sara is running 220 secs || 17971385 markings, 71435881 edges, 75428 markings/sec, 220 secs
lola: sara is running 225 secs || 18338840 markings, 72837847 edges, 73491 markings/sec, 225 secs
lola: sara is running 230 secs || 18684295 markings, 74554740 edges, 69091 markings/sec, 230 secs
lola: sara is running 235 secs || 19055815 markings, 76160894 edges, 74304 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 677580 KB
lola: time consumption: 2115 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A1 <= A6) AND (3 <= A18) AND (1 <= A18) AND ((3 <= A8) OR (3 <= A23)))))
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 (((A1 <= A6) AND (3 <= A18) AND (1 <= A18) AND ((3 <= A8) OR (3 <= A23)))))
lola: processed formula length: 81
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A1 <= A6) AND (3 <= A18) AND (1 <= A18) AND ((3 <= A8) OR (3 <= A23)))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 454340 markings, 1194842 edges, 90868 markings/sec, 0 secs
lola: sara is running 5 secs || 857822 markings, 2541365 edges, 80696 markings/sec, 5 secs
lola: sara is running 10 secs || 1196656 markings, 3827405 edges, 67767 markings/sec, 10 secs
lola: sara is running 15 secs || 1604084 markings, 4949392 edges, 81486 markings/sec, 15 secs
lola: sara is running 20 secs || 2076610 markings, 6082189 edges, 94505 markings/sec, 20 secs
lola: sara is running 25 secs || 2527055 markings, 7442731 edges, 90089 markings/sec, 25 secs
lola: sara is running 30 secs || 2966138 markings, 8870326 edges, 87817 markings/sec, 30 secs
lola: sara is running 35 secs || 3353294 markings, 10399409 edges, 77431 markings/sec, 35 secs
lola: sara is running 40 secs || 3780581 markings, 11879945 edges, 85457 markings/sec, 40 secs
lola: sara is running 45 secs || 4155310 markings, 13510912 edges, 74946 markings/sec, 45 secs
lola: sara is running 50 secs || 4542709 markings, 15145154 edges, 77480 markings/sec, 50 secs
lola: sara is running 55 secs || 4887432 markings, 16324713 edges, 68945 markings/sec, 55 secs
lola: sara is running 60 secs || 5340827 markings, 17382326 edges, 90679 markings/sec, 60 secs
lola: sara is running 65 secs || 5750490 markings, 18753702 edges, 81933 markings/sec, 65 secs
lola: sara is running 70 secs || 6124960 markings, 20276194 edges, 74894 markings/sec, 70 secs
lola: sara is running 75 secs || 6539902 markings, 21786936 edges, 82988 markings/sec, 75 secs
lola: sara is running 80 secs || 6921302 markings, 23404769 edges, 76280 markings/sec, 80 secs
lola: sara is running 85 secs || 7288315 markings, 24708347 edges, 73403 markings/sec, 85 secs
lola: sara is running 90 secs || 7593835 markings, 26040163 edges, 61104 markings/sec, 90 secs
lola: sara is running 95 secs || 7879917 markings, 27414154 edges, 57216 markings/sec, 95 secs
lola: sara is running 100 secs || 8161850 markings, 29032223 edges, 56387 markings/sec, 100 secs
lola: sara is running 105 secs || 8489612 markings, 30381807 edges, 65552 markings/sec, 105 secs
lola: sara is running 110 secs || 8788718 markings, 31749303 edges, 59821 markings/sec, 110 secs
lola: sara is running 115 secs || 9087346 markings, 33222609 edges, 59726 markings/sec, 115 secs
lola: sara is running 120 secs || 9381737 markings, 34715898 edges, 58878 markings/sec, 120 secs
lola: sara is running 125 secs || 9684349 markings, 36049122 edges, 60522 markings/sec, 125 secs
lola: sara is running 130 secs || 9984735 markings, 37393820 edges, 60077 markings/sec, 130 secs
lola: sara is running 135 secs || 10284116 markings, 38863979 edges, 59876 markings/sec, 135 secs
lola: sara is running 140 secs || 10573854 markings, 40219917 edges, 57948 markings/sec, 140 secs
lola: sara is running 145 secs || 10967110 markings, 41396879 edges, 78651 markings/sec, 145 secs
lola: sara is running 150 secs || 11367148 markings, 42565189 edges, 80008 markings/sec, 150 secs
lola: sara is running 155 secs || 11790760 markings, 43943352 edges, 84722 markings/sec, 155 secs
lola: sara is running 160 secs || 12200619 markings, 45443444 edges, 81972 markings/sec, 160 secs
lola: sara is running 165 secs || 12539337 markings, 46593126 edges, 67744 markings/sec, 165 secs
lola: sara is running 170 secs || 12949716 markings, 47954621 edges, 82076 markings/sec, 170 secs
lola: sara is running 175 secs || 13337251 markings, 49315956 edges, 77507 markings/sec, 175 secs
lola: sara is running 180 secs || 13644576 markings, 50589763 edges, 61465 markings/sec, 180 secs
lola: sara is running 185 secs || 13956605 markings, 51890731 edges, 62406 markings/sec, 185 secs
lola: sara is running 190 secs || 14274241 markings, 53124773 edges, 63527 markings/sec, 190 secs
lola: sara is running 195 secs || 14691447 markings, 54344357 edges, 83441 markings/sec, 195 secs
lola: sara is running 200 secs || 15077983 markings, 55539985 edges, 77307 markings/sec, 200 secs
lola: sara is running 205 secs || 15462529 markings, 56727104 edges, 76909 markings/sec, 205 secs
lola: sara is running 210 secs || 15785474 markings, 57883814 edges, 64589 markings/sec, 210 secs
lola: sara is running 215 secs || 16141563 markings, 59035990 edges, 71218 markings/sec, 215 secs
lola: sara is running 220 secs || 16588857 markings, 60379616 edges, 89459 markings/sec, 220 secs
lola: sara is running 225 secs || 17035428 markings, 61680451 edges, 89314 markings/sec, 225 secs
lola: sara is running 230 secs || 17510278 markings, 62925297 edges, 94970 markings/sec, 230 secs
lola: sara is running 235 secs || 17971362 markings, 64123899 edges, 92217 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 641364 KB
lola: time consumption: 2357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A8 <= 0) AND (A26 <= 1) AND (A18 <= 1) AND (A22 + 1 <= A1))))
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 (((A8 <= 0) AND (A26 <= 1) AND (A18 <= 1) AND (A22 + 1 <= A1))))
lola: processed formula length: 69
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A8 <= 0) AND (A26 <= 1) AND (A18 <= 1) AND (A22 + 1 <= A1))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 348298 markings, 1190257 edges, 69660 markings/sec, 0 secs
lola: sara is running 5 secs || 695385 markings, 2192471 edges, 69417 markings/sec, 5 secs
lola: sara is running 10 secs || 1039255 markings, 3248741 edges, 68774 markings/sec, 10 secs
lola: sara is running 15 secs || 1353991 markings, 4718913 edges, 62947 markings/sec, 15 secs
lola: sara is running 20 secs || 1672427 markings, 6136648 edges, 63687 markings/sec, 20 secs
lola: sara is running 25 secs || 1976143 markings, 7770888 edges, 60743 markings/sec, 25 secs
lola: sara is running 30 secs || 2311856 markings, 8842419 edges, 67143 markings/sec, 30 secs
lola: sara is running 35 secs || 2621667 markings, 10283053 edges, 61962 markings/sec, 35 secs
lola: sara is running 40 secs || 2937612 markings, 11579632 edges, 63189 markings/sec, 40 secs
lola: sara is running 45 secs || 3275030 markings, 12644219 edges, 67484 markings/sec, 45 secs
lola: sara is running 50 secs || 3588474 markings, 13975105 edges, 62689 markings/sec, 50 secs
lola: sara is running 55 secs || 3899728 markings, 15365216 edges, 62251 markings/sec, 55 secs
lola: sara is running 60 secs || 4193744 markings, 17010257 edges, 58803 markings/sec, 60 secs
lola: sara is running 65 secs || 4507513 markings, 18498935 edges, 62754 markings/sec, 65 secs
lola: sara is running 70 secs || 4797344 markings, 20206319 edges, 57966 markings/sec, 70 secs
lola: sara is running 75 secs || 5087883 markings, 21927563 edges, 58108 markings/sec, 75 secs
lola: sara is running 80 secs || 5391222 markings, 23389190 edges, 60668 markings/sec, 80 secs
lola: sara is running 85 secs || 5688330 markings, 25139538 edges, 59422 markings/sec, 85 secs
lola: sara is running 90 secs || 6026472 markings, 26304385 edges, 67628 markings/sec, 90 secs
lola: sara is running 95 secs || 6350933 markings, 27596244 edges, 64892 markings/sec, 95 secs
lola: sara is running 100 secs || 6695368 markings, 28673966 edges, 68887 markings/sec, 100 secs
lola: sara is running 105 secs || 7022039 markings, 29920612 edges, 65334 markings/sec, 105 secs
lola: sara is running 110 secs || 7338581 markings, 31303306 edges, 63308 markings/sec, 110 secs
lola: sara is running 115 secs || 7647284 markings, 32759939 edges, 61741 markings/sec, 115 secs
lola: sara is running 120 secs || 7959965 markings, 34021563 edges, 62536 markings/sec, 120 secs
lola: sara is running 125 secs || 8267140 markings, 35227715 edges, 61435 markings/sec, 125 secs
lola: sara is running 130 secs || 8571377 markings, 36454490 edges, 60847 markings/sec, 130 secs
lola: sara is running 135 secs || 8872436 markings, 37661722 edges, 60212 markings/sec, 135 secs
lola: sara is running 140 secs || 9169863 markings, 38890814 edges, 59485 markings/sec, 140 secs
lola: sara is running 145 secs || 9474423 markings, 40098783 edges, 60912 markings/sec, 145 secs
lola: sara is running 150 secs || 9780741 markings, 41327762 edges, 61264 markings/sec, 150 secs
lola: sara is running 155 secs || 10081508 markings, 42434764 edges, 60153 markings/sec, 155 secs
lola: sara is running 160 secs || 10385119 markings, 43531425 edges, 60722 markings/sec, 160 secs
lola: sara is running 165 secs || 10704134 markings, 44632627 edges, 63803 markings/sec, 165 secs
lola: sara is running 170 secs || 11024470 markings, 45804611 edges, 64067 markings/sec, 170 secs
lola: sara is running 175 secs || 11308117 markings, 47203809 edges, 56729 markings/sec, 175 secs
lola: sara is running 180 secs || 11604858 markings, 48721759 edges, 59348 markings/sec, 180 secs
lola: sara is running 185 secs || 11884122 markings, 50149145 edges, 55853 markings/sec, 185 secs
lola: sara is running 190 secs || 12179163 markings, 51634039 edges, 59008 markings/sec, 190 secs
lola: sara is running 195 secs || 12453178 markings, 53304842 edges, 54803 markings/sec, 195 secs
lola: sara is running 200 secs || 12751890 markings, 54973784 edges, 59742 markings/sec, 200 secs
lola: sara is running 205 secs || 13049216 markings, 56511801 edges, 59465 markings/sec, 205 secs
lola: sara is running 210 secs || 13341432 markings, 58046358 edges, 58443 markings/sec, 210 secs
lola: sara is running 215 secs || 13632418 markings, 59585751 edges, 58197 markings/sec, 215 secs
lola: sara is running 220 secs || 13913643 markings, 61159517 edges, 56245 markings/sec, 220 secs
lola: sara is running 225 secs || 14195551 markings, 62710392 edges, 56382 markings/sec, 225 secs
lola: sara is running 230 secs || 14477266 markings, 64146452 edges, 56343 markings/sec, 230 secs
lola: sara is running 235 secs || 14772517 markings, 65631192 edges, 59050 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 522644 KB
lola: time consumption: 2599 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A25) AND (A18 <= B27) AND (A8 + 1 <= A9) AND (3 <= A12))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A25) AND (A18 <= B27) AND (A8 + 1 <= A9) AND (3 <= A12))))
lola: processed formula length: 71
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((2 <= A25) AND (A18 <= B27) AND (A8 + 1 <= A9) AND (3 <= A12))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 449918 markings, 1101785 edges, 89984 markings/sec, 0 secs
lola: sara is running 5 secs || 845829 markings, 2344253 edges, 79182 markings/sec, 5 secs
lola: sara is running 10 secs || 1245653 markings, 3575596 edges, 79965 markings/sec, 10 secs
lola: sara is running 15 secs || 1655689 markings, 4694226 edges, 82007 markings/sec, 15 secs
lola: sara is running 20 secs || 2032028 markings, 6073206 edges, 75268 markings/sec, 20 secs
lola: sara is running 25 secs || 2433410 markings, 7276536 edges, 80276 markings/sec, 25 secs
lola: sara is running 30 secs || 2832177 markings, 8528377 edges, 79753 markings/sec, 30 secs
lola: sara is running 35 secs || 3200414 markings, 9809489 edges, 73647 markings/sec, 35 secs
lola: sara is running 40 secs || 3538965 markings, 11004821 edges, 67710 markings/sec, 40 secs
lola: sara is running 45 secs || 3845671 markings, 12523792 edges, 61341 markings/sec, 45 secs
lola: sara is running 50 secs || 4190757 markings, 13917245 edges, 69017 markings/sec, 50 secs
lola: sara is running 55 secs || 4554600 markings, 15301209 edges, 72769 markings/sec, 55 secs
lola: sara is running 60 secs || 4923523 markings, 16581879 edges, 73785 markings/sec, 60 secs
lola: sara is running 65 secs || 5251423 markings, 17906297 edges, 65580 markings/sec, 65 secs
lola: sara is running 70 secs || 5580754 markings, 19311840 edges, 65866 markings/sec, 70 secs
lola: sara is running 75 secs || 5923228 markings, 20713930 edges, 68495 markings/sec, 75 secs
lola: sara is running 80 secs || 6264303 markings, 22043601 edges, 68215 markings/sec, 80 secs
lola: sara is running 85 secs || 6600241 markings, 23419497 edges, 67188 markings/sec, 85 secs
lola: sara is running 90 secs || 6964020 markings, 24735114 edges, 72756 markings/sec, 90 secs
lola: sara is running 95 secs || 7324295 markings, 26006458 edges, 72055 markings/sec, 95 secs
lola: sara is running 100 secs || 7661610 markings, 27197694 edges, 67463 markings/sec, 100 secs
lola: sara is running 105 secs || 7996976 markings, 28379722 edges, 67073 markings/sec, 105 secs
lola: sara is running 110 secs || 8291123 markings, 29547290 edges, 58829 markings/sec, 110 secs
lola: sara is running 115 secs || 8573007 markings, 30842371 edges, 56377 markings/sec, 115 secs
lola: sara is running 120 secs || 8891414 markings, 32012771 edges, 63681 markings/sec, 120 secs
lola: sara is running 125 secs || 9208504 markings, 33379299 edges, 63418 markings/sec, 125 secs
lola: sara is running 130 secs || 9492921 markings, 34815466 edges, 56883 markings/sec, 130 secs
lola: sara is running 135 secs || 9772900 markings, 36349694 edges, 55996 markings/sec, 135 secs
lola: sara is running 140 secs || 10069913 markings, 37850366 edges, 59403 markings/sec, 140 secs
lola: sara is running 145 secs || 10341274 markings, 39359250 edges, 54272 markings/sec, 145 secs
lola: sara is running 150 secs || 10646627 markings, 40872961 edges, 61071 markings/sec, 150 secs
lola: sara is running 155 secs || 10914279 markings, 42597014 edges, 53530 markings/sec, 155 secs
lola: sara is running 160 secs || 11244375 markings, 44153620 edges, 66019 markings/sec, 160 secs
lola: sara is running 165 secs || 11559819 markings, 45683963 edges, 63089 markings/sec, 165 secs
lola: sara is running 170 secs || 11899176 markings, 47190382 edges, 67871 markings/sec, 170 secs
lola: sara is running 175 secs || 12210955 markings, 48656465 edges, 62356 markings/sec, 175 secs
lola: sara is running 180 secs || 12482505 markings, 50113442 edges, 54310 markings/sec, 180 secs
lola: sara is running 185 secs || 12775949 markings, 51710158 edges, 58689 markings/sec, 185 secs
lola: sara is running 190 secs || 13054702 markings, 53401499 edges, 55751 markings/sec, 190 secs
lola: sara is running 195 secs || 13356810 markings, 55083190 edges, 60422 markings/sec, 195 secs
lola: sara is running 200 secs || 13625109 markings, 56840764 edges, 53660 markings/sec, 200 secs
lola: sara is running 205 secs || 13945750 markings, 58538966 edges, 64128 markings/sec, 205 secs
lola: sara is running 210 secs || 14296697 markings, 60054926 edges, 70189 markings/sec, 210 secs
lola: sara is running 215 secs || 14616941 markings, 61648482 edges, 64049 markings/sec, 215 secs
lola: sara is running 220 secs || 14959919 markings, 63193456 edges, 68596 markings/sec, 220 secs
lola: sara is running 225 secs || 15289895 markings, 64628507 edges, 65995 markings/sec, 225 secs
lola: sara is running 230 secs || 15569322 markings, 66033376 edges, 55885 markings/sec, 230 secs
lola: sara is running 235 secs || 15876910 markings, 67496969 edges, 61518 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 564212 KB
lola: time consumption: 2841 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A19 <= A4) OR (((3 <= A11) OR (A23 <= A25)) AND (A21 <= A7)))))
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 (((A19 <= A4) OR (((3 <= A11) OR (A23 <= A25)) AND (A21 <= A7)))))
lola: processed formula length: 73
lola: 11 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A4 + 1 <= A19) AND (((A11 <= 2) AND (A25 + 1 <= A23)) OR (A7 + 1 <= A21)))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A7 <= A1) AND (A10 + 1 <= B14) AND ((A17 <= A19) OR (2 <= A16) OR (A22 <= B15)))))
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 (((A7 <= A1) AND (A10 + 1 <= B14) AND ((A17 <= A19) OR (2 <= A16) OR (A22 <= B15)))))
lola: processed formula length: 92
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A7 <= A1) AND (A10 + 1 <= B14) AND ((A17 <= A19) OR (2 <= A16) OR (A22 <= B15)))
lola: state equation: Generated DNF with 9 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-14-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 15 will run for 729 seconds at most (--localtimelimit=0)========================================
lola: ========================================
lola: ...considering subproblem: E (F (((A17 <= A8) AND (A7 <= A10) AND (A15 <= A3) AND (1 <= B13) AND (B14 + 1 <= A13) AND (A4 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A17 <= A8) AND (A7 <= A10) AND (A15 <= A3) AND (1 <= B13) AND (B14 + 1 <= A13) AND (A4 <= 2))))
lola: processed formula length: 103
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A17 <= A8) AND (A7 <= A10) AND (A15 <= A3) AND (1 <= B13) AND (B14 + 1 <= A13) AND (A4 <= 2))
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-15-0.sara
lola: The predicate is unreachable.
lola: state equation: calling and running sara
lola: 9 markings, 8 edges
FORMULA DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A15)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A15)))
lola: processed formula length: 18
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality.task
lola: sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-15-0.sara.
STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A15)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-15ringRRLarge-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 420063 markings, 1171456 edges, 84013 markings/sec, 0 secs
lola: sara is running 5 secs || 871544 markings, 2424087 edges, 90296 markings/sec, 5 secs
lola: sara is running 10 secs || 1375490 markings, 3699599 edges, 100789 markings/sec, 10 secs
lola: sara is running 15 secs || 1751637 markings, 4998144 edges, 75229 markings/sec, 15 secs
lola: sara is running 20 secs || 2064028 markings, 6265617 edges, 62478 markings/sec, 20 secs
lola: sara is running 25 secs || 2395345 markings, 7524652 edges, 66263 markings/sec, 25 secs
lola: sara is running 30 secs || 2793188 markings, 8828257 edges, 79569 markings/sec, 30 secs
lola: sara is running 35 secs || 3277753 markings, 10159238 edges, 96913 markings/sec, 35 secs
lola: sara is running 40 secs || 3743211 markings, 11603337 edges, 93092 markings/sec, 40 secs
lola: sara is running 45 secs || 4241171 markings, 12924869 edges, 99592 markings/sec, 45 secs
lola: sara is running 50 secs || 4714377 markings, 14253357 edges, 94641 markings/sec, 50 secs
lola: sara is running 55 secs || 5185758 markings, 15614514 edges, 94276 markings/sec, 55 secs
lola: sara is running 60 secs || 5665298 markings, 16939610 edges, 95908 markings/sec, 60 secs
lola: sara is running 65 secs || 6129750 markings, 18266142 edges, 92890 markings/sec, 65 secs
lola: sara is running 70 secs || 6575752 markings, 19550650 edges, 89200 markings/sec, 70 secs
lola: sara is running 75 secs || 7023911 markings, 20805610 edges, 89632 markings/sec, 75 secs
lola: sara is running 80 secs || 7452831 markings, 22126084 edges, 85784 markings/sec, 80 secs
lola: sara is running 85 secs || 7880521 markings, 23426106 edges, 85538 markings/sec, 85 secs
lola: sara is running 90 secs || 8311581 markings, 24763818 edges, 86212 markings/sec, 90 secs
lola: sara is running 95 secs || 8766080 markings, 26153578 edges, 90900 markings/sec, 95 secs
lola: sara is running 100 secs || 9143962 markings, 27443011 edges, 75576 markings/sec, 100 secs
lola: sara is running 105 secs || 9584325 markings, 28713709 edges, 88073 markings/sec, 105 secs
lola: sara is running 110 secs || 10053114 markings, 30031653 edges, 93758 markings/sec, 110 secs
lola: sara is running 115 secs || 10499425 markings, 31145771 edges, 89262 markings/sec, 115 secs
lola: sara is running 120 secs || 10936326 markings, 32217369 edges, 87380 markings/sec, 120 secs
lola: sara is running 125 secs || 11340506 markings, 33596800 edges, 80836 markings/sec, 125 secs
lola: sara is running 130 secs || 11733253 markings, 35079937 edges, 78549 markings/sec, 130 secs
lola: sara is running 135 secs || 12119828 markings, 36706528 edges, 77315 markings/sec, 135 secs
lola: sara is running 140 secs || 12513298 markings, 38303492 edges, 78694 markings/sec, 140 secs
lola: sara is running 145 secs || 12896277 markings, 39919760 edges, 76596 markings/sec, 145 secs
lola: sara is running 150 secs || 13292895 markings, 41597956 edges, 79324 markings/sec, 150 secs
lola: sara is running 155 secs || 13646925 markings, 43238406 edges, 70806 markings/sec, 155 secs
lola: sara is running 160 secs || 14063075 markings, 44798173 edges, 83230 markings/sec, 160 secs
lola: sara is running 165 secs || 14453299 markings, 46207255 edges, 78045 markings/sec, 165 secs
lola: sara is running 170 secs || 14817848 markings, 47852333 edges, 72910 markings/sec, 170 secs
lola: sara is running 175 secs || 15172397 markings, 49544378 edges, 70910 markings/sec, 175 secs
lola: sara is running 180 secs || 15577087 markings, 51088032 edges, 80938 markings/sec, 180 secs
lola: sara is running 185 secs || 15879362 markings, 52672248 edges, 60455 markings/sec, 185 secs
lola: sara is running 190 secs || 16268223 markings, 54307153 edges, 77772 markings/sec, 190 secs
lola: sara is running 195 secs || 16683405 markings, 55933061 edges, 83036 markings/sec, 195 secs
lola: sara is running 200 secs || 17094766 markings, 57541254 edges, 82272 markings/sec, 200 secs
lola: sara is running 205 secs || 17519609 markings, 59161112 edges, 84969 markings/sec, 205 secs
lola: sara is running 210 secs || 17907148 markings, 60680763 edges, 77508 markings/sec, 210 secs
lola: sara is running 215 secs || 18312988 markings, 62260372 edges, 81168 markings/sec, 215 secs
lola: sara is running 220 secs || 18718448 markings, 63885915 edges, 81092 markings/sec, 220 secs
lola: sara is running 225 secs || 19096737 markings, 65481144 edges, 75658 markings/sec, 225 secs
lola: sara is running 230 secs || 19519040 markings, 66907228 edges, 84461 markings/sec, 230 secs
lola: sara is running 235 secs || 19889984 markings, 68559871 edges, 74189 markings/sec, 235 secs
lola: sara is running 240 secs || 20229691 markings, 70224965 edges, 67941 markings/sec, 240 secs
lola: sara is running 245 secs || 20593770 markings, 72065746 edges, 72816 markings/sec, 245 secs
lola: sara is running 250 secs || 20940372 markings, 73966315 edges, 69320 markings/sec, 250 secs
lola: sara is running 255 secs || 21308515 markings, 75698976 edges, 73629 markings/sec, 255 secs
lola: sara is running 260 secs || 21671640 markings, 77326371 edges, 72625 markings/sec, 260 secs
lola: sara is running 265 secs || 22121845 markings, 78591327 edges, 90041 markings/sec, 265 secs
lola: sara is running 270 secs || 22514900 markings, 79908528 edges, 78611 markings/sec, 270 secs
lola: sara is running 275 secs || 22826439 markings, 81228616 edges, 62308 markings/sec, 275 secs
lola: sara is running 280 secs || 23246132 markings, 82579365 edges, 83939 markings/sec, 280 secs
lola: sara is running 285 secs || 23736584 markings, 83960481 edges, 98090 markings/sec, 285 secs
lola: sara is running 290 secs || 24215067 markings, 85325024 edges, 95697 markings/sec, 290 secs
lola: sara is running 295 secs || 24685930 markings, 86689053 edges, 94173 markings/sec, 295 secs
lola: sara is running 300 secs || 25120643 markings, 87981892 edges, 86943 markings/sec, 300 secs
lola: sara is running 305 secs || 25558379 markings, 89291115 edges, 87547 markings/sec, 305 secs
lola: sara is running 310 secs || 25982177 markings, 90583695 edges, 84760 markings/sec, 310 secs
lola: sara is running 315 secs || 26417118 markings, 91861137 edges, 86988 markings/sec, 315 secs
lola: sara is running 320 secs || 26825897 markings, 93272064 edges, 81756 markings/sec, 320 secs
lola: sara is running 325 secs || 27247957 markings, 94597974 edges, 84412 markings/sec, 325 secs
lola: sara is running 330 secs || 27686615 markings, 96049053 edges, 87732 markings/sec, 330 secs
lola: sara is running 335 secs || 28089709 markings, 97649287 edges, 80619 markings/sec, 335 secs
lola: sara is running 340 secs || 28469997 markings, 99277584 edges, 76058 markings/sec, 340 secs
lola: sara is running 345 secs || 28847283 markings, 100936709 edges, 75457 markings/sec, 345 secs
lola: sara is running 350 secs || 29235548 markings, 102593442 edges, 77653 markings/sec, 350 secs
lola: sara is running 355 secs || 29595259 markings, 104210163 edges, 71942 markings/sec, 355 secs
lola: sara is running 360 secs || 29960094 markings, 105853506 edges, 72967 markings/sec, 360 secs
lola: sara is running 365 secs || 30376755 markings, 107464940 edges, 83332 markings/sec, 365 secs
lola: sara is running 370 secs || 30774044 markings, 109040943 edges, 79458 markings/sec, 370 secs
lola: sara is running 375 secs || 31184735 markings, 110684277 edges, 82138 markings/sec, 375 secs
lola: sara is running 380 secs || 31577609 markings, 112306311 edges, 78575 markings/sec, 380 secs
lola: sara is running 385 secs || 31942387 markings, 114003640 edges, 72956 markings/sec, 385 secs
lola: sara is running 390 secs || 32290958 markings, 115843461 edges, 69714 markings/sec, 390 secs
lola: sara is running 395 secs || 32709419 markings, 117413397 edges, 83692 markings/sec, 395 secs
lola: sara is running 400 secs || 33110453 markings, 118731887 edges, 80207 markings/sec, 400 secs
lola: sara is running 405 secs || 33629283 markings, 120051794 edges, 103766 markings/sec, 405 secs
lola: sara is running 410 secs || 33985853 markings, 121428129 edges, 71314 markings/sec, 410 secs
lola: sara is running 415 secs || 34307051 markings, 122766903 edges, 64240 markings/sec, 415 secs
lola: sara is running 420 secs || 34793023 markings, 123993434 edges, 97194 markings/sec, 420 secs
lola: sara is running 425 secs || 35269330 markings, 125270833 edges, 95261 markings/sec, 425 secs
lola: sara is running 430 secs || 35621151 markings, 126829166 edges, 70364 markings/sec, 430 secs
lola: sara is running 435 secs || 36002156 markings, 128425549 edges, 76201 markings/sec, 435 secs
lola: sara is running 440 secs || 36423103 markings, 129984760 edges, 84189 markings/sec, 440 secs
lola: sara is running 445 secs || 36829855 markings, 131594343 edges, 81350 markings/sec, 445 secs
lola: sara is running 450 secs || 37135387 markings, 133258163 edges, 61106 markings/sec, 450 secs
lola: sara is running 455 secs || 37573808 markings, 134778730 edges, 87684 markings/sec, 455 secs
lola: sara is running 460 secs || 37898809 markings, 136587390 edges, 65000 markings/sec, 460 secs
lola: sara is running 465 secs || 38280390 markings, 138124872 edges, 76316 markings/sec, 465 secs
lola: sara is running 470 secs || 38661894 markings, 139522836 edges, 76301 markings/sec, 470 secs
lola: sara is running 475 secs || 38935599 markings, 141099773 edges, 54741 markings/sec, 475 secs
lola: sara is running 480 secs || 39217136 markings, 142682932 edges, 56307 markings/sec, 480 secs
lola: sara is running 485 secs || 39495449 markings, 144235229 edges, 55663 markings/sec, 485 secs
lola: sara is running 490 secs || 39818831 markings, 145573384 edges, 64676 markings/sec, 490 secs
lola: sara is running 495 secs || 40186758 markings, 146933188 edges, 73585 markings/sec, 495 secs
lola: sara is running 500 secs || 40599655 markings, 148323011 edges, 82579 markings/sec, 500 secs
lola: sara is running 505 secs || 40922263 markings, 149635962 edges, 64522 markings/sec, 505 secs
lola: sara is running 510 secs || 41312229 markings, 151160287 edges, 77993 markings/sec, 510 secs
lola: sara is running 515 secs || 41696558 markings, 152769516 edges, 76866 markings/sec, 515 secs
lola: sara is running 520 secs || 42022253 markings, 154412074 edges, 65139 markings/sec, 520 secs
lola: sara is running 525 secs || 42301002 markings, 156114949 edges, 55750 markings/sec, 525 secs
lola: sara is running 530 secs || 42574626 markings, 157820786 edges, 54725 markings/sec, 530 secs
lola: sara is running 535 secs || 42957027 markings, 159384105 edges, 76480 markings/sec, 535 secs
lola: sara is running 540 secs || 43304191 markings, 160986276 edges, 69433 markings/sec, 540 secs
lola: sara is running 545 secs || 43591710 markings, 162703622 edges, 57504 markings/sec, 545 secs
lola: sara is running 550 secs || 43940145 markings, 164422307 edges, 69687 markings/sec, 550 secs
lola: sara is running 555 secs || 44285358 markings, 166245442 edges, 69043 markings/sec, 555 secs
lola: sara is running 560 secs || 44573687 markings, 168119891 edges, 57666 markings/sec, 560 secs
lola: sara is running 565 secs || 44844110 markings, 169911385 edges, 54085 markings/sec, 565 secs
lola: sara is running 570 secs || 45220679 markings, 171368124 edges, 75314 markings/sec, 570 secs
lola: sara is running 575 secs || 45487021 markings, 172972068 edges, 53268 markings/sec, 575 secs
lola: sara is running 580 secs || 45737803 markings, 174545823 edges, 50156 markings/sec, 580 secs
lola: sara is running 585 secs || 45988448 markings, 176157819 edges, 50129 markings/sec, 585 secs
lola: sara is running 590 secs || 46245588 markings, 177768843 edges, 51428 markings/sec, 590 secs
lola: sara is running 595 secs || 46498679 markings, 179354286 edges, 50618 markings/sec, 595 secs
lola: sara is running 600 secs || 46755432 markings, 180917648 edges, 51351 markings/sec, 600 secs
lola: sara is running 605 secs || 47042209 markings, 182370166 edges, 57355 markings/sec, 605 secs
lola: sara is running 610 secs || 47317226 markings, 183806711 edges, 55003 markings/sec, 610 secs
lola: sara is running 615 secs || 47577189 markings, 185501645 edges, 51993 markings/sec, 615 secs
lola: sara is running 620 secs || 47821439 markings, 187226286 edges, 48850 markings/sec, 620 secs
lola: sara is running 625 secs || 48146141 markings, 188815591 edges, 64940 markings/sec, 625 secs
lola: sara is running 630 secs || 48566263 markings, 190179100 edges, 84024 markings/sec, 630 secs
lola: sara is running 635 secs || 48948474 markings, 191705217 edges, 76442 markings/sec, 635 secs
lola: sara is running 640 secs || 49319913 markings, 193371730 edges, 74288 markings/sec, 640 secs
lola: sara is running 645 secs || 49691000 markings, 194957953 edges, 74217 markings/sec, 645 secs
lola: sara is running 650 secs || 50033909 markings, 196680652 edges, 68582 markings/sec, 650 secs
lola: sara is running 655 secs || 50418389 markings, 198259141 edges, 76896 markings/sec, 655 secs
lola: sara is running 660 secs || 50796358 markings, 199783868 edges, 75594 markings/sec, 660 secs
lola: sara is running 665 secs || 51161009 markings, 201423836 edges, 72930 markings/sec, 665 secs
lola: sara is running 670 secs || 51483829 markings, 202969232 edges, 64564 markings/sec, 670 secs
lola: sara is running 675 secs || 51821814 markings, 204318232 edges, 67597 markings/sec, 675 secs
lola: sara is running 680 secs || 52170584 markings, 205693955 edges, 69754 markings/sec, 680 secs
lola: sara is running 685 secs || 52461637 markings, 207070922 edges, 58211 markings/sec, 685 secs
lola: sara is running 690 secs || 52938684 markings, 208431009 edges, 95409 markings/sec, 690 secs
lola: sara is running 695 secs || 53436928 markings, 209766134 edges, 99649 markings/sec, 695 secs
lola: sara is running 700 secs || 53912687 markings, 211177868 edges, 95152 markings/sec, 700 secs
lola: sara is running 705 secs || 54394266 markings, 212550809 edges, 96316 markings/sec, 705 secs
lola: sara is running 710 secs || 54675565 markings, 214142379 edges, 56260 markings/sec, 710 secs
lola: sara is running 715 secs || 54992819 markings, 215666397 edges, 63451 markings/sec, 715 secs
lola: sara is running 720 secs || 55258450 markings, 217242772 edges, 53126 markings/sec, 720 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no no no unknown unknown unknown yes unknown no unknown unknown unknown no unknown
lola:
preliminary result: unknown unknown no no no unknown unknown unknown yes unknown no unknown unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no unknown unknown unknown yes unknown no unknown unknown unknown no unknown
lola: memory consumption: 1905808 KB
lola: time consumption: 3571 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no unknown unknown unknown yes unknown no unknown unknown unknown no unknown
lola: memory consumption: 1905976 KB
lola: time consumption: 3571 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-15ringRRLarge"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-15ringRRLarge.tgz
mv DNAwalker-PT-15ringRRLarge execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-15ringRRLarge, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500327"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;