About the Execution of LoLA for CircularTrains-PT-048
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.860 | 3570362.00 | 3599442.00 | 13130.90 | FFFFF?F?T?T??FF? | 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 204K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 37K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CircularTrains-PT-048, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357100018
=====================================================================
--------------------
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 CircularTrains-PT-048-CTLFireability-00
FORMULA_NAME CircularTrains-PT-048-CTLFireability-01
FORMULA_NAME CircularTrains-PT-048-CTLFireability-02
FORMULA_NAME CircularTrains-PT-048-CTLFireability-03
FORMULA_NAME CircularTrains-PT-048-CTLFireability-04
FORMULA_NAME CircularTrains-PT-048-CTLFireability-05
FORMULA_NAME CircularTrains-PT-048-CTLFireability-06
FORMULA_NAME CircularTrains-PT-048-CTLFireability-07
FORMULA_NAME CircularTrains-PT-048-CTLFireability-08
FORMULA_NAME CircularTrains-PT-048-CTLFireability-09
FORMULA_NAME CircularTrains-PT-048-CTLFireability-10
FORMULA_NAME CircularTrains-PT-048-CTLFireability-11
FORMULA_NAME CircularTrains-PT-048-CTLFireability-12
FORMULA_NAME CircularTrains-PT-048-CTLFireability-13
FORMULA_NAME CircularTrains-PT-048-CTLFireability-14
FORMULA_NAME CircularTrains-PT-048-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526475291310
info: Time: 3600 - MCC
===========================================================================================
prep: translating CircularTrains-PT-048 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CircularTrains-PT-048 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CircularTrains-PT-048 @ 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: 144/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3072
lola: finding significant places
lola: 96 places, 48 transitions, 47 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 96 transition conflict sets
lola: TASK
lola: reading formula from CircularTrains-PT-048-CTLFireability.task
lola: NOT(A (G (A (F (FIREABLE(t9_to_10)))))) : NOT(E (F (FIREABLE(t29_to_30)))) : NOT(A (F (FIREABLE(t43_to_44)))) : A (F (E (X (A (X (FIREABLE(t12_to_13))))))) : ((E (X (((FIREABLE(t47_to_48) AND FIREABLE(t31_to_32)) OR (FIREABLE(t38_to_39) AND FIREABLE(t23_to_24))))) OR E (F ((NOT FIREABLE(t30_to_31) OR NOT FIREABLE(t35_to_36))))) AND A (X (A (F ((FIREABLE(t24_to_25) AND FIREABLE(t21_to_22))))))) : NOT(E (((NOT FIREABLE(t46_to_47) OR (FIREABLE(t27_to_28) AND FIREABLE(t12_to_13))) U A (X (FIREABLE(t14_to_15)))))) : A (F (((A (X (FIREABLE(t8_to_9))) AND (FIREABLE(t37_to_38) AND FIREABLE(t15_to_16))) AND (FIREABLE(t22_to_23) OR E (G (FIREABLE(t3_to_4))))))) : A (((((FIREABLE(t4_to_5) OR FIREABLE(t13_to_14)) AND (FIREABLE(t21_to_22) OR FIREABLE(t39_to_40))) OR A (F (FIREABLE(t31_to_32)))) U (FIREABLE(t45_to_46) AND A (X (FIREABLE(t33_to_34)))))) : E (F (FIREABLE(t20_to_21))) : A (F (NOT((A (F (FIREABLE(t17_to_18))) AND (FIREABLE(t44_to_45) OR FIREABLE(t27_to_28) OR NOT FIREABLE(t38_to_39)))))) : (NOT((E (X (FIREABLE(t24_to_25))) OR A (G ((FIREABLE(t27_to_28) OR FIREABLE(t40_to_41)))))) OR A (G (A (F (NOT FIREABLE(t41_to_42)))))) : E (F ((E (G (NOT FIREABLE(t41_to_42))) AND NOT(A (F (FIREABLE(t14_to_15))))))) : A (((FIREABLE(t47_to_48) AND FIREABLE(t5_to_6)) U E (G (NOT FIREABLE(t16_to_17))))) : (A (X (FIREABLE(t36_to_37))) OR A (G (((NOT FIREABLE(t34_to_35) OR NOT FIREABLE(t29_to_30)) AND (NOT FIREABLE(t47_to_48) OR NOT FIREABLE(t13_to_14)))))) : A (F ((A ((FIREABLE(t18_to_19) U FIREABLE(t13_to_14))) AND (FIREABLE(t43_to_44) AND FIREABLE(t35_to_36))))) : (A (F (A (G ((FIREABLE(t15_to_16) OR FIREABLE(t9_to_10)))))) AND ((FIREABLE(t6_to_7) OR (E (F (FIREABLE(t36_to_37))) OR A (F (FIREABLE(t23_to_24))))) OR FIREABLE(t36_to_37)))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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: 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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (A (X (FIREABLE(t12_to_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(AX(FIREABLE(t12_to_13))))
lola: processed formula length: 37
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 237 markings, 237 edges
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-3 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: ((E (X (((FIREABLE(t47_to_48) AND FIREABLE(t31_to_32)) OR (FIREABLE(t38_to_39) AND FIREABLE(t23_to_24))))) OR E (F ((NOT FIREABLE(t30_to_31) OR NOT FIREABLE(t35_to_36))))) AND A (X (A (F ((FIREABLE(t24_to_25) AND FIREABLE(t21_to_22)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t30_to_31) OR NOT FIREABLE(t35_to_36))))
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 ((NOT FIREABLE(t30_to_31) OR NOT FIREABLE(t35_to_36))))
lola: processed formula length: 61
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-048-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: (NOT FIREABLE(t30_to_31) OR NOT FIREABLE(t35_to_36))
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CircularTrains-PT-048-CTLFireability-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((FIREABLE(t24_to_25) AND FIREABLE(t21_to_22))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t24_to_25) OR NOT FIREABLE(t21_to_22))
lola: processed formula length: 53
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-048-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate does not eventually occur from all successors.
lola: 231 markings, 231 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t46_to_47) AND (NOT FIREABLE(t27_to_28) OR NOT FIREABLE(t12_to_13))) R E (X (NOT FIREABLE(t14_to_15)))))
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(t46_to_47) OR (FIREABLE(t27_to_28) AND FIREABLE(t12_to_13))) U NOT(EX(NOT FIREABLE(t14_to_15)))))
lola: processed formula length: 118
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-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: 1218094 markings, 3611811 edges, 243619 markings/sec, 0 secs
lola: 2388994 markings, 7719845 edges, 234180 markings/sec, 5 secs
lola: 3458858 markings, 11593202 edges, 213973 markings/sec, 10 secs
lola: 4515215 markings, 15401030 edges, 211271 markings/sec, 15 secs
lola: 5636381 markings, 19059214 edges, 224233 markings/sec, 20 secs
lola: 6714136 markings, 22693369 edges, 215551 markings/sec, 25 secs
lola: 7768925 markings, 26412256 edges, 210958 markings/sec, 30 secs
lola: 8815517 markings, 30117986 edges, 209318 markings/sec, 35 secs
lola: 9829020 markings, 33739317 edges, 202701 markings/sec, 40 secs
lola: 10795806 markings, 37309665 edges, 193357 markings/sec, 45 secs
lola: 11820111 markings, 41016641 edges, 204861 markings/sec, 50 secs
lola: 12811758 markings, 44714696 edges, 198329 markings/sec, 55 secs
lola: 13771428 markings, 48337639 edges, 191934 markings/sec, 60 secs
lola: 14741678 markings, 52015073 edges, 194050 markings/sec, 65 secs
lola: 15689810 markings, 55731129 edges, 189626 markings/sec, 70 secs
lola: 16593522 markings, 59403887 edges, 180742 markings/sec, 75 secs
lola: 17540300 markings, 63094637 edges, 189356 markings/sec, 80 secs
lola: 18444795 markings, 66820142 edges, 180899 markings/sec, 85 secs
lola: 19348522 markings, 70556218 edges, 180745 markings/sec, 90 secs
lola: 20316057 markings, 74226930 edges, 193507 markings/sec, 95 secs
lola: 21196103 markings, 77972519 edges, 176009 markings/sec, 100 secs
lola: 22115395 markings, 81687613 edges, 183858 markings/sec, 105 secs
lola: 23042338 markings, 85385241 edges, 185389 markings/sec, 110 secs
lola: 23946860 markings, 89084315 edges, 180904 markings/sec, 115 secs
lola: 24835968 markings, 92805443 edges, 177822 markings/sec, 120 secs
lola: 25757703 markings, 96529455 edges, 184347 markings/sec, 125 secs
lola: 26624447 markings, 100261478 edges, 173349 markings/sec, 130 secs
lola: 27519990 markings, 103952642 edges, 179109 markings/sec, 135 secs
lola: 28443005 markings, 107686404 edges, 184603 markings/sec, 140 secs
lola: 29377080 markings, 111517235 edges, 186815 markings/sec, 145 secs
lola: 30235982 markings, 115262645 edges, 171780 markings/sec, 150 secs
lola: 31167062 markings, 118981660 edges, 186216 markings/sec, 155 secs
lola: 32022974 markings, 122776215 edges, 171182 markings/sec, 160 secs
lola: 32886215 markings, 126574483 edges, 172648 markings/sec, 165 secs
lola: 33839051 markings, 130358681 edges, 190567 markings/sec, 170 secs
lola: 34820990 markings, 134067300 edges, 196388 markings/sec, 175 secs
lola: 35736489 markings, 137826509 edges, 183100 markings/sec, 180 secs
lola: 36691500 markings, 141559300 edges, 191002 markings/sec, 185 secs
lola: 37631713 markings, 145272325 edges, 188043 markings/sec, 190 secs
lola: 38574400 markings, 148976301 edges, 188537 markings/sec, 195 secs
lola: 39462010 markings, 152709038 edges, 177522 markings/sec, 200 secs
lola: 40379159 markings, 156426644 edges, 183430 markings/sec, 205 secs
lola: 41280196 markings, 160168756 edges, 180207 markings/sec, 210 secs
lola: 42195471 markings, 163950088 edges, 183055 markings/sec, 215 secs
lola: 43086737 markings, 167729175 edges, 178253 markings/sec, 220 secs
lola: 43996456 markings, 171354432 edges, 181944 markings/sec, 225 secs
lola: 44907046 markings, 174966997 edges, 182118 markings/sec, 230 secs
lola: 45756459 markings, 178681946 edges, 169883 markings/sec, 235 secs
lola: 46659092 markings, 182406963 edges, 180527 markings/sec, 240 secs
lola: 47527375 markings, 186328607 edges, 173657 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6100692 KB
lola: time consumption: 255 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (X (FIREABLE(t8_to_9))) AND ((FIREABLE(t37_to_38) AND FIREABLE(t15_to_16)) AND (FIREABLE(t22_to_23) OR E (G (FIREABLE(t3_to_4))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (AX(FIREABLE(t8_to_9)) AND ((FIREABLE(t37_to_38) AND FIREABLE(t15_to_16)) AND (FIREABLE(t22_to_23) OR NOT(A(TRUE U NOT FIREABLE(t3_to_4)))))))
lola: processed formula length: 151
lola: 39 rewrites
lola: closed formula file CircularTrains-PT-048-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: 237 markings, 237 edges
FORMULA CircularTrains-PT-048-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((FIREABLE(t4_to_5) OR FIREABLE(t13_to_14)) AND (FIREABLE(t21_to_22) OR FIREABLE(t39_to_40))) OR A (F (FIREABLE(t31_to_32)))) U (FIREABLE(t45_to_46) AND A (X (FIREABLE(t33_to_34))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((((FIREABLE(t4_to_5) OR FIREABLE(t13_to_14)) AND (FIREABLE(t21_to_22) OR FIREABLE(t39_to_40))) OR A(TRUE U FIREABLE(t31_to_32))) U (FIREABLE(t45_to_46) AND AX(FIREABLE(t33_to_34))))
lola: processed formula length: 185
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-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: 1486406 markings, 4517768 edges, 297281 markings/sec, 0 secs
lola: 2905729 markings, 9106221 edges, 283865 markings/sec, 5 secs
lola: 4200558 markings, 13606319 edges, 258966 markings/sec, 10 secs
lola: 5500510 markings, 17933032 edges, 259990 markings/sec, 15 secs
lola: 6682010 markings, 21927343 edges, 236300 markings/sec, 20 secs
lola: 7759598 markings, 25727194 edges, 215518 markings/sec, 25 secs
lola: 8894030 markings, 29576619 edges, 226886 markings/sec, 30 secs
lola: 10044204 markings, 33544315 edges, 230035 markings/sec, 35 secs
lola: 11104606 markings, 37341955 edges, 212080 markings/sec, 40 secs
lola: 12080604 markings, 41091942 edges, 195200 markings/sec, 45 secs
lola: 13180046 markings, 45078827 edges, 219888 markings/sec, 50 secs
lola: 14205389 markings, 48970471 edges, 205069 markings/sec, 55 secs
lola: 15249124 markings, 52779016 edges, 208747 markings/sec, 60 secs
lola: 16206695 markings, 56457292 edges, 191514 markings/sec, 65 secs
lola: 17262556 markings, 60229963 edges, 211172 markings/sec, 70 secs
lola: 18414829 markings, 64009868 edges, 230455 markings/sec, 75 secs
lola: 19547952 markings, 67921444 edges, 226625 markings/sec, 80 secs
lola: 20594820 markings, 71708275 edges, 209374 markings/sec, 85 secs
lola: 21568565 markings, 75454616 edges, 194749 markings/sec, 90 secs
lola: 22539955 markings, 79155988 edges, 194278 markings/sec, 95 secs
lola: 23546971 markings, 82821729 edges, 201403 markings/sec, 100 secs
lola: 24646918 markings, 86626207 edges, 219989 markings/sec, 105 secs
lola: 25747663 markings, 90399044 edges, 220149 markings/sec, 110 secs
lola: 26727092 markings, 94118042 edges, 195886 markings/sec, 115 secs
lola: 27724633 markings, 97909308 edges, 199508 markings/sec, 120 secs
lola: 28654105 markings, 101534169 edges, 185894 markings/sec, 125 secs
lola: 29661986 markings, 105442648 edges, 201576 markings/sec, 130 secs
lola: 30633310 markings, 109315370 edges, 194265 markings/sec, 135 secs
lola: 31722247 markings, 113274345 edges, 217787 markings/sec, 140 secs
lola: 32861262 markings, 117276173 edges, 227803 markings/sec, 145 secs
lola: 33939295 markings, 121310699 edges, 215607 markings/sec, 150 secs
lola: 34965468 markings, 125300033 edges, 205235 markings/sec, 155 secs
lola: 35969261 markings, 129293349 edges, 200759 markings/sec, 160 secs
lola: 36962220 markings, 133226948 edges, 198592 markings/sec, 165 secs
lola: 38000921 markings, 137216964 edges, 207740 markings/sec, 170 secs
lola: 38964567 markings, 141185714 edges, 192729 markings/sec, 175 secs
lola: 40070804 markings, 145124386 edges, 221247 markings/sec, 180 secs
lola: 41170127 markings, 149066718 edges, 219865 markings/sec, 185 secs
lola: 42180708 markings, 152920029 edges, 202116 markings/sec, 190 secs
lola: 43168783 markings, 156722693 edges, 197615 markings/sec, 195 secs
lola: 44204834 markings, 160537835 edges, 207210 markings/sec, 200 secs
lola: 45220812 markings, 164455974 edges, 203196 markings/sec, 205 secs
lola: 46194005 markings, 168310400 edges, 194639 markings/sec, 210 secs
lola: 47131112 markings, 172124211 edges, 187421 markings/sec, 215 secs
lola: 48044268 markings, 175944920 edges, 182631 markings/sec, 220 secs
lola: 48976433 markings, 179809000 edges, 186433 markings/sec, 225 secs
lola: 49870733 markings, 183565650 edges, 178860 markings/sec, 230 secs
lola: 50837272 markings, 187385993 edges, 193308 markings/sec, 235 secs
lola: 51917269 markings, 191196662 edges, 215999 markings/sec, 240 secs
lola: 52801946 markings, 194724895 edges, 176935 markings/sec, 245 secs
lola: 53915311 markings, 198603654 edges, 222673 markings/sec, 250 secs
lola: 54981195 markings, 202408129 edges, 213177 markings/sec, 255 secs
lola: 56081791 markings, 206557238 edges, 220119 markings/sec, 260 secs
lola: 57100993 markings, 210430618 edges, 203840 markings/sec, 265 secs
lola: 57954497 markings, 213657022 edges, 170701 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4359924 KB
lola: time consumption: 532 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X (NOT FIREABLE(t24_to_25))) AND E (F ((NOT FIREABLE(t27_to_28) AND NOT FIREABLE(t40_to_41))))) OR A (G (A (F (NOT FIREABLE(t41_to_42))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t27_to_28) AND NOT FIREABLE(t40_to_41))))
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 ((NOT FIREABLE(t27_to_28) AND NOT FIREABLE(t40_to_41))))
lola: processed formula length: 61
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-048-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: (NOT FIREABLE(t27_to_28) AND NOT FIREABLE(t40_to_41))
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (NOT FIREABLE(t41_to_42)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t41_to_42)
lola: processed formula length: 19
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-048-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate eventually occurs from all states.
lola: 250 markings, 250 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(t36_to_37))) OR A (G (((NOT FIREABLE(t34_to_35) OR NOT FIREABLE(t29_to_30)) AND (NOT FIREABLE(t47_to_48) OR NOT FIREABLE(t13_to_14))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t34_to_35) OR NOT FIREABLE(t29_to_30)) AND (NOT FIREABLE(t47_to_48) OR NOT FIREABLE(t13_to_14)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(t34_to_35) OR NOT FIREABLE(t29_to_30)) AND (NOT FIREABLE(t47_to_48) OR NOT FIREABLE(t13_to_14)))))
lola: processed formula length: 121
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-048-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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(t34_to_35) AND FIREABLE(t29_to_30)) OR (FIREABLE(t47_to_48) AND FIREABLE(t13_to_14)))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: state equation: write sara problem file to CircularTrains-PT-048-CTLFireability-6-0.saralola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t36_to_37)))
lola: ========================================
lola: SUBTASK
lola:
lola: ========================================
checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(FIREABLE(t36_to_37))
lola: processed formula length: 23
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-048-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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t29_to_30)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t29_to_30)))
lola: processed formula length: 31
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-048-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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t29_to_30)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: state equation: write sara problem file to CircularTrains-PT-048-CTLFireability-7-0.sara
FORMULA CircularTrains-PT-048-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=0)
state equation: calling and running sara
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t20_to_21)))
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(t20_to_21)))
lola: processed formula length: 27
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-048-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(t20_to_21)
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: ========================================
state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CircularTrains-PT-048-CTLFireability-8-0.sara
lola: state equation: calling and running sara
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (NOT FIREABLE(t9_to_10)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: NOT FIREABLE(t9_to_10)
lola: processed formula length: 22
lola: 36 rewrites
lola: closed formula file CircularTrains-PT-048-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate is not possibly preserved from any reachable marking.
lola: 264 markings, 265 edges
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t43_to_44)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t43_to_44)))
lola: processed formula length: 31
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-048-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: 185 markings, 184 edges
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 607 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t47_to_48) AND FIREABLE(t5_to_6)) U E (G (NOT FIREABLE(t16_to_17)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A((FIREABLE(t47_to_48) AND FIREABLE(t5_to_6)) U NOT(A(TRUE U FIREABLE(t16_to_17))))
lola: processed formula length: 83
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-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).
sara: try reading problem file CircularTrains-PT-048-CTLFireability-8-0.sara.
sara: try reading problem file CircularTrains-PT-048-CTLFireability-7-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: 1553066 markings, 4567747 edges, 310613 markings/sec, 0 secs
lola: 3016619 markings, 8965633 edges, 292711 markings/sec, 5 secs
lola: 4445373 markings, 13377334 edges, 285751 markings/sec, 10 secs
lola: 5630936 markings, 17608589 edges, 237113 markings/sec, 15 secs
lola: 6875320 markings, 21965831 edges, 248877 markings/sec, 20 secs
lola: 8079490 markings, 26098443 edges, 240834 markings/sec, 25 secs
lola: 9366102 markings, 30390212 edges, 257322 markings/sec, 30 secs
lola: 10648585 markings, 34575801 edges, 256497 markings/sec, 35 secs
lola: 11962215 markings, 38731741 edges, 262726 markings/sec, 40 secs
lola: 13295184 markings, 43040055 edges, 266594 markings/sec, 45 secs
lola: 14510041 markings, 47320338 edges, 242971 markings/sec, 50 secs
lola: 15705489 markings, 51648417 edges, 239090 markings/sec, 55 secs
lola: 16774760 markings, 55916205 edges, 213854 markings/sec, 60 secs
lola: 17990219 markings, 60184762 edges, 243092 markings/sec, 65 secs
lola: 19251647 markings, 64344388 edges, 252286 markings/sec, 70 secs
lola: 20500439 markings, 68538764 edges, 249758 markings/sec, 75 secs
lola: 21607290 markings, 72552638 edges, 221370 markings/sec, 80 secs
lola: 22733149 markings, 76634574 edges, 225172 markings/sec, 85 secs
lola: 23871470 markings, 80704263 edges, 227664 markings/sec, 90 secs
lola: 25019196 markings, 84932174 edges, 229545 markings/sec, 95 secs
lola: 26054344 markings, 89186244 edges, 207030 markings/sec, 100 secs
lola: 27164767 markings, 93373511 edges, 222085 markings/sec, 105 secs
lola: 28367329 markings, 97519000 edges, 240512 markings/sec, 110 secs
lola: 29427504 markings, 101563167 edges, 212035 markings/sec, 115 secs
lola: 30562509 markings, 105717707 edges, 227001 markings/sec, 120 secs
lola: 31700888 markings, 109883907 edges, 227676 markings/sec, 125 secs
lola: 32918354 markings, 114053511 edges, 243493 markings/sec, 130 secs
lola: 34064067 markings, 118163170 edges, 229143 markings/sec, 135 secs
lola: 35206411 markings, 122320898 edges, 228469 markings/sec, 140 secs
lola: 36238734 markings, 126533987 edges, 206465 markings/sec, 145 secs
lola: 37272068 markings, 130707009 edges, 206667 markings/sec, 150 secs
lola: 38525237 markings, 134872951 edges, 250634 markings/sec, 155 secs
lola: 39655946 markings, 138980366 edges, 226142 markings/sec, 160 secs
lola: 40878923 markings, 143145425 edges, 244595 markings/sec, 165 secs
lola: 42136842 markings, 147436999 edges, 251584 markings/sec, 170 secs
lola: 43229612 markings, 151483989 edges, 218554 markings/sec, 175 secs
lola: 44327588 markings, 155549277 edges, 219595 markings/sec, 180 secs
lola: 45435778 markings, 159561696 edges, 221638 markings/sec, 185 secs
lola: 46561806 markings, 163773766 edges, 225206 markings/sec, 190 secs
lola: 47592990 markings, 168007861 edges, 206237 markings/sec, 195 secs
lola: 48658552 markings, 172202341 edges, 213112 markings/sec, 200 secs
lola: 49696775 markings, 176210129 edges, 207645 markings/sec, 205 secs
lola: 50663996 markings, 180252123 edges, 193444 markings/sec, 210 secs
lola: 51600142 markings, 184219061 edges, 187229 markings/sec, 215 secs
lola: 52562377 markings, 188283576 edges, 192447 markings/sec, 220 secs
lola: 53586092 markings, 192227292 edges, 204743 markings/sec, 225 secs
lola: 54598726 markings, 196264837 edges, 202527 markings/sec, 230 secs
lola: 55481390 markings, 199896900 edges, 176533 markings/sec, 235 secs
lola: 56409810 markings, 203598880 edges, 185684 markings/sec, 240 secs
lola: 57312326 markings, 207654821 edges, 180503 markings/sec, 245 secs
lola: 58095831 markings, 211167143 edges, 156701 markings/sec, 250 secs
lola: 58939431 markings, 215052627 edges, 168720 markings/sec, 255 secs
lola: 60102461 markings, 219103110 edges, 232606 markings/sec, 260 secs
lola: 61147110 markings, 222662357 edges, 208930 markings/sec, 265 secs
lola: 62210133 markings, 226399714 edges, 212605 markings/sec, 270 secs
lola: 63283709 markings, 230331517 edges, 214715 markings/sec, 275 secs
lola: 64240640 markings, 233784876 edges, 191386 markings/sec, 280 secs
lola: 65287810 markings, 237429270 edges, 209434 markings/sec, 285 secs
lola: 66349070 markings, 241529295 edges, 212252 markings/sec, 290 secs
lola: 67200284 markings, 245167968 edges, 170243 markings/sec, 295 secs
lola: 68203163 markings, 248897204 edges, 200576 markings/sec, 300 secs
lola: 69125860 markings, 252482269 edges, 184539 markings/sec, 305 secs
lola: 69968459 markings, 256043447 edges, 168520 markings/sec, 310 secs
lola: 70802915 markings, 259583860 edges, 166891 markings/sec, 315 secs
lola: 71692130 markings, 263245480 edges, 177843 markings/sec, 320 secs
lola: 72585483 markings, 266871772 edges, 178671 markings/sec, 325 secs
lola: 73556578 markings, 270563401 edges, 194219 markings/sec, 330 secs
lola: 74389014 markings, 273928171 edges, 166487 markings/sec, 335 secs
lola: 75313262 markings, 277535729 edges, 184850 markings/sec, 340 secs
lola: 76223915 markings, 281365573 edges, 182131 markings/sec, 345 secs
lola: 77038305 markings, 285144183 edges, 162878 markings/sec, 350 secs
lola: 77864342 markings, 288939407 edges, 165207 markings/sec, 355 secs
lola: 78750727 markings, 292426904 edges, 177277 markings/sec, 360 secs
lola: 79672769 markings, 295966076 edges, 184408 markings/sec, 365 secs
lola: 80620949 markings, 299546168 edges, 189636 markings/sec, 370 secs
lola: 81554262 markings, 303100804 edges, 186663 markings/sec, 375 secs
lola: 82404779 markings, 306788499 edges, 170103 markings/sec, 380 secs
lola: 83419198 markings, 310487986 edges, 202884 markings/sec, 385 secs
lola: 84532711 markings, 314298459 edges, 222703 markings/sec, 390 secs
lola: 85583310 markings, 318053238 edges, 210120 markings/sec, 395 secs
lola: 86663080 markings, 321935827 edges, 215954 markings/sec, 400 secs
lola: 87616844 markings, 325852321 edges, 190753 markings/sec, 405 secs
lola: 88694340 markings, 329726527 edges, 215499 markings/sec, 410 secs
lola: 89669301 markings, 333579469 edges, 194992 markings/sec, 415 secs
lola: 90733976 markings, 337502918 edges, 212935 markings/sec, 420 secs
lola: 91807384 markings, 341409279 edges, 214682 markings/sec, 425 secs
lola: 92987545 markings, 345314803 edges, 236032 markings/sec, 430 secs
lola: 94039563 markings, 349273565 edges, 210404 markings/sec, 435 secs
lola: 95113247 markings, 353025326 edges, 214737 markings/sec, 440 secs
lola: 96098605 markings, 356589244 edges, 197072 markings/sec, 445 secs
lola: 97058417 markings, 360150247 edges, 191962 markings/sec, 450 secs
lola: 97943663 markings, 363764197 edges, 177049 markings/sec, 455 secs
lola: 98825632 markings, 367190252 edges, 176394 markings/sec, 460 secs
lola: 99747072 markings, 370776201 edges, 184288 markings/sec, 465 secs
lola: 100689936 markings, 374407324 edges, 188573 markings/sec, 470 secs
lola: 101698131 markings, 378060014 edges, 201639 markings/sec, 475 secs
lola: 102694284 markings, 381688744 edges, 199231 markings/sec, 480 secs
lola: 103662197 markings, 385279864 edges, 193583 markings/sec, 485 secs
lola: 104500735 markings, 388712881 edges, 167708 markings/sec, 490 secs
lola: 105406402 markings, 392223240 edges, 181133 markings/sec, 495 secs
lola: 106368464 markings, 395942231 edges, 192412 markings/sec, 500 secs
lola: 107337784 markings, 399718889 edges, 193864 markings/sec, 505 secs
lola: 108420128 markings, 403566378 edges, 216469 markings/sec, 510 secs
lola: 109472056 markings, 407178208 edges, 210386 markings/sec, 515 secs
lola: 110443571 markings, 410744971 edges, 194303 markings/sec, 520 secs
lola: 111465556 markings, 414382853 edges, 204397 markings/sec, 525 secs
lola: 112420181 markings, 417743791 edges, 190925 markings/sec, 530 secs
lola: 113522263 markings, 421587777 edges, 220416 markings/sec, 535 secs
lola: 114672769 markings, 425746866 edges, 230101 markings/sec, 540 secs
lola: 115747550 markings, 429807331 edges, 214956 markings/sec, 545 secs
lola: 116767761 markings, 433784444 edges, 204042 markings/sec, 550 secs
lola: 117788579 markings, 437773763 edges, 204164 markings/sec, 555 secs
lola: 118732811 markings, 441789389 edges, 188846 markings/sec, 560 secs
lola: 119593362 markings, 445741444 edges, 172110 markings/sec, 565 secs
lola: 120584302 markings, 449751417 edges, 198188 markings/sec, 570 secs
lola: 121515245 markings, 453718325 edges, 186189 markings/sec, 575 secs
lola: 122394643 markings, 457611515 edges, 175880 markings/sec, 580 secs
lola: 123385607 markings, 461553804 edges, 198193 markings/sec, 585 secs
lola: 124387198 markings, 465471093 edges, 200318 markings/sec, 590 secs
lola: 125291341 markings, 469189077 edges, 180829 markings/sec, 595 secs
lola: 126194677 markings, 472906367 edges, 180667 markings/sec, 600 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown no unknown yes unknown yes unknown unknown no unknown unknown
lola: memory consumption: 9415064 KB
lola: time consumption: 1139 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 607 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (G (NOT FIREABLE(t17_to_18))) OR (NOT FIREABLE(t44_to_45) AND NOT FIREABLE(t27_to_28) AND FIREABLE(t38_to_39)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U (NOT(A(TRUE U FIREABLE(t17_to_18))) OR (NOT FIREABLE(t44_to_45) AND NOT FIREABLE(t27_to_28) AND FIREABLE(t38_to_39))))
lola: processed formula length: 127
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-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: 1516728 markings, 4468994 edges, 303346 markings/sec, 0 secs
lola: 2816351 markings, 8599268 edges, 259925 markings/sec, 5 secs
lola: 4039476 markings, 12787989 edges, 244625 markings/sec, 10 secs
lola: 5285517 markings, 16974024 edges, 249208 markings/sec, 15 secs
lola: 6442260 markings, 21106967 edges, 231349 markings/sec, 20 secs
lola: 7657972 markings, 25211654 edges, 243142 markings/sec, 25 secs
lola: 8949665 markings, 29307651 edges, 258339 markings/sec, 30 secs
lola: 10334404 markings, 33512575 edges, 276948 markings/sec, 35 secs
lola: 11481495 markings, 37598845 edges, 229418 markings/sec, 40 secs
lola: 12563642 markings, 41559617 edges, 216429 markings/sec, 45 secs
lola: 13618660 markings, 45531646 edges, 211004 markings/sec, 50 secs
lola: 14819228 markings, 49564276 edges, 240114 markings/sec, 55 secs
lola: 15936342 markings, 53564091 edges, 223423 markings/sec, 60 secs
lola: 17071285 markings, 57543848 edges, 226989 markings/sec, 65 secs
lola: 18243259 markings, 61564448 edges, 234395 markings/sec, 70 secs
lola: 19331432 markings, 65527635 edges, 217635 markings/sec, 75 secs
lola: 20504199 markings, 69431563 edges, 234553 markings/sec, 80 secs
lola: 21685935 markings, 73337760 edges, 236347 markings/sec, 85 secs
lola: 22905574 markings, 77394059 edges, 243928 markings/sec, 90 secs
lola: 23998336 markings, 81425812 edges, 218552 markings/sec, 95 secs
lola: 25061853 markings, 85329596 edges, 212703 markings/sec, 100 secs
lola: 26153346 markings, 89464273 edges, 218299 markings/sec, 105 secs
lola: 27178280 markings, 93538955 edges, 204987 markings/sec, 110 secs
lola: 28165162 markings, 97592673 edges, 197376 markings/sec, 115 secs
lola: 29317847 markings, 101749079 edges, 230537 markings/sec, 120 secs
lola: 30584361 markings, 105967996 edges, 253303 markings/sec, 125 secs
lola: 31691976 markings, 110079294 edges, 221523 markings/sec, 130 secs
lola: 32732703 markings, 114084360 edges, 208145 markings/sec, 135 secs
lola: 33758457 markings, 118032400 edges, 205151 markings/sec, 140 secs
lola: 34931229 markings, 122212732 edges, 234554 markings/sec, 145 secs
lola: 35928434 markings, 126192341 edges, 199441 markings/sec, 150 secs
lola: 36837476 markings, 130151238 edges, 181808 markings/sec, 155 secs
lola: 37891389 markings, 134264798 edges, 210783 markings/sec, 160 secs
lola: 38830953 markings, 138193667 edges, 187913 markings/sec, 165 secs
lola: 39765022 markings, 142120439 edges, 186814 markings/sec, 170 secs
lola: 40780456 markings, 146132192 edges, 203087 markings/sec, 175 secs
lola: 41794718 markings, 150035698 edges, 202852 markings/sec, 180 secs
lola: 42817074 markings, 153977857 edges, 204471 markings/sec, 185 secs
lola: 43772937 markings, 158042344 edges, 191173 markings/sec, 190 secs
lola: 44798363 markings, 162059967 edges, 205085 markings/sec, 195 secs
lola: 45937440 markings, 166121754 edges, 227815 markings/sec, 200 secs
lola: 47009946 markings, 170048508 edges, 214501 markings/sec, 205 secs
lola: 48050032 markings, 173966665 edges, 208017 markings/sec, 210 secs
lola: 49251898 markings, 178060611 edges, 240373 markings/sec, 215 secs
lola: 50231002 markings, 181944917 edges, 195821 markings/sec, 220 secs
lola: 51177550 markings, 185832606 edges, 189310 markings/sec, 225 secs
lola: 52255197 markings, 189862292 edges, 215529 markings/sec, 230 secs
lola: 53196966 markings, 193792994 edges, 188354 markings/sec, 235 secs
lola: 54237587 markings, 197783525 edges, 208124 markings/sec, 240 secs
lola: 55262798 markings, 201657771 edges, 205042 markings/sec, 245 secs
lola: 56309922 markings, 205505606 edges, 209425 markings/sec, 250 secs
lola: 57337551 markings, 209511034 edges, 205526 markings/sec, 255 secs
lola: 58294029 markings, 213438591 edges, 191296 markings/sec, 260 secs
lola: 59244390 markings, 217489962 edges, 190072 markings/sec, 265 secs
lola: 60116855 markings, 221512698 edges, 174493 markings/sec, 270 secs
lola: 61106530 markings, 225615946 edges, 197935 markings/sec, 275 secs
lola: 62087228 markings, 229669997 edges, 196140 markings/sec, 280 secs
lola: 62953816 markings, 233680462 edges, 173318 markings/sec, 285 secs
lola: 63925466 markings, 237677054 edges, 194330 markings/sec, 290 secs
lola: 65089550 markings, 241800524 edges, 232817 markings/sec, 295 secs
lola: 66167864 markings, 245748754 edges, 215663 markings/sec, 300 secs
lola: 67321088 markings, 249754134 edges, 230645 markings/sec, 305 secs
lola: 68343868 markings, 253644010 edges, 204556 markings/sec, 310 secs
lola: 69412960 markings, 257537523 edges, 213818 markings/sec, 315 secs
lola: 70411624 markings, 261491248 edges, 199733 markings/sec, 320 secs
lola: 71370047 markings, 265461104 edges, 191685 markings/sec, 325 secs
lola: 72540781 markings, 269524771 edges, 234147 markings/sec, 330 secs
lola: 73659767 markings, 273499568 edges, 223797 markings/sec, 335 secs
lola: 74676654 markings, 277414939 edges, 203377 markings/sec, 340 secs
lola: 75769127 markings, 281309637 edges, 218495 markings/sec, 345 secs
lola: 76900789 markings, 285334670 edges, 226332 markings/sec, 350 secs
lola: 77827462 markings, 289209950 edges, 185335 markings/sec, 355 secs
lola: 78858847 markings, 293154223 edges, 206277 markings/sec, 360 secs
lola: 79838117 markings, 297027242 edges, 195854 markings/sec, 365 secs
lola: 80774174 markings, 300885917 edges, 187211 markings/sec, 370 secs
lola: 81829449 markings, 304849168 edges, 211055 markings/sec, 375 secs
lola: 82856460 markings, 308726197 edges, 205402 markings/sec, 380 secs
lola: 83912516 markings, 312588696 edges, 211211 markings/sec, 385 secs
lola: 84870757 markings, 316484820 edges, 191648 markings/sec, 390 secs
lola: 85809038 markings, 320337523 edges, 187656 markings/sec, 395 secs
lola: 86703385 markings, 324254296 edges, 178869 markings/sec, 400 secs
lola: 87529448 markings, 327998783 edges, 165213 markings/sec, 405 secs
lola: 88553792 markings, 331929459 edges, 204869 markings/sec, 410 secs
lola: 89556898 markings, 335759010 edges, 200621 markings/sec, 415 secs
lola: 90450444 markings, 339510116 edges, 178709 markings/sec, 420 secs
lola: 91429213 markings, 343343118 edges, 195754 markings/sec, 425 secs
lola: 92296303 markings, 347006670 edges, 173418 markings/sec, 430 secs
lola: 93199137 markings, 350676633 edges, 180567 markings/sec, 435 secs
lola: 94055484 markings, 354369632 edges, 171269 markings/sec, 440 secs
lola: 94847168 markings, 358074425 edges, 158337 markings/sec, 445 secs
lola: 95748078 markings, 361824231 edges, 180182 markings/sec, 450 secs
lola: 96784620 markings, 365572944 edges, 207308 markings/sec, 455 secs
lola: 97761980 markings, 369286374 edges, 195472 markings/sec, 460 secs
lola: 98799179 markings, 373135738 edges, 207440 markings/sec, 465 secs
lola: 99736958 markings, 376798798 edges, 187556 markings/sec, 470 secs
lola: 100720477 markings, 380536235 edges, 196704 markings/sec, 475 secs
lola: 101717843 markings, 384360617 edges, 199473 markings/sec, 480 secs
lola: 102782866 markings, 388187832 edges, 213005 markings/sec, 485 secs
lola: 103883596 markings, 392049058 edges, 220146 markings/sec, 490 secs
lola: 104894049 markings, 395823957 edges, 202091 markings/sec, 495 secs
lola: 105913197 markings, 399607321 edges, 203830 markings/sec, 500 secs
lola: 106921566 markings, 403424429 edges, 201674 markings/sec, 505 secs
lola: 107810929 markings, 407205034 edges, 177873 markings/sec, 510 secs
lola: 108736785 markings, 410987892 edges, 185171 markings/sec, 515 secs
lola: 109643785 markings, 414736713 edges, 181400 markings/sec, 520 secs
lola: 110727490 markings, 418477253 edges, 216741 markings/sec, 525 secs
lola: 111752282 markings, 422193553 edges, 204958 markings/sec, 530 secs
lola: 112741677 markings, 425847651 edges, 197879 markings/sec, 535 secs
lola: 113677342 markings, 429461665 edges, 187133 markings/sec, 540 secs
lola: 114549263 markings, 432843527 edges, 174384 markings/sec, 545 secs
lola: 115372589 markings, 436252895 edges, 164665 markings/sec, 550 secs
lola: 116177726 markings, 439641828 edges, 161027 markings/sec, 555 secs
lola: 116986986 markings, 443088622 edges, 161852 markings/sec, 560 secs
lola: 117867993 markings, 446607817 edges, 176201 markings/sec, 565 secs
lola: 118688540 markings, 450163518 edges, 164109 markings/sec, 570 secs
lola: 119519418 markings, 453745992 edges, 166176 markings/sec, 575 secs
lola: 120491011 markings, 457384704 edges, 194319 markings/sec, 580 secs
lola: 121366148 markings, 461041139 edges, 175027 markings/sec, 585 secs
lola: 122218934 markings, 464586393 edges, 170557 markings/sec, 590 secs
lola: 122999412 markings, 468159885 edges, 156096 markings/sec, 595 secs
lola: 123859719 markings, 471806345 edges, 172061 markings/sec, 600 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown no unknown yes unknown yes unknown unknown no unknown unknown
lola: memory consumption: 9245864 KB
lola: time consumption: 1747 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 607 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A ((FIREABLE(t18_to_19) U FIREABLE(t13_to_14))) AND (FIREABLE(t43_to_44) AND FIREABLE(t35_to_36)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (A(FIREABLE(t18_to_19) U FIREABLE(t13_to_14)) AND (FIREABLE(t43_to_44) AND FIREABLE(t35_to_36))))
lola: processed formula length: 106
lola: 37 rewrites
lola: closed formula file CircularTrains-PT-048-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: 237 markings, 487 edges
lola: ========================================
FORMULA CircularTrains-PT-048-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 911 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (NOT FIREABLE(t41_to_42))) AND E (G (NOT FIREABLE(t14_to_15))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(TRUE U (NOT(A(TRUE U FIREABLE(t41_to_42))) AND NOT(A(TRUE U FIREABLE(t14_to_15)))))
lola: processed formula length: 85
lola: 40 rewrites
lola: closed formula file CircularTrains-PT-048-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: 1307996 markings, 4200347 edges, 261599 markings/sec, 0 secs
lola: 2395341 markings, 8566368 edges, 217469 markings/sec, 5 secs
lola: 3623942 markings, 12378132 edges, 245720 markings/sec, 10 secs
lola: 4559959 markings, 15468642 edges, 187203 markings/sec, 15 secs
lola: 5559793 markings, 19479563 edges, 199967 markings/sec, 20 secs
lola: 6505703 markings, 23539358 edges, 189182 markings/sec, 25 secs
lola: 7303915 markings, 26755501 edges, 159642 markings/sec, 30 secs
lola: 8245668 markings, 30805413 edges, 188351 markings/sec, 35 secs
lola: 9095207 markings, 34348023 edges, 169908 markings/sec, 40 secs
lola: 10039986 markings, 38168662 edges, 188956 markings/sec, 45 secs
lola: 10852075 markings, 41804930 edges, 162418 markings/sec, 50 secs
lola: 11887155 markings, 45402735 edges, 207016 markings/sec, 55 secs
lola: 12711668 markings, 48681895 edges, 164903 markings/sec, 60 secs
lola: 13529635 markings, 52319545 edges, 163593 markings/sec, 65 secs
lola: 14372879 markings, 55753062 edges, 168649 markings/sec, 70 secs
lola: 15132493 markings, 59204390 edges, 151923 markings/sec, 75 secs
lola: 16001177 markings, 62576062 edges, 173737 markings/sec, 80 secs
lola: 16848847 markings, 66039746 edges, 169534 markings/sec, 85 secs
lola: 17702543 markings, 69448796 edges, 170739 markings/sec, 90 secs
lola: 18545385 markings, 72777613 edges, 168568 markings/sec, 95 secs
lola: 19278349 markings, 76110075 edges, 146593 markings/sec, 100 secs
lola: 20060567 markings, 79363961 edges, 156444 markings/sec, 105 secs
lola: 20733937 markings, 82755453 edges, 134674 markings/sec, 110 secs
lola: 21506058 markings, 86106117 edges, 154424 markings/sec, 115 secs
lola: 22289109 markings, 89616443 edges, 156610 markings/sec, 120 secs
lola: 23057825 markings, 92992703 edges, 153743 markings/sec, 125 secs
lola: 23817494 markings, 96238807 edges, 151934 markings/sec, 130 secs
lola: 24565063 markings, 99449054 edges, 149514 markings/sec, 135 secs
lola: 25188208 markings, 102556496 edges, 124629 markings/sec, 140 secs
lola: 25867730 markings, 106416543 edges, 135904 markings/sec, 145 secs
lola: 26490442 markings, 110059598 edges, 124542 markings/sec, 150 secs
lola: 27112584 markings, 113682729 edges, 124428 markings/sec, 155 secs
lola: 27737421 markings, 117549421 edges, 124967 markings/sec, 160 secs
lola: 28325650 markings, 121383567 edges, 117646 markings/sec, 165 secs
lola: 28844868 markings, 125000766 edges, 103844 markings/sec, 170 secs
lola: 29445420 markings, 128867971 edges, 120110 markings/sec, 175 secs
lola: 30029538 markings, 132584134 edges, 116824 markings/sec, 180 secs
lola: 30601717 markings, 136211403 edges, 114436 markings/sec, 185 secs
lola: 31171232 markings, 139833341 edges, 113903 markings/sec, 190 secs
lola: 31737481 markings, 143423798 edges, 113250 markings/sec, 195 secs
lola: 32287077 markings, 147009292 edges, 109919 markings/sec, 200 secs
lola: 32826122 markings, 150600401 edges, 107809 markings/sec, 205 secs
lola: 33373712 markings, 153970889 edges, 109518 markings/sec, 210 secs
lola: 34299461 markings, 157751554 edges, 185150 markings/sec, 215 secs
lola: 35154297 markings, 161514760 edges, 170967 markings/sec, 220 secs
lola: 35991000 markings, 165099004 edges, 167341 markings/sec, 225 secs
lola: 36753200 markings, 168560600 edges, 152440 markings/sec, 230 secs
lola: 37451951 markings, 171956878 edges, 139750 markings/sec, 235 secs
lola: 38023335 markings, 175738342 edges, 114277 markings/sec, 240 secs
lola: 38547022 markings, 179416884 edges, 104737 markings/sec, 245 secs
lola: 39075967 markings, 183034852 edges, 105789 markings/sec, 250 secs
lola: 40060911 markings, 187059596 edges, 196989 markings/sec, 255 secs
lola: 40892819 markings, 190833548 edges, 166382 markings/sec, 260 secs
lola: 41704489 markings, 194539168 edges, 162334 markings/sec, 265 secs
lola: 42444445 markings, 198132644 edges, 147991 markings/sec, 270 secs
lola: 43150803 markings, 201528046 edges, 141272 markings/sec, 275 secs
lola: 43790307 markings, 204876194 edges, 127901 markings/sec, 280 secs
lola: 44758516 markings, 208740353 edges, 193642 markings/sec, 285 secs
lola: 45595115 markings, 212303784 edges, 167320 markings/sec, 290 secs
lola: 46258368 markings, 215956180 edges, 132651 markings/sec, 295 secs
lola: 46777258 markings, 219836964 edges, 103778 markings/sec, 300 secs
lola: 47269544 markings, 223610266 edges, 98457 markings/sec, 305 secs
lola: 47743308 markings, 227186202 edges, 94753 markings/sec, 310 secs
lola: 48310992 markings, 231044182 edges, 113537 markings/sec, 315 secs
lola: 48838311 markings, 234695800 edges, 105464 markings/sec, 320 secs
lola: 49748549 markings, 238439598 edges, 182048 markings/sec, 325 secs
lola: 50541944 markings, 242006680 edges, 158679 markings/sec, 330 secs
lola: 51113438 markings, 245800159 edges, 114299 markings/sec, 335 secs
lola: 51996490 markings, 249836013 edges, 176610 markings/sec, 340 secs
lola: 52984587 markings, 253629955 edges, 197619 markings/sec, 345 secs
lola: 53852438 markings, 257757010 edges, 173570 markings/sec, 350 secs
lola: 54688213 markings, 261665096 edges, 167155 markings/sec, 355 secs
lola: 55534154 markings, 265430100 edges, 169188 markings/sec, 360 secs
lola: 56340868 markings, 269310233 edges, 161343 markings/sec, 365 secs
lola: 57122144 markings, 273021102 edges, 156255 markings/sec, 370 secs
lola: 57939597 markings, 276775802 edges, 163491 markings/sec, 375 secs
lola: 58775492 markings, 280425783 edges, 167179 markings/sec, 380 secs
lola: 59524481 markings, 284129630 edges, 149798 markings/sec, 385 secs
lola: 60255993 markings, 287766803 edges, 146302 markings/sec, 390 secs
lola: 61044783 markings, 291222190 edges, 157758 markings/sec, 395 secs
lola: 61730439 markings, 294711218 edges, 137131 markings/sec, 400 secs
lola: 62361754 markings, 298186970 edges, 126263 markings/sec, 405 secs
lola: 63100495 markings, 301528689 edges, 147748 markings/sec, 410 secs
lola: 63717533 markings, 304850119 edges, 123408 markings/sec, 415 secs
lola: 64277093 markings, 308144360 edges, 111912 markings/sec, 420 secs
lola: 64875154 markings, 312019942 edges, 119612 markings/sec, 425 secs
lola: 65384452 markings, 315906971 edges, 101860 markings/sec, 430 secs
lola: 65924417 markings, 319788797 edges, 107993 markings/sec, 435 secs
lola: 66445409 markings, 323556717 edges, 104198 markings/sec, 440 secs
lola: 66962758 markings, 327292900 edges, 103470 markings/sec, 445 secs
lola: 67477400 markings, 330985739 edges, 102928 markings/sec, 450 secs
lola: 67967420 markings, 334570238 edges, 98004 markings/sec, 455 secs
lola: 68632730 markings, 338219910 edges, 133062 markings/sec, 460 secs
lola: 69399005 markings, 341945507 edges, 153255 markings/sec, 465 secs
lola: 70087215 markings, 345499617 edges, 137642 markings/sec, 470 secs
lola: 70634527 markings, 349067714 edges, 109462 markings/sec, 475 secs
lola: 71106935 markings, 352808865 edges, 94482 markings/sec, 480 secs
lola: 71994640 markings, 356788799 edges, 177541 markings/sec, 485 secs
lola: 72980454 markings, 360608889 edges, 197163 markings/sec, 490 secs
lola: 73810061 markings, 364645319 edges, 165921 markings/sec, 495 secs
lola: 74662583 markings, 368505084 edges, 170504 markings/sec, 500 secs
lola: 75496315 markings, 372289727 edges, 166746 markings/sec, 505 secs
lola: 76325355 markings, 376061899 edges, 165808 markings/sec, 510 secs
lola: 77108746 markings, 379743634 edges, 156678 markings/sec, 515 secs
lola: 77908729 markings, 383540233 edges, 159997 markings/sec, 520 secs
lola: 78749467 markings, 387183566 edges, 168148 markings/sec, 525 secs
lola: 79507846 markings, 390866896 edges, 151676 markings/sec, 530 secs
lola: 80244255 markings, 394511478 edges, 147282 markings/sec, 535 secs
lola: 81037420 markings, 397996677 edges, 158633 markings/sec, 540 secs
lola: 81729046 markings, 401492366 edges, 138325 markings/sec, 545 secs
lola: 82455756 markings, 405111139 edges, 145342 markings/sec, 550 secs
lola: 83128285 markings, 408656323 edges, 134506 markings/sec, 555 secs
lola: 83773080 markings, 411990342 edges, 128959 markings/sec, 560 secs
lola: 84414165 markings, 415213146 edges, 128217 markings/sec, 565 secs
lola: 84992245 markings, 418872181 edges, 115616 markings/sec, 570 secs
lola: 85526757 markings, 422804899 edges, 106902 markings/sec, 575 secs
lola: 86061600 markings, 426715218 edges, 106969 markings/sec, 580 secs
lola: 86596657 markings, 430545488 edges, 107011 markings/sec, 585 secs
lola: 87135813 markings, 434353932 edges, 107831 markings/sec, 590 secs
lola: 87644446 markings, 437996735 edges, 101727 markings/sec, 595 secs
lola: 88135490 markings, 441749050 edges, 98209 markings/sec, 600 secs
lola: 88632679 markings, 445232067 edges, 99438 markings/sec, 605 secs
lola: 89392260 markings, 448892996 edges, 151916 markings/sec, 610 secs
lola: 90114324 markings, 452480686 edges, 144413 markings/sec, 615 secs
lola: 90815932 markings, 455969380 edges, 140322 markings/sec, 620 secs
lola: 91378903 markings, 459353690 edges, 112594 markings/sec, 625 secs
lola: 91847974 markings, 463030071 edges, 93814 markings/sec, 630 secs
lola: 92288611 markings, 466632688 edges, 88127 markings/sec, 635 secs
lola: 93047611 markings, 470375321 edges, 151800 markings/sec, 640 secs
lola: 93750563 markings, 473986701 edges, 140590 markings/sec, 645 secs
lola: 94378330 markings, 477444726 edges, 125553 markings/sec, 650 secs
lola: 94952090 markings, 480662448 edges, 114752 markings/sec, 655 secs
lola: 95389591 markings, 484270470 edges, 87500 markings/sec, 660 secs
lola: 95810987 markings, 487912147 edges, 84279 markings/sec, 665 secs
lola: 96383807 markings, 491429770 edges, 114564 markings/sec, 670 secs
lola: 97095093 markings, 494928875 edges, 142257 markings/sec, 675 secs
lola: 97627132 markings, 498326207 edges, 106408 markings/sec, 680 secs
lola: 98126259 markings, 501913652 edges, 99825 markings/sec, 685 secs
lola: 98877474 markings, 505567226 edges, 150243 markings/sec, 690 secs
lola: 99543766 markings, 509061611 edges, 133258 markings/sec, 695 secs
lola: 100153069 markings, 512454752 edges, 121861 markings/sec, 700 secs
lola: 100716938 markings, 515656841 edges, 112774 markings/sec, 705 secs
lola: 101394974 markings, 519034352 edges, 135607 markings/sec, 710 secs
lola: 102108787 markings, 522458034 edges, 142763 markings/sec, 715 secs
lola: 102621683 markings, 525944108 edges, 102579 markings/sec, 720 secs
lola: 103057285 markings, 529694073 edges, 87120 markings/sec, 725 secs
lola: 103466917 markings, 533148920 edges, 81926 markings/sec, 730 secs
lola: 103950897 markings, 536877290 edges, 96796 markings/sec, 735 secs
lola: 104581657 markings, 540506133 edges, 126152 markings/sec, 740 secs
lola: 105283419 markings, 543959109 edges, 140352 markings/sec, 745 secs
lola: 106027204 markings, 547580141 edges, 148757 markings/sec, 750 secs
lola: 106509348 markings, 551160475 edges, 96429 markings/sec, 755 secs
lola: 106997213 markings, 554907771 edges, 97573 markings/sec, 760 secs
lola: 107969662 markings, 558792796 edges, 194490 markings/sec, 765 secs
lola: 108893706 markings, 562546357 edges, 184809 markings/sec, 770 secs
lola: 109666853 markings, 566177323 edges, 154629 markings/sec, 775 secs
lola: 110405026 markings, 569853462 edges, 147635 markings/sec, 780 secs
lola: 111216365 markings, 573372791 edges, 162268 markings/sec, 785 secs
lola: 111985933 markings, 576933103 edges, 153914 markings/sec, 790 secs
lola: 112699387 markings, 580427588 edges, 142691 markings/sec, 795 secs
lola: 113416506 markings, 583827433 edges, 143424 markings/sec, 800 secs
lola: 114077285 markings, 587159507 edges, 132156 markings/sec, 805 secs
lola: 114788722 markings, 590511535 edges, 142287 markings/sec, 810 secs
lola: 115408279 markings, 593886629 edges, 123911 markings/sec, 815 secs
lola: 116062637 markings, 597068763 edges, 130872 markings/sec, 820 secs
lola: 116704115 markings, 600123246 edges, 128296 markings/sec, 825 secs
lola: 117225137 markings, 603513998 edges, 104204 markings/sec, 830 secs
lola: 117765333 markings, 607134974 edges, 108039 markings/sec, 835 secs
lola: 118270070 markings, 610758967 edges, 100947 markings/sec, 840 secs
lola: 118777864 markings, 614329794 edges, 101559 markings/sec, 845 secs
lola: 119247470 markings, 617816782 edges, 93921 markings/sec, 850 secs
lola: 119728300 markings, 621247677 edges, 96166 markings/sec, 855 secs
lola: 120393100 markings, 624671354 edges, 132960 markings/sec, 860 secs
lola: 121048815 markings, 627999147 edges, 131143 markings/sec, 865 secs
lola: 121645347 markings, 631222710 edges, 119306 markings/sec, 870 secs
lola: 122105922 markings, 634714521 edges, 92115 markings/sec, 875 secs
lola: 122731510 markings, 638261760 edges, 125118 markings/sec, 880 secs
lola: 123390106 markings, 641673601 edges, 131719 markings/sec, 885 secs
lola: 123969345 markings, 644945241 edges, 115848 markings/sec, 890 secs
lola: 124492060 markings, 648026356 edges, 104543 markings/sec, 895 secs
lola: 125220349 markings, 651412635 edges, 145658 markings/sec, 900 secs
lola: 125718832 markings, 654900195 edges, 99697 markings/sec, 905 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no unknown no unknown yes unknown yes unknown unknown no no unknown
lola: memory consumption: 9366572 KB
lola: time consumption: 2659 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 911 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (G ((FIREABLE(t15_to_16) OR FIREABLE(t9_to_10)))))) AND (FIREABLE(t6_to_7) OR (E (F (FIREABLE(t36_to_37))) OR (A (F (FIREABLE(t23_to_24))) OR FIREABLE(t36_to_37)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 911 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t36_to_37)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t36_to_37)
lola: processed formula length: 19
lola: 35 rewrites
lola: closed formula file CircularTrains-PT-048-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
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 (((FIREABLE(t46_to_47) AND (NOT FIREABLE(t27_to_28) OR NOT FIREABLE(t12_to_13))) R E (X (NOT FIREABLE(t14_to_15)))))
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(t46_to_47) OR (FIREABLE(t27_to_28) AND FIREABLE(t12_to_13))) U NOT(EX(NOT FIREABLE(t14_to_15)))))
lola: processed formula length: 118
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-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: 1317774 markings, 3908795 edges, 263555 markings/sec, 0 secs
lola: 2439492 markings, 7872784 edges, 224344 markings/sec, 5 secs
lola: 3460225 markings, 11599168 edges, 204147 markings/sec, 10 secs
lola: 4484924 markings, 15300425 edges, 204940 markings/sec, 15 secs
lola: 5563043 markings, 18825287 edges, 215624 markings/sec, 20 secs
lola: 6597216 markings, 22295263 edges, 206835 markings/sec, 25 secs
lola: 7623554 markings, 25869496 edges, 205268 markings/sec, 30 secs
lola: 8637076 markings, 29484620 edges, 202704 markings/sec, 35 secs
lola: 9610484 markings, 32949724 edges, 194682 markings/sec, 40 secs
lola: 10581684 markings, 36505496 edges, 194240 markings/sec, 45 secs
lola: 11542779 markings, 40047226 edges, 192219 markings/sec, 50 secs
lola: 12544511 markings, 43714718 edges, 200346 markings/sec, 55 secs
lola: 13480909 markings, 47224845 edges, 187280 markings/sec, 60 secs
lola: 14413631 markings, 50767394 edges, 186544 markings/sec, 65 secs
lola: 15359617 markings, 54361524 edges, 189197 markings/sec, 70 secs
lola: 16258299 markings, 57940560 edges, 179736 markings/sec, 75 secs
lola: 17117859 markings, 61512676 edges, 171912 markings/sec, 80 secs
lola: 18034771 markings, 65109195 edges, 183382 markings/sec, 85 secs
lola: 18914865 markings, 68714685 edges, 176019 markings/sec, 90 secs
lola: 19823006 markings, 72350645 edges, 181628 markings/sec, 95 secs
lola: 20724589 markings, 75949171 edges, 180317 markings/sec, 100 secs
lola: 21566417 markings, 79559188 edges, 168366 markings/sec, 105 secs
lola: 22465313 markings, 83143262 edges, 179779 markings/sec, 110 secs
lola: 23293452 markings, 86440280 edges, 165628 markings/sec, 115 secs
lola: 24165132 markings, 89925628 edges, 174336 markings/sec, 120 secs
lola: 25005795 markings, 93469283 edges, 168133 markings/sec, 125 secs
lola: 25866154 markings, 97085186 edges, 172072 markings/sec, 130 secs
lola: 26726895 markings, 100653822 edges, 172148 markings/sec, 135 secs
lola: 27529020 markings, 103986110 edges, 160425 markings/sec, 140 secs
lola: 28398349 markings, 107518945 edges, 173866 markings/sec, 145 secs
lola: 29284676 markings, 111152877 edges, 177265 markings/sec, 150 secs
lola: 30097952 markings, 114745656 edges, 162655 markings/sec, 155 secs
lola: 30997447 markings, 118319675 edges, 179899 markings/sec, 160 secs
lola: 31841558 markings, 122041594 edges, 168822 markings/sec, 165 secs
lola: 32622242 markings, 125498967 edges, 156137 markings/sec, 170 secs
lola: 33519100 markings, 129137215 edges, 179372 markings/sec, 175 secs
lola: 34478488 markings, 132812038 edges, 191878 markings/sec, 180 secs
lola: 35438451 markings, 136496626 edges, 191993 markings/sec, 185 secs
lola: 36347517 markings, 140251009 edges, 181813 markings/sec, 190 secs
lola: 37311038 markings, 143959423 edges, 192704 markings/sec, 195 secs
lola: 38234597 markings, 147698158 edges, 184712 markings/sec, 200 secs
lola: 39145723 markings, 151399620 edges, 182225 markings/sec, 205 secs
lola: 40060426 markings, 155096841 edges, 182941 markings/sec, 210 secs
lola: 40954149 markings, 158741881 edges, 178745 markings/sec, 215 secs
lola: 41820366 markings, 162416495 edges, 173243 markings/sec, 220 secs
lola: 42742354 markings, 166247720 edges, 184398 markings/sec, 225 secs
lola: 43623004 markings, 169851088 edges, 176130 markings/sec, 230 secs
lola: 44505523 markings, 173399520 edges, 176504 markings/sec, 235 secs
lola: 45389404 markings, 177047446 edges, 176776 markings/sec, 240 secs
lola: 46271185 markings, 180712310 edges, 176356 markings/sec, 245 secs
lola: 47097751 markings, 184486444 edges, 165313 markings/sec, 250 secs
lola: 47915975 markings, 188497200 edges, 163645 markings/sec, 255 secs
lola: 48736450 markings, 192410905 edges, 164095 markings/sec, 260 secs
lola: 49475102 markings, 196298104 edges, 147730 markings/sec, 265 secs
lola: 50423998 markings, 200041819 edges, 189779 markings/sec, 270 secs
lola: 51292264 markings, 203566817 edges, 173653 markings/sec, 275 secs
lola: 52209946 markings, 207208261 edges, 183536 markings/sec, 280 secs
lola: 53083917 markings, 210646016 edges, 174794 markings/sec, 285 secs
lola: 53981397 markings, 214298042 edges, 179496 markings/sec, 290 secs
lola: 54843295 markings, 217897836 edges, 172380 markings/sec, 295 secs
lola: 55683656 markings, 221560535 edges, 168072 markings/sec, 300 secs
lola: 56433568 markings, 224950959 edges, 149982 markings/sec, 305 secs
lola: 57172258 markings, 228465205 edges, 147738 markings/sec, 310 secs
lola: 57940218 markings, 232009949 edges, 153592 markings/sec, 315 secs
lola: 58719249 markings, 235422825 edges, 155806 markings/sec, 320 secs
lola: 59502843 markings, 238900092 edges, 156719 markings/sec, 325 secs
lola: 60258429 markings, 242273734 edges, 151117 markings/sec, 330 secs
lola: 61007743 markings, 245632392 edges, 149863 markings/sec, 335 secs
lola: 61729441 markings, 249149406 edges, 144340 markings/sec, 340 secs
lola: 62527134 markings, 252350670 edges, 159539 markings/sec, 345 secs
lola: 63308728 markings, 255519183 edges, 156319 markings/sec, 350 secs
lola: 64052323 markings, 259037888 edges, 148719 markings/sec, 355 secs
lola: 64722468 markings, 262414714 edges, 134029 markings/sec, 360 secs
lola: 65436275 markings, 265964542 edges, 142761 markings/sec, 365 secs
lola: 66135132 markings, 269303624 edges, 139771 markings/sec, 370 secs
lola: 66766344 markings, 272850698 edges, 126242 markings/sec, 375 secs
lola: 67473278 markings, 276251813 edges, 141387 markings/sec, 380 secs
lola: 68199658 markings, 279312042 edges, 145276 markings/sec, 385 secs
lola: 68899794 markings, 282909144 edges, 140027 markings/sec, 390 secs
lola: 69559204 markings, 286481637 edges, 131882 markings/sec, 395 secs
lola: 70211480 markings, 289586666 edges, 130455 markings/sec, 400 secs
lola: 70958836 markings, 292904809 edges, 149471 markings/sec, 405 secs
lola: 71670526 markings, 296624789 edges, 142338 markings/sec, 410 secs
lola: 72333704 markings, 300499700 edges, 132636 markings/sec, 415 secs
lola: 72929128 markings, 304085942 edges, 119085 markings/sec, 420 secs
lola: 73552923 markings, 307804981 edges, 124759 markings/sec, 425 secs
lola: 74297732 markings, 311137534 edges, 148962 markings/sec, 430 secs
lola: 74987602 markings, 314506881 edges, 137974 markings/sec, 435 secs
lola: 75618134 markings, 317924910 edges, 126106 markings/sec, 440 secs
lola: 76254680 markings, 321366053 edges, 127309 markings/sec, 445 secs
lola: 76933737 markings, 324876999 edges, 135811 markings/sec, 450 secs
lola: 77635559 markings, 328431551 edges, 140364 markings/sec, 455 secs
lola: 78316899 markings, 331940952 edges, 136268 markings/sec, 460 secs
lola: 79029776 markings, 335722423 edges, 142575 markings/sec, 465 secs
lola: 79684280 markings, 339609645 edges, 130901 markings/sec, 470 secs
lola: 80363488 markings, 343146067 edges, 135842 markings/sec, 475 secs
lola: 81023223 markings, 346511273 edges, 131947 markings/sec, 480 secs
lola: 81467579 markings, 349975702 edges, 88871 markings/sec, 485 secs
lola: 81977619 markings, 353654854 edges, 102008 markings/sec, 490 secs
lola: 82557675 markings, 357302814 edges, 116011 markings/sec, 495 secs
lola: 83342156 markings, 360439626 edges, 156896 markings/sec, 500 secs
lola: 84161752 markings, 363388732 edges, 163919 markings/sec, 505 secs
lola: 84968295 markings, 366291943 edges, 161309 markings/sec, 510 secs
lola: 85758791 markings, 369176185 edges, 158099 markings/sec, 515 secs
lola: 86582505 markings, 372263921 edges, 164743 markings/sec, 520 secs
lola: 87376025 markings, 375189587 edges, 158704 markings/sec, 525 secs
lola: 88185313 markings, 378276657 edges, 161858 markings/sec, 530 secs
lola: 88981454 markings, 381324215 edges, 159228 markings/sec, 535 secs
lola: 89776924 markings, 384294937 edges, 159094 markings/sec, 540 secs
lola: 90581651 markings, 387400483 edges, 160945 markings/sec, 545 secs
lola: 91364608 markings, 390464384 edges, 156591 markings/sec, 550 secs
lola: 92131531 markings, 393348801 edges, 153385 markings/sec, 555 secs
lola: 92901957 markings, 396334410 edges, 154085 markings/sec, 560 secs
lola: 93656422 markings, 399274061 edges, 150893 markings/sec, 565 secs
lola: 94429715 markings, 402247121 edges, 154659 markings/sec, 570 secs
lola: 95198405 markings, 405296756 edges, 153738 markings/sec, 575 secs
lola: 95956118 markings, 408311380 edges, 151543 markings/sec, 580 secs
lola: 96716477 markings, 411261638 edges, 152072 markings/sec, 585 secs
lola: 97491514 markings, 414346845 edges, 155007 markings/sec, 590 secs
lola: 98243521 markings, 417328345 edges, 150401 markings/sec, 595 secs
lola: 99016601 markings, 420380217 edges, 154616 markings/sec, 600 secs
lola: 99777306 markings, 423428970 edges, 152141 markings/sec, 605 secs
lola: 100534465 markings, 426385708 edges, 151432 markings/sec, 610 secs
lola: 101286580 markings, 429386049 edges, 150423 markings/sec, 615 secs
lola: 102022404 markings, 432387150 edges, 147165 markings/sec, 620 secs
lola: 102760210 markings, 435357337 edges, 147561 markings/sec, 625 secs
lola: 103521709 markings, 438361127 edges, 152300 markings/sec, 630 secs
lola: 104300757 markings, 441458757 edges, 155810 markings/sec, 635 secs
lola: 105045978 markings, 444436368 edges, 149044 markings/sec, 640 secs
lola: 105786987 markings, 447421444 edges, 148202 markings/sec, 645 secs
lola: 106583323 markings, 450708164 edges, 159267 markings/sec, 650 secs
lola: 107314612 markings, 453633021 edges, 146258 markings/sec, 655 secs
lola: 108077781 markings, 456632946 edges, 152634 markings/sec, 660 secs
lola: 108799248 markings, 459573930 edges, 144293 markings/sec, 665 secs
lola: 109517349 markings, 462556399 edges, 143620 markings/sec, 670 secs
lola: 110260538 markings, 465670435 edges, 148638 markings/sec, 675 secs
lola: 110987983 markings, 468665608 edges, 145489 markings/sec, 680 secs
lola: 111744753 markings, 471783663 edges, 151354 markings/sec, 685 secs
lola: 112470329 markings, 474788968 edges, 145115 markings/sec, 690 secs
lola: 113180800 markings, 477750014 edges, 142094 markings/sec, 695 secs
lola: 113902101 markings, 480670144 edges, 144260 markings/sec, 700 secs
lola: 114608235 markings, 483622277 edges, 141227 markings/sec, 705 secs
lola: 115319696 markings, 486600553 edges, 142292 markings/sec, 710 secs
lola: 116024210 markings, 489604156 edges, 140903 markings/sec, 715 secs
lola: 116738891 markings, 492683669 edges, 142936 markings/sec, 720 secs
lola: 117443552 markings, 495618010 edges, 140932 markings/sec, 725 secs
lola: 118159296 markings, 498561917 edges, 143149 markings/sec, 730 secs
lola: 118865056 markings, 501517720 edges, 141152 markings/sec, 735 secs
lola: 119561994 markings, 504455499 edges, 139388 markings/sec, 740 secs
lola: 120256965 markings, 507433367 edges, 138994 markings/sec, 745 secs
lola: 120988292 markings, 510441750 edges, 146265 markings/sec, 750 secs
lola: 121666725 markings, 513626371 edges, 135687 markings/sec, 755 secs
lola: 122375984 markings, 516544827 edges, 141852 markings/sec, 760 secs
lola: 122978839 markings, 519117932 edges, 120571 markings/sec, 765 secs
lola: 123008178 markings, 519241041 edges, 5868 markings/sec, 770 secs
lola: 123025549 markings, 519312043 edges, 3474 markings/sec, 775 secs
lola: 123030855 markings, 519333393 edges, 1061 markings/sec, 780 secs
lola: 123045685 markings, 519391382 edges, 2966 markings/sec, 785 secs
lola: 123058165 markings, 519450908 edges, 2496 markings/sec, 790 secs
lola: 123060101 markings, 519460604 edges, 387 markings/sec, 795 secs
lola: 123083054 markings, 519551045 edges, 4591 markings/sec, 800 secs
lola: 123089008 markings, 519575735 edges, 1191 markings/sec, 805 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA CircularTrains-PT-048-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (((((FIREABLE(t4_to_5) OR FIREABLE(t13_to_14)) AND (FIREABLE(t21_to_22) OR FIREABLE(t39_to_40))) OR A (F (FIREABLE(t31_to_32)))) U (FIREABLE(t45_to_46) AND A (X (FIREABLE(t33_to_34))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((((FIREABLE(t4_to_5) OR FIREABLE(t13_to_14)) AND (FIREABLE(t21_to_22) OR FIREABLE(t39_to_40))) OR A(TRUE U FIREABLE(t31_to_32))) U (FIREABLE(t45_to_46) AND AX(FIREABLE(t33_to_34))))
lola: processed formula length: 185
lola: 38 rewrites
lola: closed formula file CircularTrains-PT-048-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: 1485306 markings, 4514406 edges, 297061 markings/sec, 0 secs
lola: 2875198 markings, 8993626 edges, 277978 markings/sec, 5 secs
lola: 4141455 markings, 13383864 edges, 253251 markings/sec, 10 secs
lola: 5461214 markings, 17804606 edges, 263952 markings/sec, 15 secs
lola: 6689065 markings, 21953053 edges, 245570 markings/sec, 20 secs
lola: 7842895 markings, 26004680 edges, 230766 markings/sec, 25 secs
lola: 9021747 markings, 30012704 edges, 235770 markings/sec, 30 secs
lola: 10195859 markings, 34072305 edges, 234822 markings/sec, 35 secs
lola: 11286668 markings, 38050686 edges, 218162 markings/sec, 40 secs
lola: 12312146 markings, 42001706 edges, 205096 markings/sec, 45 secs
lola: 13460135 markings, 46125415 edges, 229598 markings/sec, 50 secs
lola: 14533439 markings, 50227200 edges, 214661 markings/sec, 55 secs
lola: 15635043 markings, 54244037 edges, 220321 markings/sec, 60 secs
lola: 16693030 markings, 58271658 edges, 211597 markings/sec, 65 secs
lola: 17874113 markings, 62258167 edges, 236217 markings/sec, 70 secs
lola: 19079383 markings, 66233123 edges, 241054 markings/sec, 75 secs
lola: 20172016 markings, 70196358 edges, 218527 markings/sec, 80 secs
lola: 21227566 markings, 74125889 edges, 211110 markings/sec, 85 secs
lola: 22238764 markings, 78013133 edges, 202240 markings/sec, 90 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no unknown no unknown yes unknown yes unknown unknown no no unknown
lola:
preliminary result: no no no no no unknown no unknown yes unknown yes unknown unknown no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown no unknown yes unknown yes unknown unknown no no unknown
lola: memory consumption: 1731612 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 1731612 KB
lola: time consumption: 3570 seconds
BK_STOP 1526478861672
--------------------
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="CircularTrains-PT-048"
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/CircularTrains-PT-048.tgz
mv CircularTrains-PT-048 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 CircularTrains-PT-048, 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 r040-smll-152646357100018"
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 ;