About the Execution of LoLA for DLCround-PT-12a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14078.340 | 3570817.00 | 3623616.00 | 9034.00 | ???T??????T??FFF | 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 1.1M
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 9.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 871K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-12a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200130
=====================================================================
--------------------
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 DLCround-PT-12a-CTLFireability-00
FORMULA_NAME DLCround-PT-12a-CTLFireability-01
FORMULA_NAME DLCround-PT-12a-CTLFireability-02
FORMULA_NAME DLCround-PT-12a-CTLFireability-03
FORMULA_NAME DLCround-PT-12a-CTLFireability-04
FORMULA_NAME DLCround-PT-12a-CTLFireability-05
FORMULA_NAME DLCround-PT-12a-CTLFireability-06
FORMULA_NAME DLCround-PT-12a-CTLFireability-07
FORMULA_NAME DLCround-PT-12a-CTLFireability-08
FORMULA_NAME DLCround-PT-12a-CTLFireability-09
FORMULA_NAME DLCround-PT-12a-CTLFireability-10
FORMULA_NAME DLCround-PT-12a-CTLFireability-11
FORMULA_NAME DLCround-PT-12a-CTLFireability-12
FORMULA_NAME DLCround-PT-12a-CTLFireability-13
FORMULA_NAME DLCround-PT-12a-CTLFireability-14
FORMULA_NAME DLCround-PT-12a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526669191313
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-12a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-12a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCround-PT-12a @ 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: 3826/65536 symbol table entries, 522 collisions
lola: preprocessing...
lola: Size of bit vector: 419
lola: finding significant places
lola: 419 places, 3407 transitions, 142 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3020 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-12a-CTLFireability.task
lola: A (X (A (X (E (F (FIREABLE(t3136))))))) : A (G ((E (X (NOT FIREABLE(t1778))) OR NOT FIREABLE(t2037)))) : (((FIREABLE(t819) AND (A (F (FIREABLE(t3210))) AND (FIREABLE(t2876) AND FIREABLE(t3043) AND NOT FIREABLE(t1593)))) OR A (X ((NOT FIREABLE(t352) OR NOT FIREABLE(t3198))))) AND (A (G (E (F (FIREABLE(t2130))))) OR FIREABLE(t1939))) : E (X (E (F (FIREABLE(t3202))))) : A (G ((E (X ((FIREABLE(t603) OR FIREABLE(t2481)))) OR A (X (NOT FIREABLE(t2444)))))) : A (F ((E (F (FIREABLE(t234))) AND E (F (FIREABLE(t1557)))))) : NOT(A (G ((((FIREABLE(t109) AND FIREABLE(t3070)) OR NOT FIREABLE(t370)) OR A (X (FIREABLE(t983))))))) : (FIREABLE(t927) OR A (G (NOT(A (G (FIREABLE(t2874))))))) : NOT(E ((NOT FIREABLE(t2472) U A (X (FIREABLE(t1351)))))) : E (((E (G (FIREABLE(t3286))) OR E (F (FIREABLE(t2185)))) U A (G ((FIREABLE(t584) OR FIREABLE(t3296)))))) : NOT(A (G ((NOT FIREABLE(t3284) OR NOT FIREABLE(t1260) OR (NOT FIREABLE(t396) AND NOT FIREABLE(t513)))))) : ((A (F ((FIREABLE(t349) OR FIREABLE(t2498) OR FIREABLE(t1420)))) AND E (F (FIREABLE(t2663)))) OR E (F (A ((FIREABLE(t1865) U FIREABLE(t3202)))))) : (FIREABLE(t169) AND NOT((E ((FIREABLE(t397) U FIREABLE(t3091))) OR A (F (NOT FIREABLE(t117)))))) : E (((E (F (FIREABLE(t536))) AND (FIREABLE(t1071) OR FIREABLE(t1422) OR FIREABLE(t1436))) U A (X (FIREABLE(t1967))))) : FIREABLE(t732) : E (G (FIREABLE(t2251)))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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: FIREABLE(t732)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t732)
lola: processed formula length: 14
lola: 27 rewrites
lola: closed formula file DLCround-PT-12a-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: ========================================
FORMULA DLCround-PT-12a-CTLFireability-14 FALSE 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: A (G ((E (X (NOT FIREABLE(t1778))) OR NOT FIREABLE(t2037))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (NOT(EX(NOT FIREABLE(t1778))) AND FIREABLE(t2037))))
lola: processed formula length: 65
lola: 31 rewrites
lola: closed formula file DLCround-PT-12a-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: 30319 markings, 2579073 edges, 6064 markings/sec, 0 secs
lola: 60282 markings, 5159814 edges, 5993 markings/sec, 5 secs
lola: 90331 markings, 7803790 edges, 6010 markings/sec, 10 secs
lola: 121520 markings, 10429087 edges, 6238 markings/sec, 15 secs
lola: 154308 markings, 13071028 edges, 6558 markings/sec, 20 secs
lola: 185456 markings, 15555159 edges, 6230 markings/sec, 25 secs
lola: 218118 markings, 18266089 edges, 6532 markings/sec, 30 secs
lola: 248710 markings, 20907583 edges, 6118 markings/sec, 35 secs
lola: 278710 markings, 23562384 edges, 6000 markings/sec, 40 secs
lola: 308772 markings, 26174825 edges, 6012 markings/sec, 45 secs
lola: 340182 markings, 28795759 edges, 6282 markings/sec, 50 secs
lola: 370723 markings, 31402649 edges, 6108 markings/sec, 55 secs
lola: 402433 markings, 34159039 edges, 6342 markings/sec, 60 secs
lola: 432495 markings, 36845390 edges, 6012 markings/sec, 65 secs
lola: 462900 markings, 39532200 edges, 6081 markings/sec, 70 secs
lola: 494514 markings, 42244017 edges, 6323 markings/sec, 75 secs
lola: 524402 markings, 44777295 edges, 5978 markings/sec, 80 secs
lola: 554666 markings, 47518604 edges, 6053 markings/sec, 85 secs
lola: 583849 markings, 50204869 edges, 5837 markings/sec, 90 secs
lola: 614377 markings, 52796497 edges, 6106 markings/sec, 95 secs
lola: 646937 markings, 55515939 edges, 6512 markings/sec, 100 secs
lola: 678624 markings, 58181075 edges, 6337 markings/sec, 105 secs
lola: 712574 markings, 60884358 edges, 6790 markings/sec, 110 secs
lola: 744838 markings, 63429322 edges, 6453 markings/sec, 115 secs
lola: 776486 markings, 66116493 edges, 6330 markings/sec, 120 secs
lola: 807488 markings, 68769781 edges, 6200 markings/sec, 125 secs
lola: 839194 markings, 71419975 edges, 6341 markings/sec, 130 secs
lola: 871400 markings, 74121202 edges, 6441 markings/sec, 135 secs
lola: 902875 markings, 76707126 edges, 6295 markings/sec, 140 secs
lola: 935246 markings, 79406229 edges, 6474 markings/sec, 145 secs
lola: 968653 markings, 82017593 edges, 6681 markings/sec, 150 secs
lola: 1003895 markings, 84711783 edges, 7048 markings/sec, 155 secs
lola: 1036614 markings, 87429675 edges, 6544 markings/sec, 160 secs
lola: 1071703 markings, 90005103 edges, 7018 markings/sec, 165 secs
lola: 1104239 markings, 92619714 edges, 6507 markings/sec, 170 secs
lola: 1137104 markings, 95219222 edges, 6573 markings/sec, 175 secs
lola: 1170844 markings, 97858660 edges, 6748 markings/sec, 180 secs
lola: 1202316 markings, 100477521 edges, 6294 markings/sec, 185 secs
lola: 1233182 markings, 103094514 edges, 6173 markings/sec, 190 secs
lola: 1267186 markings, 105649802 edges, 6801 markings/sec, 195 secs
lola: 1299262 markings, 108397718 edges, 6415 markings/sec, 200 secs
lola: 1330223 markings, 110924524 edges, 6192 markings/sec, 205 secs
lola: 1361603 markings, 113501183 edges, 6276 markings/sec, 210 secs
lola: 1393822 markings, 116173192 edges, 6444 markings/sec, 215 secs
lola: 1426230 markings, 118854445 edges, 6482 markings/sec, 220 secs
lola: 1460832 markings, 121419679 edges, 6920 markings/sec, 225 secs
lola: 1493548 markings, 124058560 edges, 6543 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 4253112 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((FIREABLE(t819) AND (A (F (FIREABLE(t3210))) AND (FIREABLE(t2876) AND FIREABLE(t3043) AND NOT FIREABLE(t1593)))) OR A (X ((NOT FIREABLE(t352) OR NOT FIREABLE(t3198))))) AND (A (G (E (F (FIREABLE(t2130))))) OR FIREABLE(t1939)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1939)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1939)
lola: processed formula length: 15
lola: 27 rewrites
lola: closed formula file DLCround-PT-12a-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 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t819)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t819)
lola: processed formula length: 14
lola: 27 rewrites
lola: closed formula file DLCround-PT-12a-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 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t2130)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t2130)
lola: processed formula length: 15
lola: 28 rewrites
lola: closed formula file DLCround-PT-12a-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: 28540 markings, 701238 edges, 5708 markings/sec, 0 secs
lola: 56754 markings, 1373529 edges, 5643 markings/sec, 5 secs
lola: 86733 markings, 2099955 edges, 5996 markings/sec, 10 secs
lola: 116973 markings, 2818991 edges, 6048 markings/sec, 15 secs
lola: 145149 markings, 3491226 edges, 5635 markings/sec, 20 secs
lola: 175155 markings, 4211744 edges, 6001 markings/sec, 25 secs
lola: 204978 markings, 4921363 edges, 5965 markings/sec, 30 secs
lola: 235002 markings, 5626251 edges, 6005 markings/sec, 35 secs
lola: 262971 markings, 6281844 edges, 5594 markings/sec, 40 secs
lola: 293235 markings, 6989341 edges, 6053 markings/sec, 45 secs
lola: 322842 markings, 7690117 edges, 5921 markings/sec, 50 secs
lola: 351326 markings, 8352786 edges, 5697 markings/sec, 55 secs
lola: 381098 markings, 9055710 edges, 5954 markings/sec, 60 secs
lola: 410836 markings, 9760195 edges, 5948 markings/sec, 65 secs
lola: 440402 markings, 10466909 edges, 5913 markings/sec, 70 secs
lola: 468885 markings, 11126354 edges, 5697 markings/sec, 75 secs
lola: 498621 markings, 11837567 edges, 5947 markings/sec, 80 secs
lola: 528753 markings, 12545532 edges, 6026 markings/sec, 85 secs
lola: 558591 markings, 13245796 edges, 5968 markings/sec, 90 secs
lola: 585971 markings, 13920410 edges, 5476 markings/sec, 95 secs
lola: 615781 markings, 14606236 edges, 5962 markings/sec, 100 secs
lola: 645536 markings, 15295768 edges, 5951 markings/sec, 105 secs
lola: 675254 markings, 15981646 edges, 5944 markings/sec, 110 secs
lola: 703165 markings, 16646194 edges, 5582 markings/sec, 115 secs
lola: 732901 markings, 17343354 edges, 5947 markings/sec, 120 secs
lola: 761132 markings, 17993682 edges, 5646 markings/sec, 125 secs
lola: 790906 markings, 18689207 edges, 5955 markings/sec, 130 secs
lola: 820665 markings, 19373220 edges, 5952 markings/sec, 135 secs
lola: 849038 markings, 20034534 edges, 5675 markings/sec, 140 secs
lola: 878946 markings, 20720682 edges, 5982 markings/sec, 145 secs
lola: 906386 markings, 21366569 edges, 5488 markings/sec, 150 secs
lola: 936306 markings, 22074587 edges, 5984 markings/sec, 155 secs
lola: 964514 markings, 22740934 edges, 5642 markings/sec, 160 secs
lola: 995028 markings, 23474467 edges, 6103 markings/sec, 165 secs
lola: 1023728 markings, 24159439 edges, 5740 markings/sec, 170 secs
lola: 1052589 markings, 24840952 edges, 5772 markings/sec, 175 secs
lola: 1082194 markings, 25549667 edges, 5921 markings/sec, 180 secs
lola: 1112292 markings, 26256618 edges, 6020 markings/sec, 185 secs
lola: 1141359 markings, 26937812 edges, 5813 markings/sec, 190 secs
lola: 1171649 markings, 27662322 edges, 6058 markings/sec, 195 secs
lola: 1201581 markings, 28358288 edges, 5986 markings/sec, 200 secs
lola: 1231482 markings, 29060466 edges, 5980 markings/sec, 205 secs
lola: 1261433 markings, 29761948 edges, 5990 markings/sec, 210 secs
lola: 1289213 markings, 30416107 edges, 5556 markings/sec, 215 secs
lola: 1319223 markings, 31119466 edges, 6002 markings/sec, 220 secs
lola: 1349048 markings, 31831149 edges, 5965 markings/sec, 225 secs
lola: 1378900 markings, 32531215 edges, 5970 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 1513104 KB
lola: time consumption: 476 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 1513104 KB
lola: time consumption: 476 seconds
lola: memory consumption: 1513104 KB
lola: time consumption: 476 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (FIREABLE(t3202)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:626
lola: processed formula: FIREABLE(t3202)
lola: processed formula length: 15
lola: 28 rewrites
lola: closed formula file DLCround-PT-12a-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: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 5 markings, 4 edges
lola: ========================================
FORMULA DLCround-PT-12a-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (X ((FIREABLE(t603) OR FIREABLE(t2481)))) OR A (X (NOT FIREABLE(t2444))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: processed formula: NOT(E(TRUE U (NOT(EX((FIREABLE(t603) OR FIREABLE(t2481)))) AND NOT(AX(NOT FIREABLE(t2444))))))
lola: processed formula length: 95
lola: 31 rewrites
lola: closed formula file DLCround-PT-12a-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: 9951 markings, 831373 edges, 1990 markings/sec, 0 secs
lola: 19567 markings, 1638969 edges, 1923 markings/sec, 5 secs
lola: 29358 markings, 2491914 edges, 1958 markings/sec, 10 secs
lola: 39294 markings, 3361546 edges, 1987 markings/sec, 15 secs
lola: 49337 markings, 4212286 edges, 2009 markings/sec, 20 secs
lola: 59374 markings, 5080912 edges, 2007 markings/sec, 25 secs
lola: 69261 markings, 5937406 edges, 1977 markings/sec, 30 secs
lola: 79246 markings, 6806229 edges, 1997 markings/sec, 35 secs
lola: 88875 markings, 7671554 edges, 1926 markings/sec, 40 secs
lola: 98296 markings, 8521757 edges, 1884 markings/sec, 45 secs
lola: 108240 markings, 9375515 edges, 1989 markings/sec, 50 secs
lola: 118585 markings, 10202089 edges, 2069 markings/sec, 55 secs
lola: 128711 markings, 11007798 edges, 2025 markings/sec, 60 secs
lola: 138945 markings, 11831567 edges, 2047 markings/sec, 65 secs
lola: 149357 markings, 12674679 edges, 2082 markings/sec, 70 secs
lola: 159661 markings, 13497534 edges, 2061 markings/sec, 75 secs
lola: 170261 markings, 14339184 edges, 2120 markings/sec, 80 secs
lola: 180628 markings, 15165463 edges, 2073 markings/sec, 85 secs
lola: 190712 markings, 15996976 edges, 2017 markings/sec, 90 secs
lola: 200520 markings, 16833101 edges, 1962 markings/sec, 95 secs
lola: 210679 markings, 17660141 edges, 2032 markings/sec, 100 secs
lola: 220750 markings, 18499932 edges, 2014 markings/sec, 105 secs
lola: 230666 markings, 19357628 edges, 1983 markings/sec, 110 secs
lola: 240738 markings, 20208029 edges, 2014 markings/sec, 115 secs
lola: 250592 markings, 21064823 edges, 1971 markings/sec, 120 secs
lola: 260421 markings, 21922471 edges, 1966 markings/sec, 125 secs
lola: 269941 markings, 22753040 edges, 1904 markings/sec, 130 secs
lola: 279201 markings, 23603885 edges, 1852 markings/sec, 135 secs
lola: 288694 markings, 24450042 edges, 1899 markings/sec, 140 secs
lola: 298500 markings, 25292771 edges, 1961 markings/sec, 145 secs
lola: 308317 markings, 26138751 edges, 1963 markings/sec, 150 secs
lola: 318845 markings, 26965470 edges, 2106 markings/sec, 155 secs
lola: 328761 markings, 27781845 edges, 1983 markings/sec, 160 secs
lola: 338246 markings, 28634287 edges, 1897 markings/sec, 165 secs
lola: 348189 markings, 29496018 edges, 1989 markings/sec, 170 secs
lola: 358265 markings, 30328970 edges, 2015 markings/sec, 175 secs
lola: 367951 markings, 31172957 edges, 1937 markings/sec, 180 secs
lola: 377841 markings, 32018599 edges, 1978 markings/sec, 185 secs
lola: 387465 markings, 32852781 edges, 1925 markings/sec, 190 secs
lola: 397310 markings, 33714935 edges, 1969 markings/sec, 195 secs
lola: 407099 markings, 34549522 edges, 1958 markings/sec, 200 secs
lola: 415854 markings, 35369291 edges, 1751 markings/sec, 205 secs
lola: 425400 markings, 36206470 edges, 1909 markings/sec, 210 secs
lola: 434530 markings, 37027828 edges, 1826 markings/sec, 215 secs
lola: 444117 markings, 37858830 edges, 1917 markings/sec, 220 secs
lola: 453467 markings, 38709753 edges, 1870 markings/sec, 225 secs
lola: 463079 markings, 39549365 edges, 1922 markings/sec, 230 secs
lola: 472174 markings, 40376096 edges, 1819 markings/sec, 235 secs
lola: 481474 markings, 41209212 edges, 1860 markings/sec, 240 secs
lola: 492001 markings, 42050505 edges, 2105 markings/sec, 245 secs
lola: 502631 markings, 42847543 edges, 2126 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 1475588 KB
lola: time consumption: 733 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((NOT FIREABLE(t109) OR NOT FIREABLE(t3070)) AND FIREABLE(t370)) AND E (X (NOT FIREABLE(t983))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (((NOT FIREABLE(t109) OR NOT FIREABLE(t3070)) AND FIREABLE(t370)) AND EX(NOT FIREABLE(t983))))
lola: processed formula length: 104
lola: 29 rewrites
lola: closed formula file DLCround-PT-12a-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: 36930 markings, 3154426 edges, 7386 markings/sec, 0 secs
lola: 72948 markings, 6254375 edges, 7204 markings/sec, 5 secs
lola: 108032 markings, 9353700 edges, 7017 markings/sec, 10 secs
lola: 143742 markings, 12223495 edges, 7142 markings/sec, 15 secs
lola: 181470 markings, 15231635 edges, 7546 markings/sec, 20 secs
lola: 218678 markings, 18313445 edges, 7442 markings/sec, 25 secs
lola: 254989 markings, 21451429 edges, 7262 markings/sec, 30 secs
lola: 290075 markings, 24572285 edges, 7017 markings/sec, 35 secs
lola: 327537 markings, 27677187 edges, 7492 markings/sec, 40 secs
lola: 363920 markings, 30813721 edges, 7277 markings/sec, 45 secs
lola: 399552 markings, 33915364 edges, 7126 markings/sec, 50 secs
lola: 434431 markings, 37019683 edges, 6976 markings/sec, 55 secs
lola: 469253 markings, 40111926 edges, 6964 markings/sec, 60 secs
lola: 507092 markings, 43242837 edges, 7568 markings/sec, 65 secs
lola: 541370 markings, 46329862 edges, 6856 markings/sec, 70 secs
lola: 575495 markings, 49414154 edges, 6825 markings/sec, 75 secs
lola: 611122 markings, 52524569 edges, 7125 markings/sec, 80 secs
lola: 648378 markings, 55617307 edges, 7451 markings/sec, 85 secs
lola: 684323 markings, 58671004 edges, 7189 markings/sec, 90 secs
lola: 724241 markings, 61747779 edges, 7984 markings/sec, 95 secs
lola: 762198 markings, 64796647 edges, 7591 markings/sec, 100 secs
lola: 796909 markings, 67844599 edges, 6942 markings/sec, 105 secs
lola: 833007 markings, 70888005 edges, 7220 markings/sec, 110 secs
lola: 869275 markings, 73948568 edges, 7254 markings/sec, 115 secs
lola: 905523 markings, 76937468 edges, 7250 markings/sec, 120 secs
lola: 943326 markings, 80001654 edges, 7561 markings/sec, 125 secs
lola: 982033 markings, 83005861 edges, 7741 markings/sec, 130 secs
lola: 1020841 markings, 86092989 edges, 7762 markings/sec, 135 secs
lola: 1060185 markings, 89133714 edges, 7869 markings/sec, 140 secs
lola: 1097530 markings, 92009825 edges, 7469 markings/sec, 145 secs
lola: 1135039 markings, 95069379 edges, 7502 markings/sec, 150 secs
lola: 1173132 markings, 98023845 edges, 7619 markings/sec, 155 secs
lola: 1208770 markings, 101019049 edges, 7128 markings/sec, 160 secs
lola: 1243806 markings, 103906020 edges, 7007 markings/sec, 165 secs
lola: 1280964 markings, 106802085 edges, 7432 markings/sec, 170 secs
lola: 1317072 markings, 109733112 edges, 7222 markings/sec, 175 secs
lola: 1351358 markings, 112662934 edges, 6857 markings/sec, 180 secs
lola: 1387566 markings, 115579747 edges, 7242 markings/sec, 185 secs
lola: 1421263 markings, 118484455 edges, 6739 markings/sec, 190 secs
lola: 1460196 markings, 121360289 edges, 7787 markings/sec, 195 secs
lola: 1496193 markings, 124297467 edges, 7199 markings/sec, 200 secs
lola: 1531992 markings, 127212021 edges, 7160 markings/sec, 205 secs
lola: 1567978 markings, 130155303 edges, 7197 markings/sec, 210 secs
lola: 1607306 markings, 133156769 edges, 7866 markings/sec, 215 secs
lola: 1643599 markings, 136240530 edges, 7259 markings/sec, 220 secs
lola: 1681918 markings, 139138315 edges, 7664 markings/sec, 225 secs
lola: 1717781 markings, 142036038 edges, 7173 markings/sec, 230 secs
lola: 1753936 markings, 144925243 edges, 7231 markings/sec, 235 secs
lola: 1789883 markings, 147826633 edges, 7189 markings/sec, 240 secs
lola: 1823923 markings, 150733817 edges, 6808 markings/sec, 245 secs
lola: 1857587 markings, 153592126 edges, 6733 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 2728680 KB
lola: time consumption: 991 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t2472) R E (X (NOT FIREABLE(t1351)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:742
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(NOT FIREABLE(t2472) U NOT(EX(NOT FIREABLE(t1351)))))
lola: processed formula length: 58
lola: 30 rewrites
lola: closed formula file DLCround-PT-12a-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: 31426 markings, 2672635 edges, 6285 markings/sec, 0 secs
lola: 61717 markings, 5292032 edges, 6058 markings/sec, 5 secs
lola: 94389 markings, 8166856 edges, 6534 markings/sec, 10 secs
lola: 128925 markings, 11024201 edges, 6907 markings/sec, 15 secs
lola: 162793 markings, 13741950 edges, 6774 markings/sec, 20 secs
lola: 198257 markings, 16624851 edges, 7093 markings/sec, 25 secs
lola: 231820 markings, 19453037 edges, 6713 markings/sec, 30 secs
lola: 262301 markings, 22084267 edges, 6096 markings/sec, 35 secs
lola: 291864 markings, 24731072 edges, 5913 markings/sec, 40 secs
lola: 325525 markings, 27495297 edges, 6732 markings/sec, 45 secs
lola: 358444 markings, 30341894 edges, 6584 markings/sec, 50 secs
lola: 389960 markings, 33063518 edges, 6303 markings/sec, 55 secs
lola: 420049 markings, 35743776 edges, 6018 markings/sec, 60 secs
lola: 451363 markings, 38532573 edges, 6263 markings/sec, 65 secs
lola: 481798 markings, 41235669 edges, 6087 markings/sec, 70 secs
lola: 517231 markings, 44146722 edges, 7087 markings/sec, 75 secs
lola: 547851 markings, 46930704 edges, 6124 markings/sec, 80 secs
lola: 577452 markings, 49605273 edges, 5920 markings/sec, 85 secs
lola: 607584 markings, 52220658 edges, 6026 markings/sec, 90 secs
lola: 642297 markings, 55108457 edges, 6943 markings/sec, 95 secs
lola: 675303 markings, 57911391 edges, 6601 markings/sec, 100 secs
lola: 709977 markings, 60689040 edges, 6935 markings/sec, 105 secs
lola: 744369 markings, 63387278 edges, 6878 markings/sec, 110 secs
lola: 776720 markings, 66139351 edges, 6470 markings/sec, 115 secs
lola: 808736 markings, 68867836 edges, 6403 markings/sec, 120 secs
lola: 842898 markings, 71718644 edges, 6832 markings/sec, 125 secs
lola: 875198 markings, 74435663 edges, 6460 markings/sec, 130 secs
lola: 908906 markings, 77244072 edges, 6742 markings/sec, 135 secs
lola: 943537 markings, 80017064 edges, 6926 markings/sec, 140 secs
lola: 980082 markings, 82853169 edges, 7309 markings/sec, 145 secs
lola: 1016329 markings, 85712052 edges, 7249 markings/sec, 150 secs
lola: 1048230 markings, 88284686 edges, 6380 markings/sec, 155 secs
lola: 1084304 markings, 90907908 edges, 7215 markings/sec, 160 secs
lola: 1113883 markings, 93353741 edges, 5916 markings/sec, 165 secs
lola: 1150071 markings, 96215728 edges, 7238 markings/sec, 170 secs
lola: 1183971 markings, 98951519 edges, 6780 markings/sec, 175 secs
lola: 1217907 markings, 101803264 edges, 6787 markings/sec, 180 secs
lola: 1251952 markings, 104530204 edges, 6809 markings/sec, 185 secs
lola: 1284770 markings, 107132629 edges, 6564 markings/sec, 190 secs
lola: 1319559 markings, 109954451 edges, 6958 markings/sec, 195 secs
lola: 1353032 markings, 112802841 edges, 6695 markings/sec, 200 secs
lola: 1387571 markings, 115580682 edges, 6908 markings/sec, 205 secs
lola: 1420502 markings, 118422900 edges, 6586 markings/sec, 210 secs
lola: 1457541 markings, 121150506 edges, 7408 markings/sec, 215 secs
lola: 1489470 markings, 123708154 edges, 6386 markings/sec, 220 secs
lola: 1523657 markings, 126544345 edges, 6837 markings/sec, 225 secs
lola: 1558112 markings, 129374250 edges, 6891 markings/sec, 230 secs
lola: 1596337 markings, 132246980 edges, 7645 markings/sec, 235 secs
lola: 1630504 markings, 135125366 edges, 6833 markings/sec, 240 secs
lola: 1666098 markings, 137871762 edges, 7119 markings/sec, 245 secs
lola: 1700265 markings, 140585149 edges, 6833 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown
lola: memory consumption: 4787124 KB
lola: time consumption: 1248 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (F (FIREABLE(t536))) AND (FIREABLE(t1071) OR FIREABLE(t1422) OR FIREABLE(t1436))) U A (X (FIREABLE(t1967)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E((E(TRUE U FIREABLE(t536)) AND (FIREABLE(t1071) OR FIREABLE(t1422) OR FIREABLE(t1436))) U AX(FIREABLE(t1967)))
lola: processed formula length: 113
lola: 30 rewrites
lola: closed formula file DLCround-PT-12a-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: 17 markings, 215 edges
lola: ========================================
FORMULA DLCround-PT-12a-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (X (E (F (FIREABLE(t3136)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(AX(E(TRUE U FIREABLE(t3136))))
lola: processed formula length: 33
lola: 30 rewrites
lola: closed formula file DLCround-PT-12a-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: 36792 markings, 3142986 edges, 7358 markings/sec, 0 secs
lola: 73130 markings, 6269596 edges, 7268 markings/sec, 5 secs
lola: 107834 markings, 9335370 edges, 6941 markings/sec, 10 secs
lola: 144606 markings, 12296806 edges, 7354 markings/sec, 15 secs
lola: 181535 markings, 15237418 edges, 7386 markings/sec, 20 secs
lola: 217510 markings, 18215019 edges, 7195 markings/sec, 25 secs
lola: 254022 markings, 21364437 edges, 7302 markings/sec, 30 secs
lola: 288499 markings, 24434173 edges, 6895 markings/sec, 35 secs
lola: 322625 markings, 27270597 edges, 6825 markings/sec, 40 secs
lola: 359189 markings, 30394658 edges, 7313 markings/sec, 45 secs
lola: 393461 markings, 33355807 edges, 6854 markings/sec, 50 secs
lola: 426414 markings, 36296815 edges, 6591 markings/sec, 55 secs
lola: 460042 markings, 39279559 edges, 6726 markings/sec, 60 secs
lola: 494572 markings, 42248418 edges, 6906 markings/sec, 65 secs
lola: 529087 markings, 45193664 edges, 6903 markings/sec, 70 secs
lola: 561618 markings, 48135361 edges, 6506 markings/sec, 75 secs
lola: 594883 markings, 51134342 edges, 6653 markings/sec, 80 secs
lola: 631365 markings, 54199152 edges, 7296 markings/sec, 85 secs
lola: 666750 markings, 57127045 edges, 7077 markings/sec, 90 secs
lola: 701779 markings, 60089681 edges, 7006 markings/sec, 95 secs
lola: 739704 markings, 62959498 edges, 7585 markings/sec, 100 secs
lola: 774069 markings, 65895174 edges, 6873 markings/sec, 105 secs
lola: 807882 markings, 68800608 edges, 6763 markings/sec, 110 secs
lola: 843154 markings, 71739598 edges, 7054 markings/sec, 115 secs
lola: 877943 markings, 74661476 edges, 6958 markings/sec, 120 secs
lola: 912303 markings, 77525226 edges, 6872 markings/sec, 125 secs
lola: 948691 markings, 80459548 edges, 7278 markings/sec, 130 secs
lola: 986393 markings, 83356567 edges, 7540 markings/sec, 135 secs
lola: 1023504 markings, 86336808 edges, 7422 markings/sec, 140 secs
lola: 1061418 markings, 89232543 edges, 7583 markings/sec, 145 secs
lola: 1098507 markings, 92101050 edges, 7418 markings/sec, 150 secs
lola: 1134797 markings, 95049548 edges, 7258 markings/sec, 155 secs
lola: 1171453 markings, 97902500 edges, 7331 markings/sec, 160 secs
lola: 1206117 markings, 100796518 edges, 6933 markings/sec, 165 secs
lola: 1240047 markings, 103641235 edges, 6786 markings/sec, 170 secs
lola: 1277581 markings, 106495776 edges, 7507 markings/sec, 175 secs
lola: 1312830 markings, 109425498 edges, 7050 markings/sec, 180 secs
lola: 1347458 markings, 112327571 edges, 6926 markings/sec, 185 secs
lola: 1383523 markings, 115211719 edges, 7213 markings/sec, 190 secs
lola: 1416704 markings, 118090897 edges, 6636 markings/sec, 195 secs
lola: 1455059 markings, 120981892 edges, 7671 markings/sec, 200 secs
lola: 1492529 markings, 123968970 edges, 7494 markings/sec, 205 secs
lola: 1528139 markings, 126889234 edges, 7122 markings/sec, 210 secs
lola: 1564057 markings, 129867874 edges, 7184 markings/sec, 215 secs
lola: 1605480 markings, 133004224 edges, 8285 markings/sec, 220 secs
lola: 1642962 markings, 136187669 edges, 7496 markings/sec, 225 secs
lola: 1681686 markings, 139113815 edges, 7745 markings/sec, 230 secs
lola: 1719034 markings, 142144800 edges, 7470 markings/sec, 235 secs
lola: 1755668 markings, 145083304 edges, 7327 markings/sec, 240 secs
lola: 1791929 markings, 147982931 edges, 7252 markings/sec, 245 secs
lola: 1825421 markings, 150867742 edges, 6698 markings/sec, 250 secs
lola: 1858808 markings, 153708766 edges, 6677 markings/sec, 255 secs
lola: 1894413 markings, 156615608 edges, 7121 markings/sec, 260 secs
lola: 1930919 markings, 159541581 edges, 7301 markings/sec, 265 secs
lola: 1967946 markings, 162572012 edges, 7405 markings/sec, 270 secs
lola: 2005459 markings, 165612023 edges, 7503 markings/sec, 275 secs
lola: 2042624 markings, 168688296 edges, 7433 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown no no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown no no unknown
lola: memory consumption: 3021264 KB
lola: time consumption: 1538 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3284) AND FIREABLE(t1260) AND (FIREABLE(t396) OR FIREABLE(t513)))))
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(t3284) AND FIREABLE(t1260) AND (FIREABLE(t396) OR FIREABLE(t513)))))
lola: processed formula length: 85
lola: 28 rewrites
lola: closed formula file DLCround-PT-12a-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(t3284) AND FIREABLE(t1260) AND (FIREABLE(t396) OR FIREABLE(t513)))
lola: state equation: Generated DNF with 12 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-12a-CTLFireability-9-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: ========================================
FORMULA DLCround-PT-12a-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t2251)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t2251)))
lola: processed formula length: 23
lola: 27 rewrites
lola: closed formula file DLCround-PT-12a-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 is not possibly preserved.
lola: 1 markings, 0 edges
FORMULA DLCround-PT-12a-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (F (FIREABLE(t234))) AND E (F (FIREABLE(t1557))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (E(TRUE U FIREABLE(t234)) AND E(TRUE U FIREABLE(t1557))))
lola: processed formula length: 66
lola: 30 rewrites
lola: closed formula file DLCround-PT-12a-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: 35576 markings, 3030502 edges, 7115 markings/sec, 0 secs
lola: 71485 markings, 6130366 edges, 7182 markings/sec, 5 secs
lola: 106530 markings, 9224272 edges, 7009 markings/sec, 10 secs
lola: 145146 markings, 12338904 edges, 7723 markings/sec, 15 secs
lola: 183720 markings, 15410011 edges, 7715 markings/sec, 20 secs
lola: 220404 markings, 18470980 edges, 7337 markings/sec, 25 secs
lola: 256483 markings, 21580008 edges, 7216 markings/sec, 30 secs
lola: 291226 markings, 24673285 edges, 6949 markings/sec, 35 secs
lola: 328483 markings, 27756333 edges, 7451 markings/sec, 40 secs
lola: 364575 markings, 30871091 edges, 7218 markings/sec, 45 secs
lola: 399965 markings, 33949059 edges, 7078 markings/sec, 50 secs
lola: 434569 markings, 37031023 edges, 6921 markings/sec, 55 secs
lola: 468654 markings, 40058628 edges, 6817 markings/sec, 60 secs
lola: 505639 markings, 43107351 edges, 7397 markings/sec, 65 secs
lola: 539359 markings, 46137444 edges, 6744 markings/sec, 70 secs
lola: 570271 markings, 48927332 edges, 6182 markings/sec, 75 secs
lola: 605255 markings, 52023570 edges, 6997 markings/sec, 80 secs
lola: 641374 markings, 55020752 edges, 7224 markings/sec, 85 secs
lola: 676101 markings, 57977329 edges, 6945 markings/sec, 90 secs
lola: 714489 markings, 61022578 edges, 7678 markings/sec, 95 secs
lola: 750148 markings, 63900510 edges, 7132 markings/sec, 100 secs
lola: 781290 markings, 66556019 edges, 6228 markings/sec, 105 secs
lola: 817629 markings, 69573040 edges, 7268 markings/sec, 110 secs
lola: 851919 markings, 72476545 edges, 6858 markings/sec, 115 secs
lola: 887082 markings, 75424345 edges, 7033 markings/sec, 120 secs
lola: 924109 markings, 78471588 edges, 7405 markings/sec, 125 secs
lola: 961940 markings, 81515460 edges, 7566 markings/sec, 130 secs
lola: 1002926 markings, 84625886 edges, 8197 markings/sec, 135 secs
lola: 1040423 markings, 87717871 edges, 7499 markings/sec, 140 secs
lola: 1081608 markings, 90710270 edges, 8237 markings/sec, 145 secs
lola: 1119251 markings, 93765988 edges, 7529 markings/sec, 150 secs
lola: 1157246 markings, 96787003 edges, 7599 markings/sec, 155 secs
lola: 1194367 markings, 99824925 edges, 7424 markings/sec, 160 secs
lola: 1229154 markings, 102750042 edges, 6957 markings/sec, 165 secs
lola: 1266254 markings, 105583085 edges, 7420 markings/sec, 170 secs
lola: 1302425 markings, 108624051 edges, 7234 markings/sec, 175 secs
lola: 1339332 markings, 111667370 edges, 7381 markings/sec, 180 secs
lola: 1377612 markings, 114728410 edges, 7656 markings/sec, 185 secs
lola: 1412654 markings, 117718556 edges, 7008 markings/sec, 190 secs
lola: 1448034 markings, 120433075 edges, 7076 markings/sec, 195 secs
lola: 1486049 markings, 123443302 edges, 7603 markings/sec, 200 secs
lola: 1521413 markings, 126338715 edges, 7073 markings/sec, 205 secs
lola: 1554950 markings, 129121249 edges, 6707 markings/sec, 210 secs
lola: 1587001 markings, 131484310 edges, 6410 markings/sec, 215 secs
lola: 1587001 markings, 133963520 edges, 0 markings/sec, 220 secs
lola: 1587001 markings, 136969663 edges, 0 markings/sec, 225 secs
lola: 1587001 markings, 139949378 edges, 0 markings/sec, 230 secs
lola: 1587001 markings, 142874891 edges, 0 markings/sec, 235 secs
lola: 1587001 markings, 145748338 edges, 0 markings/sec, 240 secs
lola: 1587001 markings, 148684114 edges, 0 markings/sec, 245 secs
lola: 1587001 markings, 151734048 edges, 0 markings/sec, 250 secs
lola: 1587001 markings, 154786511 edges, 0 markings/sec, 255 secs
lola: 1587001 markings, 157530273 edges, 0 markings/sec, 260 secs
lola: 1587001 markings, 160568230 edges, 0 markings/sec, 265 secs
lola: 1587001 markings, 163635468 edges, 0 markings/sec, 270 secs
lola: 1587001 markings, 166704559 edges, 0 markings/sec, 275 secs
lola: 1587001 markings, 169780244 edges, 0 markings/sec, 280 secs
lola: 1587001 markings, 172865575 edges, 0 markings/sec, 285 secs
lola: 1587001 markings, 175877031 edges, 0 markings/sec, 290 secs
lola: 1587001 markings, 178770432 edges, 0 markings/sec, 295 secs
lola: 1587001 markings, 181566300 edges, 0 markings/sec, 300 secs
lola: 1587001 markings, 184520509 edges, 0 markings/sec, 305 secs
lola: 1587001 markings, 187361426 edges, 0 markings/sec, 310 secs
lola: 1587001 markings, 190262743 edges, 0 markings/sec, 315 secs
lola: 1587001 markings, 193325788 edges, 0 markings/sec, 320 secs
lola: 1587001 markings, 196293306 edges, 0 markings/sec, 325 secs
lola: 1587001 markings, 199090571 edges, 0 markings/sec, 330 secs
lola: 1587001 markings, 202114154 edges, 0 markings/sec, 335 secs
lola: 1587001 markings, 205080615 edges, 0 markings/sec, 340 secs
lola: 1587001 markings, 208029362 edges, 0 markings/sec, 345 secs
lola: 1587001 markings, 210917191 edges, 0 markings/sec, 350 secs
lola: 1587001 markings, 213932860 edges, 0 markings/sec, 355 secs
lola: 1587001 markings, 217064929 edges, 0 markings/sec, 360 secs
lola: 1587001 markings, 220149004 edges, 0 markings/sec, 365 secs
lola: 1587001 markings, 223153558 edges, 0 markings/sec, 370 secs
lola: 1587001 markings, 226241199 edges, 0 markings/sec, 375 secs
lola: 1587001 markings, 229263095 edges, 0 markings/sec, 380 secs
lola: 1587001 markings, 232308700 edges, 0 markings/sec, 385 secs
lola: 1587001 markings, 235311585 edges, 0 markings/sec, 390 secs
lola: 1587001 markings, 238355619 edges, 0 markings/sec, 395 secs
lola: 1587001 markings, 241406817 edges, 0 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown no no no
lola: memory consumption: 2335720 KB
lola: time consumption: 1945 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (G (FIREABLE(t3286))) OR E (F (FIREABLE(t2185)))) U A (G ((FIREABLE(t584) OR FIREABLE(t3296))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT(A(TRUE U NOT FIREABLE(t3286))) OR E(TRUE U FIREABLE(t2185))) U NOT(E(TRUE U (NOT FIREABLE(t584) AND NOT FIREABLE(t3296)))))
lola: processed formula length: 130
lola: 33 rewrites
lola: closed formula file DLCround-PT-12a-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 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 36968 markings, 3157748 edges, 7394 markings/sec, 0 secs
lola: 73074 markings, 6265024 edges, 7221 markings/sec, 5 secs
lola: 108193 markings, 9370595 edges, 7024 markings/sec, 10 secs
lola: 147010 markings, 12484418 edges, 7763 markings/sec, 15 secs
lola: 185620 markings, 15568724 edges, 7722 markings/sec, 20 secs
lola: 222329 markings, 18641166 edges, 7342 markings/sec, 25 secs
lola: 258680 markings, 21767346 edges, 7270 markings/sec, 30 secs
lola: 293540 markings, 24873988 edges, 6972 markings/sec, 35 secs
lola: 330687 markings, 27956470 edges, 7429 markings/sec, 40 secs
lola: 366684 markings, 31067466 edges, 7199 markings/sec, 45 secs
lola: 402316 markings, 34149943 edges, 7126 markings/sec, 50 secs
lola: 436954 markings, 37238277 edges, 6928 markings/sec, 55 secs
lola: 471514 markings, 40319557 edges, 6912 markings/sec, 60 secs
lola: 509158 markings, 43428023 edges, 7529 markings/sec, 65 secs
lola: 542346 markings, 46421962 edges, 6638 markings/sec, 70 secs
lola: 573985 markings, 49278938 edges, 6328 markings/sec, 75 secs
lola: 606068 markings, 52092450 edges, 6417 markings/sec, 80 secs
lola: 642586 markings, 55137853 edges, 7304 markings/sec, 85 secs
lola: 678638 markings, 58182157 edges, 7210 markings/sec, 90 secs
lola: 718002 markings, 61281862 edges, 7873 markings/sec, 95 secs
lola: 756366 markings, 64345616 edges, 7673 markings/sec, 100 secs
lola: 791852 markings, 67418186 edges, 7097 markings/sec, 105 secs
lola: 828383 markings, 70510455 edges, 7306 markings/sec, 110 secs
lola: 864976 markings, 73587796 edges, 7319 markings/sec, 115 secs
lola: 901667 markings, 76615766 edges, 7338 markings/sec, 120 secs
lola: 939158 markings, 79696606 edges, 7498 markings/sec, 125 secs
lola: 978940 markings, 82760453 edges, 7956 markings/sec, 130 secs
lola: 1018686 markings, 85915431 edges, 7949 markings/sec, 135 secs
lola: 1058136 markings, 88991271 edges, 7890 markings/sec, 140 secs
lola: 1097615 markings, 92016430 edges, 7896 markings/sec, 145 secs
lola: 1135773 markings, 95122912 edges, 7632 markings/sec, 150 secs
lola: 1174245 markings, 98118314 edges, 7694 markings/sec, 155 secs
lola: 1210575 markings, 101177575 edges, 7266 markings/sec, 160 secs
lola: 1247186 markings, 104170875 edges, 7322 markings/sec, 165 secs
lola: 1285015 markings, 107158763 edges, 7566 markings/sec, 170 secs
lola: 1321489 markings, 110136257 edges, 7295 markings/sec, 175 secs
lola: 1355890 markings, 113033943 edges, 6880 markings/sec, 180 secs
lola: 1392199 markings, 116030010 edges, 7262 markings/sec, 185 secs
lola: 1428798 markings, 119038789 edges, 7320 markings/sec, 190 secs
lola: 1467978 markings, 122035724 edges, 7836 markings/sec, 195 secs
lola: 1504181 markings, 124956450 edges, 7241 markings/sec, 200 secs
lola: 1539676 markings, 127858608 edges, 7099 markings/sec, 205 secs
lola: 1575193 markings, 130652701 edges, 7103 markings/sec, 210 secs
lola: 1612587 markings, 133599227 edges, 7479 markings/sec, 215 secs
lola: 1651043 markings, 136776183 edges, 7691 markings/sec, 220 secs
lola: 1688351 markings, 139733293 edges, 7462 markings/sec, 225 secs
lola: 1724396 markings, 142602693 edges, 7209 markings/sec, 230 secs
lola: 1761514 markings, 145564720 edges, 7424 markings/sec, 235 secs
lola: 1798935 markings, 148607713 edges, 7484 markings/sec, 240 secs
lola: 1832334 markings, 151460066 edges, 6680 markings/sec, 245 secs
lola: 1866740 markings, 154427398 edges, 6881 markings/sec, 250 secs
lola: 1903119 markings, 157290301 edges, 7276 markings/sec, 255 secs
lola: 1939986 markings, 160278717 edges, 7373 markings/sec, 260 secs
lola: 1976061 markings, 163252952 edges, 7215 markings/sec, 265 secs
lola: 2013800 markings, 166270778 edges, 7548 markings/sec, 270 secs
lola: 2047486 markings, 169083701 edges, 6737 markings/sec, 275 secs
lola: 2083858 markings, 171968143 edges, 7274 markings/sec, 280 secs
lola: 2121272 markings, 174993165 edges, 7483 markings/sec, 285 secs
lola: 2158286 markings, 178072636 edges, 7403 markings/sec, 290 secs
lola: 2194476 markings, 180849523 edges, 7238 markings/sec, 295 secs
lola: 2230087 markings, 183776378 edges, 7122 markings/sec, 300 secs
lola: 2265737 markings, 186478351 edges, 7130 markings/sec, 305 secs
lola: 2304096 markings, 189346704 edges, 7672 markings/sec, 310 secs
lola: 2341101 markings, 192146423 edges, 7401 markings/sec, 315 secs
lola: 2376525 markings, 195045735 edges, 7085 markings/sec, 320 secs
lola: 2413289 markings, 197852150 edges, 7353 markings/sec, 325 secs
lola: 2449967 markings, 200752806 edges, 7336 markings/sec, 330 secs
lola: 2488012 markings, 203648273 edges, 7609 markings/sec, 335 secs
lola: 2525002 markings, 206403765 edges, 7398 markings/sec, 340 secs
lola: 2560040 markings, 209249511 edges, 7008 markings/sec, 345 secs
lola: 2596806 markings, 212042413 edges, 7353 markings/sec, 350 secs
lola: 2633769 markings, 214933866 edges, 7393 markings/sec, 355 secs
lola: 2671221 markings, 217734959 edges, 7490 markings/sec, 360 secs
lola: 2708615 markings, 220625463 edges, 7479 markings/sec, 365 secs
lola: 2743910 markings, 223437158 edges, 7059 markings/sec, 370 secs
lola: 2782117 markings, 226521091 edges, 7641 markings/sec, 375 secs
lola: 2818104 markings, 229538510 edges, 7197 markings/sec, 380 secs
lola: 2852776 markings, 232497797 edges, 6934 markings/sec, 385 secs
lola: 2887712 markings, 235336239 edges, 6987 markings/sec, 390 secs
lola: 2924949 markings, 238391779 edges, 7447 markings/sec, 395 secs
lola: 2962561 markings, 241463300 edges, 7522 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown no no no
lola: memory consumption: 4262920 KB
lola: time consumption: 2351 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t927) OR A (G (E (F (NOT FIREABLE(t2874))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t927)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t927)
lola: processed formula length: 14
lola: 27 rewrites
lola: closed formula file DLCround-PT-12a-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 14 will run for 609 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (NOT FIREABLE(t2874)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: NOT FIREABLE(t2874)
lola: processed formula length: 19
lola: 28 rewrites
lola: closed formula file DLCround-PT-12a-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: 35679 markings, 3039653 edges, 7136 markings/sec, 0 secs
lola: 70226 markings, 6024351 edges, 6909 markings/sec, 5 secs
lola: 103857 markings, 8998212 edges, 6726 markings/sec, 10 secs
lola: 141059 markings, 11998584 edges, 7440 markings/sec, 15 secs
lola: 178095 markings, 14955215 edges, 7407 markings/sec, 20 secs
lola: 213672 markings, 17901482 edges, 7115 markings/sec, 25 secs
lola: 248631 markings, 20900728 edges, 6992 markings/sec, 30 secs
lola: 282376 markings, 23888215 edges, 6749 markings/sec, 35 secs
lola: 317674 markings, 26871652 edges, 7060 markings/sec, 40 secs
lola: 352560 markings, 29860223 edges, 6977 markings/sec, 45 secs
lola: 387215 markings, 32831129 edges, 6931 markings/sec, 50 secs
lola: 420909 markings, 35812374 edges, 6739 markings/sec, 55 secs
lola: 454232 markings, 38775672 edges, 6665 markings/sec, 60 secs
lola: 486344 markings, 41630771 edges, 6422 markings/sec, 65 secs
lola: 523439 markings, 44663538 edges, 7419 markings/sec, 70 secs
lola: 556986 markings, 47532453 edges, 6709 markings/sec, 75 secs
lola: 591858 markings, 50557541 edges, 6974 markings/sec, 80 secs
lola: 626839 markings, 53503668 edges, 6996 markings/sec, 85 secs
lola: 660766 markings, 56436259 edges, 6785 markings/sec, 90 secs
lola: 694445 markings, 59372573 edges, 6736 markings/sec, 95 secs
lola: 730963 markings, 62198271 edges, 7304 markings/sec, 100 secs
lola: 766664 markings, 65065483 edges, 7140 markings/sec, 105 secs
lola: 801879 markings, 68128900 edges, 7043 markings/sec, 110 secs
lola: 837890 markings, 71197146 edges, 7202 markings/sec, 115 secs
lola: 871954 markings, 74123955 edges, 6813 markings/sec, 120 secs
lola: 906160 markings, 76972268 edges, 6841 markings/sec, 125 secs
lola: 939939 markings, 79805377 edges, 6756 markings/sec, 130 secs
lola: 975714 markings, 82728310 edges, 7155 markings/sec, 135 secs
lola: 1010239 markings, 85541170 edges, 6905 markings/sec, 140 secs
lola: 1046719 markings, 88521019 edges, 7296 markings/sec, 145 secs
lola: 1080677 markings, 91326156 edges, 6792 markings/sec, 150 secs
lola: 1114840 markings, 94112222 edges, 6833 markings/sec, 155 secs
lola: 1152124 markings, 96993819 edges, 7457 markings/sec, 160 secs
lola: 1190126 markings, 100037515 edges, 7600 markings/sec, 165 secs
lola: 1226756 markings, 103085586 edges, 7326 markings/sec, 170 secs
lola: 1262840 markings, 106115861 edges, 7217 markings/sec, 175 secs
lola: 1297263 markings, 108962311 edges, 6885 markings/sec, 180 secs
lola: 1334546 markings, 112114745 edges, 7457 markings/sec, 185 secs
lola: 1370490 markings, 114866559 edges, 7189 markings/sec, 190 secs
lola: 1405025 markings, 117654930 edges, 6907 markings/sec, 195 secs
lola: 1441910 markings, 120645231 edges, 7377 markings/sec, 200 secs
lola: 1478020 markings, 123567090 edges, 7222 markings/sec, 205 secs
lola: 1512476 markings, 126489786 edges, 6891 markings/sec, 210 secs
lola: 1546272 markings, 129326520 edges, 6759 markings/sec, 215 secs
lola: 1581108 markings, 132169399 edges, 6967 markings/sec, 220 secs
lola: 1616630 markings, 135019776 edges, 7104 markings/sec, 225 secs
lola: 1647554 markings, 137659960 edges, 6185 markings/sec, 230 secs
lola: 1686396 markings, 140689488 edges, 7768 markings/sec, 235 secs
lola: 1721079 markings, 143644260 edges, 6937 markings/sec, 240 secs
lola: 1759316 markings, 146471009 edges, 7647 markings/sec, 245 secs
lola: 1798350 markings, 149494827 edges, 7807 markings/sec, 250 secs
lola: 1836227 markings, 152454581 edges, 7575 markings/sec, 255 secs
lola: 1873412 markings, 155273337 edges, 7437 markings/sec, 260 secs
lola: 1913751 markings, 158241592 edges, 8068 markings/sec, 265 secs
lola: 1950720 markings, 161173831 edges, 7394 markings/sec, 270 secs
lola: 1985509 markings, 164036558 edges, 6958 markings/sec, 275 secs
lola: 2020784 markings, 166838973 edges, 7055 markings/sec, 280 secs
lola: 2058285 markings, 169776493 edges, 7500 markings/sec, 285 secs
lola: 2095107 markings, 172870774 edges, 7364 markings/sec, 290 secs
lola: 2131180 markings, 175762273 edges, 7215 markings/sec, 295 secs
lola: 2164438 markings, 178499919 edges, 6652 markings/sec, 300 secs
lola: 2202453 markings, 181590102 edges, 7603 markings/sec, 305 secs
lola: 2235649 markings, 184325715 edges, 6639 markings/sec, 310 secs
lola: 2271447 markings, 187220795 edges, 7160 markings/sec, 315 secs
lola: 2308469 markings, 190287103 edges, 7404 markings/sec, 320 secs
lola: 2345136 markings, 193254394 edges, 7333 markings/sec, 325 secs
lola: 2382050 markings, 196213362 edges, 7383 markings/sec, 330 secs
lola: 2416737 markings, 199045438 edges, 6937 markings/sec, 335 secs
lola: 2449672 markings, 201808647 edges, 6587 markings/sec, 340 secs
lola: 2484006 markings, 204653004 edges, 6867 markings/sec, 345 secs
lola: 2519999 markings, 207458163 edges, 7199 markings/sec, 350 secs
lola: 2556200 markings, 210309876 edges, 7240 markings/sec, 355 secs
lola: 2593041 markings, 213110307 edges, 7368 markings/sec, 360 secs
lola: 2626681 markings, 215830227 edges, 6728 markings/sec, 365 secs
lola: 2664216 markings, 218803871 edges, 7507 markings/sec, 370 secs
lola: 2697656 markings, 221615318 edges, 6688 markings/sec, 375 secs
lola: 2733915 markings, 224597472 edges, 7252 markings/sec, 380 secs
lola: 2772258 markings, 227570871 edges, 7669 markings/sec, 385 secs
lola: 2809053 markings, 230418388 edges, 7359 markings/sec, 390 secs
lola: 2842362 markings, 233158626 edges, 6662 markings/sec, 395 secs
lola: 2879986 markings, 236055842 edges, 7525 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown no no no
lola: memory consumption: 4033296 KB
lola: time consumption: 2757 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown no no no
lola: memory consumption: 4033296 KB
lola: time consumption: 2757 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t169) AND (A ((NOT FIREABLE(t397) R NOT FIREABLE(t3091))) AND E (G (FIREABLE(t117)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t169)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t169)
lola: processed formula length: 14
lola: 27 rewrites
lola: closed formula file DLCround-PT-12a-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: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola:
========================================FORMULA DLCround-PT-12a-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 813 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F ((FIREABLE(t349) OR FIREABLE(t2498) OR FIREABLE(t1420)))) AND E (F (FIREABLE(t2663)))) OR E (F (A ((FIREABLE(t1865) U FIREABLE(t3202))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 813 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2663)))
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(t2663)))
lola: processed formula length: 23
lola: 28 rewrites
lola: closed formula file DLCround-PT-12a-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(t2663)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((FIREABLE(t1865) U FIREABLE(t3202)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U A(FIREABLE(t1865) U FIREABLE(t3202)))
lola: processed formula length: 46
lola: 29 rewrites
lola: closed formula file DLCround-PT-12a-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: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown no no no no
lola: memory consumption: 31972 KB
lola: time consumption: 2758 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((E (X (NOT FIREABLE(t1778))) OR NOT FIREABLE(t2037))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (NOT(EX(NOT FIREABLE(t1778))) AND FIREABLE(t2037))))
lola: processed formula length: 65
lola: 31 rewrites
lola: closed formula file DLCround-PT-12a-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: 30318 markings, 2578978 edges, 6064 markings/sec, 0 secs
lola: 60279 markings, 5159476 edges, 5992 markings/sec, 5 secs
lola: 90380 markings, 7808017 edges, 6020 markings/sec, 10 secs
lola: 121693 markings, 10446529 edges, 6263 markings/sec, 15 secs
lola: 154523 markings, 13087807 edges, 6566 markings/sec, 20 secs
lola: 185877 markings, 15590186 edges, 6271 markings/sec, 25 secs
lola: 218422 markings, 18291530 edges, 6509 markings/sec, 30 secs
lola: 249331 markings, 20959911 edges, 6182 markings/sec, 35 secs
lola: 279084 markings, 23594047 edges, 5951 markings/sec, 40 secs
lola: 309646 markings, 26242399 edges, 6112 markings/sec, 45 secs
lola: 340705 markings, 28840073 edges, 6212 markings/sec, 50 secs
lola: 371698 markings, 31487403 edges, 6199 markings/sec, 55 secs
lola: 403302 markings, 34236693 edges, 6321 markings/sec, 60 secs
lola: 433254 markings, 36916838 edges, 5990 markings/sec, 65 secs
lola: 463688 markings, 39604947 edges, 6087 markings/sec, 70 secs
lola: 495432 markings, 42314832 edges, 6349 markings/sec, 75 secs
lola: 527088 markings, 45011547 edges, 6331 markings/sec, 80 secs
lola: 557416 markings, 47731637 edges, 6066 markings/sec, 85 secs
lola: 586464 markings, 50423958 edges, 5810 markings/sec, 90 secs
lola: 617083 markings, 53019193 edges, 6124 markings/sec, 95 secs
lola: 649709 markings, 55725831 edges, 6525 markings/sec, 100 secs
lola: 681003 markings, 58392831 edges, 6259 markings/sec, 105 secs
lola: 715324 markings, 61081357 edges, 6864 markings/sec, 110 secs
lola: 746824 markings, 63628133 edges, 6300 markings/sec, 115 secs
lola: 778532 markings, 66307079 edges, 6342 markings/sec, 120 secs
lola: 809883 markings, 68951142 edges, 6270 markings/sec, 125 secs
lola: 841162 markings, 71585749 edges, 6256 markings/sec, 130 secs
lola: 873166 markings, 74269642 edges, 6401 markings/sec, 135 secs
lola: 904380 markings, 76824700 edges, 6243 markings/sec, 140 secs
lola: 936222 markings, 79477883 edges, 6368 markings/sec, 145 secs
lola: 969606 markings, 82082585 edges, 6677 markings/sec, 150 secs
lola: 1004388 markings, 84754322 edges, 6956 markings/sec, 155 secs
lola: 1036952 markings, 87456775 edges, 6513 markings/sec, 160 secs
lola: 1071985 markings, 90024539 edges, 7007 markings/sec, 165 secs
lola: 1104188 markings, 92616122 edges, 6441 markings/sec, 170 secs
lola: 1136806 markings, 95197669 edges, 6524 markings/sec, 175 secs
lola: 1170329 markings, 97820993 edges, 6705 markings/sec, 180 secs
lola: 1201773 markings, 100433263 edges, 6289 markings/sec, 185 secs
lola: 1232411 markings, 103021870 edges, 6128 markings/sec, 190 secs
lola: 1266061 markings, 105568658 edges, 6730 markings/sec, 195 secs
lola: 1297987 markings, 108295007 edges, 6385 markings/sec, 200 secs
lola: 1328885 markings, 110803253 edges, 6180 markings/sec, 205 secs
lola: 1359633 markings, 113353714 edges, 6150 markings/sec, 210 secs
lola: 1391791 markings, 115994347 edges, 6432 markings/sec, 215 secs
lola: 1423823 markings, 118676179 edges, 6406 markings/sec, 220 secs
lola: 1458083 markings, 121190793 edges, 6852 markings/sec, 225 secs
lola: 1491170 markings, 123850502 edges, 6617 markings/sec, 230 secs
lola: 1521940 markings, 126383801 edges, 6154 markings/sec, 235 secs
lola: 1553040 markings, 128943845 edges, 6220 markings/sec, 240 secs
lola: 1587851 markings, 131551856 edges, 6962 markings/sec, 245 secs
lola: 1620363 markings, 134280720 edges, 6502 markings/sec, 250 secs
lola: 1653512 markings, 136950765 edges, 6630 markings/sec, 255 secs
lola: 1684812 markings, 139423486 edges, 6260 markings/sec, 260 secs
lola: 1715171 markings, 141815480 edges, 6072 markings/sec, 265 secs
lola: 1747291 markings, 144373409 edges, 6424 markings/sec, 270 secs
lola: 1778017 markings, 146862007 edges, 6145 markings/sec, 275 secs
lola: 1807083 markings, 149316829 edges, 5813 markings/sec, 280 secs
lola: 1835665 markings, 151754246 edges, 5716 markings/sec, 285 secs
lola: 1864823 markings, 154259442 edges, 5832 markings/sec, 290 secs
lola: 1896261 markings, 156754366 edges, 6288 markings/sec, 295 secs
lola: 1927456 markings, 159256193 edges, 6239 markings/sec, 300 secs
lola: 1958328 markings, 161771291 edges, 6174 markings/sec, 305 secs
lola: 1988454 markings, 164254275 edges, 6025 markings/sec, 310 secs
lola: 2020041 markings, 166765820 edges, 6317 markings/sec, 315 secs
lola: 2050655 markings, 169343544 edges, 6123 markings/sec, 320 secs
lola: 2083919 markings, 171972397 edges, 6653 markings/sec, 325 secs
lola: 2115409 markings, 174506944 edges, 6298 markings/sec, 330 secs
lola: 2146702 markings, 177089147 edges, 6259 markings/sec, 335 secs
lola: 2178008 markings, 179616005 edges, 6261 markings/sec, 340 secs
lola: 2209839 markings, 182060587 edges, 6366 markings/sec, 345 secs
lola: 2239971 markings, 184557809 edges, 6026 markings/sec, 350 secs
lola: 2272878 markings, 187006536 edges, 6581 markings/sec, 355 secs
lola: 2306445 markings, 189551263 edges, 6713 markings/sec, 360 secs
lola: 2339084 markings, 191997613 edges, 6528 markings/sec, 365 secs
lola: 2369576 markings, 194448280 edges, 6098 markings/sec, 370 secs
lola: 2402121 markings, 196961344 edges, 6509 markings/sec, 375 secs
lola: 2434002 markings, 199480834 edges, 6376 markings/sec, 380 secs
lola: 2466351 markings, 201972759 edges, 6470 markings/sec, 385 secs
lola: 2499108 markings, 204494944 edges, 6551 markings/sec, 390 secs
lola: 2530953 markings, 206915048 edges, 6369 markings/sec, 395 secs
lola: 2562585 markings, 209455551 edges, 6326 markings/sec, 400 secs
lola: 2596908 markings, 212048874 edges, 6865 markings/sec, 405 secs
lola: 2628858 markings, 214537992 edges, 6390 markings/sec, 410 secs
lola: 2660765 markings, 216900713 edges, 6381 markings/sec, 415 secs
lola: 2694101 markings, 219555309 edges, 6667 markings/sec, 420 secs
lola: 2727847 markings, 222153038 edges, 6749 markings/sec, 425 secs
lola: 2761471 markings, 224797517 edges, 6725 markings/sec, 430 secs
lola: 2792235 markings, 227401427 edges, 6153 markings/sec, 435 secs
lola: 2823859 markings, 230015334 edges, 6325 markings/sec, 440 secs
lola: 2855944 markings, 232759052 edges, 6417 markings/sec, 445 secs
lola: 2888499 markings, 235404342 edges, 6511 markings/sec, 450 secs
lola: 2921490 markings, 238110882 edges, 6598 markings/sec, 455 secs
lola: 2954452 markings, 240821487 edges, 6592 markings/sec, 460 secs
lola: 2987045 markings, 243434917 edges, 6519 markings/sec, 465 secs
lola: 3017256 markings, 245984960 edges, 6042 markings/sec, 470 secs
lola: 3049858 markings, 248648456 edges, 6520 markings/sec, 475 secs
lola: 3082655 markings, 251358987 edges, 6559 markings/sec, 480 secs
lola: 3115409 markings, 254078589 edges, 6551 markings/sec, 485 secs
lola: 3147021 markings, 256682268 edges, 6322 markings/sec, 490 secs
lola: 3179086 markings, 259343183 edges, 6413 markings/sec, 495 secs
lola: 3211361 markings, 262040316 edges, 6455 markings/sec, 500 secs
lola: 3243973 markings, 264798114 edges, 6522 markings/sec, 505 secs
lola: 3276367 markings, 267416134 edges, 6479 markings/sec, 510 secs
lola: 3308854 markings, 270149982 edges, 6497 markings/sec, 515 secs
lola: 3341649 markings, 272724562 edges, 6559 markings/sec, 520 secs
lola: 3373656 markings, 275257178 edges, 6401 markings/sec, 525 secs
lola: 3407524 markings, 277896129 edges, 6774 markings/sec, 530 secs
lola: 3437710 markings, 280491266 edges, 6037 markings/sec, 535 secs
lola: 3467126 markings, 283033701 edges, 5883 markings/sec, 540 secs
lola: 3496193 markings, 285624728 edges, 5813 markings/sec, 545 secs
lola: 3525061 markings, 288225951 edges, 5774 markings/sec, 550 secs
lola: 3555562 markings, 290848072 edges, 6100 markings/sec, 555 secs
lola: 3588689 markings, 293532553 edges, 6625 markings/sec, 560 secs
lola: 3620997 markings, 296181196 edges, 6462 markings/sec, 565 secs
lola: 3653703 markings, 298733948 edges, 6541 markings/sec, 570 secs
lola: 3686998 markings, 301391017 edges, 6659 markings/sec, 575 secs
lola: 3721636 markings, 304006936 edges, 6928 markings/sec, 580 secs
lola: 3754432 markings, 306553860 edges, 6559 markings/sec, 585 secs
lola: 3788402 markings, 309097126 edges, 6794 markings/sec, 590 secs
lola: 3815872 markings, 311484625 edges, 5494 markings/sec, 595 secs
lola: 3844379 markings, 314004416 edges, 5701 markings/sec, 600 secs
lola: 3873232 markings, 316628258 edges, 5771 markings/sec, 605 secs
lola: 3901648 markings, 319221137 edges, 5683 markings/sec, 610 secs
lola: 3930531 markings, 321808995 edges, 5777 markings/sec, 615 secs
lola: 3960211 markings, 324361181 edges, 5936 markings/sec, 620 secs
lola: 3988980 markings, 326853716 edges, 5754 markings/sec, 625 secs
lola: 4019373 markings, 329318916 edges, 6079 markings/sec, 630 secs
lola: 4050116 markings, 331942773 edges, 6149 markings/sec, 635 secs
lola: 4082357 markings, 334498152 edges, 6448 markings/sec, 640 secs
lola: 4117111 markings, 337087382 edges, 6951 markings/sec, 645 secs
lola: 4149022 markings, 339768541 edges, 6382 markings/sec, 650 secs
lola: 4182248 markings, 342432876 edges, 6645 markings/sec, 655 secs
lola: 4215355 markings, 345004170 edges, 6621 markings/sec, 660 secs
lola: 4246578 markings, 347669851 edges, 6245 markings/sec, 665 secs
lola: 4280052 markings, 350284793 edges, 6695 markings/sec, 670 secs
lola: 4311688 markings, 352793161 edges, 6327 markings/sec, 675 secs
lola: 4343709 markings, 355417011 edges, 6404 markings/sec, 680 secs
lola: 4377281 markings, 358055387 edges, 6714 markings/sec, 685 secs
lola: 4409664 markings, 360675177 edges, 6477 markings/sec, 690 secs
lola: 4442736 markings, 363233670 edges, 6614 markings/sec, 695 secs
lola: 4476423 markings, 365773332 edges, 6737 markings/sec, 700 secs
lola: 4507228 markings, 368311165 edges, 6161 markings/sec, 705 secs
lola: 4540081 markings, 371006462 edges, 6571 markings/sec, 710 secs
lola: 4573564 markings, 373739836 edges, 6697 markings/sec, 715 secs
lola: 4605498 markings, 376276729 edges, 6387 markings/sec, 720 secs
lola: 4635869 markings, 378837585 edges, 6074 markings/sec, 725 secs
lola: 4665070 markings, 381423885 edges, 5840 markings/sec, 730 secs
lola: 4696998 markings, 384034065 edges, 6386 markings/sec, 735 secs
lola: 4730583 markings, 386669357 edges, 6717 markings/sec, 740 secs
lola: 4762768 markings, 389188438 edges, 6437 markings/sec, 745 secs
lola: 4795929 markings, 391778398 edges, 6632 markings/sec, 750 secs
lola: 4830982 markings, 394402014 edges, 7011 markings/sec, 755 secs
lola: 4865804 markings, 397013755 edges, 6964 markings/sec, 760 secs
lola: 4899898 markings, 399729526 edges, 6819 markings/sec, 765 secs
lola: 4930821 markings, 402218329 edges, 6185 markings/sec, 770 secs
lola: 4964121 markings, 404788833 edges, 6660 markings/sec, 775 secs
lola: 4997680 markings, 407328442 edges, 6712 markings/sec, 780 secs
lola: 5028994 markings, 409861215 edges, 6263 markings/sec, 785 secs
lola: 5063199 markings, 412416797 edges, 6841 markings/sec, 790 secs
lola: 5096588 markings, 415026067 edges, 6678 markings/sec, 795 secs
lola: 5130935 markings, 417635466 edges, 6869 markings/sec, 800 secs
lola: 5163651 markings, 420244626 edges, 6543 markings/sec, 805 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown no no no no
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown no no no no
lola: memory consumption: 24792 KB
lola: time consumption: 3570 seconds
BK_STOP 1526672762130
--------------------
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="DLCround-PT-12a"
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/DLCround-PT-12a.tgz
mv DLCround-PT-12a 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 DLCround-PT-12a, 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-152649735200130"
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 ;