About the Execution of LoLA for DLCround-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6518.630 | 3569567.00 | 7198808.00 | 7830.50 | TF?TTTTFTTTTTFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K 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 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200126
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-00
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-01
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-02
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-03
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-04
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-05
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-06
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-07
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-08
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-09
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-10
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-11
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-12
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-13
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-14
FORMULA_NAME DLCround-PT-11b-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526665603907
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-11b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-11b formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ DLCround-PT-11b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: Size of bit vector: 4375
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-ReachabilityFireability.task
lola: E (F (FIREABLE(t3033))) : A (G (NOT FIREABLE(t2229))) : E (F (((FIREABLE(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430)))) : E (F (FIREABLE(t5037))) : E (F (FIREABLE(t1368))) : E (F (((NOT FIREABLE(t6696) AND NOT FIREABLE(t1195) AND FIREABLE(t3618)) OR FIREABLE(t2037)))) : E (F ((FIREABLE(t4923) AND FIREABLE(t1789)))) : A (G ((FIREABLE(t2894) OR FIREABLE(t399) OR (NOT FIREABLE(t659) AND NOT FIREABLE(t5223))))) : E (F ((FIREABLE(t2512) AND (FIREABLE(t2698) OR (FIREABLE(t5998) AND FIREABLE(t3817))) AND FIREABLE(t2771)))) : E (F ((((FIREABLE(t58) OR FIREABLE(t5087)) AND FIREABLE(t229)) OR (FIREABLE(t4149) AND FIREABLE(t2872) AND (FIREABLE(t2991) OR FIREABLE(t3146))) OR FIREABLE(t3442)))) : E (F (((FIREABLE(t6302) OR FIREABLE(t1345)) AND (FIREABLE(t3217) OR FIREABLE(t2151)) AND (FIREABLE(t2735) OR FIREABLE(t6034) OR FIREABLE(t6850)) AND FIREABLE(t2933)))) : E (F ((FIREABLE(t1000) AND (NOT FIREABLE(t1809) OR (FIREABLE(t585) AND FIREABLE(t1366)) OR ((FIREABLE(t881) OR FIREABLE(t4674)) AND (FIREABLE(t514) OR FIREABLE(t1648))))))) : E (F (FIREABLE(t1313))) : A (G ((FIREABLE(t2450) OR (NOT FIREABLE(t1321) AND NOT FIREABLE(t6020)) OR FIREABLE(t168)))) : E (F (FIREABLE(t6714))) : E (F ((FIREABLE(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t3033)))
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(t3033)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t3033)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 27 markings, 26 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t2229)))
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(t2229)))
lola: processed formula length: 27
lola: 2 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: FIREABLE(t2229)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2368 markings, 2630 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t5037)))
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(t5037)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t5037)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-2-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 443 markings, 442 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1368)))
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(t1368)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1368)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-3-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 183 markings, 182 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1313)))
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(t1313)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1313)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 135 markings, 134 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t6714)))
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(t6714)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t6714)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 79 markings, 78 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t4923) AND FIREABLE(t1789))))
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(t4923) AND FIREABLE(t1789))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t4923) AND FIREABLE(t1789))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 267 markings, 266 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))))
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(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))))
lola: processed formula length: 67
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-7-0.sara.
lola: sara is running 0 secs || 54049 markings, 60110 edges, 10810 markings/sec, 0 secs
lola: sara is running 5 secs || 105376 markings, 117344 edges, 10265 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 157238 markings, 175173 edges, 10372 markings/sec, 10 secs
sara: warning, failure of lp_solve (at job 40)
lola: sara is running 15 secs || 208824 markings, 232689 edges, 10317 markings/sec, 15 secs
lola: sara is running 20 secs || 262218 markings, 292383 edges, 10679 markings/sec, 20 secs
lola: sara is running 25 secs || 314794 markings, 351023 edges, 10515 markings/sec, 25 secs
lola: sara is running 30 secs || 367251 markings, 409685 edges, 10491 markings/sec, 30 secs
lola: sara is running 35 secs || 419843 markings, 468495 edges, 10518 markings/sec, 35 secs
lola: sara is running 40 secs || 472220 markings, 526907 edges, 10475 markings/sec, 40 secs
lola: sara is running 45 secs || 524264 markings, 584970 edges, 10409 markings/sec, 45 secs
lola: sara is running 50 secs || 576122 markings, 642865 edges, 10372 markings/sec, 50 secs
lola: sara is running 55 secs || 628462 markings, 701340 edges, 10468 markings/sec, 55 secs
lola: sara is running 60 secs || 680921 markings, 760041 edges, 10492 markings/sec, 60 secs
lola: sara is running 65 secs || 733435 markings, 818907 edges, 10503 markings/sec, 65 secs
lola: sara is running 70 secs || 785763 markings, 877276 edges, 10466 markings/sec, 70 secs
lola: sara is running 75 secs || 837942 markings, 935504 edges, 10436 markings/sec, 75 secs
lola: sara is running 80 secs || 889667 markings, 993342 edges, 10345 markings/sec, 80 secs
lola: sara is running 85 secs || 941828 markings, 1051849 edges, 10432 markings/sec, 85 secs
lola: sara is running 90 secs || 993721 markings, 1109812 edges, 10379 markings/sec, 90 secs
lola: sara is running 95 secs || 1045752 markings, 1167902 edges, 10406 markings/sec, 95 secs
lola: sara is running 100 secs || 1097945 markings, 1226194 edges, 10439 markings/sec, 100 secs
lola: sara is running 105 secs || 1149347 markings, 1283566 edges, 10280 markings/sec, 105 secs
lola: sara is running 110 secs || 1201206 markings, 1341555 edges, 10372 markings/sec, 110 secs
lola: sara is running 115 secs || 1252022 markings, 1398348 edges, 10163 markings/sec, 115 secs
lola: sara is running 120 secs || 1303050 markings, 1455321 edges, 10206 markings/sec, 120 secs
lola: sara is running 125 secs || 1354434 markings, 1512631 edges, 10277 markings/sec, 125 secs
lola: sara is running 130 secs || 1405894 markings, 1570136 edges, 10292 markings/sec, 130 secs
lola: sara is running 135 secs || 1457647 markings, 1627957 edges, 10351 markings/sec, 135 secs
lola: sara is running 140 secs || 1508714 markings, 1685063 edges, 10213 markings/sec, 140 secs
lola: sara is running 145 secs || 1560260 markings, 1742570 edges, 10309 markings/sec, 145 secs
lola: sara is running 150 secs || 1611843 markings, 1800131 edges, 10317 markings/sec, 150 secs
lola: sara is running 155 secs || 1663933 markings, 1858440 edges, 10418 markings/sec, 155 secs
lola: sara is running 160 secs || 1714935 markings, 1915450 edges, 10200 markings/sec, 160 secs
lola: sara is running 165 secs || 1766480 markings, 1972986 edges, 10309 markings/sec, 165 secs
lola: sara is running 170 secs || 1817995 markings, 2030456 edges, 10303 markings/sec, 170 secs
lola: sara is running 175 secs || 1868426 markings, 2086596 edges, 10086 markings/sec, 175 secs
lola: sara is running 180 secs || 1918804 markings, 2142672 edges, 10076 markings/sec, 180 secs
lola: sara is running 185 secs || 1970510 markings, 2200352 edges, 10341 markings/sec, 185 secs
lola: sara is running 190 secs || 2022117 markings, 2257950 edges, 10321 markings/sec, 190 secs
lola: sara is running 195 secs || 2073625 markings, 2315398 edges, 10302 markings/sec, 195 secs
lola: sara is running 200 secs || 2124258 markings, 2371921 edges, 10127 markings/sec, 200 secs
lola: sara is running 205 secs || 2175115 markings, 2428719 edges, 10171 markings/sec, 205 secs
lola: sara is running 210 secs || 2226659 markings, 2486244 edges, 10309 markings/sec, 210 secs
lola: sara is running 215 secs || 2278369 markings, 2544064 edges, 10342 markings/sec, 215 secs
lola: sara is running 220 secs || 2329874 markings, 2601644 edges, 10301 markings/sec, 220 secs
lola: sara is running 225 secs || 2381291 markings, 2659039 edges, 10283 markings/sec, 225 secs
lola: sara is running 230 secs || 2432770 markings, 2716450 edges, 10296 markings/sec, 230 secs
lola: sara is running 235 secs || 2483730 markings, 2773410 edges, 10192 markings/sec, 235 secs
lola: sara is running 240 secs || 2534641 markings, 2830289 edges, 10182 markings/sec, 240 secs
lola: sara is running 245 secs || 2585926 markings, 2887635 edges, 10257 markings/sec, 245 secs
lola: sara is running 250 secs || 2637585 markings, 2945285 edges, 10332 markings/sec, 250 secs
lola: sara is running 255 secs || 2689130 markings, 3002828 edges, 10309 markings/sec, 255 secs
lola: sara is running 260 secs || 2741105 markings, 3060976 edges, 10395 markings/sec, 260 secs
lola: sara is running 265 secs || 2792966 markings, 3118930 edges, 10372 markings/sec, 265 secs
lola: sara is running 270 secs || 2844304 markings, 3176243 edges, 10268 markings/sec, 270 secs
lola: sara is running 275 secs || 2895529 markings, 3233377 edges, 10245 markings/sec, 275 secs
lola: sara is running 280 secs || 2946863 markings, 3290752 edges, 10267 markings/sec, 280 secs
lola: sara is running 285 secs || 2998149 markings, 3348051 edges, 10257 markings/sec, 285 secs
lola: sara is running 290 secs || 3049088 markings, 3405004 edges, 10188 markings/sec, 290 secs
lola: sara is running 295 secs || 3100102 markings, 3461927 edges, 10203 markings/sec, 295 secs
lola: sara is running 300 secs || 3151037 markings, 3518775 edges, 10187 markings/sec, 300 secs
lola: sara is running 305 secs || 3202510 markings, 3576391 edges, 10295 markings/sec, 305 secs
lola: sara is running 310 secs || 3253322 markings, 3633168 edges, 10162 markings/sec, 310 secs
lola: sara is running 315 secs || 3304032 markings, 3689738 edges, 10142 markings/sec, 315 secs
lola: sara is running 320 secs || 3353661 markings, 3744967 edges, 9926 markings/sec, 320 secs
lola: sara is running 325 secs || 3403738 markings, 3800727 edges, 10015 markings/sec, 325 secs
lola: sara is running 330 secs || 3454900 markings, 3857834 edges, 10232 markings/sec, 330 secs
lola: sara is running 335 secs || 3505764 markings, 3914558 edges, 10173 markings/sec, 335 secs
lola: sara is running 340 secs || 3556519 markings, 3971171 edges, 10151 markings/sec, 340 secs
lola: sara is running 345 secs || 3608252 markings, 4028991 edges, 10347 markings/sec, 345 secs
lola: sara is running 350 secs || 3659895 markings, 4086597 edges, 10329 markings/sec, 350 secs
lola: sara is running 355 secs || 3711706 markings, 4144484 edges, 10362 markings/sec, 355 secs
lola: sara is running 360 secs || 3763216 markings, 4202032 edges, 10302 markings/sec, 360 secs
lola: sara is running 365 secs || 3814159 markings, 4258987 edges, 10189 markings/sec, 365 secs
lola: sara is running 370 secs || 3865727 markings, 4316542 edges, 10314 markings/sec, 370 secs
lola: sara is running 375 secs || 3917432 markings, 4374235 edges, 10341 markings/sec, 375 secs
lola: sara is running 380 secs || 3968787 markings, 4431733 edges, 10271 markings/sec, 380 secs
lola: sara is running 385 secs || 4020280 markings, 4489249 edges, 10299 markings/sec, 385 secs
lola: sara is running 390 secs || 4072084 markings, 4547062 edges, 10361 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown yes yes unknown yes unknown unknown unknown unknown unknown yes unknown yes unknown
lola: memory consumption: 897824 KB
lola: time consumption: 396 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t2450) OR (NOT FIREABLE(t1321) AND NOT FIREABLE(t6020)) OR FIREABLE(t168))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t2450) OR (NOT FIREABLE(t1321) AND NOT FIREABLE(t6020)) OR FIREABLE(t168))))
lola: processed formula length: 94
lola: 2 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t2450) AND (FIREABLE(t1321) OR FIREABLE(t6020)) AND NOT FIREABLE(t168))
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 157 markings, 156 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t2894) OR FIREABLE(t399) OR (NOT FIREABLE(t659) AND NOT FIREABLE(t5223)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t2894) OR FIREABLE(t399) OR (NOT FIREABLE(t659) AND NOT FIREABLE(t5223)))))
lola: processed formula length: 93
lola: 2 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t2894) AND NOT FIREABLE(t399) AND (FIREABLE(t659) OR FIREABLE(t5223)))
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 895 markings, 946 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t6696) AND NOT FIREABLE(t1195) AND FIREABLE(t3618)) OR FIREABLE(t2037))))
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(t6696) AND NOT FIREABLE(t1195) AND FIREABLE(t3618)) OR FIREABLE(t2037))))
lola: processed formula length: 95
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((NOT FIREABLE(t6696) AND NOT FIREABLE(t1195) AND FIREABLE(t3618)) OR FIREABLE(t2037))
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-10-0.sara.
lola: sara is running 0 secs || 17921 markings, 21370 edges, 3584 markings/sec, 0 secs
lola: sara is running 5 secs || 34994 markings, 41698 edges, 3415 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 28)
lola: sara is running 10 secs || 52515 markings, 62835 edges, 3504 markings/sec, 10 secs
lola: sara is running 15 secs || 70875 markings, 85100 edges, 3672 markings/sec, 15 secs
lola: sara is running 20 secs || 89225 markings, 107378 edges, 3670 markings/sec, 20 secs
lola: sara is running 25 secs || 107557 markings, 129710 edges, 3666 markings/sec, 25 secs
lola: sara is running 30 secs || 125895 markings, 151944 edges, 3668 markings/sec, 30 secs
lola: sara is running 35 secs || 144305 markings, 174353 edges, 3682 markings/sec, 35 secs
lola: sara is running 40 secs || 162708 markings, 196806 edges, 3681 markings/sec, 40 secs
lola: sara is running 45 secs || 181126 markings, 219241 edges, 3684 markings/sec, 45 secs
lola: sara is running 50 secs || 199301 markings, 241617 edges, 3635 markings/sec, 50 secs
lola: sara is running 55 secs || 215843 markings, 262275 edges, 3308 markings/sec, 55 secs
lola: sara is running 60 secs || 232059 markings, 283640 edges, 3243 markings/sec, 60 secs
lola: sara is running 65 secs || 248565 markings, 304797 edges, 3301 markings/sec, 65 secs
lola: sara is running 70 secs || 265143 markings, 325861 edges, 3316 markings/sec, 70 secs
lola: sara is running 75 secs || 282580 markings, 347923 edges, 3487 markings/sec, 75 secs
lola: sara is running 80 secs || 299265 markings, 369303 edges, 3337 markings/sec, 80 secs
lola: sara is running 85 secs || 315682 markings, 389583 edges, 3283 markings/sec, 85 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 331034 markings, 409860 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 615 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2512) AND (FIREABLE(t2698) OR (FIREABLE(t5998) AND FIREABLE(t3817))) AND FIREABLE(t2771))))
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(t2512) AND (FIREABLE(t2698) OR (FIREABLE(t5998) AND FIREABLE(t3817))) AND FIREABLE(t2771))))
lola: processed formula length: 109
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t2512) AND (FIREABLE(t2698) OR (FIREABLE(t5998) AND FIREABLE(t3817))) AND FIREABLE(t2771))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-11-0.sara.
lola: sara is running 0 secs || 35922 markings, 40221 edges, 7184 markings/sec, 0 secs
lola: sara is running 5 secs || 71093 markings, 79809 edges, 7034 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 106210 markings, 119401 edges, 7023 markings/sec, 10 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 126248 markings, 142019 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430))))
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(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430))))
lola: processed formula length: 159
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((FIREABLE(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430))
lola: state equation: Generated DNF with 15 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-12-0.sara.
lola: sara is running 0 secs || 15715 markings, 20740 edges, 3143 markings/sec, 0 secs
lola: sara is running 5 secs || 33180 markings, 41652 edges, 3493 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 50872 markings, 62056 edges, 3538 markings/sec, 10 secs
lola: sara is running 15 secs || 68577 markings, 82489 edges, 3541 markings/sec, 15 secs
lola: sara is running 20 secs || 86372 markings, 103036 edges, 3559 markings/sec, 20 secs
lola: sara is running 25 secs || 103964 markings, 123405 edges, 3518 markings/sec, 25 secs
lola: sara is running 30 secs || 121527 markings, 143932 edges, 3513 markings/sec, 30 secs
lola: sara is running 35 secs || 138999 markings, 164372 edges, 3494 markings/sec, 35 secs
lola: sara is running 40 secs || 156691 markings, 184730 edges, 3538 markings/sec, 40 secs
lola: sara is running 45 secs || 173795 markings, 204729 edges, 3421 markings/sec, 45 secs
lola: sara is running 50 secs || 190973 markings, 224866 edges, 3436 markings/sec, 50 secs
lola: sara is running 55 secs || 208501 markings, 245059 edges, 3506 markings/sec, 55 secs
lola: sara is running 60 secs || 226002 markings, 265368 edges, 3500 markings/sec, 60 secs
lola: sara is running 65 secs || 243583 markings, 286144 edges, 3516 markings/sec, 65 secs
lola: sara is running 70 secs || 261357 markings, 306626 edges, 3555 markings/sec, 70 secs
lola: sara is running 75 secs || 279184 markings, 327533 edges, 3565 markings/sec, 75 secs
lola: sara is running 80 secs || 296564 markings, 347549 edges, 3476 markings/sec, 80 secs
lola: sara is running 85 secs || 313614 markings, 367339 edges, 3410 markings/sec, 85 secs
lola: sara is running 90 secs || 330569 markings, 387539 edges, 3391 markings/sec, 90 secs
lola: sara is running 95 secs || 347792 markings, 407904 edges, 3445 markings/sec, 95 secs
lola: sara is running 100 secs || 364431 markings, 431878 edges, 3328 markings/sec, 100 secs
lola: sara is running 105 secs || 380529 markings, 461765 edges, 3220 markings/sec, 105 secs
lola: sara is running 110 secs || 397789 markings, 481703 edges, 3452 markings/sec, 110 secs
lola: sara is running 115 secs || 414957 markings, 501937 edges, 3434 markings/sec, 115 secs
lola: sara is running 120 secs || 430786 markings, 521404 edges, 3166 markings/sec, 120 secs
lola: sara is running 125 secs || 447708 markings, 541243 edges, 3384 markings/sec, 125 secs
lola: sara is running 130 secs || 464813 markings, 561079 edges, 3421 markings/sec, 130 secs
lola: sara is running 135 secs || 481955 markings, 581154 edges, 3428 markings/sec, 135 secs
lola: sara is running 140 secs || 499064 markings, 601070 edges, 3422 markings/sec, 140 secs
lola: sara is running 145 secs || 516216 markings, 621296 edges, 3430 markings/sec, 145 secs
lola: sara is running 150 secs || 533339 markings, 641118 edges, 3425 markings/sec, 150 secs
lola: sara is running 155 secs || 549846 markings, 660582 edges, 3301 markings/sec, 155 secs
lola: sara is running 160 secs || 566260 markings, 680761 edges, 3283 markings/sec, 160 secs
lola: sara is running 165 secs || 583371 markings, 701149 edges, 3422 markings/sec, 165 secs
lola: sara is running 170 secs || 600160 markings, 721801 edges, 3358 markings/sec, 170 secs
lola: sara is running 175 secs || 617544 markings, 742594 edges, 3477 markings/sec, 175 secs
lola: sara is running 180 secs || 634411 markings, 763090 edges, 3373 markings/sec, 180 secs
lola: sara is running 185 secs || 651810 markings, 784056 edges, 3480 markings/sec, 185 secs
lola: sara is running 190 secs || 669175 markings, 804494 edges, 3473 markings/sec, 190 secs
lola: sara is running 195 secs || 686071 markings, 824321 edges, 3379 markings/sec, 195 secs
lola: sara is running 200 secs || 702836 markings, 845035 edges, 3353 markings/sec, 200 secs
lola: sara is running 205 secs || 719522 markings, 865197 edges, 3337 markings/sec, 205 secs
lola: sara is running 210 secs || 736121 markings, 884901 edges, 3320 markings/sec, 210 secs
lola: sara is running 215 secs || 752825 markings, 904224 edges, 3341 markings/sec, 215 secs
lola: sara is running 220 secs || 769432 markings, 923403 edges, 3321 markings/sec, 220 secs
lola: sara is running 225 secs || 785790 markings, 942963 edges, 3272 markings/sec, 225 secs
lola: sara is running 230 secs || 802555 markings, 962326 edges, 3353 markings/sec, 230 secs
lola: sara is running 235 secs || 819211 markings, 981583 edges, 3331 markings/sec, 235 secs
lola: sara is running 240 secs || 836240 markings, 1001884 edges, 3406 markings/sec, 240 secs
lola: sara is running 245 secs || 853349 markings, 1022146 edges, 3422 markings/sec, 245 secs
lola: sara is running 250 secs || 870192 markings, 1041863 edges, 3369 markings/sec, 250 secs
lola: sara is running 255 secs || 886820 markings, 1061492 edges, 3326 markings/sec, 255 secs
lola: sara is running 260 secs || 903505 markings, 1080767 edges, 3337 markings/sec, 260 secs
lola: sara is running 265 secs || 920136 markings, 1100167 edges, 3326 markings/sec, 265 secs
lola: sara is running 270 secs || 935887 markings, 1119169 edges, 3150 markings/sec, 270 secs
lola: sara is running 275 secs || 951993 markings, 1142117 edges, 3221 markings/sec, 275 secs
lola: sara is running 280 secs || 967316 markings, 1171280 edges, 3065 markings/sec, 280 secs
lola: sara is running 285 secs || 983258 markings, 1190872 edges, 3188 markings/sec, 285 secs
lola: sara is running 290 secs || 1000017 markings, 1211530 edges, 3352 markings/sec, 290 secs
lola: sara is running 295 secs || 1016742 markings, 1231974 edges, 3345 markings/sec, 295 secs
lola: sara is running 300 secs || 1033082 markings, 1254674 edges, 3268 markings/sec, 300 secs
lola: sara is running 305 secs || 1050447 markings, 1275867 edges, 3473 markings/sec, 305 secs
lola: sara is running 310 secs || 1066159 markings, 1295026 edges, 3142 markings/sec, 310 secs
lola: sara is running 315 secs || 1083150 markings, 1316103 edges, 3398 markings/sec, 315 secs
lola: sara is running 320 secs || 1099352 markings, 1335567 edges, 3240 markings/sec, 320 secs
lola: sara is running 325 secs || 1116134 markings, 1359972 edges, 3356 markings/sec, 325 secs
lola: sara is running 330 secs || 1131058 markings, 1388262 edges, 2985 markings/sec, 330 secs
lola: sara is running 335 secs || 1146941 markings, 1418422 edges, 3177 markings/sec, 335 secs
lola: sara is running 340 secs || 1163659 markings, 1442308 edges, 3344 markings/sec, 340 secs
lola: sara is running 345 secs || 1178781 markings, 1460451 edges, 3024 markings/sec, 345 secs
lola: sara is running 350 secs || 1195546 markings, 1481046 edges, 3353 markings/sec, 350 secs
lola: sara is running 355 secs || 1211987 markings, 1504235 edges, 3288 markings/sec, 355 secs
lola: sara is running 360 secs || 1228179 markings, 1526257 edges, 3238 markings/sec, 360 secs
lola: sara is running 365 secs || 1245206 markings, 1546106 edges, 3405 markings/sec, 365 secs
lola: sara is running 370 secs || 1262238 markings, 1566508 edges, 3406 markings/sec, 370 secs
lola: sara is running 375 secs || 1279374 markings, 1586513 edges, 3427 markings/sec, 375 secs
lola: sara is running 380 secs || 1296566 markings, 1607202 edges, 3438 markings/sec, 380 secs
lola: sara is running 385 secs || 1314045 markings, 1627437 edges, 3496 markings/sec, 385 secs
lola: sara is running 390 secs || 1330880 markings, 1647336 edges, 3367 markings/sec, 390 secs
lola: sara is running 395 secs || 1348217 markings, 1668523 edges, 3467 markings/sec, 395 secs
lola: sara is running 400 secs || 1366178 markings, 1690121 edges, 3592 markings/sec, 400 secs
lola: sara is running 405 secs || 1383664 markings, 1711605 edges, 3497 markings/sec, 405 secs
lola: sara is running 410 secs || 1401391 markings, 1732749 edges, 3545 markings/sec, 410 secs
lola: sara is running 415 secs || 1419000 markings, 1753969 edges, 3522 markings/sec, 415 secs
lola: sara is running 420 secs || 1436081 markings, 1774628 edges, 3416 markings/sec, 420 secs
lola: sara is running 425 secs || 1453992 markings, 1795502 edges, 3582 markings/sec, 425 secs
lola: sara is running 430 secs || 1471220 markings, 1815793 edges, 3446 markings/sec, 430 secs
lola: sara is running 435 secs || 1489125 markings, 1836531 edges, 3581 markings/sec, 435 secs
lola: sara is running 440 secs || 1507185 markings, 1857432 edges, 3612 markings/sec, 440 secs
lola: sara is running 445 secs || 1524690 markings, 1878483 edges, 3501 markings/sec, 445 secs
lola: sara is running 450 secs || 1541772 markings, 1899341 edges, 3416 markings/sec, 450 secs
lola: sara is running 455 secs || 1559198 markings, 1919710 edges, 3485 markings/sec, 455 secs
lola: sara is running 460 secs || 1576415 markings, 1940637 edges, 3443 markings/sec, 460 secs
lola: sara is running 465 secs || 1593485 markings, 1960790 edges, 3414 markings/sec, 465 secs
lola: sara is running 470 secs || 1610854 markings, 1981914 edges, 3474 markings/sec, 470 secs
lola: sara is running 475 secs || 1628282 markings, 2002522 edges, 3486 markings/sec, 475 secs
lola: sara is running 480 secs || 1645579 markings, 2023169 edges, 3459 markings/sec, 480 secs
lola: sara is running 485 secs || 1663198 markings, 2044729 edges, 3524 markings/sec, 485 secs
lola: sara is running 490 secs || 1680613 markings, 2064986 edges, 3483 markings/sec, 490 secs
lola: sara is running 495 secs || 1697969 markings, 2085345 edges, 3471 markings/sec, 495 secs
lola: sara is running 500 secs || 1715231 markings, 2105641 edges, 3452 markings/sec, 500 secs
lola: sara is running 505 secs || 1732518 markings, 2126038 edges, 3457 markings/sec, 505 secs
lola: sara is running 510 secs || 1749711 markings, 2146373 edges, 3439 markings/sec, 510 secs
lola: sara is running 515 secs || 1766895 markings, 2166501 edges, 3437 markings/sec, 515 secs
lola: sara is running 520 secs || 1784163 markings, 2187452 edges, 3454 markings/sec, 520 secs
lola: sara is running 525 secs || 1802146 markings, 2208173 edges, 3597 markings/sec, 525 secs
lola: sara is running 530 secs || 1819703 markings, 2228548 edges, 3511 markings/sec, 530 secs
lola: sara is running 535 secs || 1836828 markings, 2249038 edges, 3425 markings/sec, 535 secs
lola: sara is running 540 secs || 1854252 markings, 2269277 edges, 3485 markings/sec, 540 secs
lola: sara is running 545 secs || 1871629 markings, 2289616 edges, 3475 markings/sec, 545 secs
lola: sara is running 550 secs || 1889321 markings, 2310995 edges, 3538 markings/sec, 550 secs
lola: sara is running 555 secs || 1906759 markings, 2332283 edges, 3488 markings/sec, 555 secs
lola: sara is running 560 secs || 1924091 markings, 2352469 edges, 3466 markings/sec, 560 secs
lola: sara is running 565 secs || 1941556 markings, 2372862 edges, 3493 markings/sec, 565 secs
lola: sara is running 570 secs || 1958555 markings, 2393239 edges, 3400 markings/sec, 570 secs
lola: sara is running 575 secs || 1976025 markings, 2414572 edges, 3494 markings/sec, 575 secs
lola: sara is running 580 secs || 1993417 markings, 2435353 edges, 3478 markings/sec, 580 secs
lola: sara is running 585 secs || 2010661 markings, 2455533 edges, 3449 markings/sec, 585 secs
lola: sara is running 590 secs || 2027689 markings, 2476499 edges, 3406 markings/sec, 590 secs
lola: sara is running 595 secs || 2045415 markings, 2497244 edges, 3545 markings/sec, 595 secs
lola: sara is running 600 secs || 2063087 markings, 2517926 edges, 3534 markings/sec, 600 secs
lola: sara is running 605 secs || 2080759 markings, 2539088 edges, 3534 markings/sec, 605 secs
lola: sara is running 610 secs || 2098451 markings, 2559819 edges, 3538 markings/sec, 610 secs
lola: sara is running 615 secs || 2115665 markings, 2580081 edges, 3443 markings/sec, 615 secs
lola: sara is running 620 secs || 2132895 markings, 2601173 edges, 3446 markings/sec, 620 secs
lola: sara is running 625 secs || 2150466 markings, 2621541 edges, 3514 markings/sec, 625 secs
lola: sara is running 630 secs || 2167939 markings, 2641775 edges, 3495 markings/sec, 630 secs
lola: sara is running 635 secs || 2184896 markings, 2665344 edges, 3391 markings/sec, 635 secs
lola: sara is running 640 secs || 2202163 markings, 2685995 edges, 3453 markings/sec, 640 secs
lola: sara is running 645 secs || 2219550 markings, 2706079 edges, 3477 markings/sec, 645 secs
lola: sara is running 650 secs || 2236951 markings, 2726490 edges, 3480 markings/sec, 650 secs
lola: sara is running 655 secs || 2254155 markings, 2746870 edges, 3441 markings/sec, 655 secs
lola: sara is running 660 secs || 2271372 markings, 2767264 edges, 3443 markings/sec, 660 secs
lola: sara is running 665 secs || 2288512 markings, 2788395 edges, 3428 markings/sec, 665 secs
lola: sara is running 670 secs || 2305710 markings, 2808989 edges, 3440 markings/sec, 670 secs
lola: sara is running 675 secs || 2323058 markings, 2830231 edges, 3470 markings/sec, 675 secs
lola: sara is running 680 secs || 2339834 markings, 2850424 edges, 3355 markings/sec, 680 secs
lola: sara is running 685 secs || 2356536 markings, 2874023 edges, 3340 markings/sec, 685 secs
lola: sara is running 690 secs || 2374044 markings, 2895049 edges, 3502 markings/sec, 690 secs
lola: sara is running 695 secs || 2391265 markings, 2916256 edges, 3444 markings/sec, 695 secs
lola: sara is running 700 secs || 2408440 markings, 2936866 edges, 3435 markings/sec, 700 secs
lola: sara is running 705 secs || 2425390 markings, 2957280 edges, 3390 markings/sec, 705 secs
lola: sara is running 710 secs || 2442707 markings, 2978236 edges, 3463 markings/sec, 710 secs
lola: sara is running 715 secs || 2459314 markings, 2997597 edges, 3321 markings/sec, 715 secs
lola: sara is running 720 secs || 2476008 markings, 3017143 edges, 3339 markings/sec, 720 secs
lola: sara is running 725 secs || 2492694 markings, 3036586 edges, 3337 markings/sec, 725 secs
lola: sara is running 730 secs || 2509220 markings, 3056100 edges, 3305 markings/sec, 730 secs
lola: sara is running 735 secs || 2525683 markings, 3075159 edges, 3293 markings/sec, 735 secs
lola: sara is running 740 secs || 2542134 markings, 3094365 edges, 3290 markings/sec, 740 secs
lola: sara is running 745 secs || 2558634 markings, 3114652 edges, 3300 markings/sec, 745 secs
lola: sara is running 750 secs || 2575097 markings, 3134249 edges, 3293 markings/sec, 750 secs
lola: sara is running 755 secs || 2591538 markings, 3154565 edges, 3288 markings/sec, 755 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown yes yes yes yes no yes unknown unknown unknown yes no yes unknown
lola: memory consumption: 1184248 KB
lola: time consumption: 1274 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t6302) OR FIREABLE(t1345)) AND (FIREABLE(t3217) OR FIREABLE(t2151)) AND (FIREABLE(t2735) OR FIREABLE(t6034) OR FIREABLE(t6850)) AND FIREABLE(t2933))))
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(t6302) OR FIREABLE(t1345)) AND (FIREABLE(t3217) OR FIREABLE(t2151)) AND (FIREABLE(t2735) OR FIREABLE(t6034) OR FIREABLE(t6850)) AND FIREABLE(t2933))))
lola: processed formula length: 171
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((FIREABLE(t6302) OR FIREABLE(t1345)) AND (FIREABLE(t3217) OR FIREABLE(t2151)) AND (FIREABLE(t2735) OR FIREABLE(t6034) OR FIREABLE(t6850)) AND FIREABLE(t2933))
lola: state equation: Generated DNF with 62 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-13-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3803 markings, 4197 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1147 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1000) AND (NOT FIREABLE(t1809) OR (FIREABLE(t585) AND FIREABLE(t1366)) OR ((FIREABLE(t881) OR FIREABLE(t4674)) AND (FIREABLE(t514) OR FIREABLE(t1648)))))))
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(t1000) AND (NOT FIREABLE(t1809) OR (FIREABLE(t585) AND FIREABLE(t1366)) OR ((FIREABLE(t881) OR FIREABLE(t4674)) AND (FIREABLE(t514) OR FIREABLE(t1648)))))))
lola: processed formula length: 176
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t1000) AND (NOT FIREABLE(t1809) OR (FIREABLE(t585) AND FIREABLE(t1366)) OR ((FIREABLE(t881) OR FIREABLE(t4674)) AND (FIREABLE(t514) OR FIREABLE(t1648)))))
lola: state equation: Generated DNF with 19 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 372 markings, 371 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t58) OR FIREABLE(t5087)) AND FIREABLE(t229)) OR (FIREABLE(t4149) AND FIREABLE(t2872) AND (FIREABLE(t2991) OR FIREABLE(t3146))) OR FIREABLE(t3442))))
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(t58) OR FIREABLE(t5087)) AND FIREABLE(t229)) OR (FIREABLE(t4149) AND FIREABLE(t2872) AND (FIREABLE(t2991) OR FIREABLE(t3146))) OR FIREABLE(t3442))))
lola: processed formula length: 170
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((FIREABLE(t58) OR FIREABLE(t5087)) AND FIREABLE(t229)) OR (FIREABLE(t4149) AND FIREABLE(t2872) AND (FIREABLE(t2991) OR FIREABLE(t3146))) OR FIREABLE(t3442))
lola: state equation: Generated DNF with 12 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-15-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 54 markings, 53 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))))
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(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))))
lola: processed formula length: 67
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t2319) AND (FIREABLE(t3003) OR FIREABLE(t6055)))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-16-0.sara.
lola: sara is running 0 secs || 56603 markings, 62950 edges, 11321 markings/sec, 0 secs
lola: sara is running 5 secs || 107699 markings, 119919 edges, 10219 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 161710 markings, 180150 edges, 10802 markings/sec, 10 secs
sara: warning, failure of lp_solve (at job 40)
lola: sara is running 15 secs || 214822 markings, 239374 edges, 10622 markings/sec, 15 secs
lola: sara is running 20 secs || 268032 markings, 298855 edges, 10642 markings/sec, 20 secs
lola: sara is running 25 secs || 321635 markings, 358677 edges, 10721 markings/sec, 25 secs
lola: sara is running 30 secs || 375497 markings, 418926 edges, 10772 markings/sec, 30 secs
lola: sara is running 35 secs || 428635 markings, 478301 edges, 10628 markings/sec, 35 secs
lola: sara is running 40 secs || 481979 markings, 537828 edges, 10669 markings/sec, 40 secs
lola: sara is running 45 secs || 533350 markings, 595088 edges, 10274 markings/sec, 45 secs
lola: sara is running 50 secs || 587376 markings, 655457 edges, 10805 markings/sec, 50 secs
lola: sara is running 55 secs || 641438 markings, 715943 edges, 10812 markings/sec, 55 secs
lola: sara is running 60 secs || 695056 markings, 775822 edges, 10724 markings/sec, 60 secs
lola: sara is running 65 secs || 748060 markings, 835236 edges, 10601 markings/sec, 65 secs
lola: sara is running 70 secs || 801714 markings, 895041 edges, 10731 markings/sec, 70 secs
lola: sara is running 75 secs || 853675 markings, 953038 edges, 10392 markings/sec, 75 secs
lola: sara is running 80 secs || 905753 markings, 1011538 edges, 10416 markings/sec, 80 secs
lola: sara is running 85 secs || 958647 markings, 1070587 edges, 10579 markings/sec, 85 secs
lola: sara is running 90 secs || 1007445 markings, 1125126 edges, 9760 markings/sec, 90 secs
lola: sara is running 95 secs || 1058576 markings, 1182255 edges, 10226 markings/sec, 95 secs
lola: sara is running 100 secs || 1111712 markings, 1241530 edges, 10627 markings/sec, 100 secs
lola: sara is running 105 secs || 1165290 markings, 1301386 edges, 10716 markings/sec, 105 secs
lola: sara is running 110 secs || 1218291 markings, 1360609 edges, 10600 markings/sec, 110 secs
lola: sara is running 115 secs || 1269650 markings, 1418012 edges, 10272 markings/sec, 115 secs
lola: sara is running 120 secs || 1322475 markings, 1476969 edges, 10565 markings/sec, 120 secs
lola: sara is running 125 secs || 1374688 markings, 1535235 edges, 10443 markings/sec, 125 secs
lola: sara is running 130 secs || 1427678 markings, 1594550 edges, 10598 markings/sec, 130 secs
lola: sara is running 135 secs || 1478511 markings, 1651359 edges, 10167 markings/sec, 135 secs
lola: sara is running 140 secs || 1529809 markings, 1708638 edges, 10260 markings/sec, 140 secs
lola: sara is running 145 secs || 1582739 markings, 1767676 edges, 10586 markings/sec, 145 secs
lola: sara is running 150 secs || 1635564 markings, 1826689 edges, 10565 markings/sec, 150 secs
lola: sara is running 155 secs || 1688325 markings, 1885633 edges, 10552 markings/sec, 155 secs
lola: sara is running 160 secs || 1741143 markings, 1944678 edges, 10564 markings/sec, 160 secs
lola: sara is running 165 secs || 1793743 markings, 2003380 edges, 10520 markings/sec, 165 secs
lola: sara is running 170 secs || 1845573 markings, 2061169 edges, 10366 markings/sec, 170 secs
lola: sara is running 175 secs || 1897429 markings, 2118870 edges, 10371 markings/sec, 175 secs
lola: sara is running 180 secs || 1949669 markings, 2177059 edges, 10448 markings/sec, 180 secs
lola: sara is running 185 secs || 2002856 markings, 2236442 edges, 10637 markings/sec, 185 secs
lola: sara is running 190 secs || 2054889 markings, 2294470 edges, 10407 markings/sec, 190 secs
lola: sara is running 195 secs || 2107173 markings, 2352810 edges, 10457 markings/sec, 195 secs
lola: sara is running 200 secs || 2160027 markings, 2411847 edges, 10571 markings/sec, 200 secs
lola: sara is running 205 secs || 2212672 markings, 2470594 edges, 10529 markings/sec, 205 secs
lola: sara is running 210 secs || 2266046 markings, 2530344 edges, 10675 markings/sec, 210 secs
lola: sara is running 215 secs || 2318929 markings, 2589430 edges, 10577 markings/sec, 215 secs
lola: sara is running 220 secs || 2371728 markings, 2648377 edges, 10560 markings/sec, 220 secs
lola: sara is running 225 secs || 2424486 markings, 2707225 edges, 10552 markings/sec, 225 secs
lola: sara is running 230 secs || 2477316 markings, 2766262 edges, 10566 markings/sec, 230 secs
lola: sara is running 235 secs || 2530083 markings, 2825207 edges, 10553 markings/sec, 235 secs
lola: sara is running 240 secs || 2582531 markings, 2883851 edges, 10490 markings/sec, 240 secs
lola: sara is running 245 secs || 2635254 markings, 2942673 edges, 10545 markings/sec, 245 secs
lola: sara is running 250 secs || 2687918 markings, 3001445 edges, 10533 markings/sec, 250 secs
lola: sara is running 255 secs || 2741053 markings, 3060921 edges, 10627 markings/sec, 255 secs
lola: sara is running 260 secs || 2794173 markings, 3120297 edges, 10624 markings/sec, 260 secs
lola: sara is running 265 secs || 2847400 markings, 3179696 edges, 10645 markings/sec, 265 secs
lola: sara is running 270 secs || 2900774 markings, 3239238 edges, 10675 markings/sec, 270 secs
lola: sara is running 275 secs || 2953935 markings, 3298636 edges, 10632 markings/sec, 275 secs
lola: sara is running 280 secs || 3007050 markings, 3357976 edges, 10623 markings/sec, 280 secs
lola: sara is running 285 secs || 3059791 markings, 3416930 edges, 10548 markings/sec, 285 secs
lola: sara is running 290 secs || 3113014 markings, 3476365 edges, 10645 markings/sec, 290 secs
lola: sara is running 295 secs || 3165932 markings, 3535425 edges, 10584 markings/sec, 295 secs
lola: sara is running 300 secs || 3219174 markings, 3594951 edges, 10648 markings/sec, 300 secs
lola: sara is running 305 secs || 3272035 markings, 3654059 edges, 10572 markings/sec, 305 secs
lola: sara is running 310 secs || 3324057 markings, 3712014 edges, 10404 markings/sec, 310 secs
lola: sara is running 315 secs || 3375701 markings, 3769493 edges, 10329 markings/sec, 315 secs
lola: sara is running 320 secs || 3428210 markings, 3827999 edges, 10502 markings/sec, 320 secs
lola: sara is running 325 secs || 3479854 markings, 3885669 edges, 10329 markings/sec, 325 secs
lola: sara is running 330 secs || 3531953 markings, 3943801 edges, 10420 markings/sec, 330 secs
lola: sara is running 335 secs || 3584337 markings, 4002204 edges, 10477 markings/sec, 335 secs
lola: sara is running 340 secs || 3636879 markings, 4060895 edges, 10508 markings/sec, 340 secs
lola: sara is running 345 secs || 3689325 markings, 4119422 edges, 10489 markings/sec, 345 secs
lola: sara is running 350 secs || 3742200 markings, 4178597 edges, 10575 markings/sec, 350 secs
lola: sara is running 355 secs || 3794402 markings, 4236938 edges, 10440 markings/sec, 355 secs
lola: sara is running 360 secs || 3846756 markings, 4295393 edges, 10471 markings/sec, 360 secs
lola: sara is running 365 secs || 3899102 markings, 4353775 edges, 10469 markings/sec, 365 secs
lola: sara is running 370 secs || 3951667 markings, 4412510 edges, 10513 markings/sec, 370 secs
lola: sara is running 375 secs || 4004166 markings, 4471173 edges, 10500 markings/sec, 375 secs
lola: sara is running 380 secs || 4056307 markings, 4529462 edges, 10428 markings/sec, 380 secs
lola: sara is running 385 secs || 4108983 markings, 4588248 edges, 10535 markings/sec, 385 secs
lola: sara is running 390 secs || 4161755 markings, 4647171 edges, 10554 markings/sec, 390 secs
lola: sara is running 395 secs || 4214797 markings, 4706502 edges, 10608 markings/sec, 395 secs
lola: sara is running 400 secs || 4267217 markings, 4765100 edges, 10484 markings/sec, 400 secs
lola: sara is running 405 secs || 4319631 markings, 4823598 edges, 10483 markings/sec, 405 secs
lola: sara is running 410 secs || 4372100 markings, 4882124 edges, 10494 markings/sec, 410 secs
lola: sara is running 415 secs || 4424740 markings, 4940944 edges, 10528 markings/sec, 415 secs
lola: sara is running 420 secs || 4477331 markings, 4999707 edges, 10518 markings/sec, 420 secs
lola: sara is running 425 secs || 4529554 markings, 5058070 edges, 10445 markings/sec, 425 secs
lola: sara is running 430 secs || 4582218 markings, 5116897 edges, 10533 markings/sec, 430 secs
lola: sara is running 435 secs || 4634624 markings, 5175379 edges, 10481 markings/sec, 435 secs
lola: sara is running 440 secs || 4687235 markings, 5234209 edges, 10522 markings/sec, 440 secs
lola: sara is running 445 secs || 4739513 markings, 5292647 edges, 10456 markings/sec, 445 secs
lola: sara is running 450 secs || 4791114 markings, 5350161 edges, 10320 markings/sec, 450 secs
lola: sara is running 455 secs || 4842272 markings, 5407077 edges, 10232 markings/sec, 455 secs
lola: sara is running 460 secs || 4894141 markings, 5464871 edges, 10374 markings/sec, 460 secs
lola: sara is running 465 secs || 4946664 markings, 5523510 edges, 10505 markings/sec, 465 secs
lola: sara is running 470 secs || 4998653 markings, 5581488 edges, 10398 markings/sec, 470 secs
lola: sara is running 475 secs || 5050929 markings, 5639813 edges, 10455 markings/sec, 475 secs
lola: sara is running 480 secs || 5103403 markings, 5698427 edges, 10495 markings/sec, 480 secs
lola: sara is running 485 secs || 5155797 markings, 5756894 edges, 10479 markings/sec, 485 secs
lola: sara is running 490 secs || 5208561 markings, 5815957 edges, 10553 markings/sec, 490 secs
lola: sara is running 495 secs || 5261414 markings, 5875003 edges, 10571 markings/sec, 495 secs
lola: sara is running 500 secs || 5312522 markings, 5932083 edges, 10222 markings/sec, 500 secs
lola: sara is running 505 secs || 5363750 markings, 5989218 edges, 10246 markings/sec, 505 secs
lola: sara is running 510 secs || 5414706 markings, 6046170 edges, 10191 markings/sec, 510 secs
lola: sara is running 515 secs || 5466545 markings, 6104078 edges, 10368 markings/sec, 515 secs
lola: sara is running 520 secs || 5517783 markings, 6161351 edges, 10248 markings/sec, 520 secs
lola: sara is running 525 secs || 5568438 markings, 6217885 edges, 10131 markings/sec, 525 secs
lola: sara is running 530 secs || 5618907 markings, 6274204 edges, 10094 markings/sec, 530 secs
lola: sara is running 535 secs || 5669727 markings, 6331027 edges, 10164 markings/sec, 535 secs
lola: sara is running 540 secs || 5722202 markings, 6389696 edges, 10495 markings/sec, 540 secs
lola: sara is running 545 secs || 5774497 markings, 6448066 edges, 10459 markings/sec, 545 secs
lola: sara is running 550 secs || 5827080 markings, 6506799 edges, 10517 markings/sec, 550 secs
lola: sara is running 555 secs || 5879680 markings, 6565554 edges, 10520 markings/sec, 555 secs
lola: sara is running 560 secs || 5932331 markings, 6624368 edges, 10530 markings/sec, 560 secs
lola: sara is running 565 secs || 5984539 markings, 6682734 edges, 10442 markings/sec, 565 secs
lola: sara is running 570 secs || 6036945 markings, 6741214 edges, 10481 markings/sec, 570 secs
lola: sara is running 575 secs || 6089362 markings, 6799711 edges, 10483 markings/sec, 575 secs
lola: sara is running 580 secs || 6142206 markings, 6858833 edges, 10569 markings/sec, 580 secs
lola: sara is running 585 secs || 6194521 markings, 6917302 edges, 10463 markings/sec, 585 secs
lola: sara is running 590 secs || 6246610 markings, 6975424 edges, 10418 markings/sec, 590 secs
lola: sara is running 595 secs || 6297652 markings, 7032232 edges, 10208 markings/sec, 595 secs
lola: sara is running 600 secs || 6349108 markings, 7089527 edges, 10291 markings/sec, 600 secs
lola: sara is running 605 secs || 6401599 markings, 7148113 edges, 10498 markings/sec, 605 secs
lola: sara is running 610 secs || 6453824 markings, 7206347 edges, 10445 markings/sec, 610 secs
lola: sara is running 615 secs || 6506067 markings, 7264626 edges, 10449 markings/sec, 615 secs
lola: sara is running 620 secs || 6558641 markings, 7323373 edges, 10515 markings/sec, 620 secs
lola: sara is running 625 secs || 6611018 markings, 7381809 edges, 10475 markings/sec, 625 secs
lola: sara is running 630 secs || 6663609 markings, 7440574 edges, 10518 markings/sec, 630 secs
lola: sara is running 635 secs || 6716553 markings, 7499719 edges, 10589 markings/sec, 635 secs
lola: sara is running 640 secs || 6769137 markings, 7558500 edges, 10517 markings/sec, 640 secs
lola: sara is running 645 secs || 6821988 markings, 7617530 edges, 10570 markings/sec, 645 secs
lola: sara is running 650 secs || 6874751 markings, 7676411 edges, 10553 markings/sec, 650 secs
lola: sara is running 655 secs || 6927687 markings, 7735602 edges, 10587 markings/sec, 655 secs
lola: sara is running 660 secs || 6979821 markings, 7793885 edges, 10427 markings/sec, 660 secs
lola: sara is running 665 secs || 7031779 markings, 7851880 edges, 10392 markings/sec, 665 secs
lola: sara is running 670 secs || 7083284 markings, 7909319 edges, 10301 markings/sec, 670 secs
lola: sara is running 675 secs || 7134076 markings, 7966093 edges, 10158 markings/sec, 675 secs
lola: sara is running 680 secs || 7185944 markings, 8024044 edges, 10374 markings/sec, 680 secs
lola: sara is running 685 secs || 7237529 markings, 8081714 edges, 10317 markings/sec, 685 secs
lola: sara is running 690 secs || 7289493 markings, 8139731 edges, 10393 markings/sec, 690 secs
lola: sara is running 695 secs || 7341328 markings, 8197582 edges, 10367 markings/sec, 695 secs
lola: sara is running 700 secs || 7393363 markings, 8255790 edges, 10407 markings/sec, 700 secs
lola: sara is running 705 secs || 7443026 markings, 8311290 edges, 9933 markings/sec, 705 secs
lola: sara is running 710 secs || 7494646 markings, 8368921 edges, 10324 markings/sec, 710 secs
lola: sara is running 715 secs || 7546388 markings, 8426630 edges, 10348 markings/sec, 715 secs
lola: sara is running 720 secs || 7598219 markings, 8484556 edges, 10366 markings/sec, 720 secs
lola: sara is running 725 secs || 7650050 markings, 8542468 edges, 10366 markings/sec, 725 secs
lola: sara is running 730 secs || 7701477 markings, 8599961 edges, 10285 markings/sec, 730 secs
lola: sara is running 735 secs || 7753123 markings, 8657590 edges, 10329 markings/sec, 735 secs
lola: sara is running 740 secs || 7800435 markings, 8710390 edges, 9462 markings/sec, 740 secs
lola: sara is running 745 secs || 7852448 markings, 8768623 edges, 10403 markings/sec, 745 secs
lola: sara is running 750 secs || 7903882 markings, 8826084 edges, 10287 markings/sec, 750 secs
lola: sara is running 755 secs || 7955271 markings, 8883441 edges, 10278 markings/sec, 755 secs
lola: sara is running 760 secs || 8006881 markings, 8941038 edges, 10322 markings/sec, 760 secs
lola: sara is running 765 secs || 8058484 markings, 8998702 edges, 10321 markings/sec, 765 secs
lola: sara is running 770 secs || 8110130 markings, 9056404 edges, 10329 markings/sec, 770 secs
lola: sara is running 775 secs || 8161513 markings, 9113834 edges, 10277 markings/sec, 775 secs
lola: sara is running 780 secs || 8212965 markings, 9171265 edges, 10290 markings/sec, 780 secs
lola: sara is running 785 secs || 8263861 markings, 9228046 edges, 10179 markings/sec, 785 secs
lola: sara is running 790 secs || 8315539 markings, 9285869 edges, 10336 markings/sec, 790 secs
lola: sara is running 795 secs || 8366837 markings, 9343188 edges, 10260 markings/sec, 795 secs
lola: sara is running 800 secs || 8418095 markings, 9400405 edges, 10252 markings/sec, 800 secs
lola: sara is running 805 secs || 8469342 markings, 9457641 edges, 10249 markings/sec, 805 secs
lola: sara is running 810 secs || 8520583 markings, 9514822 edges, 10248 markings/sec, 810 secs
lola: sara is running 815 secs || 8572071 markings, 9572406 edges, 10298 markings/sec, 815 secs
lola: sara is running 820 secs || 8618551 markings, 9624386 edges, 9296 markings/sec, 820 secs
lola: sara is running 825 secs || 8669505 markings, 9681260 edges, 10191 markings/sec, 825 secs
lola: sara is running 830 secs || 8720460 markings, 9738092 edges, 10191 markings/sec, 830 secs
lola: sara is running 835 secs || 8771678 markings, 9795339 edges, 10244 markings/sec, 835 secs
lola: sara is running 840 secs || 8823544 markings, 9853286 edges, 10373 markings/sec, 840 secs
lola: sara is running 845 secs || 8875241 markings, 9911083 edges, 10339 markings/sec, 845 secs
lola: sara is running 850 secs || 8927295 markings, 9969166 edges, 10411 markings/sec, 850 secs
lola: sara is running 855 secs || 8979278 markings, 10027174 edges, 10397 markings/sec, 855 secs
lola: sara is running 860 secs || 9031597 markings, 10085732 edges, 10464 markings/sec, 860 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9046037 markings, 10101829 edges
lola: ========================================
FORMULA DLCround-PT-11b-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430))))
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(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430))))
lola: processed formula length: 159
lola: 1 rewrites
lola: closed formula file DLCround-PT-11b-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((FIREABLE(t6268) OR FIREABLE(t3703) OR (FIREABLE(t6710) AND FIREABLE(t3481)) OR (FIREABLE(t4139) AND NOT FIREABLE(t4652))) AND NOT FIREABLE(t2430))
lola: state equation: Generated DNF with 15 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11b-ReachabilityFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-11b-ReachabilityFireability-17-0.sara.
lola: sara is running 0 secs || 17415 markings, 22985 edges, 3483 markings/sec, 0 secs
lola: sara is running 5 secs || 35575 markings, 44402 edges, 3632 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 53904 markings, 65582 edges, 3666 markings/sec, 10 secs
lola: sara is running 15 secs || 72036 markings, 86486 edges, 3626 markings/sec, 15 secs
lola: sara is running 20 secs || 89074 markings, 106172 edges, 3408 markings/sec, 20 secs
lola: sara is running 25 secs || 107157 markings, 127128 edges, 3617 markings/sec, 25 secs
lola: sara is running 30 secs || 125014 markings, 148067 edges, 3571 markings/sec, 30 secs
lola: sara is running 35 secs || 143086 markings, 169084 edges, 3614 markings/sec, 35 secs
lola: sara is running 40 secs || 161158 markings, 189944 edges, 3614 markings/sec, 40 secs
lola: sara is running 45 secs || 179192 markings, 211353 edges, 3607 markings/sec, 45 secs
lola: sara is running 50 secs || 197479 markings, 232372 edges, 3657 markings/sec, 50 secs
lola: sara is running 55 secs || 215748 markings, 253477 edges, 3654 markings/sec, 55 secs
lola: sara is running 60 secs || 233667 markings, 274551 edges, 3584 markings/sec, 60 secs
lola: sara is running 65 secs || 251860 markings, 295681 edges, 3639 markings/sec, 65 secs
lola: sara is running 70 secs || 268828 markings, 315241 edges, 3394 markings/sec, 70 secs
lola: sara is running 75 secs || 286951 markings, 336431 edges, 3625 markings/sec, 75 secs
lola: sara is running 80 secs || 304399 markings, 356674 edges, 3490 markings/sec, 80 secs
lola: sara is running 85 secs || 321410 markings, 376445 edges, 3402 markings/sec, 85 secs
lola: sara is running 90 secs || 338665 markings, 397363 edges, 3451 markings/sec, 90 secs
lola: sara is running 95 secs || 356220 markings, 418006 edges, 3511 markings/sec, 95 secs
lola: sara is running 100 secs || 372748 markings, 447871 edges, 3306 markings/sec, 100 secs
lola: sara is running 105 secs || 389850 markings, 472453 edges, 3420 markings/sec, 105 secs
lola: sara is running 110 secs || 407361 markings, 492958 edges, 3502 markings/sec, 110 secs
lola: sara is running 115 secs || 424680 markings, 514065 edges, 3464 markings/sec, 115 secs
lola: sara is running 120 secs || 441902 markings, 534331 edges, 3444 markings/sec, 120 secs
lola: sara is running 125 secs || 458790 markings, 554032 edges, 3378 markings/sec, 125 secs
lola: sara is running 130 secs || 476350 markings, 574709 edges, 3512 markings/sec, 130 secs
lola: sara is running 135 secs || 493891 markings, 595148 edges, 3508 markings/sec, 135 secs
lola: sara is running 140 secs || 511388 markings, 615608 edges, 3499 markings/sec, 140 secs
lola: sara is running 145 secs || 529004 markings, 636158 edges, 3523 markings/sec, 145 secs
lola: sara is running 150 secs || 546509 markings, 656559 edges, 3501 markings/sec, 150 secs
lola: sara is running 155 secs || 563854 markings, 677827 edges, 3469 markings/sec, 155 secs
lola: sara is running 160 secs || 581797 markings, 699303 edges, 3589 markings/sec, 160 secs
lola: sara is running 165 secs || 599590 markings, 721139 edges, 3559 markings/sec, 165 secs
lola: sara is running 170 secs || 617581 markings, 742651 edges, 3598 markings/sec, 170 secs
lola: sara is running 175 secs || 635108 markings, 763937 edges, 3505 markings/sec, 175 secs
lola: sara is running 180 secs || 653173 markings, 785772 edges, 3613 markings/sec, 180 secs
lola: sara is running 185 secs || 671146 markings, 806754 edges, 3595 markings/sec, 185 secs
lola: sara is running 190 secs || 688642 markings, 827298 edges, 3499 markings/sec, 190 secs
lola: sara is running 195 secs || 705830 markings, 848947 edges, 3438 markings/sec, 195 secs
lola: sara is running 200 secs || 723211 markings, 869461 edges, 3476 markings/sec, 200 secs
lola: sara is running 205 secs || 740272 markings, 889685 edges, 3412 markings/sec, 205 secs
lola: sara is running 210 secs || 757832 markings, 909979 edges, 3512 markings/sec, 210 secs
lola: sara is running 215 secs || 775284 markings, 930224 edges, 3490 markings/sec, 215 secs
lola: sara is running 220 secs || 792505 markings, 950699 edges, 3444 markings/sec, 220 secs
lola: sara is running 225 secs || 810606 markings, 971611 edges, 3620 markings/sec, 225 secs
lola: sara is running 230 secs || 828636 markings, 992825 edges, 3606 markings/sec, 230 secs
lola: sara is running 235 secs || 846508 markings, 1013917 edges, 3574 markings/sec, 235 secs
lola: sara is running 240 secs || 864536 markings, 1035370 edges, 3606 markings/sec, 240 secs
lola: sara is running 245 secs || 881549 markings, 1055124 edges, 3403 markings/sec, 245 secs
lola: sara is running 250 secs || 899169 markings, 1075742 edges, 3524 markings/sec, 250 secs
lola: sara is running 255 secs || 916705 markings, 1096114 edges, 3507 markings/sec, 255 secs
lola: sara is running 260 secs || 934022 markings, 1116903 edges, 3463 markings/sec, 260 secs
lola: sara is running 265 secs || 951032 markings, 1140305 edges, 3402 markings/sec, 265 secs
lola: sara is running 270 secs || 967064 markings, 1170794 edges, 3206 markings/sec, 270 secs
lola: sara is running 275 secs || 984538 markings, 1192633 edges, 3495 markings/sec, 275 secs
lola: sara is running 280 secs || 1002018 markings, 1214024 edges, 3496 markings/sec, 280 secs
lola: sara is running 285 secs || 1019535 markings, 1235337 edges, 3503 markings/sec, 285 secs
lola: sara is running 290 secs || 1036663 markings, 1259487 edges, 3426 markings/sec, 290 secs
lola: sara is running 295 secs || 1054534 markings, 1280810 edges, 3574 markings/sec, 295 secs
lola: sara is running 300 secs || 1072159 markings, 1302255 edges, 3525 markings/sec, 300 secs
lola: sara is running 305 secs || 1090115 markings, 1324442 edges, 3591 markings/sec, 305 secs
lola: sara is running 310 secs || 1108058 markings, 1346048 edges, 3589 markings/sec, 310 secs
lola: sara is running 315 secs || 1124581 markings, 1376184 edges, 3305 markings/sec, 315 secs
lola: sara is running 320 secs || 1140905 markings, 1406869 edges, 3265 markings/sec, 320 secs
lola: sara is running 325 secs || 1157543 markings, 1434831 edges, 3328 markings/sec, 325 secs
lola: sara is running 330 secs || 1175088 markings, 1456051 edges, 3509 markings/sec, 330 secs
lola: sara is running 335 secs || 1192523 markings, 1477281 edges, 3487 markings/sec, 335 secs
lola: sara is running 340 secs || 1209427 markings, 1499495 edges, 3381 markings/sec, 340 secs
lola: sara is running 345 secs || 1226077 markings, 1523848 edges, 3330 markings/sec, 345 secs
lola: sara is running 350 secs || 1243614 markings, 1544244 edges, 3507 markings/sec, 350 secs
lola: sara is running 355 secs || 1260950 markings, 1564695 edges, 3467 markings/sec, 355 secs
lola: sara is running 360 secs || 1278241 markings, 1585214 edges, 3458 markings/sec, 360 secs
lola: sara is running 365 secs || 1295605 markings, 1606091 edges, 3473 markings/sec, 365 secs
lola: sara is running 370 secs || 1313172 markings, 1626426 edges, 3513 markings/sec, 370 secs
lola: sara is running 375 secs || 1330532 markings, 1646906 edges, 3472 markings/sec, 375 secs
lola: sara is running 380 secs || 1347966 markings, 1668235 edges, 3487 markings/sec, 380 secs
lola: sara is running 385 secs || 1366075 markings, 1689908 edges, 3622 markings/sec, 385 secs
lola: sara is running 390 secs || 1383706 markings, 1711654 edges, 3526 markings/sec, 390 secs
lola: sara is running 395 secs || 1401575 markings, 1732971 edges, 3574 markings/sec, 395 secs
lola: sara is running 400 secs || 1419327 markings, 1754349 edges, 3550 markings/sec, 400 secs
lola: sara is running 405 secs || 1437134 markings, 1775935 edges, 3561 markings/sec, 405 secs
lola: sara is running 410 secs || 1455359 markings, 1797069 edges, 3645 markings/sec, 410 secs
lola: sara is running 415 secs || 1473327 markings, 1818223 edges, 3594 markings/sec, 415 secs
lola: sara is running 420 secs || 1491431 markings, 1839171 edges, 3621 markings/sec, 420 secs
lola: sara is running 425 secs || 1509569 markings, 1860319 edges, 3628 markings/sec, 425 secs
lola: sara is running 430 secs || 1527040 markings, 1881523 edges, 3494 markings/sec, 430 secs
lola: sara is running 435 secs || 1544236 markings, 1902208 edges, 3439 markings/sec, 435 secs
lola: sara is running 440 secs || 1561730 markings, 1922795 edges, 3499 markings/sec, 440 secs
lola: sara is running 445 secs || 1578998 markings, 1943681 edges, 3454 markings/sec, 445 secs
lola: sara is running 450 secs || 1596113 markings, 1964050 edges, 3423 markings/sec, 450 secs
lola: sara is running 455 secs || 1613737 markings, 1985358 edges, 3525 markings/sec, 455 secs
lola: sara is running 460 secs || 1631155 markings, 2006030 edges, 3484 markings/sec, 460 secs
lola: sara is running 465 secs || 1648631 markings, 2026776 edges, 3495 markings/sec, 465 secs
lola: sara is running 470 secs || 1666385 markings, 2048401 edges, 3551 markings/sec, 470 secs
lola: sara is running 475 secs || 1683952 markings, 2068805 edges, 3513 markings/sec, 475 secs
lola: sara is running 480 secs || 1701361 markings, 2089417 edges, 3482 markings/sec, 480 secs
lola: sara is running 485 secs || 1718792 markings, 2109772 edges, 3486 markings/sec, 485 secs
lola: sara is running 490 secs || 1736046 markings, 2130338 edges, 3451 markings/sec, 490 secs
lola: sara is running 495 secs || 1753434 markings, 2150679 edges, 3478 markings/sec, 495 secs
lola: sara is running 500 secs || 1770600 markings, 2170913 edges, 3433 markings/sec, 500 secs
lola: sara is running 505 secs || 1788105 markings, 2191982 edges, 3501 markings/sec, 505 secs
lola: sara is running 510 secs || 1806266 markings, 2213005 edges, 3632 markings/sec, 510 secs
lola: sara is running 515 secs || 1823790 markings, 2233445 edges, 3505 markings/sec, 515 secs
lola: sara is running 520 secs || 1840994 markings, 2254042 edges, 3441 markings/sec, 520 secs
lola: sara is running 525 secs || 1858546 markings, 2274268 edges, 3510 markings/sec, 525 secs
lola: sara is running 530 secs || 1875953 markings, 2294992 edges, 3481 markings/sec, 530 secs
lola: sara is running 535 secs || 1893836 markings, 2316436 edges, 3577 markings/sec, 535 secs
lola: sara is running 540 secs || 1911254 markings, 2337564 edges, 3484 markings/sec, 540 secs
lola: sara is running 545 secs || 1928732 markings, 2357856 edges, 3496 markings/sec, 545 secs
lola: sara is running 550 secs || 1946386 markings, 2378820 edges, 3531 markings/sec, 550 secs
lola: sara is running 555 secs || 1963999 markings, 2399866 edges, 3523 markings/sec, 555 secs
lola: sara is running 560 secs || 1981711 markings, 2421630 edges, 3542 markings/sec, 560 secs
lola: sara is running 565 secs || 1999039 markings, 2441913 edges, 3466 markings/sec, 565 secs
lola: sara is running 570 secs || 2016319 markings, 2462253 edges, 3456 markings/sec, 570 secs
lola: sara is running 575 secs || 2033521 markings, 2483505 edges, 3440 markings/sec, 575 secs
lola: sara is running 580 secs || 2051455 markings, 2504306 edges, 3587 markings/sec, 580 secs
lola: sara is running 585 secs || 2069249 markings, 2525196 edges, 3559 markings/sec, 585 secs
lola: sara is running 590 secs || 2087047 markings, 2546351 edges, 3560 markings/sec, 590 secs
lola: sara is running 595 secs || 2104636 markings, 2567003 edges, 3518 markings/sec, 595 secs
lola: sara is running 600 secs || 2121915 markings, 2588017 edges, 3456 markings/sec, 600 secs
lola: sara is running 605 secs || 2139466 markings, 2608785 edges, 3510 markings/sec, 605 secs
lola: sara is running 610 secs || 2157111 markings, 2629209 edges, 3529 markings/sec, 610 secs
lola: sara is running 615 secs || 2174728 markings, 2649862 edges, 3523 markings/sec, 615 secs
lola: sara is running 620 secs || 2191613 markings, 2673803 edges, 3377 markings/sec, 620 secs
lola: sara is running 625 secs || 2209208 markings, 2694083 edges, 3519 markings/sec, 625 secs
lola: sara is running 630 secs || 2226657 markings, 2714329 edges, 3490 markings/sec, 630 secs
lola: sara is running 635 secs || 2243975 markings, 2735046 edges, 3464 markings/sec, 635 secs
lola: sara is running 640 secs || 2261352 markings, 2755219 edges, 3475 markings/sec, 640 secs
lola: sara is running 645 secs || 2278576 markings, 2776391 edges, 3445 markings/sec, 645 secs
lola: sara is running 650 secs || 2295701 markings, 2797023 edges, 3425 markings/sec, 650 secs
lola: sara is running 655 secs || 2313084 markings, 2818383 edges, 3477 markings/sec, 655 secs
lola: sara is running 660 secs || 2330450 markings, 2839148 edges, 3473 markings/sec, 660 secs
lola: sara is running 665 secs || 2347505 markings, 2862139 edges, 3411 markings/sec, 665 secs
lola: sara is running 670 secs || 2364672 markings, 2883821 edges, 3433 markings/sec, 670 secs
lola: sara is running 675 secs || 2382621 markings, 2905709 edges, 3590 markings/sec, 675 secs
lola: sara is running 680 secs || 2399755 markings, 2926518 edges, 3427 markings/sec, 680 secs
lola: sara is running 685 secs || 2417008 markings, 2947316 edges, 3451 markings/sec, 685 secs
lola: sara is running 690 secs || 2434626 markings, 2968407 edges, 3524 markings/sec, 690 secs
lola: sara is running 695 secs || 2451620 markings, 2988608 edges, 3399 markings/sec, 695 secs
lola: sara is running 700 secs || 2468336 markings, 3008341 edges, 3343 markings/sec, 700 secs
lola: sara is running 705 secs || 2485142 markings, 3027753 edges, 3361 markings/sec, 705 secs
lola: sara is running 710 secs || 2501890 markings, 3047287 edges, 3350 markings/sec, 710 secs
lola: sara is running 715 secs || 2518592 markings, 3066837 edges, 3340 markings/sec, 715 secs
lola: sara is running 720 secs || 2535295 markings, 3086254 edges, 3341 markings/sec, 720 secs
lola: sara is running 725 secs || 2551972 markings, 3106605 edges, 3335 markings/sec, 725 secs
lola: sara is running 730 secs || 2568827 markings, 3126687 edges, 3371 markings/sec, 730 secs
lola: sara is running 735 secs || 2585707 markings, 3147181 edges, 3376 markings/sec, 735 secs
lola: sara is running 740 secs || 2602459 markings, 3167561 edges, 3350 markings/sec, 740 secs
lola: sara is running 745 secs || 2619293 markings, 3187417 edges, 3367 markings/sec, 745 secs
lola: sara is running 750 secs || 2636124 markings, 3207787 edges, 3366 markings/sec, 750 secs
lola: sara is running 755 secs || 2653010 markings, 3228265 edges, 3377 markings/sec, 755 secs
lola: sara is running 760 secs || 2669690 markings, 3248232 edges, 3336 markings/sec, 760 secs
lola: sara is running 765 secs || 2686466 markings, 3267521 edges, 3355 markings/sec, 765 secs
lola: sara is running 770 secs || 2703182 markings, 3287251 edges, 3343 markings/sec, 770 secs
lola: sara is running 775 secs || 2719882 markings, 3306533 edges, 3340 markings/sec, 775 secs
lola: sara is running 780 secs || 2736557 markings, 3325894 edges, 3335 markings/sec, 780 secs
lola: sara is running 785 secs || 2753256 markings, 3345782 edges, 3340 markings/sec, 785 secs
lola: sara is running 790 secs || 2770008 markings, 3365240 edges, 3350 markings/sec, 790 secs
lola: sara is running 795 secs || 2786450 markings, 3392227 edges, 3288 markings/sec, 795 secs
lola: sara is running 800 secs || 2802717 markings, 3423084 edges, 3253 markings/sec, 800 secs
lola: sara is running 805 secs || 2819059 markings, 3453594 edges, 3268 markings/sec, 805 secs
lola: sara is running 810 secs || 2835819 markings, 3473342 edges, 3352 markings/sec, 810 secs
lola: sara is running 815 secs || 2852594 markings, 3492856 edges, 3355 markings/sec, 815 secs
lola: sara is running 820 secs || 2869185 markings, 3512570 edges, 3318 markings/sec, 820 secs
lola: sara is running 825 secs || 2885634 markings, 3533354 edges, 3290 markings/sec, 825 secs
lola: sara is running 830 secs || 2902323 markings, 3553069 edges, 3338 markings/sec, 830 secs
lola: sara is running 835 secs || 2919024 markings, 3572612 edges, 3340 markings/sec, 835 secs
lola: sara is running 840 secs || 2935736 markings, 3591964 edges, 3342 markings/sec, 840 secs
lola: sara is running 845 secs || 2952403 markings, 3611491 edges, 3333 markings/sec, 845 secs
lola: sara is running 850 secs || 2969121 markings, 3631225 edges, 3344 markings/sec, 850 secs
lola: sara is running 855 secs || 2985892 markings, 3650531 edges, 3354 markings/sec, 855 secs
lola: sara is running 860 secs || 3002623 markings, 3670262 edges, 3346 markings/sec, 860 secs
lola: sara is running 865 secs || 3019314 markings, 3689990 edges, 3338 markings/sec, 865 secs
lola: sara is running 870 secs || 3036057 markings, 3709967 edges, 3349 markings/sec, 870 secs
lola: sara is running 875 secs || 3052915 markings, 3729496 edges, 3372 markings/sec, 875 secs
lola: sara is running 880 secs || 3069687 markings, 3749154 edges, 3354 markings/sec, 880 secs
lola: sara is running 885 secs || 3086446 markings, 3768642 edges, 3352 markings/sec, 885 secs
lola: sara is running 890 secs || 3103090 markings, 3788444 edges, 3329 markings/sec, 890 secs
lola: sara is running 895 secs || 3119710 markings, 3808564 edges, 3324 markings/sec, 895 secs
lola: sara is running 900 secs || 3136026 markings, 3839519 edges, 3263 markings/sec, 900 secs
lola: sara is running 905 secs || 3152589 markings, 3862540 edges, 3313 markings/sec, 905 secs
lola: sara is running 910 secs || 3169228 markings, 3883347 edges, 3328 markings/sec, 910 secs
lola: sara is running 915 secs || 3185818 markings, 3903349 edges, 3318 markings/sec, 915 secs
lola: sara is running 920 secs || 3202433 markings, 3924088 edges, 3323 markings/sec, 920 secs
lola: sara is running 925 secs || 3219067 markings, 3947130 edges, 3327 markings/sec, 925 secs
lola: sara is running 930 secs || 3235723 markings, 3967108 edges, 3331 markings/sec, 930 secs
lola: sara is running 935 secs || 3252382 markings, 3988063 edges, 3332 markings/sec, 935 secs
lola: sara is running 940 secs || 3269671 markings, 4008598 edges, 3458 markings/sec, 940 secs
lola: sara is running 945 secs || 3286264 markings, 4031278 edges, 3319 markings/sec, 945 secs
lola: sara is running 950 secs || 3302927 markings, 4054100 edges, 3333 markings/sec, 950 secs
lola: sara is running 955 secs || 3319670 markings, 4074174 edges, 3349 markings/sec, 955 secs
lola: sara is running 960 secs || 3336423 markings, 4093591 edges, 3351 markings/sec, 960 secs
lola: sara is running 965 secs || 3353127 markings, 4113159 edges, 3341 markings/sec, 965 secs
lola: sara is running 970 secs || 3369798 markings, 4132470 edges, 3334 markings/sec, 970 secs
lola: sara is running 975 secs || 3386491 markings, 4151976 edges, 3339 markings/sec, 975 secs
lola: sara is running 980 secs || 3403129 markings, 4172065 edges, 3328 markings/sec, 980 secs
lola: sara is running 985 secs || 3419721 markings, 4192057 edges, 3318 markings/sec, 985 secs
lola: sara is running 990 secs || 3436485 markings, 4211630 edges, 3353 markings/sec, 990 secs
lola: sara is running 995 secs || 3453243 markings, 4231393 edges, 3352 markings/sec, 995 secs
lola: sara is running 1000 secs || 3469927 markings, 4251101 edges, 3337 markings/sec, 1000 secs
lola: sara is running 1005 secs || 3486611 markings, 4270462 edges, 3337 markings/sec, 1005 secs
lola: sara is running 1010 secs || 3503209 markings, 4290236 edges, 3320 markings/sec, 1010 secs
lola: sara is running 1015 secs || 3519852 markings, 4310119 edges, 3329 markings/sec, 1015 secs
lola: sara is running 1020 secs || 3536605 markings, 4329655 edges, 3351 markings/sec, 1020 secs
lola: sara is running 1025 secs || 3553193 markings, 4349710 edges, 3318 markings/sec, 1025 secs
lola: sara is running 1030 secs || 3569892 markings, 4369379 edges, 3340 markings/sec, 1030 secs
lola: sara is running 1035 secs || 3586622 markings, 4388875 edges, 3346 markings/sec, 1035 secs
lola: sara is running 1040 secs || 3603327 markings, 4408652 edges, 3341 markings/sec, 1040 secs
lola: sara is running 1045 secs || 3620023 markings, 4428695 edges, 3339 markings/sec, 1045 secs
lola: sara is running 1050 secs || 3636090 markings, 4448120 edges, 3213 markings/sec, 1050 secs
lola: sara is running 1055 secs || 3651841 markings, 4466927 edges, 3150 markings/sec, 1055 secs
lola: sara is running 1060 secs || 3668581 markings, 4486245 edges, 3348 markings/sec, 1060 secs
lola: sara is running 1065 secs || 3685282 markings, 4505951 edges, 3340 markings/sec, 1065 secs
lola: sara is running 1070 secs || 3702121 markings, 4526250 edges, 3368 markings/sec, 1070 secs
lola: sara is running 1075 secs || 3718784 markings, 4548286 edges, 3333 markings/sec, 1075 secs
lola: sara is running 1080 secs || 3735394 markings, 4568968 edges, 3322 markings/sec, 1080 secs
lola: sara is running 1085 secs || 3752057 markings, 4590827 edges, 3333 markings/sec, 1085 secs
lola: sara is running 1090 secs || 3768718 markings, 4613238 edges, 3332 markings/sec, 1090 secs
lola: sara is running 1095 secs || 3785336 markings, 4634766 edges, 3324 markings/sec, 1095 secs
lola: sara is running 1100 secs || 3802145 markings, 4655039 edges, 3362 markings/sec, 1100 secs
lola: sara is running 1105 secs || 3818926 markings, 4675207 edges, 3356 markings/sec, 1105 secs
lola: sara is running 1110 secs || 3835597 markings, 4697169 edges, 3334 markings/sec, 1110 secs
lola: sara is running 1115 secs || 3852310 markings, 4716834 edges, 3343 markings/sec, 1115 secs
lola: sara is running 1120 secs || 3868401 markings, 4735874 edges, 3218 markings/sec, 1120 secs
lola: sara is running 1125 secs || 3885034 markings, 4755713 edges, 3327 markings/sec, 1125 secs
lola: sara is running 1130 secs || 3901745 markings, 4775589 edges, 3342 markings/sec, 1130 secs
lola: sara is running 1135 secs || 3918463 markings, 4796389 edges, 3344 markings/sec, 1135 secs
lola: sara is running 1140 secs || 3935110 markings, 4816538 edges, 3329 markings/sec, 1140 secs
lola: sara is running 1145 secs || 3951858 markings, 4835998 edges, 3350 markings/sec, 1145 secs
lola: sara is running 1150 secs || 3968586 markings, 4855407 edges, 3346 markings/sec, 1150 secs
lola: sara is running 1155 secs || 3985251 markings, 4875313 edges, 3333 markings/sec, 1155 secs
lola: sara is running 1160 secs || 4001976 markings, 4894693 edges, 3345 markings/sec, 1160 secs
lola: sara is running 1165 secs || 4018643 markings, 4914306 edges, 3333 markings/sec, 1165 secs
lola: sara is running 1170 secs || 4035257 markings, 4934550 edges, 3323 markings/sec, 1170 secs
lola: sara is running 1175 secs || 4051953 markings, 4954917 edges, 3339 markings/sec, 1175 secs
lola: sara is running 1180 secs || 4068611 markings, 4974944 edges, 3332 markings/sec, 1180 secs
lola: sara is running 1185 secs || 4085367 markings, 4995031 edges, 3351 markings/sec, 1185 secs
lola: sara is running 1190 secs || 4102163 markings, 5014393 edges, 3359 markings/sec, 1190 secs
lola: sara is running 1195 secs || 4118907 markings, 5034217 edges, 3349 markings/sec, 1195 secs
lola: sara is running 1200 secs || 4135603 markings, 5054236 edges, 3339 markings/sec, 1200 secs
lola: sara is running 1205 secs || 4152262 markings, 5074257 edges, 3332 markings/sec, 1205 secs
lola: sara is running 1210 secs || 4168968 markings, 5093936 edges, 3341 markings/sec, 1210 secs
lola: sara is running 1215 secs || 4185672 markings, 5113640 edges, 3341 markings/sec, 1215 secs
lola: sara is running 1220 secs || 4202490 markings, 5133938 edges, 3364 markings/sec, 1220 secs
lola: sara is running 1225 secs || 4219324 markings, 5154273 edges, 3367 markings/sec, 1225 secs
lola: sara is running 1230 secs || 4236205 markings, 5174115 edges, 3376 markings/sec, 1230 secs
lola: sara is running 1235 secs || 4253179 markings, 5194420 edges, 3395 markings/sec, 1235 secs
lola: sara is running 1240 secs || 4270103 markings, 5214076 edges, 3385 markings/sec, 1240 secs
lola: sara is running 1245 secs || 4286976 markings, 5234282 edges, 3375 markings/sec, 1245 secs
lola: sara is running 1250 secs || 4303974 markings, 5254001 edges, 3400 markings/sec, 1250 secs
lola: sara is running 1255 secs || 4320912 markings, 5274674 edges, 3388 markings/sec, 1255 secs
lola: sara is running 1260 secs || 4337764 markings, 5294714 edges, 3370 markings/sec, 1260 secs
lola: sara is running 1265 secs || 4354644 markings, 5315262 edges, 3376 markings/sec, 1265 secs
lola: sara is running 1270 secs || 4371411 markings, 5335656 edges, 3353 markings/sec, 1270 secs
lola: sara is running 1275 secs || 4388268 markings, 5355546 edges, 3371 markings/sec, 1275 secs
lola: sara is running 1280 secs || 4405136 markings, 5375871 edges, 3374 markings/sec, 1280 secs
lola: sara is running 1285 secs || 4422002 markings, 5396339 edges, 3373 markings/sec, 1285 secs
lola: sara is running 1290 secs || 4438889 markings, 5416654 edges, 3377 markings/sec, 1290 secs
lola: sara is running 1295 secs || 4455935 markings, 5436206 edges, 3409 markings/sec, 1295 secs
lola: sara is running 1300 secs || 4472922 markings, 5456230 edges, 3397 markings/sec, 1300 secs
lola: sara is running 1305 secs || 4489914 markings, 5475875 edges, 3398 markings/sec, 1305 secs
lola: sara is running 1310 secs || 4506897 markings, 5495607 edges, 3397 markings/sec, 1310 secs
lola: sara is running 1315 secs || 4523733 markings, 5515845 edges, 3367 markings/sec, 1315 secs
lola: sara is running 1320 secs || 4540574 markings, 5536440 edges, 3368 markings/sec, 1320 secs
lola: sara is running 1325 secs || 4557531 markings, 5556219 edges, 3391 markings/sec, 1325 secs
lola: sara is running 1330 secs || 4574275 markings, 5576606 edges, 3349 markings/sec, 1330 secs
lola: sara is running 1335 secs || 4591075 markings, 5596433 edges, 3360 markings/sec, 1335 secs
lola: sara is running 1340 secs || 4607956 markings, 5616969 edges, 3376 markings/sec, 1340 secs
lola: sara is running 1345 secs || 4624796 markings, 5636721 edges, 3368 markings/sec, 1345 secs
lola: sara is running 1350 secs || 4641642 markings, 5656965 edges, 3369 markings/sec, 1350 secs
lola: sara is running 1355 secs || 4658527 markings, 5677769 edges, 3377 markings/sec, 1355 secs
lola: sara is running 1360 secs || 4675554 markings, 5697602 edges, 3405 markings/sec, 1360 secs
lola: sara is running 1365 secs || 4692432 markings, 5717201 edges, 3376 markings/sec, 1365 secs
lola: sara is running 1370 secs || 4709230 markings, 5737121 edges, 3360 markings/sec, 1370 secs
sara: warning, failure of lp_solve (at job 7)
lola: sara is running 1375 secs || 4726141 markings, 5756701 edges, 3382 markings/sec, 1375 secs
lola: sara is running 1380 secs || 4742910 markings, 5777243 edges, 3354 markings/sec, 1380 secs
lola: sara is running 1385 secs || 4759875 markings, 5796900 edges, 3393 markings/sec, 1385 secs
lola: sara is running 1390 secs || 4776844 markings, 5816607 edges, 3394 markings/sec, 1390 secs
lola: sara is running 1395 secs || 4793769 markings, 5836515 edges, 3385 markings/sec, 1395 secs
lola: sara is running 1400 secs || 4810681 markings, 5856604 edges, 3382 markings/sec, 1400 secs
lola: sara is running 1405 secs || 4827643 markings, 5876111 edges, 3392 markings/sec, 1405 secs
lola: sara is running 1410 secs || 4844574 markings, 5895960 edges, 3386 markings/sec, 1410 secs
lola: sara is running 1415 secs || 4861459 markings, 5916113 edges, 3377 markings/sec, 1415 secs
lola: sara is running 1420 secs || 4878341 markings, 5936420 edges, 3376 markings/sec, 1420 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no unknown yes yes yes yes no yes yes yes yes yes no yes yes
lola:
preliminary result: yes no unknown yes yes yes yes no yes yes yes yes yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no unknown yes yes yes yes no yes yes yes yes yes no yes yes
lola: memory consumption: 2230360 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no unknown yes yes yes yes no yes yes yes yes yes no yes yes
lola: memory consumption: 2230624 KB
lola: time consumption: 3569 seconds
BK_STOP 1526669173474
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11b.tgz
mv DLCround-PT-11b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-11b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735200126"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;