About the Execution of LoLA for DNAwalker-PT-04track28LL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4656.190 | 3600000.00 | 3614774.00 | 8189.90 | F?FF?F?TFTT?FTTF | 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 268K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K 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 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 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 20K 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 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-04track28LL, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400249
=====================================================================
--------------------
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-04track28LL-CTLFireability-00
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-01
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-02
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-03
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-04
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-05
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-06
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-07
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-08
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-09
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-10
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-11
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-12
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-13
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-14
FORMULA_NAME DNAwalker-PT-04track28LL-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526757034156
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-04track28LL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-04track28LL formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DNAwalker-PT-04track28LL @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1088
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-04track28LL-CTLFireability.task
lola: A (F (FIREABLE(t15_14))) : A (G (E (F ((NOT FIREABLE(t5_10) OR NOT FIREABLE(t11_24)))))) : A (F (A (G (FIREABLE(t23_20))))) : A (F (FIREABLE(t27_28))) : NOT((A (F ((FIREABLE(t15_17) AND (FIREABLE(t6_14) OR FIREABLE(t7_8))))) OR NOT(E (F ((FIREABLE(t10_4) AND FIREABLE(t18_20))))))) : E ((FIREABLE(t19_24) U (A (G (FIREABLE(t19_20))) OR A (F (FIREABLE(t6_19)))))) : NOT(((((NOT FIREABLE(t11_4) AND NOT FIREABLE(tAb18)) OR (NOT FIREABLE(t19_13) AND NOT FIREABLE(t27_23))) AND NOT(E (F (FIREABLE(t23_11))))) OR A (F (((FIREABLE(t27_28) OR FIREABLE(t18_19)) AND NOT FIREABLE(t24_25)))))) : E (G (A (X ((NOT FIREABLE(t8_6) OR FIREABLE(tloop20)))))) : A ((NOT(E (G (FIREABLE(t13_20)))) U (FIREABLE(t8_19) AND FIREABLE(t21_9) AND FIREABLE(t16_18) AND NOT FIREABLE(t3_7) AND NOT FIREABLE(t4_6)))) : E (G (NOT(A (G ((FIREABLE(t11_5) AND FIREABLE(t9_3))))))) : E (G (NOT(E (X ((FIREABLE(t26_22) AND FIREABLE(tloop28))))))) : (A (X (A (G (NOT FIREABLE(t15_8))))) OR (FIREABLE(t12_11) OR (A (G (NOT FIREABLE(t27_28))) OR FIREABLE(t2_6)))) : A (((NOT FIREABLE(t3_1) OR E (F (FIREABLE(t3_11)))) U (FIREABLE(t16_17) AND (NOT FIREABLE(t13_7) OR NOT FIREABLE(t6_18))))) : E (F (NOT(A (F (FIREABLE(t26_23)))))) : (E (X (A (G (NOT FIREABLE(t10_22))))) OR E (G (NOT FIREABLE(t4_10)))) : A (F (((FIREABLE(t21_11) AND FIREABLE(t4_2)) AND ((NOT FIREABLE(t7_15) OR NOT FIREABLE(t9_10)) AND A (F (FIREABLE(t16_13)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (X ((NOT FIREABLE(t8_6) OR FIREABLE(tloop20))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX((NOT FIREABLE(t8_6) OR FIREABLE(tloop20))))))
lola: processed formula length: 66
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 16 markings, 16 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (X ((NOT FIREABLE(t26_22) OR NOT FIREABLE(tloop28))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX((NOT FIREABLE(t26_22) OR NOT FIREABLE(tloop28))))))
lola: processed formula length: 72
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (G (NOT FIREABLE(t15_8))))) OR (FIREABLE(t12_11) OR (A (G (NOT FIREABLE(t27_28))) OR FIREABLE(t2_6))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t12_11)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t12_11)
lola: processed formula length: 16
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.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: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (NOT FIREABLE(t15_8)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t15_8)
lola: processed formula length: 15
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 527705 markings, 1731007 edges, 105541 markings/sec, 0 secs
lola: 1065440 markings, 3718332 edges, 107547 markings/sec, 5 secs
lola: 1544006 markings, 5595221 edges, 95713 markings/sec, 10 secs
lola: 1970561 markings, 7760603 edges, 85311 markings/sec, 15 secs
lola: 2410009 markings, 10004118 edges, 87890 markings/sec, 20 secs
lola: 2790381 markings, 12445466 edges, 76074 markings/sec, 25 secs
lola: 3240427 markings, 14465886 edges, 90009 markings/sec, 30 secs
lola: 3687796 markings, 16602320 edges, 89474 markings/sec, 35 secs
lola: 4081230 markings, 18595795 edges, 78687 markings/sec, 40 secs
lola: 4559243 markings, 20554698 edges, 95603 markings/sec, 45 secs
lola: 5068203 markings, 22418161 edges, 101792 markings/sec, 50 secs
lola: 5513244 markings, 24641153 edges, 89008 markings/sec, 55 secs
lola: 5933689 markings, 26652188 edges, 84089 markings/sec, 60 secs
lola: 6341453 markings, 28678789 edges, 81553 markings/sec, 65 secs
lola: 6845956 markings, 30645583 edges, 100901 markings/sec, 70 secs
lola: 7308460 markings, 32568061 edges, 92501 markings/sec, 75 secs
lola: 7702850 markings, 34715187 edges, 78878 markings/sec, 80 secs
lola: 8099125 markings, 36756941 edges, 79255 markings/sec, 85 secs
lola: 8496838 markings, 38878443 edges, 79543 markings/sec, 90 secs
lola: 8926569 markings, 41173912 edges, 85946 markings/sec, 95 secs
lola: 9291937 markings, 43618244 edges, 73074 markings/sec, 100 secs
lola: 9644158 markings, 46035497 edges, 70444 markings/sec, 105 secs
lola: 10155166 markings, 47954135 edges, 102202 markings/sec, 110 secs
lola: 10649344 markings, 49887957 edges, 98836 markings/sec, 115 secs
lola: 11146958 markings, 51759206 edges, 99523 markings/sec, 120 secs
lola: 11555046 markings, 53880021 edges, 81618 markings/sec, 125 secs
lola: 11961575 markings, 56004912 edges, 81306 markings/sec, 130 secs
lola: 12357606 markings, 58198766 edges, 79206 markings/sec, 135 secs
lola: 12691408 markings, 60509702 edges, 66760 markings/sec, 140 secs
lola: 13125109 markings, 62461042 edges, 86740 markings/sec, 145 secs
lola: 13515361 markings, 64502456 edges, 78050 markings/sec, 150 secs
lola: 13894642 markings, 66345145 edges, 75856 markings/sec, 155 secs
lola: 14259113 markings, 68657006 edges, 72894 markings/sec, 160 secs
lola: 14626274 markings, 70877084 edges, 73432 markings/sec, 165 secs
lola: 15062320 markings, 72849511 edges, 87209 markings/sec, 170 secs
lola: 15543478 markings, 74767558 edges, 96232 markings/sec, 175 secs
lola: 15960347 markings, 76839737 edges, 83374 markings/sec, 180 secs
lola: 16387885 markings, 78946184 edges, 85508 markings/sec, 185 secs
lola: 16779829 markings, 80972230 edges, 78389 markings/sec, 190 secs
lola: 17186198 markings, 82931517 edges, 81274 markings/sec, 195 secs
lola: 17604546 markings, 84830052 edges, 83670 markings/sec, 200 secs
lola: 17910520 markings, 86567214 edges, 61195 markings/sec, 205 secs
lola: 18452455 markings, 88485510 edges, 108387 markings/sec, 210 secs
lola: 18943833 markings, 90480436 edges, 98276 markings/sec, 215 secs
lola: 19440046 markings, 92446428 edges, 99243 markings/sec, 220 secs
lola: 19916309 markings, 94392842 edges, 95253 markings/sec, 225 secs
lola: 20475076 markings, 96195323 edges, 111753 markings/sec, 230 secs
lola: 20987847 markings, 98081722 edges, 102554 markings/sec, 235 secs
lola: 21415472 markings, 100208154 edges, 85525 markings/sec, 240 secs
lola: 21843367 markings, 102298383 edges, 85579 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: memory consumption: 797236 KB
lola: time consumption: 255 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (G (NOT FIREABLE(t10_22))))) OR E (G (NOT FIREABLE(t4_10))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t4_10)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t4_10)))
lola: processed formula length: 27
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 11 markings, 11 edges
lola: lola: SUBRESULT
lola: result: yes
========================================
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t15_14)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t15_14)
lola: processed formula length: 20
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 12 markings, 12 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (NOT FIREABLE(t26_23)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: NOT FIREABLE(t26_23)
lola: processed formula length: 20
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 11 markings, 11 edges
lola:
FORMULA DNAwalker-PT-04track28LL-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t27_28)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t27_28)
lola: processed formula length: 20
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 11 markings, 11 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((NOT FIREABLE(t5_10) OR NOT FIREABLE(t11_24))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (NOT FIREABLE(t5_10) OR NOT FIREABLE(t11_24))
lola: processed formula length: 46
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 1409921 markings, 4394157 edges, 281984 markings/sec, 0 secs
lola: 2747971 markings, 8934465 edges, 267610 markings/sec, 5 secs
lola: 4038023 markings, 13387128 edges, 258010 markings/sec, 10 secs
lola: 5119978 markings, 17634936 edges, 216391 markings/sec, 15 secs
lola: 6074216 markings, 22600929 edges, 190848 markings/sec, 20 secs
lola: 7016162 markings, 27390429 edges, 188389 markings/sec, 25 secs
lola: 7915906 markings, 32186288 edges, 179949 markings/sec, 30 secs
lola: 8722084 markings, 37148985 edges, 161236 markings/sec, 35 secs
lola: 9613271 markings, 42167237 edges, 178237 markings/sec, 40 secs
lola: 10533910 markings, 47005316 edges, 184128 markings/sec, 45 secs
lola: 11276075 markings, 52000729 edges, 148433 markings/sec, 50 secs
lola: 11966457 markings, 57094799 edges, 138076 markings/sec, 55 secs
lola: 12873183 markings, 62029290 edges, 181345 markings/sec, 60 secs
lola: 13814587 markings, 66813715 edges, 188281 markings/sec, 65 secs
lola: 14657271 markings, 71657845 edges, 168537 markings/sec, 70 secs
lola: 15380568 markings, 76567486 edges, 144659 markings/sec, 75 secs
lola: 16065935 markings, 81457974 edges, 137073 markings/sec, 80 secs
lola: 16739652 markings, 86503906 edges, 134743 markings/sec, 85 secs
lola: 17397123 markings, 91513458 edges, 131494 markings/sec, 90 secs
lola: 18096232 markings, 96592627 edges, 139822 markings/sec, 95 secs
lola: 19026567 markings, 101266300 edges, 186067 markings/sec, 100 secs
lola: 19928034 markings, 105946587 edges, 180293 markings/sec, 105 secs
lola: 20700695 markings, 110744571 edges, 154532 markings/sec, 110 secs
lola: 21400041 markings, 115547200 edges, 139869 markings/sec, 115 secs
lola: 22071776 markings, 120388534 edges, 134347 markings/sec, 120 secs
lola: 22731609 markings, 125393535 edges, 131967 markings/sec, 125 secs
lola: 23395661 markings, 130329847 edges, 132810 markings/sec, 130 secs
lola: 23966636 markings, 135442385 edges, 114195 markings/sec, 135 secs
lola: 24695817 markings, 140258417 edges, 145836 markings/sec, 140 secs
lola: 25367304 markings, 145070212 edges, 134297 markings/sec, 145 secs
lola: 25923848 markings, 149766317 edges, 111309 markings/sec, 150 secs
lola: 26482909 markings, 154817746 edges, 111812 markings/sec, 155 secs
lola: 27032356 markings, 159894588 edges, 109889 markings/sec, 160 secs
lola: 28002616 markings, 164851953 edges, 194052 markings/sec, 165 secs
lola: 29193220 markings, 169480122 edges, 238121 markings/sec, 170 secs
lola: 30292748 markings, 173650475 edges, 219906 markings/sec, 175 secs
lola: 31295345 markings, 178290635 edges, 200519 markings/sec, 180 secs
lola: 32357695 markings, 182887260 edges, 212470 markings/sec, 185 secs
lola: 33444467 markings, 187266165 edges, 217354 markings/sec, 190 secs
lola: 34427510 markings, 191804444 edges, 196609 markings/sec, 195 secs
lola: 35464773 markings, 196235324 edges, 207453 markings/sec, 200 secs
lola: 36498245 markings, 200579685 edges, 206694 markings/sec, 205 secs
lola: 37559742 markings, 204839483 edges, 212299 markings/sec, 210 secs
lola: 38458146 markings, 209459869 edges, 179681 markings/sec, 215 secs
lola: 39428512 markings, 213826945 edges, 194073 markings/sec, 220 secs
lola: 40373767 markings, 218383175 edges, 189051 markings/sec, 225 secs
lola: 41174063 markings, 222760838 edges, 160059 markings/sec, 230 secs
lola: 41978905 markings, 227511846 edges, 160968 markings/sec, 235 secs
lola: 42795295 markings, 232186846 edges, 163278 markings/sec, 240 secs
lola: 43611324 markings, 236755546 edges, 163206 markings/sec, 245 secs
lola: 44366791 markings, 241418147 edges, 151093 markings/sec, 250 secs
lola: 45168388 markings, 246237121 edges, 160319 markings/sec, 255 secs
lola: 45963063 markings, 250614400 edges, 158935 markings/sec, 260 secs
lola: 46671855 markings, 255140897 edges, 141758 markings/sec, 265 secs
lola: 47412664 markings, 259720637 edges, 148162 markings/sec, 270 secs
lola: 48211174 markings, 264220716 edges, 159702 markings/sec, 275 secs
lola: 48882228 markings, 268921510 edges, 134211 markings/sec, 280 secs
lola: 49597456 markings, 273525109 edges, 143046 markings/sec, 285 secs
lola: 50318070 markings, 278084237 edges, 144123 markings/sec, 290 secs
lola: 51023940 markings, 282824334 edges, 141174 markings/sec, 295 secs
lola: 51640173 markings, 287440227 edges, 123247 markings/sec, 300 secs
lola: 52266546 markings, 292219635 edges, 125275 markings/sec, 305 secs
lola: 52875071 markings, 297006642 edges, 121705 markings/sec, 310 secs
lola: 53701965 markings, 301789155 edges, 165379 markings/sec, 315 secs
lola: 54452568 markings, 306664858 edges, 150121 markings/sec, 320 secs
lola: 55220224 markings, 311325709 edges, 153531 markings/sec, 325 secs
lola: 56044303 markings, 315918984 edges, 164816 markings/sec, 330 secs
lola: 56757225 markings, 320757069 edges, 142584 markings/sec, 335 secs
lola: 57512944 markings, 325354682 edges, 151144 markings/sec, 340 secs
lola: 58233973 markings, 330058016 edges, 144206 markings/sec, 345 secs
lola: 58873900 markings, 334935100 edges, 127985 markings/sec, 350 secs
lola: 59501509 markings, 339752247 edges, 125522 markings/sec, 355 secs
lola: 60154607 markings, 344609193 edges, 130620 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown unknown yes unknown unknown yes unknown unknown yes yes unknown
lola: memory consumption: 2377384 KB
lola: time consumption: 623 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t3_1) OR E (F (FIREABLE(t3_11)))) U (FIREABLE(t16_17) AND (NOT FIREABLE(t13_7) OR NOT FIREABLE(t6_18)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((NOT FIREABLE(t3_1) OR E(TRUE U FIREABLE(t3_11))) U (FIREABLE(t16_17) AND (NOT FIREABLE(t13_7) OR NOT FIREABLE(t6_18))))
lola: processed formula length: 123
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t21_11) AND FIREABLE(t4_2)) AND ((NOT FIREABLE(t7_15) OR NOT FIREABLE(t9_10)) AND A (F (FIREABLE(t16_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U ((FIREABLE(t21_11) AND FIREABLE(t4_2)) AND ((NOT FIREABLE(t7_15) OR NOT FIREABLE(t9_10)) AND A(TRUE U FIREABLE(t16_13)))))
lola: processed formula length: 132
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (F (NOT FIREABLE(t13_20))) U (FIREABLE(t8_19) AND FIREABLE(t21_9) AND FIREABLE(t16_18) AND NOT FIREABLE(t3_7) AND NOT FIREABLE(t4_6))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(A(TRUE U NOT FIREABLE(t13_20)) U (FIREABLE(t8_19) AND FIREABLE(t21_9) AND FIREABLE(t16_18) AND NOT FIREABLE(t3_7) AND NOT FIREABLE(t4_6)))
lola: processed formula length: 140
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 26 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t19_24) U (A (G (FIREABLE(t19_20))) OR A (F (FIREABLE(t6_19))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(FIREABLE(t19_24) U (NOT(E(TRUE U NOT FIREABLE(t19_20))) OR A(TRUE U FIREABLE(t6_19))))
lola: processed formula length: 88
lola: 38 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 15 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 736 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (FIREABLE(t23_20)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t23_20)
lola: processed formula length: 20
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 982 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((NOT FIREABLE(t11_5) OR NOT FIREABLE(t9_3))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: (NOT FIREABLE(t11_5) OR NOT FIREABLE(t9_3))
lola: processed formula length: 44
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 13 markings, 13 edges
FORMULA DNAwalker-PT-04track28LL-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((NOT FIREABLE(t15_17) OR (NOT FIREABLE(t6_14) AND NOT FIREABLE(t7_8))))) AND E (F ((FIREABLE(t10_4) AND FIREABLE(t18_20)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t10_4) AND FIREABLE(t18_20))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t10_4) AND FIREABLE(t18_20))))
lola: processed formula length: 46
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t10_4) AND FIREABLE(t18_20))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-04track28LL-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-04track28LL-CTLFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 625076 markings, 1660260 edges, 125015 markings/sec, 0 secs
lola: sara is running 5 secs || 1175177 markings, 3460439 edges, 110020 markings/sec, 5 secs
lola: sara is running 10 secs || 1747870 markings, 5364820 edges, 114539 markings/sec, 10 secs
lola: sara is running 15 secs || 2291585 markings, 7183221 edges, 108743 markings/sec, 15 secs
lola: sara is running 20 secs || 2838793 markings, 9068813 edges, 109442 markings/sec, 20 secs
lola: sara is running 25 secs || 3371658 markings, 10812879 edges, 106573 markings/sec, 25 secs
lola: sara is running 30 secs || 3892235 markings, 12669019 edges, 104115 markings/sec, 30 secs
lola: sara is running 35 secs || 4407654 markings, 14424063 edges, 103084 markings/sec, 35 secs
lola: sara is running 40 secs || 4951221 markings, 16152396 edges, 108713 markings/sec, 40 secs
lola: sara is running 45 secs || 5423212 markings, 17931809 edges, 94398 markings/sec, 45 secs
lola: sara is running 50 secs || 5938428 markings, 19802593 edges, 103043 markings/sec, 50 secs
lola: sara is running 55 secs || 6454932 markings, 21614989 edges, 103301 markings/sec, 55 secs
lola: sara is running 60 secs || 7000389 markings, 23460858 edges, 109091 markings/sec, 60 secs
lola: sara is running 65 secs || 7552348 markings, 25172373 edges, 110392 markings/sec, 65 secs
lola: sara is running 70 secs || 8110375 markings, 26923609 edges, 111605 markings/sec, 70 secs
lola: sara is running 75 secs || 8581994 markings, 28728449 edges, 94324 markings/sec, 75 secs
lola: sara is running 80 secs || 9120296 markings, 30529187 edges, 107660 markings/sec, 80 secs
lola: sara is running 85 secs || 9634796 markings, 32439993 edges, 102900 markings/sec, 85 secs
lola: sara is running 90 secs || 10168077 markings, 34410218 edges, 106656 markings/sec, 90 secs
lola: sara is running 95 secs || 10677563 markings, 36253281 edges, 101897 markings/sec, 95 secs
lola: sara is running 100 secs || 11202869 markings, 38089231 edges, 105061 markings/sec, 100 secs
lola: sara is running 105 secs || 11714922 markings, 39968666 edges, 102411 markings/sec, 105 secs
lola: sara is running 110 secs || 12218657 markings, 41800265 edges, 100747 markings/sec, 110 secs
lola: sara is running 115 secs || 12734852 markings, 43643738 edges, 103239 markings/sec, 115 secs
lola: sara is running 120 secs || 13245772 markings, 45528437 edges, 102184 markings/sec, 120 secs
lola: sara is running 125 secs || 13765399 markings, 47477094 edges, 103925 markings/sec, 125 secs
lola: sara is running 130 secs || 14262413 markings, 49286510 edges, 99403 markings/sec, 130 secs
lola: sara is running 135 secs || 14770034 markings, 51194487 edges, 101524 markings/sec, 135 secs
lola: sara is running 140 secs || 15293133 markings, 52908760 edges, 104620 markings/sec, 140 secs
lola: sara is running 145 secs || 15799190 markings, 54771128 edges, 101211 markings/sec, 145 secs
lola: sara is running 150 secs || 16310886 markings, 56583123 edges, 102339 markings/sec, 150 secs
lola: sara is running 155 secs || 16803981 markings, 58405878 edges, 98619 markings/sec, 155 secs
lola: sara is running 160 secs || 17234926 markings, 60482266 edges, 86189 markings/sec, 160 secs
lola: sara is running 165 secs || 17652740 markings, 62377498 edges, 83563 markings/sec, 165 secs
lola: sara is running 170 secs || 18029757 markings, 64593315 edges, 75403 markings/sec, 170 secs
lola: sara is running 175 secs || 18458058 markings, 66597654 edges, 85660 markings/sec, 175 secs
lola: sara is running 180 secs || 18870856 markings, 68589676 edges, 82560 markings/sec, 180 secs
lola: sara is running 185 secs || 19247957 markings, 70629970 edges, 75420 markings/sec, 185 secs
lola: sara is running 190 secs || 19706175 markings, 72530675 edges, 91644 markings/sec, 190 secs
lola: sara is running 195 secs || 20165246 markings, 74390358 edges, 91814 markings/sec, 195 secs
lola: sara is running 200 secs || 20685323 markings, 76138481 edges, 104015 markings/sec, 200 secs
lola: sara is running 205 secs || 21169440 markings, 78020390 edges, 96823 markings/sec, 205 secs
lola: sara is running 210 secs || 21683391 markings, 79918770 edges, 102790 markings/sec, 210 secs
lola: sara is running 215 secs || 22163268 markings, 81832484 edges, 95975 markings/sec, 215 secs
lola: sara is running 220 secs || 22663413 markings, 83719277 edges, 100029 markings/sec, 220 secs
lola: sara is running 225 secs || 23151894 markings, 85675047 edges, 97696 markings/sec, 225 secs
lola: sara is running 230 secs || 23629627 markings, 87619425 edges, 95547 markings/sec, 230 secs
lola: sara is running 235 secs || 24118196 markings, 89387188 edges, 97714 markings/sec, 235 secs
lola: sara is running 240 secs || 24605881 markings, 91085251 edges, 97537 markings/sec, 240 secs
lola: sara is running 245 secs || 25060892 markings, 93036280 edges, 91002 markings/sec, 245 secs
lola: sara is running 250 secs || 25501900 markings, 95095405 edges, 88202 markings/sec, 250 secs
lola: sara is running 255 secs || 25979036 markings, 96991702 edges, 95427 markings/sec, 255 secs
lola: sara is running 260 secs || 26445530 markings, 98814953 edges, 93299 markings/sec, 260 secs
lola: sara is running 265 secs || 26946331 markings, 100449427 edges, 100160 markings/sec, 265 secs
lola: sara is running 270 secs || 27457711 markings, 101954108 edges, 102276 markings/sec, 270 secs
lola: sara is running 275 secs || 27929580 markings, 103803802 edges, 94374 markings/sec, 275 secs
lola: sara is running 280 secs || 28381042 markings, 105561614 edges, 90292 markings/sec, 280 secs
lola: sara is running 285 secs || 28839581 markings, 107508837 edges, 91708 markings/sec, 285 secs
lola: sara is running 290 secs || 29284809 markings, 109522304 edges, 89046 markings/sec, 290 secs
lola: sara is running 295 secs || 29718014 markings, 111637251 edges, 86641 markings/sec, 295 secs
lola: sara is running 300 secs || 30211292 markings, 113538443 edges, 98656 markings/sec, 300 secs
lola: sara is running 305 secs || 30654251 markings, 115486695 edges, 88592 markings/sec, 305 secs
lola: sara is running 310 secs || 31139070 markings, 117420437 edges, 96964 markings/sec, 310 secs
lola: sara is running 315 secs || 31625615 markings, 119216816 edges, 97309 markings/sec, 315 secs
lola: sara is running 320 secs || 32066838 markings, 121078629 edges, 88245 markings/sec, 320 secs
lola: sara is running 325 secs || 32549105 markings, 122927912 edges, 96453 markings/sec, 325 secs
lola: sara is running 330 secs || 33005754 markings, 124926918 edges, 91330 markings/sec, 330 secs
lola: sara is running 335 secs || 33499904 markings, 126942839 edges, 98830 markings/sec, 335 secs
lola: sara is running 340 secs || 33976076 markings, 128947816 edges, 95234 markings/sec, 340 secs
lola: sara is running 345 secs || 34447805 markings, 131007017 edges, 94346 markings/sec, 345 secs
lola: sara is running 350 secs || 34938323 markings, 132866245 edges, 98104 markings/sec, 350 secs
lola: sara is running 355 secs || 35471299 markings, 134668918 edges, 106595 markings/sec, 355 secs
lola: sara is running 360 secs || 35992852 markings, 136686324 edges, 104311 markings/sec, 360 secs
lola: sara is running 365 secs || 36465377 markings, 138548249 edges, 94505 markings/sec, 365 secs
lola: sara is running 370 secs || 36883520 markings, 140439387 edges, 83629 markings/sec, 370 secs
lola: sara is running 375 secs || 37314910 markings, 142353217 edges, 86278 markings/sec, 375 secs
lola: sara is running 380 secs || 37839662 markings, 144120359 edges, 104950 markings/sec, 380 secs
lola: sara is running 385 secs || 38463526 markings, 145859048 edges, 124773 markings/sec, 385 secs
lola: sara is running 390 secs || 38925495 markings, 147831350 edges, 92394 markings/sec, 390 secs
lola: sara is running 395 secs || 39293354 markings, 150008085 edges, 73572 markings/sec, 395 secs
lola: sara is running 400 secs || 39757405 markings, 152078276 edges, 92810 markings/sec, 400 secs
lola: sara is running 405 secs || 40198605 markings, 154340910 edges, 88240 markings/sec, 405 secs
lola: sara is running 410 secs || 40595436 markings, 156394464 edges, 79366 markings/sec, 410 secs
lola: sara is running 415 secs || 41013338 markings, 158333377 edges, 83580 markings/sec, 415 secs
lola: sara is running 420 secs || 41432279 markings, 160464718 edges, 83788 markings/sec, 420 secs
lola: sara is running 425 secs || 41840588 markings, 162538112 edges, 81662 markings/sec, 425 secs
lola: sara is running 430 secs || 42243365 markings, 164885255 edges, 80555 markings/sec, 430 secs
lola: sara is running 435 secs || 42654255 markings, 166995683 edges, 82178 markings/sec, 435 secs
lola: sara is running 440 secs || 43107086 markings, 168794901 edges, 90566 markings/sec, 440 secs
lola: sara is running 445 secs || 43515953 markings, 170893179 edges, 81773 markings/sec, 445 secs
lola: sara is running 450 secs || 43919965 markings, 173152793 edges, 80802 markings/sec, 450 secs
lola: sara is running 455 secs || 44355599 markings, 175193598 edges, 87127 markings/sec, 455 secs
lola: sara is running 460 secs || 44788201 markings, 177049376 edges, 86520 markings/sec, 460 secs
lola: sara is running 465 secs || 45199794 markings, 179058470 edges, 82319 markings/sec, 465 secs
lola: sara is running 470 secs || 45581665 markings, 181340700 edges, 76374 markings/sec, 470 secs
lola: sara is running 475 secs || 45968318 markings, 183520402 edges, 77331 markings/sec, 475 secs
lola: sara is running 480 secs || 46435187 markings, 185568250 edges, 93374 markings/sec, 480 secs
lola: sara is running 485 secs || 46987463 markings, 187453653 edges, 110455 markings/sec, 485 secs
lola: sara is running 490 secs || 47545381 markings, 189271135 edges, 111584 markings/sec, 490 secs
lola: sara is running 495 secs || 48061290 markings, 190975473 edges, 103182 markings/sec, 495 secs
lola: sara is running 500 secs || 48544109 markings, 193111190 edges, 96564 markings/sec, 500 secs
lola: sara is running 505 secs || 49027626 markings, 195126917 edges, 96703 markings/sec, 505 secs
lola: sara is running 510 secs || 49479317 markings, 196971635 edges, 90338 markings/sec, 510 secs
lola: sara is running 515 secs || 49943404 markings, 198810868 edges, 92817 markings/sec, 515 secs
lola: sara is running 520 secs || 50430757 markings, 200679154 edges, 97471 markings/sec, 520 secs
lola: sara is running 525 secs || 50894513 markings, 202768861 edges, 92751 markings/sec, 525 secs
lola: sara is running 530 secs || 51329613 markings, 204980001 edges, 87020 markings/sec, 530 secs
lola: sara is running 535 secs || 51785416 markings, 206985538 edges, 91161 markings/sec, 535 secs
lola: sara is running 540 secs || 52247814 markings, 208972311 edges, 92480 markings/sec, 540 secs
lola: sara is running 545 secs || 52686020 markings, 210997753 edges, 87641 markings/sec, 545 secs
lola: sara is running 550 secs || 53120933 markings, 213131172 edges, 86983 markings/sec, 550 secs
lola: sara is running 555 secs || 53557136 markings, 215219597 edges, 87241 markings/sec, 555 secs
lola: sara is running 560 secs || 53974129 markings, 217294118 edges, 83399 markings/sec, 560 secs
lola: sara is running 565 secs || 54432604 markings, 218982262 edges, 91695 markings/sec, 565 secs
lola: sara is running 570 secs || 54886319 markings, 220823662 edges, 90743 markings/sec, 570 secs
lola: sara is running 575 secs || 55336567 markings, 222660509 edges, 90050 markings/sec, 575 secs
lola: sara is running 580 secs || 55738453 markings, 224797164 edges, 80377 markings/sec, 580 secs
lola: sara is running 585 secs || 56147546 markings, 226933291 edges, 81819 markings/sec, 585 secs
lola: sara is running 590 secs || 56548277 markings, 229177371 edges, 80146 markings/sec, 590 secs
lola: sara is running 595 secs || 56951143 markings, 231405820 edges, 80573 markings/sec, 595 secs
lola: sara is running 600 secs || 57335963 markings, 233731088 edges, 76964 markings/sec, 600 secs
lola: sara is running 605 secs || 57721000 markings, 236118355 edges, 77007 markings/sec, 605 secs
lola: sara is running 610 secs || 58102096 markings, 238544887 edges, 76219 markings/sec, 610 secs
lola: sara is running 615 secs || 58571264 markings, 240612065 edges, 93834 markings/sec, 615 secs
lola: sara is running 620 secs || 59057071 markings, 242501923 edges, 97161 markings/sec, 620 secs
lola: sara is running 625 secs || 59543431 markings, 244300631 edges, 97272 markings/sec, 625 secs
lola: sara is running 630 secs || 60003834 markings, 246352718 edges, 92081 markings/sec, 630 secs
lola: sara is running 635 secs || 60491538 markings, 248318108 edges, 97541 markings/sec, 635 secs
lola: sara is running 640 secs || 60899082 markings, 250413515 edges, 81509 markings/sec, 640 secs
lola: sara is running 645 secs || 61301678 markings, 252248097 edges, 80519 markings/sec, 645 secs
lola: sara is running 650 secs || 61715746 markings, 253986672 edges, 82814 markings/sec, 650 secs
lola: sara is running 655 secs || 62142675 markings, 255697644 edges, 85386 markings/sec, 655 secs
lola: sara is running 660 secs || 62563894 markings, 257405850 edges, 84244 markings/sec, 660 secs
lola: sara is running 665 secs || 62965702 markings, 259252894 edges, 80362 markings/sec, 665 secs
lola: sara is running 670 secs || 63342459 markings, 261341867 edges, 75351 markings/sec, 670 secs
lola: sara is running 675 secs || 63718542 markings, 263405164 edges, 75217 markings/sec, 675 secs
lola: sara is running 680 secs || 64088243 markings, 265521580 edges, 73940 markings/sec, 680 secs
lola: sara is running 685 secs || 64468807 markings, 267599421 edges, 76113 markings/sec, 685 secs
lola: sara is running 690 secs || 64833300 markings, 269806878 edges, 72899 markings/sec, 690 secs
lola: sara is running 695 secs || 65181582 markings, 272165412 edges, 69656 markings/sec, 695 secs
lola: sara is running 700 secs || 65557606 markings, 274264361 edges, 75205 markings/sec, 700 secs
lola: sara is running 705 secs || 65934228 markings, 276302836 edges, 75324 markings/sec, 705 secs
lola: sara is running 710 secs || 66286289 markings, 278581566 edges, 70412 markings/sec, 710 secs
lola: sara is running 715 secs || 66627884 markings, 280902224 edges, 68319 markings/sec, 715 secs
lola: sara is running 720 secs || 66971149 markings, 283198818 edges, 68653 markings/sec, 720 secs
lola: sara is running 725 secs || 67295092 markings, 285637348 edges, 64789 markings/sec, 725 secs
lola: sara is running 730 secs || 67683933 markings, 287634767 edges, 77768 markings/sec, 730 secs
lola: sara is running 735 secs || 68034155 markings, 289742202 edges, 70044 markings/sec, 735 secs
lola: sara is running 740 secs || 68386050 markings, 291766390 edges, 70379 markings/sec, 740 secs
lola: sara is running 745 secs || 68747469 markings, 293815209 edges, 72284 markings/sec, 745 secs
lola: sara is running 750 secs || 69132632 markings, 295933587 edges, 77033 markings/sec, 750 secs
lola: sara is running 755 secs || 69544285 markings, 297684579 edges, 82331 markings/sec, 755 secs
lola: sara is running 760 secs || 69955387 markings, 299441472 edges, 82220 markings/sec, 760 secs
lola: sara is running 765 secs || 70321004 markings, 301501188 edges, 73123 markings/sec, 765 secs
lola: sara is running 770 secs || 70686664 markings, 303576331 edges, 73132 markings/sec, 770 secs
lola: sara is running 775 secs || 71041889 markings, 305730276 edges, 71045 markings/sec, 775 secs
lola: sara is running 780 secs || 71395780 markings, 307942455 edges, 70778 markings/sec, 780 secs
lola: sara is running 785 secs || 71755165 markings, 310282145 edges, 71877 markings/sec, 785 secs
lola: sara is running 790 secs || 72118809 markings, 312267666 edges, 72729 markings/sec, 790 secs
lola: sara is running 795 secs || 72467296 markings, 314435701 edges, 69697 markings/sec, 795 secs
lola: sara is running 800 secs || 72845930 markings, 316557232 edges, 75727 markings/sec, 800 secs
lola: sara is running 805 secs || 73192161 markings, 318911578 edges, 69246 markings/sec, 805 secs
lola: sara is running 810 secs || 73543801 markings, 321306703 edges, 70328 markings/sec, 810 secs
lola: sara is running 815 secs || 73885769 markings, 323491853 edges, 68394 markings/sec, 815 secs
lola: sara is running 820 secs || 74249632 markings, 325654492 edges, 72773 markings/sec, 820 secs
lola: sara is running 825 secs || 74588509 markings, 327955841 edges, 67775 markings/sec, 825 secs
lola: sara is running 830 secs || 74924748 markings, 330346567 edges, 67248 markings/sec, 830 secs
lola: sara is running 835 secs || 75260488 markings, 332699217 edges, 67148 markings/sec, 835 secs
lola: sara is running 840 secs || 75575012 markings, 335097726 edges, 62905 markings/sec, 840 secs
lola: sara is running 845 secs || 75947161 markings, 337267441 edges, 74430 markings/sec, 845 secs
lola: sara is running 850 secs || 76420284 markings, 339138648 edges, 94625 markings/sec, 850 secs
lola: sara is running 855 secs || 76929307 markings, 340815077 edges, 101805 markings/sec, 855 secs
lola: sara is running 860 secs || 77378075 markings, 342793038 edges, 89754 markings/sec, 860 secs
lola: sara is running 865 secs || 77872859 markings, 344534117 edges, 98957 markings/sec, 865 secs
lola: sara is running 870 secs || 78360628 markings, 346469699 edges, 97554 markings/sec, 870 secs
lola: sara is running 875 secs || 78811175 markings, 348213310 edges, 90109 markings/sec, 875 secs
lola: sara is running 880 secs || 79244901 markings, 350093741 edges, 86745 markings/sec, 880 secs
lola: sara is running 885 secs || 79708106 markings, 351818495 edges, 92641 markings/sec, 885 secs
lola: sara is running 890 secs || 80134442 markings, 353360307 edges, 85267 markings/sec, 890 secs
lola: sara is running 895 secs || 80545482 markings, 354923462 edges, 82208 markings/sec, 895 secs
lola: sara is running 900 secs || 80982456 markings, 356965760 edges, 87395 markings/sec, 900 secs
lola: sara is running 905 secs || 81356987 markings, 358392201 edges, 74906 markings/sec, 905 secs
lola: sara is running 910 secs || 81840380 markings, 359903407 edges, 96679 markings/sec, 910 secs
lola: sara is running 915 secs || 82281297 markings, 361452364 edges, 88183 markings/sec, 915 secs
lola: sara is running 920 secs || 82733310 markings, 363429298 edges, 90403 markings/sec, 920 secs
lola: sara is running 925 secs || 83135136 markings, 365456454 edges, 80365 markings/sec, 925 secs
lola: sara is running 930 secs || 83601782 markings, 367180408 edges, 93329 markings/sec, 930 secs
lola: sara is running 935 secs || 84053137 markings, 368910286 edges, 90271 markings/sec, 935 secs
lola: sara is running 940 secs || 84534365 markings, 370599927 edges, 96246 markings/sec, 940 secs
lola: sara is running 945 secs || 84996390 markings, 372311549 edges, 92405 markings/sec, 945 secs
lola: sara is running 950 secs || 85431782 markings, 374273645 edges, 87078 markings/sec, 950 secs
lola: sara is running 955 secs || 85865175 markings, 376321871 edges, 86679 markings/sec, 955 secs
lola: sara is running 960 secs || 86263372 markings, 378490970 edges, 79639 markings/sec, 960 secs
lola: sara is running 965 secs || 86752117 markings, 380314862 edges, 97749 markings/sec, 965 secs
lola: sara is running 970 secs || 87252630 markings, 382030213 edges, 100103 markings/sec, 970 secs
lola: sara is running 975 secs || 87748166 markings, 383727177 edges, 99107 markings/sec, 975 secs
lola: sara is running 980 secs || 88230952 markings, 385548222 edges, 96557 markings/sec, 980 secs
lola: sara is running 985 secs || 88719778 markings, 387555333 edges, 97765 markings/sec, 985 secs
lola: sara is running 990 secs || 89173046 markings, 389560810 edges, 90654 markings/sec, 990 secs
lola: sara is running 995 secs || 89656961 markings, 391263350 edges, 96783 markings/sec, 995 secs
lola: sara is running 1000 secs || 90162937 markings, 393168782 edges, 101195 markings/sec, 1000 secs
lola: sara is running 1005 secs || 90619825 markings, 395039887 edges, 91378 markings/sec, 1005 secs
lola: sara is running 1010 secs || 91113730 markings, 396968269 edges, 98781 markings/sec, 1010 secs
lola: sara is running 1015 secs || 91554855 markings, 398768656 edges, 88225 markings/sec, 1015 secs
lola: sara is running 1020 secs || 92035626 markings, 400635445 edges, 96154 markings/sec, 1020 secs
lola: sara is running 1025 secs || 92465610 markings, 402703437 edges, 85997 markings/sec, 1025 secs
lola: sara is running 1030 secs || 92897641 markings, 404548934 edges, 86406 markings/sec, 1030 secs
lola: sara is running 1035 secs || 93290392 markings, 406287308 edges, 78550 markings/sec, 1035 secs
lola: sara is running 1040 secs || 93691541 markings, 408149356 edges, 80230 markings/sec, 1040 secs
lola: sara is running 1045 secs || 94076768 markings, 409838374 edges, 77045 markings/sec, 1045 secs
lola: sara is running 1050 secs || 94483850 markings, 411679232 edges, 81416 markings/sec, 1050 secs
lola: sara is running 1055 secs || 94883650 markings, 413422822 edges, 79960 markings/sec, 1055 secs
lola: sara is running 1060 secs || 95372435 markings, 415312954 edges, 97757 markings/sec, 1060 secs
lola: sara is running 1065 secs || 95751810 markings, 416922214 edges, 75875 markings/sec, 1065 secs
lola: sara is running 1070 secs || 96221269 markings, 418683537 edges, 93892 markings/sec, 1070 secs
lola: sara is running 1075 secs || 96655038 markings, 420408976 edges, 86754 markings/sec, 1075 secs
lola: sara is running 1080 secs || 97117945 markings, 422150891 edges, 92581 markings/sec, 1080 secs
lola: sara is running 1085 secs || 97499083 markings, 423992573 edges, 76228 markings/sec, 1085 secs
lola: sara is running 1090 secs || 97904760 markings, 426013032 edges, 81135 markings/sec, 1090 secs
lola: sara is running 1095 secs || 98248223 markings, 428125905 edges, 68693 markings/sec, 1095 secs
lola: sara is running 1100 secs || 98614256 markings, 430213586 edges, 73207 markings/sec, 1100 secs
lola: sara is running 1105 secs || 98984150 markings, 432208305 edges, 73979 markings/sec, 1105 secs
lola: sara is running 1110 secs || 99385460 markings, 434051610 edges, 80262 markings/sec, 1110 secs
lola: sara is running 1115 secs || 99776996 markings, 435845642 edges, 78307 markings/sec, 1115 secs
lola: sara is running 1120 secs || 100209304 markings, 437706856 edges, 86462 markings/sec, 1120 secs
lola: sara is running 1125 secs || 100647298 markings, 439632869 edges, 87599 markings/sec, 1125 secs
lola: sara is running 1130 secs || 101113676 markings, 441440333 edges, 93276 markings/sec, 1130 secs
lola: sara is running 1135 secs || 101612171 markings, 443578896 edges, 99699 markings/sec, 1135 secs
lola: sara is running 1140 secs || 102011456 markings, 445746924 edges, 79857 markings/sec, 1140 secs
lola: sara is running 1145 secs || 102402448 markings, 447743478 edges, 78198 markings/sec, 1145 secs
lola: sara is running 1150 secs || 102790928 markings, 449704678 edges, 77696 markings/sec, 1150 secs
lola: sara is running 1155 secs || 103190792 markings, 451628977 edges, 79973 markings/sec, 1155 secs
lola: sara is running 1160 secs || 103622724 markings, 453664979 edges, 86386 markings/sec, 1160 secs
lola: sara is running 1165 secs || 103995238 markings, 455708470 edges, 74503 markings/sec, 1165 secs
lola: sara is running 1170 secs || 104349325 markings, 457628990 edges, 70817 markings/sec, 1170 secs
lola: sara is running 1175 secs || 104730557 markings, 459486360 edges, 76246 markings/sec, 1175 secs
lola: sara is running 1180 secs || 105123667 markings, 461284666 edges, 78622 markings/sec, 1180 secs
lola: sara is running 1185 secs || 105491715 markings, 463165969 edges, 73610 markings/sec, 1185 secs
lola: sara is running 1190 secs || 105948787 markings, 465002723 edges, 91414 markings/sec, 1190 secs
lola: sara is running 1195 secs || 106526416 markings, 466624664 edges, 115526 markings/sec, 1195 secs
lola: sara is running 1200 secs || 107107337 markings, 468223695 edges, 116184 markings/sec, 1200 secs
lola: sara is running 1205 secs || 107661951 markings, 469843657 edges, 110923 markings/sec, 1205 secs
lola: sara is running 1210 secs || 108227094 markings, 471550153 edges, 113029 markings/sec, 1210 secs
lola: sara is running 1215 secs || 108791779 markings, 473329952 edges, 112937 markings/sec, 1215 secs
lola: sara is running 1220 secs || 109331997 markings, 475093524 edges, 108044 markings/sec, 1220 secs
lola: sara is running 1225 secs || 109869825 markings, 476825047 edges, 107566 markings/sec, 1225 secs
lola: sara is running 1230 secs || 110430004 markings, 478473327 edges, 112036 markings/sec, 1230 secs
lola: sara is running 1235 secs || 110995873 markings, 480167728 edges, 113174 markings/sec, 1235 secs
lola: sara is running 1240 secs || 111563022 markings, 481867112 edges, 113430 markings/sec, 1240 secs
lola: sara is running 1245 secs || 112098076 markings, 483474499 edges, 107011 markings/sec, 1245 secs
lola: sara is running 1250 secs || 112577774 markings, 485162049 edges, 95940 markings/sec, 1250 secs
lola: sara is running 1255 secs || 113183360 markings, 486863384 edges, 121117 markings/sec, 1255 secs
lola: sara is running 1260 secs || 113752545 markings, 488599703 edges, 113837 markings/sec, 1260 secs
lola: sara is running 1265 secs || 114305350 markings, 490271071 edges, 110561 markings/sec, 1265 secs
lola: sara is running 1270 secs || 114801637 markings, 491880226 edges, 99257 markings/sec, 1270 secs
lola: sara is running 1275 secs || 115317966 markings, 493582011 edges, 103266 markings/sec, 1275 secs
lola: sara is running 1280 secs || 115833690 markings, 495555134 edges, 103145 markings/sec, 1280 secs
lola: sara is running 1285 secs || 116331379 markings, 497546468 edges, 99538 markings/sec, 1285 secs
lola: sara is running 1290 secs || 116808364 markings, 499462103 edges, 95397 markings/sec, 1290 secs
lola: sara is running 1295 secs || 117304216 markings, 501443662 edges, 99170 markings/sec, 1295 secs
lola: sara is running 1300 secs || 117703038 markings, 503377639 edges, 79764 markings/sec, 1300 secs
lola: sara is running 1305 secs || 118093653 markings, 505239145 edges, 78123 markings/sec, 1305 secs
lola: sara is running 1310 secs || 118469201 markings, 507162965 edges, 75110 markings/sec, 1310 secs
lola: sara is running 1315 secs || 118835866 markings, 509106013 edges, 73333 markings/sec, 1315 secs
lola: sara is running 1320 secs || 119180151 markings, 511015221 edges, 68857 markings/sec, 1320 secs
lola: sara is running 1325 secs || 119514958 markings, 512958882 edges, 66961 markings/sec, 1325 secs
lola: sara is running 1330 secs || 119898605 markings, 514965382 edges, 76729 markings/sec, 1330 secs
lola: sara is running 1335 secs || 120272779 markings, 516830406 edges, 74835 markings/sec, 1335 secs
lola: sara is running 1340 secs || 120591875 markings, 518813349 edges, 63819 markings/sec, 1340 secs
lola: sara is running 1345 secs || 120937835 markings, 520785632 edges, 69192 markings/sec, 1345 secs
lola: sara is running 1350 secs || 121256459 markings, 522721227 edges, 63725 markings/sec, 1350 secs
lola: sara is running 1355 secs || 121578881 markings, 524727025 edges, 64484 markings/sec, 1355 secs
lola: sara is running 1360 secs || 121919885 markings, 526717270 edges, 68201 markings/sec, 1360 secs
lola: sara is running 1365 secs || 122257576 markings, 528669679 edges, 67538 markings/sec, 1365 secs
lola: sara is running 1370 secs || 122591521 markings, 530646120 edges, 66789 markings/sec, 1370 secs
lola: sara is running 1375 secs || 122909175 markings, 532675685 edges, 63531 markings/sec, 1375 secs
lola: sara is running 1380 secs || 123308101 markings, 534652975 edges, 79785 markings/sec, 1380 secs
lola: sara is running 1385 secs || 123681035 markings, 536523761 edges, 74587 markings/sec, 1385 secs
lola: sara is running 1390 secs || 124028694 markings, 538465982 edges, 69532 markings/sec, 1390 secs
lola: sara is running 1395 secs || 124411367 markings, 540247387 edges, 76535 markings/sec, 1395 secs
lola: sara is running 1400 secs || 124788104 markings, 542093648 edges, 75347 markings/sec, 1400 secs
lola: sara is running 1405 secs || 125138729 markings, 544163254 edges, 70125 markings/sec, 1405 secs
lola: sara is running 1410 secs || 125489484 markings, 546108043 edges, 70151 markings/sec, 1410 secs
lola: sara is running 1415 secs || 125825852 markings, 548107082 edges, 67274 markings/sec, 1415 secs
lola: sara is running 1420 secs || 126163963 markings, 550170494 edges, 67622 markings/sec, 1420 secs
lola: sara is running 1425 secs || 126516887 markings, 552283824 edges, 70585 markings/sec, 1425 secs
lola: sara is running 1430 secs || 126886835 markings, 554343469 edges, 73990 markings/sec, 1430 secs
lola: sara is running 1435 secs || 127233663 markings, 556301599 edges, 69366 markings/sec, 1435 secs
lola: sara is running 1440 secs || 127588881 markings, 558188840 edges, 71044 markings/sec, 1440 secs
lola: sara is running 1445 secs || 127933029 markings, 560081652 edges, 68830 markings/sec, 1445 secs
lola: sara is running 1450 secs || 128276443 markings, 561925069 edges, 68683 markings/sec, 1450 secs
lola: sara is running 1455 secs || 128646521 markings, 563721022 edges, 74016 markings/sec, 1455 secs
lola: sara is running 1460 secs || 129000451 markings, 565638849 edges, 70786 markings/sec, 1460 secs
lola: sara is running 1465 secs || 129343403 markings, 567597382 edges, 68590 markings/sec, 1465 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no unknown no unknown yes no yes yes unknown no yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no unknown no unknown yes no yes yes unknown no yes yes no
lola: memory consumption: 4568844 KB
lola: time consumption: 2096 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no unknown no unknown yes no yes yes unknown no yes yes no
lola: memory consumption: 4569200 KB
lola: time consumption: 2096 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((FIREABLE(t11_4) OR FIREABLE(tAb18)) AND (FIREABLE(t19_13) OR FIREABLE(t27_23))) OR E (F (FIREABLE(t23_11)))) AND E (G (((NOT FIREABLE(t27_28) AND NOT FIREABLE(t18_19)) OR FIREABLE(t24_25)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no unknown no unknown yes no yes yes unknown no yes yes no
lola:
preliminary result: no unknown no no unknown no unknown yes no yes yes unknown no yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no unknown no unknown yes no yes yes unknown no yes yes no
lola: memory consumption: 14520 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 14520 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
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-04track28LL"
export BK_EXAMINATION="CTLFireability"
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-04track28LL.tgz
mv DNAwalker-PT-04track28LL 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-04track28LL, examination is CTLFireability"
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-152649735400249"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 ;