About the Execution of LoLA for DLCround-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10332.330 | 3570733.00 | 7030541.00 | 7382.40 | TFTFT?F?FTFFFTTT | 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 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-13b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300152
=====================================================================
--------------------
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-13b-ReachabilityCardinality-00
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-01
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-02
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-03
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-04
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-05
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-06
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-07
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-08
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-09
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-10
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-11
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-12
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-13
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-14
FORMULA_NAME DLCround-PT-13b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526686960417
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-13b 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-13b formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DLCround-PT-13b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: Size of bit vector: 5343
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p1758)
lola: LP says that atomic proposition is always false: (2 <= p4367)
lola: LP says that atomic proposition is always false: (2 <= p1882)
lola: LP says that atomic proposition is always false: (3 <= p4156)
lola: LP says that atomic proposition is always false: (3 <= p3743)
lola: LP says that atomic proposition is always false: (3 <= p4353)
lola: LP says that atomic proposition is always false: (3 <= p3685)
lola: LP says that atomic proposition is always false: (3 <= p3652)
lola: LP says that atomic proposition is always false: (3 <= p3250)
lola: LP says that atomic proposition is always false: (2 <= p5009)
lola: LP says that atomic proposition is always false: (3 <= p3637)
lola: LP says that atomic proposition is always false: (3 <= p1493)
lola: E (F (((1 <= p2334)))) : E (F (FALSE)) : E (F ((((p936 <= p2254)) AND (p42 + 1 <= p3487) AND ((p4800 <= p245) OR (p3979 <= p824))))) : E (F (FALSE)) : E (F (((p750 <= 0) AND (p1783 <= 0) AND ((p3073 + 1 <= p553) OR (p4047 + 1 <= p3184))))) : A (G (((p3324 <= 0) OR (p4393 + 1 <= p2833) OR (p47 <= p1278)))) : A (G (((p229 <= p1640) OR (1 <= p1485)))) : E (F ((((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981))))) : A (G ((p1102 <= p4313))) : A (G (())) : A (G (((p617 + 1 <= p1311) OR (p673 + 1 <= p3488) OR (p4888 <= p4304)))) : A (G ((p2892 <= p483))) : E (F (((p5102 + 1 <= p2121) AND (p3157 + 1 <= p2541)))) : A (G (())) : E (F ((((p3787 <= p2016)) AND ((1 <= p4645)) AND (1 <= p666)))) : E (F ((1 <= p1882)))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 12 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA DLCround-PT-13b-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 12 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DLCround-PT-13b-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 12 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 12 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DLCround-PT-13b-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p2334))))
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 (((1 <= p2334))))
lola: processed formula length: 22
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p2334))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-4-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 226 markings, 225 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p1882)))
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 ((1 <= p1882)))
lola: processed formula length: 20
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= p1882)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-5-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: 19 markings, 18 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1102 <= p4313)))
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 ((p1102 <= p4313)))
lola: processed formula length: 24
lola: 14 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p4313 + 1 <= p1102)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-6-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 449 markings, 448 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 377 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2892 <= p483)))
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 ((p2892 <= p483)))
lola: processed formula length: 23
lola: 14 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p483 + 1 <= p2892)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 1120 markings, 1228 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p229 <= p1640) OR (1 <= p1485))))
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 (((p229 <= p1640) OR (1 <= p1485))))
lola: processed formula length: 42
lola: 14 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p1640 + 1 <= p229) AND (p1485 <= 0))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-8-0.sara.
lola: sara is running 0 secs || 13247 markings, 15356 edges, 2649 markings/sec, 0 secs
lola: sara is running 5 secs || 26147 markings, 30403 edges, 2580 markings/sec, 5 secs
lola: sara is running 10 secs || 39000 markings, 45461 edges, 2571 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 51894 markings, 60525 edges, 2579 markings/sec, 15 secs
lola: sara is running 20 secs || 64811 markings, 75656 edges, 2583 markings/sec, 20 secs
lola: sara is running 25 secs || 78455 markings, 91562 edges, 2729 markings/sec, 25 secs
lola: sara is running 30 secs || 92468 markings, 107962 edges, 2803 markings/sec, 30 secs
lola: sara is running 35 secs || 106354 markings, 124236 edges, 2777 markings/sec, 35 secs
lola: sara is running 40 secs || 120388 markings, 140648 edges, 2807 markings/sec, 40 secs
lola: sara is running 45 secs || 134390 markings, 156977 edges, 2800 markings/sec, 45 secs
lola: sara is running 50 secs || 148403 markings, 173371 edges, 2803 markings/sec, 50 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p3787 <= p2016)) AND ((1 <= p4645)) AND (1 <= p666))))
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 ((((p3787 <= p2016)) AND ((1 <= p4645)) AND (1 <= p666))))
lola: processed formula length: 63
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p3787 <= p2016)) AND ((1 <= p4645)) AND (1 <= p666))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 855 markings, 874 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p5102 + 1 <= p2121) AND (p3157 + 1 <= p2541))))
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 (((p5102 + 1 <= p2121) AND (p3157 + 1 <= p2541))))
lola: processed formula length: 55
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p5102 + 1 <= p2121) AND (p3157 + 1 <= p2541))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-10-0.sara.
lola: sara is running 0 secs || 70950 markings, 73793 edges, 14190 markings/sec, 0 secs
lola: sara is running 5 secs || 144802 markings, 154193 edges, 14770 markings/sec, 5 secs
lola: sara is running 10 secs || 216472 markings, 233952 edges, 14334 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 288258 markings, 315595 edges, 14357 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 664 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981)))))
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 ((((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981)))))
lola: processed formula length: 69
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981)))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-11-0.sara.
lola: sara is running 0 secs || 30861 markings, 38577 edges, 6172 markings/sec, 0 secs
lola: sara is running 5 secs || 68266 markings, 85585 edges, 7481 markings/sec, 5 secs
lola: sara is running 10 secs || 105227 markings, 132812 edges, 7392 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 138062 markings, 173685 edges, 6567 markings/sec, 15 secs
lola: sara is running 20 secs || 176056 markings, 221181 edges, 7599 markings/sec, 20 secs
lola: sara is running 25 secs || 212625 markings, 269071 edges, 7314 markings/sec, 25 secs
lola: sara is running 30 secs || 246711 markings, 313309 edges, 6817 markings/sec, 30 secs
lola: sara is running 35 secs || 278767 markings, 353156 edges, 6411 markings/sec, 35 secs
lola: sara is running 40 secs || 317020 markings, 401227 edges, 7651 markings/sec, 40 secs
lola: sara is running 45 secs || 350630 markings, 442992 edges, 6722 markings/sec, 45 secs
lola: sara is running 50 secs || 388436 markings, 490869 edges, 7561 markings/sec, 50 secs
lola: sara is running 55 secs || 422134 markings, 532863 edges, 6740 markings/sec, 55 secs
lola: sara is running 60 secs || 456392 markings, 575551 edges, 6852 markings/sec, 60 secs
lola: sara is running 65 secs || 493685 markings, 623740 edges, 7459 markings/sec, 65 secs
lola: sara is running 70 secs || 527512 markings, 666032 edges, 6765 markings/sec, 70 secs
lola: sara is running 75 secs || 564456 markings, 712585 edges, 7389 markings/sec, 75 secs
lola: sara is running 80 secs || 600755 markings, 759208 edges, 7260 markings/sec, 80 secs
lola: sara is running 85 secs || 640690 markings, 808999 edges, 7987 markings/sec, 85 secs
lola: sara is running 90 secs || 680246 markings, 858114 edges, 7911 markings/sec, 90 secs
lola: sara is running 95 secs || 719107 markings, 906848 edges, 7772 markings/sec, 95 secs
lola: sara is running 100 secs || 756596 markings, 954218 edges, 7498 markings/sec, 100 secs
lola: sara is running 105 secs || 794001 markings, 1002532 edges, 7481 markings/sec, 105 secs
lola: sara is running 110 secs || 830819 markings, 1049019 edges, 7364 markings/sec, 110 secs
lola: sara is running 115 secs || 864023 markings, 1090326 edges, 6641 markings/sec, 115 secs
lola: sara is running 120 secs || 897263 markings, 1133340 edges, 6648 markings/sec, 120 secs
lola: sara is running 125 secs || 930494 markings, 1175834 edges, 6646 markings/sec, 125 secs
lola: sara is running 130 secs || 964562 markings, 1218823 edges, 6814 markings/sec, 130 secs
lola: sara is running 135 secs || 998478 markings, 1261727 edges, 6783 markings/sec, 135 secs
lola: sara is running 140 secs || 1031567 markings, 1303476 edges, 6618 markings/sec, 140 secs
lola: sara is running 145 secs || 1063999 markings, 1344419 edges, 6486 markings/sec, 145 secs
lola: sara is running 150 secs || 1097760 markings, 1387705 edges, 6752 markings/sec, 150 secs
lola: sara is running 155 secs || 1131389 markings, 1430856 edges, 6726 markings/sec, 155 secs
lola: sara is running 160 secs || 1165375 markings, 1473829 edges, 6797 markings/sec, 160 secs
lola: sara is running 165 secs || 1199667 markings, 1516629 edges, 6858 markings/sec, 165 secs
lola: sara is running 170 secs || 1232422 markings, 1559081 edges, 6551 markings/sec, 170 secs
lola: sara is running 175 secs || 1257806 markings, 1590907 edges, 5077 markings/sec, 175 secs
lola: sara is running 180 secs || 1286847 markings, 1626723 edges, 5808 markings/sec, 180 secs
lola: sara is running 185 secs || 1320629 markings, 1669894 edges, 6756 markings/sec, 185 secs
lola: sara is running 190 secs || 1354631 markings, 1714541 edges, 6800 markings/sec, 190 secs
lola: sara is running 195 secs || 1383015 markings, 1750939 edges, 5677 markings/sec, 195 secs
lola: sara is running 200 secs || 1406410 markings, 1780026 edges, 4679 markings/sec, 200 secs
lola: sara is running 205 secs || 1435187 markings, 1815978 edges, 5755 markings/sec, 205 secs
lola: sara is running 210 secs || 1468892 markings, 1859508 edges, 6741 markings/sec, 210 secs
sara: warning, failure of lp_solve (at job 2478)
lola: sara is running 215 secs || 1499250 markings, 1897687 edges, 6072 markings/sec, 215 secs
lola: sara is running 220 secs || 1529218 markings, 1936384 edges, 5994 markings/sec, 220 secs
lola: sara is running 225 secs || 1564522 markings, 1979296 edges, 7061 markings/sec, 225 secs
lola: sara is running 230 secs || 1598856 markings, 2021738 edges, 6867 markings/sec, 230 secs
lola: sara is running 235 secs || 1632616 markings, 2064846 edges, 6752 markings/sec, 235 secs
lola: sara is running 240 secs || 1666429 markings, 2107572 edges, 6763 markings/sec, 240 secs
lola: sara is running 245 secs || 1700246 markings, 2150910 edges, 6763 markings/sec, 245 secs
lola: sara is running 250 secs || 1724614 markings, 2181353 edges, 4874 markings/sec, 250 secs
lola: sara is running 255 secs || 1756726 markings, 2221572 edges, 6422 markings/sec, 255 secs
lola: sara is running 260 secs || 1788977 markings, 2262568 edges, 6450 markings/sec, 260 secs
lola: sara is running 265 secs || 1822107 markings, 2304920 edges, 6626 markings/sec, 265 secs
lola: sara is running 270 secs || 1854932 markings, 2346590 edges, 6565 markings/sec, 270 secs
lola: sara is running 275 secs || 1884938 markings, 2385153 edges, 6001 markings/sec, 275 secs
lola: sara is running 280 secs || 1911819 markings, 2418647 edges, 5376 markings/sec, 280 secs
lola: sara is running 285 secs || 1945670 markings, 2461673 edges, 6770 markings/sec, 285 secs
lola: sara is running 290 secs || 1979614 markings, 2505036 edges, 6789 markings/sec, 290 secs
lola: sara is running 295 secs || 2012578 markings, 2547906 edges, 6593 markings/sec, 295 secs
lola: sara is running 300 secs || 2039512 markings, 2581753 edges, 5387 markings/sec, 300 secs
lola: sara is running 305 secs || 2067418 markings, 2616880 edges, 5581 markings/sec, 305 secs
lola: sara is running 310 secs || 2100507 markings, 2659589 edges, 6618 markings/sec, 310 secs
lola: sara is running 315 secs || 2127683 markings, 2693834 edges, 5435 markings/sec, 315 secs
lola: sara is running 320 secs || 2156905 markings, 2730762 edges, 5844 markings/sec, 320 secs
lola: sara is running 325 secs || 2186231 markings, 2768289 edges, 5865 markings/sec, 325 secs
lola: sara is running 330 secs || 2213243 markings, 2801954 edges, 5402 markings/sec, 330 secs
lola: sara is running 335 secs || 2246908 markings, 2844457 edges, 6733 markings/sec, 335 secs
lola: sara is running 340 secs || 2279957 markings, 2886731 edges, 6610 markings/sec, 340 secs
lola: sara is running 345 secs || 2306587 markings, 2919722 edges, 5326 markings/sec, 345 secs
lola: sara is running 350 secs || 2335722 markings, 2955976 edges, 5827 markings/sec, 350 secs
lola: sara is running 355 secs || 2366773 markings, 2995258 edges, 6210 markings/sec, 355 secs
lola: sara is running 360 secs || 2389447 markings, 3023432 edges, 4535 markings/sec, 360 secs
lola: sara is running 365 secs || 2420016 markings, 3061577 edges, 6114 markings/sec, 365 secs
lola: sara is running 370 secs || 2451391 markings, 3100923 edges, 6275 markings/sec, 370 secs
lola: sara is running 375 secs || 2476900 markings, 3132589 edges, 5102 markings/sec, 375 secs
lola: sara is running 380 secs || 2510389 markings, 3175127 edges, 6698 markings/sec, 380 secs
lola: sara is running 385 secs || 2543281 markings, 3216061 edges, 6578 markings/sec, 385 secs
lola: sara is running 390 secs || 2573871 markings, 3255647 edges, 6118 markings/sec, 390 secs
lola: sara is running 395 secs || 2600618 markings, 3289428 edges, 5349 markings/sec, 395 secs
lola: sara is running 400 secs || 2631261 markings, 3328381 edges, 6129 markings/sec, 400 secs
lola: sara is running 405 secs || 2663205 markings, 3370766 edges, 6389 markings/sec, 405 secs
lola: sara is running 410 secs || 2696192 markings, 3412827 edges, 6597 markings/sec, 410 secs
lola: sara is running 415 secs || 2729063 markings, 3453898 edges, 6574 markings/sec, 415 secs
lola: sara is running 420 secs || 2761739 markings, 3495247 edges, 6535 markings/sec, 420 secs
lola: sara is running 425 secs || 2794619 markings, 3536722 edges, 6576 markings/sec, 425 secs
lola: sara is running 430 secs || 2828420 markings, 3580517 edges, 6760 markings/sec, 430 secs
lola: sara is running 435 secs || 2861688 markings, 3622821 edges, 6654 markings/sec, 435 secs
lola: sara is running 440 secs || 2895323 markings, 3667490 edges, 6727 markings/sec, 440 secs
lola: sara is running 445 secs || 2927310 markings, 3707699 edges, 6397 markings/sec, 445 secs
lola: sara is running 450 secs || 2954790 markings, 3742547 edges, 5496 markings/sec, 450 secs
lola: sara is running 455 secs || 2983211 markings, 3777876 edges, 5684 markings/sec, 455 secs
lola: sara is running 460 secs || 3015569 markings, 3819078 edges, 6472 markings/sec, 460 secs
lola: sara is running 465 secs || 3048239 markings, 3860868 edges, 6534 markings/sec, 465 secs
lola: sara is running 470 secs || 3080557 markings, 3901519 edges, 6464 markings/sec, 470 secs
lola: sara is running 475 secs || 3112568 markings, 3943062 edges, 6402 markings/sec, 475 secs
lola: sara is running 480 secs || 3137481 markings, 3974492 edges, 4983 markings/sec, 480 secs
lola: sara is running 485 secs || 3169993 markings, 4016216 edges, 6502 markings/sec, 485 secs
lola: sara is running 490 secs || 3202180 markings, 4056446 edges, 6437 markings/sec, 490 secs
lola: sara is running 495 secs || 3233993 markings, 4096263 edges, 6363 markings/sec, 495 secs
lola: sara is running 500 secs || 3266466 markings, 4137056 edges, 6495 markings/sec, 500 secs
lola: sara is running 505 secs || 3299696 markings, 4180478 edges, 6646 markings/sec, 505 secs
lola: sara is running 510 secs || 3333239 markings, 4222564 edges, 6709 markings/sec, 510 secs
lola: sara is running 515 secs || 3366208 markings, 4264315 edges, 6594 markings/sec, 515 secs
lola: sara is running 520 secs || 3399013 markings, 4306699 edges, 6561 markings/sec, 520 secs
lola: sara is running 525 secs || 3424061 markings, 4337994 edges, 5010 markings/sec, 525 secs
lola: sara is running 530 secs || 3457460 markings, 4379735 edges, 6680 markings/sec, 530 secs
lola: sara is running 535 secs || 3490846 markings, 4421445 edges, 6677 markings/sec, 535 secs
lola: sara is running 540 secs || 3524214 markings, 4463494 edges, 6674 markings/sec, 540 secs
lola: sara is running 545 secs || 3558585 markings, 4507937 edges, 6874 markings/sec, 545 secs
lola: sara is running 550 secs || 3591577 markings, 4550554 edges, 6598 markings/sec, 550 secs
lola: sara is running 555 secs || 3619482 markings, 4585461 edges, 5581 markings/sec, 555 secs
lola: sara is running 560 secs || 3650634 markings, 4626491 edges, 6230 markings/sec, 560 secs
lola: sara is running 565 secs || 3682773 markings, 4667835 edges, 6428 markings/sec, 565 secs
lola: sara is running 570 secs || 3708702 markings, 4700809 edges, 5186 markings/sec, 570 secs
lola: sara is running 575 secs || 3741103 markings, 4741739 edges, 6480 markings/sec, 575 secs
lola: sara is running 580 secs || 3769106 markings, 4777787 edges, 5601 markings/sec, 580 secs
lola: sara is running 585 secs || 3796766 markings, 4812712 edges, 5532 markings/sec, 585 secs
lola: sara is running 590 secs || 3831026 markings, 4855702 edges, 6852 markings/sec, 590 secs
lola: sara is running 595 secs || 3865206 markings, 4899432 edges, 6836 markings/sec, 595 secs
lola: sara is running 600 secs || 3900011 markings, 4943870 edges, 6961 markings/sec, 600 secs
lola: sara is running 605 secs || 3933424 markings, 4986875 edges, 6683 markings/sec, 605 secs
lola: sara is running 610 secs || 3966553 markings, 5028086 edges, 6626 markings/sec, 610 secs
lola: sara is running 615 secs || 4000071 markings, 5071557 edges, 6704 markings/sec, 615 secs
lola: sara is running 620 secs || 4033268 markings, 5114456 edges, 6639 markings/sec, 620 secs
lola: sara is running 625 secs || 4066563 markings, 5156258 edges, 6659 markings/sec, 625 secs
lola: sara is running 630 secs || 4101128 markings, 5198976 edges, 6913 markings/sec, 630 secs
lola: sara is running 635 secs || 4134885 markings, 5242685 edges, 6751 markings/sec, 635 secs
lola: sara is running 640 secs || 4168205 markings, 5285343 edges, 6664 markings/sec, 640 secs
lola: sara is running 645 secs || 4197333 markings, 5322126 edges, 5826 markings/sec, 645 secs
lola: sara is running 650 secs || 4226860 markings, 5359604 edges, 5905 markings/sec, 650 secs
lola: sara is running 655 secs || 4257538 markings, 5399110 edges, 6136 markings/sec, 655 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown no unknown unknown no unknown no yes unknown no no yes yes yes
lola: memory consumption: 1306372 KB
lola: time consumption: 913 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 664 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p3324 <= 0) OR (p4393 + 1 <= p2833) OR (p47 <= p1278))))
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 (((p3324 <= 0) OR (p4393 + 1 <= p2833) OR (p47 <= p1278))))
lola: processed formula length: 66
lola: 14 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= p3324) AND (p2833 <= p4393) AND (p1278 + 1 <= p47))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-12-0.sara.
lola: sara is running 0 secs || 41043 markings, 48094 edges, 8209 markings/sec, 0 secs
lola: sara is running 5 secs || 84076 markings, 99408 edges, 8607 markings/sec, 5 secs
lola: sara is running 10 secs || 125815 markings, 148630 edges, 8348 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 165657 markings, 195168 edges, 7968 markings/sec, 15 secs
lola: sara is running 20 secs || 206063 markings, 242024 edges, 8081 markings/sec, 20 secs
lola: sara is running 25 secs || 246349 markings, 288604 edges, 8057 markings/sec, 25 secs
lola: sara is running 30 secs || 287262 markings, 336234 edges, 8183 markings/sec, 30 secs
lola: sara is running 35 secs || 327453 markings, 382806 edges, 8038 markings/sec, 35 secs
lola: sara is running 40 secs || 364372 markings, 425677 edges, 7384 markings/sec, 40 secs
lola: sara is running 45 secs || 402869 markings, 470224 edges, 7699 markings/sec, 45 secs
lola: sara is running 50 secs || 440959 markings, 514288 edges, 7618 markings/sec, 50 secs
lola: sara is running 55 secs || 481129 markings, 560892 edges, 8034 markings/sec, 55 secs
lola: sara is running 60 secs || 520517 markings, 606460 edges, 7878 markings/sec, 60 secs
lola: sara is running 65 secs || 560358 markings, 652661 edges, 7968 markings/sec, 65 secs
lola: sara is running 70 secs || 600763 markings, 699638 edges, 8081 markings/sec, 70 secs
lola: sara is running 75 secs || 639926 markings, 745029 edges, 7833 markings/sec, 75 secs
lola: sara is running 80 secs || 679646 markings, 791088 edges, 7944 markings/sec, 80 secs
lola: sara is running 85 secs || 720040 markings, 838083 edges, 8079 markings/sec, 85 secs
lola: sara is running 90 secs || 759703 markings, 884045 edges, 7933 markings/sec, 90 secs
lola: sara is running 95 secs || 799525 markings, 930233 edges, 7964 markings/sec, 95 secs
lola: sara is running 100 secs || 839937 markings, 977118 edges, 8082 markings/sec, 100 secs
lola: sara is running 105 secs || 879336 markings, 1022861 edges, 7880 markings/sec, 105 secs
lola: sara is running 110 secs || 919495 markings, 1069475 edges, 8032 markings/sec, 110 secs
lola: sara is running 115 secs || 960027 markings, 1116555 edges, 8106 markings/sec, 115 secs
lola: sara is running 120 secs || 999778 markings, 1162634 edges, 7950 markings/sec, 120 secs
lola: sara is running 125 secs || 1039677 markings, 1208882 edges, 7980 markings/sec, 125 secs
lola: sara is running 130 secs || 1079177 markings, 1254578 edges, 7900 markings/sec, 130 secs
lola: sara is running 135 secs || 1118733 markings, 1300311 edges, 7911 markings/sec, 135 secs
lola: sara is running 140 secs || 1157233 markings, 1344911 edges, 7700 markings/sec, 140 secs
lola: sara is running 145 secs || 1196128 markings, 1389943 edges, 7779 markings/sec, 145 secs
lola: sara is running 150 secs || 1234576 markings, 1434613 edges, 7690 markings/sec, 150 secs
lola: sara is running 155 secs || 1274003 markings, 1480602 edges, 7885 markings/sec, 155 secs
lola: sara is running 160 secs || 1312256 markings, 1525211 edges, 7651 markings/sec, 160 secs
lola: sara is running 165 secs || 1352155 markings, 1571797 edges, 7980 markings/sec, 165 secs
lola: sara is running 170 secs || 1391524 markings, 1617512 edges, 7874 markings/sec, 170 secs
lola: sara is running 175 secs || 1430759 markings, 1663225 edges, 7847 markings/sec, 175 secs
lola: sara is running 180 secs || 1469562 markings, 1708218 edges, 7761 markings/sec, 180 secs
lola: sara is running 185 secs || 1508208 markings, 1753107 edges, 7729 markings/sec, 185 secs
lola: sara is running 190 secs || 1547408 markings, 1798757 edges, 7840 markings/sec, 190 secs
lola: sara is running 195 secs || 1586229 markings, 1843949 edges, 7764 markings/sec, 195 secs
lola: sara is running 200 secs || 1625205 markings, 1889271 edges, 7795 markings/sec, 200 secs
lola: sara is running 205 secs || 1663998 markings, 1934370 edges, 7759 markings/sec, 205 secs
lola: sara is running 210 secs || 1703383 markings, 1980244 edges, 7877 markings/sec, 210 secs
lola: sara is running 215 secs || 1741808 markings, 2024705 edges, 7685 markings/sec, 215 secs
lola: sara is running 220 secs || 1780774 markings, 2070034 edges, 7793 markings/sec, 220 secs
lola: sara is running 225 secs || 1819785 markings, 2115352 edges, 7802 markings/sec, 225 secs
lola: sara is running 230 secs || 1858903 markings, 2160912 edges, 7824 markings/sec, 230 secs
lola: sara is running 235 secs || 1897558 markings, 2205881 edges, 7731 markings/sec, 235 secs
lola: sara is running 240 secs || 1936195 markings, 2250792 edges, 7727 markings/sec, 240 secs
lola: sara is running 245 secs || 1975508 markings, 2296480 edges, 7863 markings/sec, 245 secs
lola: sara is running 250 secs || 2014289 markings, 2341513 edges, 7756 markings/sec, 250 secs
lola: sara is running 255 secs || 2053506 markings, 2387136 edges, 7843 markings/sec, 255 secs
lola: sara is running 260 secs || 2092409 markings, 2432320 edges, 7781 markings/sec, 260 secs
lola: sara is running 265 secs || 2131516 markings, 2477913 edges, 7821 markings/sec, 265 secs
lola: sara is running 270 secs || 2170119 markings, 2522779 edges, 7721 markings/sec, 270 secs
lola: sara is running 275 secs || 2208778 markings, 2567734 edges, 7732 markings/sec, 275 secs
lola: sara is running 280 secs || 2247821 markings, 2613078 edges, 7809 markings/sec, 280 secs
lola: sara is running 285 secs || 2286598 markings, 2658126 edges, 7755 markings/sec, 285 secs
lola: sara is running 290 secs || 2325245 markings, 2703104 edges, 7729 markings/sec, 290 secs
lola: sara is running 295 secs || 2363600 markings, 2747634 edges, 7671 markings/sec, 295 secs
lola: sara is running 300 secs || 2401054 markings, 2790939 edges, 7491 markings/sec, 300 secs
lola: sara is running 305 secs || 2438400 markings, 2834196 edges, 7469 markings/sec, 305 secs
lola: sara is running 310 secs || 2475876 markings, 2877611 edges, 7495 markings/sec, 310 secs
lola: sara is running 315 secs || 2513484 markings, 2921227 edges, 7522 markings/sec, 315 secs
lola: sara is running 320 secs || 2551648 markings, 2965566 edges, 7633 markings/sec, 320 secs
lola: sara is running 325 secs || 2590333 markings, 3010702 edges, 7737 markings/sec, 325 secs
lola: sara is running 330 secs || 2629267 markings, 3056165 edges, 7787 markings/sec, 330 secs
lola: sara is running 335 secs || 2666958 markings, 3099856 edges, 7538 markings/sec, 335 secs
lola: sara is running 340 secs || 2705145 markings, 3144438 edges, 7637 markings/sec, 340 secs
lola: sara is running 345 secs || 2743619 markings, 3189317 edges, 7695 markings/sec, 345 secs
lola: sara is running 350 secs || 2781793 markings, 3233528 edges, 7635 markings/sec, 350 secs
lola: sara is running 355 secs || 2820005 markings, 3277825 edges, 7642 markings/sec, 355 secs
lola: sara is running 360 secs || 2858066 markings, 3321899 edges, 7612 markings/sec, 360 secs
lola: sara is running 365 secs || 2896367 markings, 3366358 edges, 7660 markings/sec, 365 secs
lola: sara is running 370 secs || 2934984 markings, 3411240 edges, 7723 markings/sec, 370 secs
lola: sara is running 375 secs || 2973899 markings, 3456660 edges, 7783 markings/sec, 375 secs
lola: sara is running 380 secs || 3011943 markings, 3500716 edges, 7609 markings/sec, 380 secs
lola: sara is running 385 secs || 3050305 markings, 3545223 edges, 7672 markings/sec, 385 secs
lola: sara is running 390 secs || 3088539 markings, 3589741 edges, 7647 markings/sec, 390 secs
lola: sara is running 395 secs || 3127318 markings, 3634675 edges, 7756 markings/sec, 395 secs
lola: sara is running 400 secs || 3166000 markings, 3679692 edges, 7736 markings/sec, 400 secs
lola: sara is running 405 secs || 3204116 markings, 3723930 edges, 7623 markings/sec, 405 secs
lola: sara is running 410 secs || 3242291 markings, 3768191 edges, 7635 markings/sec, 410 secs
lola: sara is running 415 secs || 3280466 markings, 3812380 edges, 7635 markings/sec, 415 secs
lola: sara is running 420 secs || 3318713 markings, 3856849 edges, 7649 markings/sec, 420 secs
lola: sara is running 425 secs || 3357436 markings, 3902060 edges, 7745 markings/sec, 425 secs
lola: sara is running 430 secs || 3396104 markings, 3947355 edges, 7734 markings/sec, 430 secs
lola: sara is running 435 secs || 3435149 markings, 3992852 edges, 7809 markings/sec, 435 secs
lola: sara is running 440 secs || 3474043 markings, 4038197 edges, 7779 markings/sec, 440 secs
lola: sara is running 445 secs || 3512684 markings, 4083062 edges, 7728 markings/sec, 445 secs
lola: sara is running 450 secs || 3551059 markings, 4127547 edges, 7675 markings/sec, 450 secs
lola: sara is running 455 secs || 3589657 markings, 4172362 edges, 7720 markings/sec, 455 secs
lola: sara is running 460 secs || 3627903 markings, 4216650 edges, 7649 markings/sec, 460 secs
lola: sara is running 465 secs || 3666853 markings, 4261796 edges, 7790 markings/sec, 465 secs
lola: sara is running 470 secs || 3705341 markings, 4306439 edges, 7698 markings/sec, 470 secs
lola: sara is running 475 secs || 3743677 markings, 4351094 edges, 7667 markings/sec, 475 secs
lola: sara is running 480 secs || 3783719 markings, 4397845 edges, 8008 markings/sec, 480 secs
lola: sara is running 485 secs || 3823324 markings, 4443992 edges, 7921 markings/sec, 485 secs
lola: sara is running 490 secs || 3862569 markings, 4489775 edges, 7849 markings/sec, 490 secs
lola: sara is running 495 secs || 3901746 markings, 4535478 edges, 7835 markings/sec, 495 secs
lola: sara is running 500 secs || 3941127 markings, 4581449 edges, 7876 markings/sec, 500 secs
lola: sara is running 505 secs || 3979732 markings, 4626383 edges, 7721 markings/sec, 505 secs
lola: sara is running 510 secs || 4018293 markings, 4671090 edges, 7712 markings/sec, 510 secs
lola: sara is running 515 secs || 4056621 markings, 4715539 edges, 7666 markings/sec, 515 secs
lola: sara is running 520 secs || 4094835 markings, 4760053 edges, 7643 markings/sec, 520 secs
lola: sara is running 525 secs || 4133310 markings, 4804661 edges, 7695 markings/sec, 525 secs
lola: sara is running 530 secs || 4172296 markings, 4850088 edges, 7797 markings/sec, 530 secs
lola: sara is running 535 secs || 4211387 markings, 4895669 edges, 7818 markings/sec, 535 secs
lola: sara is running 540 secs || 4249648 markings, 4940291 edges, 7652 markings/sec, 540 secs
lola: sara is running 545 secs || 4288081 markings, 4985113 edges, 7687 markings/sec, 545 secs
lola: sara is running 550 secs || 4327301 markings, 5030748 edges, 7844 markings/sec, 550 secs
lola: sara is running 555 secs || 4366466 markings, 5076308 edges, 7833 markings/sec, 555 secs
lola: sara is running 560 secs || 4405981 markings, 5122553 edges, 7903 markings/sec, 560 secs
lola: sara is running 565 secs || 4444357 markings, 5167131 edges, 7675 markings/sec, 565 secs
lola: sara is running 570 secs || 4482939 markings, 5212167 edges, 7716 markings/sec, 570 secs
lola: sara is running 575 secs || 4522457 markings, 5258164 edges, 7904 markings/sec, 575 secs
lola: sara is running 580 secs || 4561173 markings, 5302956 edges, 7743 markings/sec, 580 secs
lola: sara is running 585 secs || 4600122 markings, 5348207 edges, 7790 markings/sec, 585 secs
lola: sara is running 590 secs || 4638939 markings, 5393173 edges, 7763 markings/sec, 590 secs
lola: sara is running 595 secs || 4678424 markings, 5438925 edges, 7897 markings/sec, 595 secs
lola: sara is running 600 secs || 4717883 markings, 5484658 edges, 7892 markings/sec, 600 secs
lola: sara is running 605 secs || 4757231 markings, 5530508 edges, 7870 markings/sec, 605 secs
lola: sara is running 610 secs || 4797956 markings, 5578043 edges, 8145 markings/sec, 610 secs
lola: sara is running 615 secs || 4838378 markings, 5625152 edges, 8084 markings/sec, 615 secs
lola: sara is running 620 secs || 4879084 markings, 5672662 edges, 8141 markings/sec, 620 secs
lola: sara is running 625 secs || 4919581 markings, 5719869 edges, 8099 markings/sec, 625 secs
lola: sara is running 630 secs || 4960026 markings, 5767044 edges, 8089 markings/sec, 630 secs
lola: sara is running 635 secs || 4999901 markings, 5813442 edges, 7975 markings/sec, 635 secs
lola: sara is running 640 secs || 5039814 markings, 5859723 edges, 7983 markings/sec, 640 secs
lola: sara is running 645 secs || 5079559 markings, 5905779 edges, 7949 markings/sec, 645 secs
lola: sara is running 650 secs || 5119047 markings, 5951897 edges, 7898 markings/sec, 650 secs
lola: sara is running 655 secs || 5158879 markings, 5998009 edges, 7966 markings/sec, 655 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown no unknown unknown no unknown no yes unknown no no yes yes yes
lola: memory consumption: 1480220 KB
lola: time consumption: 1577 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 664 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p617 + 1 <= p1311) OR (p673 + 1 <= p3488) OR (p4888 <= p4304))))
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 (((p617 + 1 <= p1311) OR (p673 + 1 <= p3488) OR (p4888 <= p4304))))
lola: processed formula length: 74
lola: 14 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p1311 <= p617) AND (p3488 <= p673) AND (p4304 + 1 <= p4888))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 453 markings, 455 edges
FORMULA DLCround-PT-13b-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 996 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (((p750 <= 0) AND (p1783 <= 0) AND ((p3073 + 1 <= p553) OR (p4047 + 1 <= p3184)))))
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 (((p750 <= 0) AND (p1783 <= 0) AND ((p3073 + 1 <= p553) OR (p4047 + 1 <= p3184)))))
lola: processed formula length: 89
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p750 <= 0) AND (p1783 <= 0) AND ((p3073 + 1 <= p553) OR (p4047 + 1 <= p3184)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 55 markings, 54 edges
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1992 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p936 <= p2254)) AND (p42 + 1 <= p3487) AND ((p4800 <= p245) OR (p3979 <= p824)))))
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 ((((p936 <= p2254)) AND (p42 + 1 <= p3487) AND ((p4800 <= p245) OR (p3979 <= p824)))))
lola: processed formula length: 92
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p936 <= p2254)) AND (p42 + 1 <= p3487) AND ((p4800 <= p245) OR (p3979 <= p824)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-15-0.sara.
lola: sara is running 0 secs || 13025 markings, 15718 edges, 2605 markings/sec, 0 secs
lola: sara is running 5 secs || 26104 markings, 32061 edges, 2616 markings/sec, 5 secs
lola: sara is running 10 secs || 39433 markings, 48091 edges, 2666 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 53426 markings, 65216 edges, 2799 markings/sec, 15 secs
lola: sara is running 20 secs || 67381 markings, 82682 edges, 2791 markings/sec, 20 secs
lola: sara is running 25 secs || 81058 markings, 99938 edges, 2735 markings/sec, 25 secs
lola: sara is running 30 secs || 94907 markings, 117423 edges, 2770 markings/sec, 30 secs
lola: sara is running 35 secs || 108484 markings, 134782 edges, 2715 markings/sec, 35 secs
lola: sara is running 40 secs || 122217 markings, 152203 edges, 2747 markings/sec, 40 secs
lola: sara is running 45 secs || 136024 markings, 169842 edges, 2761 markings/sec, 45 secs
lola: sara is running 50 secs || 149386 markings, 185796 edges, 2672 markings/sec, 50 secs
lola: sara is running 55 secs || 162814 markings, 202591 edges, 2686 markings/sec, 55 secs
lola: sara is running 60 secs || 176067 markings, 219307 edges, 2651 markings/sec, 60 secs
lola: sara is running 65 secs || 189320 markings, 236002 edges, 2651 markings/sec, 65 secs
lola: sara is running 70 secs || 202592 markings, 252469 edges, 2654 markings/sec, 70 secs
lola: sara is running 75 secs || 215861 markings, 268880 edges, 2654 markings/sec, 75 secs
lola: sara is running 80 secs || 229121 markings, 285273 edges, 2652 markings/sec, 80 secs
lola: sara is running 85 secs || 242415 markings, 301431 edges, 2659 markings/sec, 85 secs
lola: sara is running 90 secs || 255657 markings, 317822 edges, 2648 markings/sec, 90 secs
lola: sara is running 95 secs || 268864 markings, 334106 edges, 2641 markings/sec, 95 secs
lola: sara is running 100 secs || 282020 markings, 350089 edges, 2631 markings/sec, 100 secs
lola: sara is running 105 secs || 295218 markings, 366558 edges, 2640 markings/sec, 105 secs
lola: sara is running 110 secs || 308352 markings, 383023 edges, 2627 markings/sec, 110 secs
lola: sara is running 115 secs || 321524 markings, 399853 edges, 2634 markings/sec, 115 secs
lola: sara is running 120 secs || 334614 markings, 416381 edges, 2618 markings/sec, 120 secs
lola: sara is running 125 secs || 347828 markings, 432847 edges, 2643 markings/sec, 125 secs
lola: sara is running 130 secs || 361039 markings, 449245 edges, 2642 markings/sec, 130 secs
lola: sara is running 135 secs || 374251 markings, 466020 edges, 2642 markings/sec, 135 secs
lola: sara is running 140 secs || 387450 markings, 482696 edges, 2640 markings/sec, 140 secs
lola: sara is running 145 secs || 400562 markings, 499578 edges, 2622 markings/sec, 145 secs
lola: sara is running 150 secs || 413670 markings, 515995 edges, 2622 markings/sec, 150 secs
lola: sara is running 155 secs || 426477 markings, 532148 edges, 2561 markings/sec, 155 secs
lola: sara is running 160 secs || 439331 markings, 548409 edges, 2571 markings/sec, 160 secs
lola: sara is running 165 secs || 452168 markings, 564369 edges, 2567 markings/sec, 165 secs
lola: sara is running 170 secs || 465027 markings, 580745 edges, 2572 markings/sec, 170 secs
lola: sara is running 175 secs || 477861 markings, 596788 edges, 2567 markings/sec, 175 secs
lola: sara is running 180 secs || 490617 markings, 613053 edges, 2551 markings/sec, 180 secs
lola: sara is running 185 secs || 503526 markings, 629077 edges, 2582 markings/sec, 185 secs
lola: sara is running 190 secs || 516488 markings, 645455 edges, 2592 markings/sec, 190 secs
lola: sara is running 195 secs || 529369 markings, 661722 edges, 2576 markings/sec, 195 secs
lola: sara is running 200 secs || 542329 markings, 678116 edges, 2592 markings/sec, 200 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
FORMULA DLCround-PT-13b-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981)))))
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 ((((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981)))))
lola: processed formula length: 69
lola: 13 rewrites
lola: closed formula file DLCround-PT-13b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((p1314 <= p4284) AND (1 <= p2062) AND (p4059 + 1 <= p981)))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityCardinality-16-0.sara.
lola: sara is running 0 secs || 28649 markings, 35686 edges, 5730 markings/sec, 0 secs
lola: sara is running 5 secs || 63737 markings, 79764 edges, 7018 markings/sec, 5 secs
lola: sara is running 10 secs || 98318 markings, 124219 edges, 6916 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 130088 markings, 163769 edges, 6354 markings/sec, 15 secs
lola: sara is running 20 secs || 165157 markings, 207154 edges, 7014 markings/sec, 20 secs
lola: sara is running 25 secs || 199504 markings, 251886 edges, 6869 markings/sec, 25 secs
lola: sara is running 30 secs || 232565 markings, 295326 edges, 6612 markings/sec, 30 secs
lola: sara is running 35 secs || 263746 markings, 334605 edges, 6236 markings/sec, 35 secs
lola: sara is running 40 secs || 298164 markings, 377484 edges, 6884 markings/sec, 40 secs
lola: sara is running 45 secs || 333108 markings, 421290 edges, 6989 markings/sec, 45 secs
lola: sara is running 50 secs || 366705 markings, 462974 edges, 6719 markings/sec, 50 secs
lola: sara is running 55 secs || 402153 markings, 507859 edges, 7090 markings/sec, 55 secs
lola: sara is running 60 secs || 431314 markings, 544310 edges, 5832 markings/sec, 60 secs
lola: sara is running 65 secs || 466328 markings, 588279 edges, 7003 markings/sec, 65 secs
lola: sara is running 70 secs || 501019 markings, 633075 edges, 6938 markings/sec, 70 secs
lola: sara is running 75 secs || 531918 markings, 671468 edges, 6180 markings/sec, 75 secs
lola: sara is running 80 secs || 568116 markings, 717388 edges, 7240 markings/sec, 80 secs
lola: sara is running 85 secs || 601931 markings, 760701 edges, 6763 markings/sec, 85 secs
lola: sara is running 90 secs || 639709 markings, 807697 edges, 7556 markings/sec, 90 secs
lola: sara is running 95 secs || 676938 markings, 853961 edges, 7446 markings/sec, 95 secs
lola: sara is running 100 secs || 713374 markings, 899686 edges, 7287 markings/sec, 100 secs
lola: sara is running 105 secs || 750278 markings, 946149 edges, 7381 markings/sec, 105 secs
lola: sara is running 110 secs || 784800 markings, 990211 edges, 6904 markings/sec, 110 secs
lola: sara is running 115 secs || 819970 markings, 1034996 edges, 7034 markings/sec, 115 secs
lola: sara is running 120 secs || 851690 markings, 1075109 edges, 6344 markings/sec, 120 secs
lola: sara is running 125 secs || 884659 markings, 1117029 edges, 6594 markings/sec, 125 secs
lola: sara is running 130 secs || 917703 markings, 1159718 edges, 6609 markings/sec, 130 secs
lola: sara is running 135 secs || 949321 markings, 1199534 edges, 6324 markings/sec, 135 secs
lola: sara is running 140 secs || 982347 markings, 1240962 edges, 6605 markings/sec, 140 secs
lola: sara is running 145 secs || 1014049 markings, 1281559 edges, 6340 markings/sec, 145 secs
lola: sara is running 150 secs || 1046699 markings, 1322822 edges, 6530 markings/sec, 150 secs
lola: sara is running 155 secs || 1077517 markings, 1361208 edges, 6164 markings/sec, 155 secs
lola: sara is running 160 secs || 1109255 markings, 1402298 edges, 6348 markings/sec, 160 secs
lola: sara is running 165 secs || 1141470 markings, 1443406 edges, 6443 markings/sec, 165 secs
lola: sara is running 170 secs || 1174399 markings, 1485049 edges, 6586 markings/sec, 170 secs
lola: sara is running 175 secs || 1206821 markings, 1525548 edges, 6484 markings/sec, 175 secs
lola: sara is running 180 secs || 1238630 markings, 1566812 edges, 6362 markings/sec, 180 secs
lola: sara is running 185 secs || 1261958 markings, 1595940 edges, 4666 markings/sec, 185 secs
lola: sara is running 190 secs || 1290938 markings, 1631781 edges, 5796 markings/sec, 190 secs
lola: sara is running 195 secs || 1322840 markings, 1672943 edges, 6380 markings/sec, 195 secs
lola: sara is running 200 secs || 1355162 markings, 1715239 edges, 6464 markings/sec, 200 secs
lola: sara is running 205 secs || 1384194 markings, 1752434 edges, 5806 markings/sec, 205 secs
lola: sara is running 210 secs || 1406648 markings, 1780357 edges, 4491 markings/sec, 210 secs
lola: sara is running 215 secs || 1433921 markings, 1814404 edges, 5455 markings/sec, 215 secs
sara: warning, failure of lp_solve (at job 2478)
lola: sara is running 220 secs || 1466895 markings, 1856659 edges, 6595 markings/sec, 220 secs
lola: sara is running 225 secs || 1497182 markings, 1895132 edges, 6057 markings/sec, 225 secs
lola: sara is running 230 secs || 1524275 markings, 1929731 edges, 5419 markings/sec, 230 secs
lola: sara is running 235 secs || 1558683 markings, 1972230 edges, 6882 markings/sec, 235 secs
lola: sara is running 240 secs || 1592071 markings, 2013261 edges, 6678 markings/sec, 240 secs
lola: sara is running 245 secs || 1624446 markings, 2054732 edges, 6475 markings/sec, 245 secs
lola: sara is running 250 secs || 1656736 markings, 2095498 edges, 6458 markings/sec, 250 secs
lola: sara is running 255 secs || 1689425 markings, 2137186 edges, 6538 markings/sec, 255 secs
lola: sara is running 260 secs || 1716214 markings, 2170872 edges, 5358 markings/sec, 260 secs
lola: sara is running 265 secs || 1743495 markings, 2204909 edges, 5456 markings/sec, 265 secs
lola: sara is running 270 secs || 1775436 markings, 2245510 edges, 6388 markings/sec, 270 secs
lola: sara is running 275 secs || 1808055 markings, 2287226 edges, 6524 markings/sec, 275 secs
lola: sara is running 280 secs || 1840051 markings, 2327439 edges, 6399 markings/sec, 280 secs
lola: sara is running 285 secs || 1872408 markings, 2369414 edges, 6471 markings/sec, 285 secs
lola: sara is running 290 secs || 1896257 markings, 2399197 edges, 4770 markings/sec, 290 secs
lola: sara is running 295 secs || 1927576 markings, 2438545 edges, 6264 markings/sec, 295 secs
lola: sara is running 300 secs || 1960915 markings, 2481013 edges, 6668 markings/sec, 300 secs
lola: sara is running 305 secs || 1993971 markings, 2523198 edges, 6611 markings/sec, 305 secs
lola: sara is running 310 secs || 2026360 markings, 2565437 edges, 6478 markings/sec, 310 secs
lola: sara is running 315 secs || 2048793 markings, 2593358 edges, 4487 markings/sec, 315 secs
lola: sara is running 320 secs || 2079996 markings, 2632944 edges, 6241 markings/sec, 320 secs
lola: sara is running 325 secs || 2113107 markings, 2675579 edges, 6622 markings/sec, 325 secs
lola: sara is running 330 secs || 2136090 markings, 2704439 edges, 4597 markings/sec, 330 secs
lola: sara is running 335 secs || 2168895 markings, 2746496 edges, 6561 markings/sec, 335 secs
lola: sara is running 340 secs || 2193803 markings, 2777640 edges, 4982 markings/sec, 340 secs
lola: sara is running 345 secs || 2224099 markings, 2815484 edges, 6059 markings/sec, 345 secs
lola: sara is running 350 secs || 2257129 markings, 2857379 edges, 6606 markings/sec, 350 secs
lola: sara is running 355 secs || 2289427 markings, 2898364 edges, 6460 markings/sec, 355 secs
lola: sara is running 360 secs || 2313026 markings, 2927628 edges, 4720 markings/sec, 360 secs
lola: sara is running 365 secs || 2344331 markings, 2966919 edges, 6261 markings/sec, 365 secs
lola: sara is running 370 secs || 2372452 markings, 3002290 edges, 5624 markings/sec, 370 secs
lola: sara is running 375 secs || 2394840 markings, 3030075 edges, 4478 markings/sec, 375 secs
lola: sara is running 380 secs || 2427053 markings, 3070520 edges, 6443 markings/sec, 380 secs
lola: sara is running 385 secs || 2455650 markings, 3106291 edges, 5719 markings/sec, 385 secs
lola: sara is running 390 secs || 2482173 markings, 3139272 edges, 5305 markings/sec, 390 secs
lola: sara is running 395 secs || 2514770 markings, 3180622 edges, 6519 markings/sec, 395 secs
lola: sara is running 400 secs || 2547131 markings, 3220962 edges, 6472 markings/sec, 400 secs
lola: sara is running 405 secs || 2576766 markings, 3259335 edges, 5927 markings/sec, 405 secs
lola: sara is running 410 secs || 2602034 markings, 3291128 edges, 5054 markings/sec, 410 secs
lola: sara is running 415 secs || 2632204 markings, 3329621 edges, 6034 markings/sec, 415 secs
lola: sara is running 420 secs || 2664025 markings, 3371886 edges, 6364 markings/sec, 420 secs
lola: sara is running 425 secs || 2696722 markings, 3413425 edges, 6539 markings/sec, 425 secs
lola: sara is running 430 secs || 2729327 markings, 3454194 edges, 6521 markings/sec, 430 secs
lola: sara is running 435 secs || 2761740 markings, 3495252 edges, 6483 markings/sec, 435 secs
lola: sara is running 440 secs || 2794373 markings, 3536427 edges, 6527 markings/sec, 440 secs
lola: sara is running 445 secs || 2826774 markings, 3578420 edges, 6480 markings/sec, 445 secs
lola: sara is running 450 secs || 2860036 markings, 3620663 edges, 6652 markings/sec, 450 secs
lola: sara is running 455 secs || 2893023 markings, 3664329 edges, 6597 markings/sec, 455 secs
lola: sara is running 460 secs || 2924937 markings, 3704649 edges, 6383 markings/sec, 460 secs
lola: sara is running 465 secs || 2953750 markings, 3741228 edges, 5763 markings/sec, 465 secs
lola: sara is running 470 secs || 2982561 markings, 3777131 edges, 5762 markings/sec, 470 secs
lola: sara is running 475 secs || 3015917 markings, 3819515 edges, 6671 markings/sec, 475 secs
lola: sara is running 480 secs || 3049036 markings, 3861914 edges, 6624 markings/sec, 480 secs
lola: sara is running 485 secs || 3081962 markings, 3903398 edges, 6585 markings/sec, 485 secs
lola: sara is running 490 secs || 3114825 markings, 3945893 edges, 6573 markings/sec, 490 secs
lola: sara is running 495 secs || 3140361 markings, 3978283 edges, 5107 markings/sec, 495 secs
lola: sara is running 500 secs || 3174140 markings, 4021350 edges, 6756 markings/sec, 500 secs
lola: sara is running 505 secs || 3207068 markings, 4062581 edges, 6586 markings/sec, 505 secs
lola: sara is running 510 secs || 3239809 markings, 4103509 edges, 6548 markings/sec, 510 secs
lola: sara is running 515 secs || 3271785 markings, 4143999 edges, 6395 markings/sec, 515 secs
lola: sara is running 520 secs || 3303540 markings, 4185235 edges, 6351 markings/sec, 520 secs
lola: sara is running 525 secs || 3335757 markings, 4225820 edges, 6443 markings/sec, 525 secs
lola: sara is running 530 secs || 3367822 markings, 4266577 edges, 6413 markings/sec, 530 secs
lola: sara is running 535 secs || 3399958 markings, 4307929 edges, 6427 markings/sec, 535 secs
lola: sara is running 540 secs || 3424180 markings, 4338143 edges, 4844 markings/sec, 540 secs
lola: sara is running 545 secs || 3456678 markings, 4378729 edges, 6500 markings/sec, 545 secs
lola: sara is running 550 secs || 3488779 markings, 4418859 edges, 6420 markings/sec, 550 secs
lola: sara is running 555 secs || 3520530 markings, 4458811 edges, 6350 markings/sec, 555 secs
lola: sara is running 560 secs || 3552793 markings, 4500676 edges, 6453 markings/sec, 560 secs
lola: sara is running 565 secs || 3583426 markings, 4540223 edges, 6127 markings/sec, 565 secs
lola: sara is running 570 secs || 3611989 markings, 4576076 edges, 5713 markings/sec, 570 secs
lola: sara is running 575 secs || 3637786 markings, 4609283 edges, 5159 markings/sec, 575 secs
lola: sara is running 580 secs || 3667597 markings, 4648857 edges, 5962 markings/sec, 580 secs
lola: sara is running 585 secs || 3696325 markings, 4685097 edges, 5746 markings/sec, 585 secs
lola: sara is running 590 secs || 3722421 markings, 4718033 edges, 5219 markings/sec, 590 secs
lola: sara is running 595 secs || 3748684 markings, 4751289 edges, 5253 markings/sec, 595 secs
lola: sara is running 600 secs || 3777550 markings, 4788560 edges, 5773 markings/sec, 600 secs
lola: sara is running 605 secs || 3802932 markings, 4820355 edges, 5076 markings/sec, 605 secs
lola: sara is running 610 secs || 3834558 markings, 4860136 edges, 6325 markings/sec, 610 secs
lola: sara is running 615 secs || 3866540 markings, 4901126 edges, 6396 markings/sec, 615 secs
lola: sara is running 620 secs || 3898794 markings, 4942406 edges, 6451 markings/sec, 620 secs
lola: sara is running 625 secs || 3929948 markings, 4982625 edges, 6231 markings/sec, 625 secs
lola: sara is running 630 secs || 3960657 markings, 5020779 edges, 6142 markings/sec, 630 secs
lola: sara is running 635 secs || 3991981 markings, 5061014 edges, 6265 markings/sec, 635 secs
lola: sara is running 640 secs || 4022570 markings, 5101022 edges, 6118 markings/sec, 640 secs
lola: sara is running 645 secs || 4053988 markings, 5140469 edges, 6284 markings/sec, 645 secs
lola: sara is running 650 secs || 4085449 markings, 5179504 edges, 6292 markings/sec, 650 secs
lola: sara is running 655 secs || 4117545 markings, 5220139 edges, 6419 markings/sec, 655 secs
lola: sara is running 660 secs || 4148718 markings, 5260096 edges, 6235 markings/sec, 660 secs
lola: sara is running 665 secs || 4179412 markings, 5299690 edges, 6139 markings/sec, 665 secs
lola: sara is running 670 secs || 4203319 markings, 5329786 edges, 4781 markings/sec, 670 secs
lola: sara is running 675 secs || 4234062 markings, 5369417 edges, 6149 markings/sec, 675 secs
lola: sara is running 680 secs || 4261569 markings, 5404179 edges, 5501 markings/sec, 680 secs
lola: sara is running 685 secs || 4293756 markings, 5445263 edges, 6437 markings/sec, 685 secs
lola: sara is running 690 secs || 4325260 markings, 5485479 edges, 6301 markings/sec, 690 secs
lola: sara is running 695 secs || 4350817 markings, 5517759 edges, 5111 markings/sec, 695 secs
lola: sara is running 700 secs || 4380844 markings, 5555904 edges, 6005 markings/sec, 700 secs
lola: sara is running 705 secs || 4412257 markings, 5595934 edges, 6283 markings/sec, 705 secs
lola: sara is running 710 secs || 4439422 markings, 5629826 edges, 5433 markings/sec, 710 secs
lola: sara is running 715 secs || 4464062 markings, 5661508 edges, 4928 markings/sec, 715 secs
lola: sara is running 720 secs || 4492306 markings, 5698817 edges, 5649 markings/sec, 720 secs
lola: sara is running 725 secs || 4523124 markings, 5737905 edges, 6164 markings/sec, 725 secs
lola: sara is running 730 secs || 4553892 markings, 5776607 edges, 6154 markings/sec, 730 secs
lola: sara is running 735 secs || 4584497 markings, 5815466 edges, 6121 markings/sec, 735 secs
lola: sara is running 740 secs || 4615990 markings, 5855797 edges, 6299 markings/sec, 740 secs
lola: sara is running 745 secs || 4647061 markings, 5895107 edges, 6214 markings/sec, 745 secs
lola: sara is running 750 secs || 4678220 markings, 5934426 edges, 6232 markings/sec, 750 secs
lola: sara is running 755 secs || 4708634 markings, 5973686 edges, 6083 markings/sec, 755 secs
lola: sara is running 760 secs || 4730978 markings, 6001547 edges, 4469 markings/sec, 760 secs
lola: sara is running 765 secs || 4762135 markings, 6041523 edges, 6231 markings/sec, 765 secs
lola: sara is running 770 secs || 4793975 markings, 6081498 edges, 6368 markings/sec, 770 secs
lola: sara is running 775 secs || 4825755 markings, 6121155 edges, 6356 markings/sec, 775 secs
lola: sara is running 780 secs || 4857915 markings, 6160883 edges, 6432 markings/sec, 780 secs
lola: sara is running 785 secs || 4890302 markings, 6200203 edges, 6477 markings/sec, 785 secs
lola: sara is running 790 secs || 4915872 markings, 6232929 edges, 5114 markings/sec, 790 secs
lola: sara is running 795 secs || 4946668 markings, 6271963 edges, 6159 markings/sec, 795 secs
lola: sara is running 800 secs || 4971791 markings, 6303476 edges, 5025 markings/sec, 800 secs
lola: sara is running 805 secs || 5003449 markings, 6343313 edges, 6332 markings/sec, 805 secs
lola: sara is running 810 secs || 5035687 markings, 6384379 edges, 6448 markings/sec, 810 secs
lola: sara is running 815 secs || 5067762 markings, 6425060 edges, 6415 markings/sec, 815 secs
lola: sara is running 820 secs || 5098495 markings, 6463336 edges, 6147 markings/sec, 820 secs
lola: sara is running 825 secs || 5127262 markings, 6499368 edges, 5753 markings/sec, 825 secs
lola: sara is running 830 secs || 5159333 markings, 6540132 edges, 6414 markings/sec, 830 secs
lola: sara is running 835 secs || 5191628 markings, 6581420 edges, 6459 markings/sec, 835 secs
lola: sara is running 840 secs || 5223464 markings, 6622300 edges, 6367 markings/sec, 840 secs
lola: sara is running 845 secs || 5251297 markings, 6657942 edges, 5567 markings/sec, 845 secs
lola: sara is running 850 secs || 5280281 markings, 6694964 edges, 5797 markings/sec, 850 secs
lola: sara is running 855 secs || 5310510 markings, 6734622 edges, 6046 markings/sec, 855 secs
lola: sara is running 860 secs || 5335917 markings, 6766468 edges, 5081 markings/sec, 860 secs
lola: sara is running 865 secs || 5364672 markings, 6802764 edges, 5751 markings/sec, 865 secs
lola: sara is running 870 secs || 5395379 markings, 6842822 edges, 6141 markings/sec, 870 secs
lola: sara is running 875 secs || 5420704 markings, 6874856 edges, 5065 markings/sec, 875 secs
lola: sara is running 880 secs || 5450929 markings, 6913977 edges, 6045 markings/sec, 880 secs
lola: sara is running 885 secs || 5482385 markings, 6955275 edges, 6291 markings/sec, 885 secs
lola: sara is running 890 secs || 5513567 markings, 6995898 edges, 6236 markings/sec, 890 secs
lola: sara is running 895 secs || 5535946 markings, 7023815 edges, 4476 markings/sec, 895 secs
lola: sara is running 900 secs || 5567494 markings, 7063471 edges, 6310 markings/sec, 900 secs
lola: sara is running 905 secs || 5599569 markings, 7103974 edges, 6415 markings/sec, 905 secs
lola: sara is running 910 secs || 5631226 markings, 7144022 edges, 6331 markings/sec, 910 secs
lola: sara is running 915 secs || 5652995 markings, 7171061 edges, 4354 markings/sec, 915 secs
lola: sara is running 920 secs || 5684346 markings, 7210350 edges, 6270 markings/sec, 920 secs
lola: sara is running 925 secs || 5710946 markings, 7243878 edges, 5320 markings/sec, 925 secs
lola: sara is running 930 secs || 5732211 markings, 7270341 edges, 4253 markings/sec, 930 secs
lola: sara is running 935 secs || 5762958 markings, 7308969 edges, 6149 markings/sec, 935 secs
lola: sara is running 940 secs || 5791381 markings, 7344430 edges, 5685 markings/sec, 940 secs
lola: sara is running 945 secs || 5815840 markings, 7374850 edges, 4892 markings/sec, 945 secs
lola: sara is running 950 secs || 5847527 markings, 7415049 edges, 6337 markings/sec, 950 secs
lola: sara is running 955 secs || 5878754 markings, 7454062 edges, 6245 markings/sec, 955 secs
lola: sara is running 960 secs || 5904100 markings, 7485820 edges, 5069 markings/sec, 960 secs
lola: sara is running 965 secs || 5929069 markings, 7517325 edges, 4994 markings/sec, 965 secs
lola: sara is running 970 secs || 5958195 markings, 7553356 edges, 5825 markings/sec, 970 secs
lola: sara is running 975 secs || 5989971 markings, 7593945 edges, 6355 markings/sec, 975 secs
lola: sara is running 980 secs || 6022108 markings, 7635067 edges, 6427 markings/sec, 980 secs
lola: sara is running 985 secs || 6053702 markings, 7674672 edges, 6319 markings/sec, 985 secs
lola: sara is running 990 secs || 6085576 markings, 7715264 edges, 6375 markings/sec, 990 secs
lola: sara is running 995 secs || 6116587 markings, 7755350 edges, 6202 markings/sec, 995 secs
lola: sara is running 1000 secs || 6146604 markings, 7792896 edges, 6003 markings/sec, 1000 secs
lola: sara is running 1005 secs || 6171482 markings, 7824304 edges, 4976 markings/sec, 1005 secs
lola: sara is running 1010 secs || 6200576 markings, 7861660 edges, 5819 markings/sec, 1010 secs
lola: sara is running 1015 secs || 6224454 markings, 7891648 edges, 4776 markings/sec, 1015 secs
lola: sara is running 1020 secs || 6256359 markings, 7932361 edges, 6381 markings/sec, 1020 secs
lola: sara is running 1025 secs || 6288079 markings, 7973112 edges, 6344 markings/sec, 1025 secs
lola: sara is running 1030 secs || 6314112 markings, 8005585 edges, 5207 markings/sec, 1030 secs
lola: sara is running 1035 secs || 6342802 markings, 8041641 edges, 5738 markings/sec, 1035 secs
lola: sara is running 1040 secs || 6366573 markings, 8071369 edges, 4754 markings/sec, 1040 secs
lola: sara is running 1045 secs || 6398147 markings, 8111964 edges, 6315 markings/sec, 1045 secs
lola: sara is running 1050 secs || 6429428 markings, 8152948 edges, 6256 markings/sec, 1050 secs
lola: sara is running 1055 secs || 6460710 markings, 8193284 edges, 6256 markings/sec, 1055 secs
lola: sara is running 1060 secs || 6492207 markings, 8233935 edges, 6299 markings/sec, 1060 secs
lola: sara is running 1065 secs || 6524073 markings, 8274969 edges, 6373 markings/sec, 1065 secs
lola: sara is running 1070 secs || 6556296 markings, 8315428 edges, 6445 markings/sec, 1070 secs
lola: sara is running 1075 secs || 6588006 markings, 8354895 edges, 6342 markings/sec, 1075 secs
lola: sara is running 1080 secs || 6619887 markings, 8394857 edges, 6376 markings/sec, 1080 secs
lola: sara is running 1085 secs || 6650058 markings, 8432612 edges, 6034 markings/sec, 1085 secs
lola: sara is running 1090 secs || 6679729 markings, 8469944 edges, 5934 markings/sec, 1090 secs
lola: sara is running 1095 secs || 6708395 markings, 8506494 edges, 5733 markings/sec, 1095 secs
lola: sara is running 1100 secs || 6735193 markings, 8540686 edges, 5360 markings/sec, 1100 secs
lola: sara is running 1105 secs || 6765068 markings, 8577798 edges, 5975 markings/sec, 1105 secs
lola: sara is running 1110 secs || 6797732 markings, 8619493 edges, 6533 markings/sec, 1110 secs
lola: sara is running 1115 secs || 6830083 markings, 8660706 edges, 6470 markings/sec, 1115 secs
lola: sara is running 1120 secs || 6861977 markings, 8701208 edges, 6379 markings/sec, 1120 secs
lola: sara is running 1125 secs || 6892654 markings, 8740724 edges, 6135 markings/sec, 1125 secs
lola: sara is running 1130 secs || 6917999 markings, 8772592 edges, 5069 markings/sec, 1130 secs
lola: sara is running 1135 secs || 6949044 markings, 8812190 edges, 6209 markings/sec, 1135 secs
lola: sara is running 1140 secs || 6981079 markings, 8853155 edges, 6407 markings/sec, 1140 secs
lola: sara is running 1145 secs || 7013097 markings, 8894120 edges, 6404 markings/sec, 1145 secs
lola: sara is running 1150 secs || 7036335 markings, 8923266 edges, 4648 markings/sec, 1150 secs
lola: sara is running 1155 secs || 7066632 markings, 8961792 edges, 6059 markings/sec, 1155 secs
lola: sara is running 1160 secs || 7098439 markings, 9002065 edges, 6361 markings/sec, 1160 secs
lola: sara is running 1165 secs || 7130013 markings, 9042560 edges, 6315 markings/sec, 1165 secs
lola: sara is running 1170 secs || 7159397 markings, 9079687 edges, 5877 markings/sec, 1170 secs
lola: sara is running 1175 secs || 7191058 markings, 9120687 edges, 6332 markings/sec, 1175 secs
lola: sara is running 1180 secs || 7222689 markings, 9161132 edges, 6326 markings/sec, 1180 secs
lola: sara is running 1185 secs || 7254872 markings, 9203136 edges, 6437 markings/sec, 1185 secs
lola: sara is running 1190 secs || 7287463 markings, 9244512 edges, 6518 markings/sec, 1190 secs
lola: sara is running 1195 secs || 7319804 markings, 9286253 edges, 6468 markings/sec, 1195 secs
lola: sara is running 1200 secs || 7351041 markings, 9326490 edges, 6247 markings/sec, 1200 secs
lola: sara is running 1205 secs || 7382516 markings, 9367296 edges, 6295 markings/sec, 1205 secs
lola: sara is running 1210 secs || 7414476 markings, 9408549 edges, 6392 markings/sec, 1210 secs
lola: sara is running 1215 secs || 7446043 markings, 9449272 edges, 6313 markings/sec, 1215 secs
lola: sara is running 1220 secs || 7477004 markings, 9488175 edges, 6192 markings/sec, 1220 secs
lola: sara is running 1225 secs || 7508219 markings, 9527323 edges, 6243 markings/sec, 1225 secs
lola: sara is running 1230 secs || 7539639 markings, 9568046 edges, 6284 markings/sec, 1230 secs
lola: sara is running 1235 secs || 7565650 markings, 9600576 edges, 5202 markings/sec, 1235 secs
lola: sara is running 1240 secs || 7594795 markings, 9637826 edges, 5829 markings/sec, 1240 secs
lola: sara is running 1245 secs || 7627532 markings, 9679466 edges, 6547 markings/sec, 1245 secs
lola: sara is running 1250 secs || 7658487 markings, 9719545 edges, 6191 markings/sec, 1250 secs
lola: sara is running 1255 secs || 7690679 markings, 9760952 edges, 6438 markings/sec, 1255 secs
lola: sara is running 1260 secs || 7722624 markings, 9802181 edges, 6389 markings/sec, 1260 secs
lola: sara is running 1265 secs || 7753300 markings, 9840851 edges, 6135 markings/sec, 1265 secs
lola: sara is running 1270 secs || 7782610 markings, 9877566 edges, 5862 markings/sec, 1270 secs
lola: sara is running 1275 secs || 7811878 markings, 9914123 edges, 5854 markings/sec, 1275 secs
lola: sara is running 1280 secs || 7839965 markings, 9949488 edges, 5617 markings/sec, 1280 secs
lola: sara is running 1285 secs || 7866925 markings, 9982989 edges, 5392 markings/sec, 1285 secs
lola: sara is running 1290 secs || 7898823 markings, 10023755 edges, 6380 markings/sec, 1290 secs
lola: sara is running 1295 secs || 7931061 markings, 10064907 edges, 6448 markings/sec, 1295 secs
lola: sara is running 1300 secs || 7962964 markings, 10105126 edges, 6381 markings/sec, 1300 secs
lola: sara is running 1305 secs || 7994447 markings, 10145880 edges, 6297 markings/sec, 1305 secs
lola: sara is running 1310 secs || 8023766 markings, 10182490 edges, 5864 markings/sec, 1310 secs
lola: sara is running 1315 secs || 8053446 markings, 10221157 edges, 5936 markings/sec, 1315 secs
lola: sara is running 1320 secs || 8084984 markings, 10261560 edges, 6308 markings/sec, 1320 secs
lola: sara is running 1325 secs || 8113259 markings, 10297020 edges, 5655 markings/sec, 1325 secs
lola: sara is running 1330 secs || 8137823 markings, 10327922 edges, 4913 markings/sec, 1330 secs
lola: sara is running 1335 secs || 8168546 markings, 10366831 edges, 6145 markings/sec, 1335 secs
lola: sara is running 1340 secs || 8189481 markings, 10393042 edges, 4187 markings/sec, 1340 secs
lola: sara is running 1345 secs || 8221136 markings, 10433528 edges, 6331 markings/sec, 1345 secs
lola: sara is running 1350 secs || 8246969 markings, 10466084 edges, 5167 markings/sec, 1350 secs
lola: sara is running 1355 secs || 8279019 markings, 10506264 edges, 6410 markings/sec, 1355 secs
lola: sara is running 1360 secs || 8311417 markings, 10547504 edges, 6480 markings/sec, 1360 secs
lola: sara is running 1365 secs || 8344000 markings, 10589068 edges, 6517 markings/sec, 1365 secs
lola: sara is running 1370 secs || 8375646 markings, 10630212 edges, 6329 markings/sec, 1370 secs
lola: sara is running 1375 secs || 8402275 markings, 10663743 edges, 5326 markings/sec, 1375 secs
lola: sara is running 1380 secs || 8434636 markings, 10704543 edges, 6472 markings/sec, 1380 secs
lola: sara is running 1385 secs || 8467148 markings, 10746231 edges, 6502 markings/sec, 1385 secs
lola: sara is running 1390 secs || 8499491 markings, 10787722 edges, 6469 markings/sec, 1390 secs
lola: sara is running 1395 secs || 8528416 markings, 10824829 edges, 5785 markings/sec, 1395 secs
lola: sara is running 1400 secs || 8551954 markings, 10854116 edges, 4708 markings/sec, 1400 secs
lola: sara is running 1405 secs || 8583156 markings, 10893613 edges, 6240 markings/sec, 1405 secs
lola: sara is running 1410 secs || 8608243 markings, 10925033 edges, 5017 markings/sec, 1410 secs
lola: sara is running 1415 secs || 8639836 markings, 10965320 edges, 6319 markings/sec, 1415 secs
lola: sara is running 1420 secs || 8672023 markings, 11005947 edges, 6437 markings/sec, 1420 secs
lola: sara is running 1425 secs || 8704475 markings, 11047167 edges, 6490 markings/sec, 1425 secs
lola: sara is running 1430 secs || 8736487 markings, 11087803 edges, 6402 markings/sec, 1430 secs
lola: sara is running 1435 secs || 8767959 markings, 11128003 edges, 6294 markings/sec, 1435 secs
lola: sara is running 1440 secs || 8795763 markings, 11163614 edges, 5561 markings/sec, 1440 secs
lola: sara is running 1445 secs || 8821991 markings, 11196338 edges, 5246 markings/sec, 1445 secs
lola: sara is running 1450 secs || 8854341 markings, 11237529 edges, 6470 markings/sec, 1450 secs
lola: sara is running 1455 secs || 8887519 markings, 11279954 edges, 6636 markings/sec, 1455 secs
lola: sara is running 1460 secs || 8920011 markings, 11320813 edges, 6498 markings/sec, 1460 secs
lola: sara is running 1465 secs || 8952020 markings, 11362298 edges, 6402 markings/sec, 1465 secs
lola: sara is running 1470 secs || 8981753 markings, 11401229 edges, 5947 markings/sec, 1470 secs
lola: sara is running 1475 secs || 9013374 markings, 11442047 edges, 6324 markings/sec, 1475 secs
lola: sara is running 1480 secs || 9045615 markings, 11484104 edges, 6448 markings/sec, 1480 secs
lola: sara is running 1485 secs || 9078419 markings, 11525878 edges, 6561 markings/sec, 1485 secs
lola: sara is running 1490 secs || 9110627 markings, 11566225 edges, 6442 markings/sec, 1490 secs
lola: sara is running 1495 secs || 9142762 markings, 11606360 edges, 6427 markings/sec, 1495 secs
lola: sara is running 1500 secs || 9175720 markings, 11649080 edges, 6592 markings/sec, 1500 secs
lola: sara is running 1505 secs || 9207504 markings, 11689149 edges, 6357 markings/sec, 1505 secs
lola: sara is running 1510 secs || 9240143 markings, 11730293 edges, 6528 markings/sec, 1510 secs
lola: sara is running 1515 secs || 9272362 markings, 11771939 edges, 6444 markings/sec, 1515 secs
lola: sara is running 1520 secs || 9294890 markings, 11800149 edges, 4506 markings/sec, 1520 secs
lola: sara is running 1525 secs || 9326628 markings, 11839740 edges, 6348 markings/sec, 1525 secs
lola: sara is running 1530 secs || 9359570 markings, 11882740 edges, 6588 markings/sec, 1530 secs
lola: sara is running 1535 secs || 9392336 markings, 11924788 edges, 6553 markings/sec, 1535 secs
lola: sara is running 1540 secs || 9424565 markings, 11966147 edges, 6446 markings/sec, 1540 secs
lola: sara is running 1545 secs || 9451452 markings, 11999775 edges, 5377 markings/sec, 1545 secs
lola: sara is running 1550 secs || 9479554 markings, 12035147 edges, 5620 markings/sec, 1550 secs
lola: sara is running 1555 secs || 9510296 markings, 12073599 edges, 6148 markings/sec, 1555 secs
lola: sara is running 1560 secs || 9540498 markings, 12111645 edges, 6040 markings/sec, 1560 secs
lola: sara is running 1565 secs || 9571482 markings, 12151089 edges, 6197 markings/sec, 1565 secs
lola: sara is running 1570 secs || 9599603 markings, 12187308 edges, 5624 markings/sec, 1570 secs
lola: sara is running 1575 secs || 9629566 markings, 12225099 edges, 5993 markings/sec, 1575 secs
lola: sara is running 1580 secs || 9653544 markings, 12255220 edges, 4796 markings/sec, 1580 secs
lola: sara is running 1585 secs || 9682820 markings, 12292059 edges, 5855 markings/sec, 1585 secs
lola: sara is running 1590 secs || 9710597 markings, 12327727 edges, 5555 markings/sec, 1590 secs
lola: sara is running 1595 secs || 9740654 markings, 12365165 edges, 6011 markings/sec, 1595 secs
lola: sara is running 1600 secs || 9772822 markings, 12406267 edges, 6434 markings/sec, 1600 secs
lola: sara is running 1605 secs || 9804923 markings, 12447185 edges, 6420 markings/sec, 1605 secs
lola: sara is running 1610 secs || 9836454 markings, 12488403 edges, 6306 markings/sec, 1610 secs
lola: sara is running 1615 secs || 9861517 markings, 12519909 edges, 5013 markings/sec, 1615 secs
lola: sara is running 1620 secs || 9891223 markings, 12557378 edges, 5941 markings/sec, 1620 secs
lola: sara is running 1625 secs || 9917984 markings, 12591751 edges, 5352 markings/sec, 1625 secs
lola: sara is running 1630 secs || 9948262 markings, 12630137 edges, 6056 markings/sec, 1630 secs
lola: sara is running 1635 secs || 9978253 markings, 12667606 edges, 5998 markings/sec, 1635 secs
lola: sara is running 1640 secs || 10000977 markings, 12696144 edges, 4545 markings/sec, 1640 secs
lola: sara is running 1645 secs || 10032641 markings, 12736878 edges, 6333 markings/sec, 1645 secs
lola: sara is running 1650 secs || 10057911 markings, 12768760 edges, 5054 markings/sec, 1650 secs
lola: sara is running 1655 secs || 10090410 markings, 12809625 edges, 6500 markings/sec, 1655 secs
lola: sara is running 1660 secs || 10123277 markings, 12851705 edges, 6573 markings/sec, 1660 secs
lola: sara is running 1665 secs || 10155827 markings, 12892602 edges, 6510 markings/sec, 1665 secs
lola: sara is running 1670 secs || 10187163 markings, 12932724 edges, 6267 markings/sec, 1670 secs
lola: sara is running 1675 secs || 10213406 markings, 12966370 edges, 5249 markings/sec, 1675 secs
lola: sara is running 1680 secs || 10242541 markings, 13003062 edges, 5827 markings/sec, 1680 secs
lola: sara is running 1685 secs || 10274968 markings, 13044599 edges, 6485 markings/sec, 1685 secs
lola: sara is running 1690 secs || 10307292 markings, 13085924 edges, 6465 markings/sec, 1690 secs
lola: sara is running 1695 secs || 10336924 markings, 13123121 edges, 5926 markings/sec, 1695 secs
lola: sara is running 1700 secs || 10361620 markings, 13154087 edges, 4939 markings/sec, 1700 secs
lola: sara is running 1705 secs || 10393040 markings, 13194475 edges, 6284 markings/sec, 1705 secs
lola: sara is running 1710 secs || 10424582 markings, 13236359 edges, 6308 markings/sec, 1710 secs
lola: sara is running 1715 secs || 10448602 markings, 13266348 edges, 4804 markings/sec, 1715 secs
lola: sara is running 1720 secs || 10477983 markings, 13302924 edges, 5876 markings/sec, 1720 secs
lola: sara is running 1725 secs || 10509962 markings, 13343720 edges, 6396 markings/sec, 1725 secs
lola: sara is running 1730 secs || 10542314 markings, 13385148 edges, 6470 markings/sec, 1730 secs
lola: sara is running 1735 secs || 10574697 markings, 13427966 edges, 6477 markings/sec, 1735 secs
lola: sara is running 1740 secs || 10607249 markings, 13468798 edges, 6510 markings/sec, 1740 secs
lola: sara is running 1745 secs || 10639320 markings, 13508916 edges, 6414 markings/sec, 1745 secs
lola: sara is running 1750 secs || 10671143 markings, 13548663 edges, 6365 markings/sec, 1750 secs
lola: sara is running 1755 secs || 10702680 markings, 13589294 edges, 6307 markings/sec, 1755 secs
lola: sara is running 1760 secs || 10728195 markings, 13621325 edges, 5103 markings/sec, 1760 secs
lola: sara is running 1765 secs || 10755744 markings, 13655751 edges, 5510 markings/sec, 1765 secs
lola: sara is running 1770 secs || 10782222 markings, 13689624 edges, 5296 markings/sec, 1770 secs
lola: sara is running 1775 secs || 10809965 markings, 13724421 edges, 5549 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no yes unknown no unknown no yes no no no yes yes yes
lola:
preliminary result: yes no yes no yes unknown no unknown no yes no no no yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no yes unknown no unknown no yes no no no yes yes yes
lola: memory consumption: 3182640 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no yes unknown no unknown no yes no no no yes yes yes
lola: memory consumption: 3182980 KB
lola: time consumption: 3570 seconds
BK_STOP 1526690531150
--------------------
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-13b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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-13b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735300152"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;