About the Execution of M4M.struct for DLCround-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14178.880 | 3586160.00 | 3600978.00 | 13619.40 | TFT??TTFTTTF???? | 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 mcc4mcc-structural
Input is DLCround-PT-13b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744000150
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME DLCround-PT-13b-CTLCardinality-01
FORMULA_NAME DLCround-PT-13b-CTLCardinality-02
FORMULA_NAME DLCround-PT-13b-CTLCardinality-03
FORMULA_NAME DLCround-PT-13b-CTLCardinality-04
FORMULA_NAME DLCround-PT-13b-CTLCardinality-05
FORMULA_NAME DLCround-PT-13b-CTLCardinality-06
FORMULA_NAME DLCround-PT-13b-CTLCardinality-07
FORMULA_NAME DLCround-PT-13b-CTLCardinality-08
FORMULA_NAME DLCround-PT-13b-CTLCardinality-09
FORMULA_NAME DLCround-PT-13b-CTLCardinality-10
FORMULA_NAME DLCround-PT-13b-CTLCardinality-11
FORMULA_NAME DLCround-PT-13b-CTLCardinality-12
FORMULA_NAME DLCround-PT-13b-CTLCardinality-13
FORMULA_NAME DLCround-PT-13b-CTLCardinality-14
FORMULA_NAME DLCround-PT-13b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526707689715
BK_STOP 1526711275875
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-13b as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 2247220, 'Memory': 15949.27, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DLCround-PT-13b...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-13b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-13b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLCardinality @ DLCround-PT-13b @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 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: 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-CTLCardinality.task
lola: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429)))))) : A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1))))) : NOT(A (F ((2 <= p252)))) : A (G (NOT(A (F ((3 <= p3371)))))) : ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256)))))) : NOT(A (X (A (F ((1 <= p2603)))))) : E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258)))))) : A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870))))) : A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446))))) : E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969)))) : NOT(NOT(A (G ((p3850 <= 1))))) : NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292)))) : (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232))))) : A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825))))) : E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59))))) : ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U ((p2616 <= p298) AND (p3704 <= p2429))))))
lola: processed formula length: 68
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 3004 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
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: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 73 markings, 72 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((2 <= p252))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (2 <= p252)))
lola: processed formula length: 26
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1502 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(A (F ((3 <= p3371))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U A(TRUE U (3 <= p3371))))
lola: processed formula length: 37
lola: 7 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 88475 markings, 280845 edges, 3096156024340480000 markings/sec, 0 secs
lola: 182208 markings, 577081 edges, 18747 markings/sec, 5 secs
lola: 275041 markings, 872507 edges, 18567 markings/sec, 10 secs
lola: 367747 markings, 1167332 edges, 18541 markings/sec, 15 secs
lola: 460083 markings, 1462386 edges, 18467 markings/sec, 20 secs
lola: 554042 markings, 1761085 edges, 18792 markings/sec, 25 secs
lola: 647937 markings, 2059723 edges, 18779 markings/sec, 30 secs
lola: 741616 markings, 2358002 edges, 18736 markings/sec, 35 secs
lola: 836156 markings, 2660171 edges, 18908 markings/sec, 40 secs
lola: 931617 markings, 2964234 edges, 19092 markings/sec, 45 secs
lola: 1026398 markings, 3267122 edges, 18956 markings/sec, 50 secs
lola: 1119813 markings, 3567483 edges, 18683 markings/sec, 55 secs
lola: 1214510 markings, 3870633 edges, 18939 markings/sec, 60 secs
lola: 1308022 markings, 4171751 edges, 18702 markings/sec, 65 secs
lola: 1401661 markings, 4471565 edges, 18728 markings/sec, 70 secs
lola: 1495639 markings, 4772786 edges, 18796 markings/sec, 75 secs
lola: 1589454 markings, 5073685 edges, 18763 markings/sec, 80 secs
lola: 1684203 markings, 5376617 edges, 18950 markings/sec, 85 secs
lola: 1778773 markings, 5679587 edges, 18914 markings/sec, 90 secs
lola: 1872583 markings, 5980376 edges, 18762 markings/sec, 95 secs
lola: 1965955 markings, 6280047 edges, 18674 markings/sec, 100 secs
lola: 2058740 markings, 6579128 edges, 18557 markings/sec, 105 secs
lola: 2152217 markings, 6879310 edges, 18695 markings/sec, 110 secs
lola: 2245793 markings, 7180219 edges, 18715 markings/sec, 115 secs
lola: 2338162 markings, 7480969 edges, 18474 markings/sec, 120 secs
lola: 2430309 markings, 7780621 edges, 18429 markings/sec, 125 secs
lola: 2522499 markings, 8078090 edges, 18438 markings/sec, 130 secs
lola: 2616519 markings, 8378355 edges, 18804 markings/sec, 135 secs
lola: 2710753 markings, 8678831 edges, 18847 markings/sec, 140 secs
lola: 2804281 markings, 8979575 edges, 18706 markings/sec, 145 secs
lola: 2898254 markings, 9278040 edges, 18795 markings/sec, 150 secs
lola: 2991765 markings, 9575125 edges, 18702 markings/sec, 155 secs
lola: 3084374 markings, 9872349 edges, 18522 markings/sec, 160 secs
lola: 3176632 markings, 10169265 edges, 18452 markings/sec, 165 secs
lola: 3269485 markings, 10466529 edges, 18571 markings/sec, 170 secs
lola: 3362313 markings, 10763771 edges, 18566 markings/sec, 175 secs
lola: 3453399 markings, 11058879 edges, 18217 markings/sec, 180 secs
lola: 3545774 markings, 11356127 edges, 18475 markings/sec, 185 secs
lola: 3637507 markings, 11652120 edges, 18347 markings/sec, 190 secs
lola: 3729434 markings, 11946312 edges, 18385 markings/sec, 195 secs
lola: 3821192 markings, 12241307 edges, 18352 markings/sec, 200 secs
lola: 3913521 markings, 12538741 edges, 18466 markings/sec, 205 secs
lola: 4006052 markings, 12835273 edges, 18506 markings/sec, 210 secs
lola: 4098465 markings, 13133597 edges, 18483 markings/sec, 215 secs
lola: 4191167 markings, 13431944 edges, 18540 markings/sec, 220 secs
lola: 4284590 markings, 13730694 edges, 18685 markings/sec, 225 secs
lola: 4377733 markings, 14029618 edges, 18629 markings/sec, 230 secs
lola: 4470884 markings, 14328929 edges, 18630 markings/sec, 235 secs
lola: 4563789 markings, 14626111 edges, 18581 markings/sec, 240 secs
lola: 4655721 markings, 14922838 edges, 18386 markings/sec, 245 secs
lola: 4747026 markings, 15218899 edges, 18261 markings/sec, 250 secs
lola: 4840333 markings, 15517999 edges, 18661 markings/sec, 255 secs
lola: 4932075 markings, 15814298 edges, 18348 markings/sec, 260 secs
lola: 5023103 markings, 16111278 edges, 18206 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((p2480 <= 0) AND (p2730 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p2480 <= 0) AND (p2730 <= 2))
lola: processed formula length: 31
lola: 0 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p2328 <= p256)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(EX((p2328 <= p256)))))
lola: processed formula length: 39
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 152838 markings, 193013 edges, 2011398055902838784 markings/sec, 0 secs
lola: 310202 markings, 393526 edges, 31473 markings/sec, 5 secs
lola: 467328 markings, 593794 edges, 31425 markings/sec, 10 secs
lola: 623485 markings, 795554 edges, 31231 markings/sec, 15 secs
lola: 779231 markings, 994044 edges, 31149 markings/sec, 20 secs
lola: 934646 markings, 1194273 edges, 31083 markings/sec, 25 secs
lola: 1082935 markings, 1383644 edges, 29658 markings/sec, 30 secs
lola: 1237764 markings, 1584305 edges, 30966 markings/sec, 35 secs
lola: 1393297 markings, 1783253 edges, 31107 markings/sec, 40 secs
lola: 1547246 markings, 1978298 edges, 30790 markings/sec, 45 secs
lola: 1701402 markings, 2172980 edges, 30831 markings/sec, 50 secs
lola: 1855427 markings, 2370107 edges, 30805 markings/sec, 55 secs
lola: 2009190 markings, 2568955 edges, 30753 markings/sec, 60 secs
lola: 2163173 markings, 2768867 edges, 30797 markings/sec, 65 secs
lola: 2317177 markings, 2968599 edges, 30801 markings/sec, 70 secs
lola: 2470183 markings, 3164488 edges, 30601 markings/sec, 75 secs
lola: 2623571 markings, 3359802 edges, 30678 markings/sec, 80 secs
lola: 2775926 markings, 3554808 edges, 30471 markings/sec, 85 secs
lola: 2927816 markings, 3748594 edges, 30378 markings/sec, 90 secs
lola: 3079711 markings, 3945274 edges, 30379 markings/sec, 95 secs
lola: 3231934 markings, 4142234 edges, 30445 markings/sec, 100 secs
lola: 3385097 markings, 4340306 edges, 30633 markings/sec, 105 secs
lola: 3536912 markings, 4535910 edges, 30363 markings/sec, 110 secs
lola: 3689889 markings, 4735388 edges, 30595 markings/sec, 115 secs
lola: 3842292 markings, 4932660 edges, 30481 markings/sec, 120 secs
lola: 3994157 markings, 5130151 edges, 30373 markings/sec, 125 secs
lola: 4148574 markings, 5326720 edges, 30883 markings/sec, 130 secs
lola: 4301745 markings, 5525098 edges, 30634 markings/sec, 135 secs
lola: 4451839 markings, 5722459 edges, 30019 markings/sec, 140 secs
lola: 4603720 markings, 5919837 edges, 30376 markings/sec, 145 secs
lola: 4756175 markings, 6118983 edges, 30491 markings/sec, 150 secs
lola: 4908770 markings, 6317705 edges, 30519 markings/sec, 155 secs
lola: 5061649 markings, 6515125 edges, 30576 markings/sec, 160 secs
lola: 5213345 markings, 6711089 edges, 30339 markings/sec, 165 secs
lola: 5364165 markings, 6906971 edges, 30164 markings/sec, 170 secs
lola: 5514832 markings, 7100220 edges, 30133 markings/sec, 175 secs
lola: 5667278 markings, 7297941 edges, 30489 markings/sec, 180 secs
lola: 5817904 markings, 7494629 edges, 30125 markings/sec, 185 secs
lola: 5968928 markings, 7690831 edges, 30205 markings/sec, 190 secs
lola: 6119909 markings, 7888235 edges, 30196 markings/sec, 195 secs
lola: 6270937 markings, 8085769 edges, 30206 markings/sec, 200 secs
lola: 6420145 markings, 8279664 edges, 29842 markings/sec, 205 secs
lola: 6572390 markings, 8476879 edges, 30449 markings/sec, 210 secs
lola: 6730768 markings, 8677601 edges, 31676 markings/sec, 215 secs
lola: 6887095 markings, 8875926 edges, 31265 markings/sec, 220 secs
lola: 7042428 markings, 9074908 edges, 31067 markings/sec, 225 secs
lola: 7197324 markings, 9273739 edges, 30979 markings/sec, 230 secs
lola: 7350910 markings, 9470268 edges, 30717 markings/sec, 235 secs
lola: 7505152 markings, 9667706 edges, 30848 markings/sec, 240 secs
lola: 7659478 markings, 9865627 edges, 30865 markings/sec, 245 secs
lola: 7812879 markings, 10062221 edges, 30680 markings/sec, 250 secs
lola: 7966399 markings, 10256821 edges, 30704 markings/sec, 255 secs
lola: 8119433 markings, 10452962 edges, 30607 markings/sec, 260 secs
lola: 8272962 markings, 10650756 edges, 30706 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (X (A (F ((1 <= p2603))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(A(TRUE U (1 <= p2603))))
lola: processed formula length: 31
lola: 8 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 161 markings, 161 edges
lola: ========================================
lola: subprocess 6 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((p4205 <= 2) AND (2 <= p3773) AND ((p1265 <= p2574) OR ((p1526 + 1 <= p4454) AND (p258 <= 1))))))
lola: processed formula length: 112
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 917 markings, 917 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((p3875 <= p506)) U NOT(E(TRUE U (p2870 <= 1))))
lola: processed formula length: 52
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 162 markings, 324 edges
lola: ========================================
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(NOT(E(TRUE U (p350 <= 1))) U NOT(A(TRUE U (p3446 + 1 <= p3745))))
lola: processed formula length: 67
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1503 edges
lola: ========================================
lola: subprocess 9 will run for 427 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
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: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-9.sara.
lola: sara is running 0 secs || 18070 markings, 20676 edges, 3614 markings/sec, 0 secs
lola: sara is running 5 secs || 37607 markings, 42908 edges, 3907 markings/sec, 5 secs
lola: sara is running 10 secs || 57435 markings, 65341 edges, 3966 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 77064 markings, 87770 edges, 3926 markings/sec, 15 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 10 will run for 495 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G ((p3850 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
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: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-10.sara.
lola: sara is running 0 secs || 41225 markings, 48447 edges, 8245 markings/sec, 0 secs
lola: sara is running 5 secs || 79878 markings, 93992 edges, 7731 markings/sec, 5 secs
lola: sara is running 10 secs || 118291 markings, 139221 edges, 7683 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 156262 markings, 183977 edges, 7594 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 11 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((p4638 <= p3553)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((p4638 <= p3553))
lola: processed formula length: 20
lola: 10 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p2922 + 1 <= p2911)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula length: 28
lola: 9 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 24 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1455 markings, 1455 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula length: 37
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 54764 markings, 63163 edges, 10953 markings/sec, 0 secs
lola: 115238 markings, 133117 edges, 12095 markings/sec, 5 secs
lola: 170366 markings, 196459 edges, 11026 markings/sec, 10 secs
lola: 230523 markings, 266086 edges, 12031 markings/sec, 15 secs
lola: 291046 markings, 336116 edges, 12105 markings/sec, 20 secs
lola: 354561 markings, 409664 edges, 12703 markings/sec, 25 secs
lola: 418447 markings, 483413 edges, 12777 markings/sec, 30 secs
lola: 470141 markings, 542374 edges, 10339 markings/sec, 35 secs
lola: 526109 markings, 606500 edges, 11194 markings/sec, 40 secs
lola: 579877 markings, 668335 edges, 10754 markings/sec, 45 secs
lola: 637523 markings, 734709 edges, 11529 markings/sec, 50 secs
lola: 691786 markings, 796853 edges, 10853 markings/sec, 55 secs
lola: 747723 markings, 860943 edges, 11187 markings/sec, 60 secs
lola: 804740 markings, 926540 edges, 11403 markings/sec, 65 secs
lola: 874908 markings, 1010096 edges, 14034 markings/sec, 70 secs
lola: 945311 markings, 1093773 edges, 14081 markings/sec, 75 secs
lola: 1004516 markings, 1161977 edges, 11841 markings/sec, 80 secs
lola: 1062692 markings, 1229151 edges, 11635 markings/sec, 85 secs
lola: 1126088 markings, 1302391 edges, 12679 markings/sec, 90 secs
lola: 1177450 markings, 1361006 edges, 10272 markings/sec, 95 secs
lola: 1231793 markings, 1423358 edges, 10869 markings/sec, 100 secs
lola: 1292635 markings, 1493440 edges, 12168 markings/sec, 105 secs
lola: 1352266 markings, 1562016 edges, 11926 markings/sec, 110 secs
lola: 1409193 markings, 1627569 edges, 11385 markings/sec, 115 secs
lola: 1466862 markings, 1693974 edges, 11534 markings/sec, 120 secs
lola: 1525464 markings, 1761688 edges, 11720 markings/sec, 125 secs
lola: 1585687 markings, 1830998 edges, 12045 markings/sec, 130 secs
lola: 1644259 markings, 1898524 edges, 11714 markings/sec, 135 secs
lola: 1703692 markings, 1967252 edges, 11887 markings/sec, 140 secs
lola: 1773833 markings, 2050520 edges, 14028 markings/sec, 145 secs
lola: 1829706 markings, 2114846 edges, 11175 markings/sec, 150 secs
lola: 1885209 markings, 2178613 edges, 11101 markings/sec, 155 secs
lola: 1946686 markings, 2249409 edges, 12295 markings/sec, 160 secs
lola: 2004480 markings, 2315825 edges, 11559 markings/sec, 165 secs
lola: 2064567 markings, 2384958 edges, 12017 markings/sec, 170 secs
lola: 2122579 markings, 2451437 edges, 11602 markings/sec, 175 secs
lola: 2180027 markings, 2517703 edges, 11490 markings/sec, 180 secs
lola: 2237713 markings, 2584038 edges, 11537 markings/sec, 185 secs
lola: 2297836 markings, 2653531 edges, 12025 markings/sec, 190 secs
lola: 2356010 markings, 2720436 edges, 11635 markings/sec, 195 secs
lola: 2419398 markings, 2793706 edges, 12678 markings/sec, 200 secs
lola: 2476666 markings, 2859751 edges, 11454 markings/sec, 205 secs
lola: 2538791 markings, 2931632 edges, 12425 markings/sec, 210 secs
lola: 2598947 markings, 3001027 edges, 12031 markings/sec, 215 secs
lola: 2655042 markings, 3065620 edges, 11219 markings/sec, 220 secs
lola: 2713956 markings, 3133716 edges, 11783 markings/sec, 225 secs
lola: 2771632 markings, 3200458 edges, 11535 markings/sec, 230 secs
lola: 2831283 markings, 3269386 edges, 11930 markings/sec, 235 secs
lola: 2890130 markings, 3337547 edges, 11769 markings/sec, 240 secs
lola: 2948557 markings, 3405095 edges, 11685 markings/sec, 245 secs
lola: 3009241 markings, 3475389 edges, 12137 markings/sec, 250 secs
lola: 3068435 markings, 3543677 edges, 11839 markings/sec, 255 secs
lola: 3127671 markings, 3612171 edges, 11847 markings/sec, 260 secs
lola: 3189388 markings, 3683470 edges, 12343 markings/sec, 265 secs
lola: 3246912 markings, 3749812 edges, 11505 markings/sec, 270 secs
lola: 3307073 markings, 3819253 edges, 12032 markings/sec, 275 secs
lola: 3366272 markings, 3887555 edges, 11840 markings/sec, 280 secs
lola: 3428716 markings, 3960005 edges, 12489 markings/sec, 285 secs
lola: 3488753 markings, 4029266 edges, 12007 markings/sec, 290 secs
lola: 3549342 markings, 4099168 edges, 12118 markings/sec, 295 secs
lola: 3609884 markings, 4169215 edges, 12108 markings/sec, 300 secs
lola: 3665643 markings, 4233636 edges, 11152 markings/sec, 305 secs
lola: 3725996 markings, 4303391 edges, 12071 markings/sec, 310 secs
lola: 3786779 markings, 4373650 edges, 12157 markings/sec, 315 secs
lola: 3846747 markings, 4442894 edges, 11994 markings/sec, 320 secs
lola: 3904214 markings, 4509417 edges, 11493 markings/sec, 325 secs
lola: 3966004 markings, 4581025 edges, 12358 markings/sec, 330 secs
lola: 4029199 markings, 4654128 edges, 12639 markings/sec, 335 secs
lola: 4092581 markings, 4727475 edges, 12676 markings/sec, 340 secs
lola: 4151587 markings, 4795639 edges, 11801 markings/sec, 345 secs
lola: 4212866 markings, 4866426 edges, 12256 markings/sec, 350 secs
lola: 4275210 markings, 4938715 edges, 12469 markings/sec, 355 secs
lola: 4330098 markings, 5002086 edges, 10978 markings/sec, 360 secs
lola: 4390968 markings, 5072669 edges, 12174 markings/sec, 365 secs
lola: 4453810 markings, 5145407 edges, 12568 markings/sec, 370 secs
lola: 4515206 markings, 5216520 edges, 12279 markings/sec, 375 secs
lola: 4575009 markings, 5285695 edges, 11961 markings/sec, 380 secs
lola: 4638540 markings, 5359182 edges, 12706 markings/sec, 385 secs
lola: 4700944 markings, 5431816 edges, 12481 markings/sec, 390 secs
lola: 4764588 markings, 5505705 edges, 12729 markings/sec, 395 secs
lola: 4823449 markings, 5573530 edges, 11772 markings/sec, 400 secs
lola: 4883602 markings, 5642970 edges, 12031 markings/sec, 405 secs
lola: 4946337 markings, 5715613 edges, 12547 markings/sec, 410 secs
lola: 5007974 markings, 5786991 edges, 12327 markings/sec, 415 secs
lola: 5064300 markings, 5851912 edges, 11265 markings/sec, 420 secs
lola: 5125251 markings, 5922147 edges, 12190 markings/sec, 425 secs
lola: 5185173 markings, 5991144 edges, 11984 markings/sec, 430 secs
lola: 5239010 markings, 6053240 edges, 10767 markings/sec, 435 secs
lola: 5297749 markings, 6121253 edges, 11748 markings/sec, 440 secs
lola: 5360266 markings, 6193605 edges, 12503 markings/sec, 445 secs
lola: 5421194 markings, 6264190 edges, 12186 markings/sec, 450 secs
lola: 5482422 markings, 6335103 edges, 12246 markings/sec, 455 secs
lola: 5543007 markings, 6405472 edges, 12117 markings/sec, 460 secs
lola: 5605242 markings, 6477655 edges, 12447 markings/sec, 465 secs
lola: 5665929 markings, 6548071 edges, 12137 markings/sec, 470 secs
lola: 5731692 markings, 6624624 edges, 13153 markings/sec, 475 secs
lola: 5793281 markings, 6695955 edges, 12318 markings/sec, 480 secs
lola: 5852329 markings, 6764272 edges, 11810 markings/sec, 485 secs
lola: 5915108 markings, 6836745 edges, 12556 markings/sec, 490 secs
lola: 5974841 markings, 6905896 edges, 11947 markings/sec, 495 secs
lola: 6031542 markings, 6971017 edges, 11340 markings/sec, 500 secs
lola: 6093982 markings, 7043463 edges, 12488 markings/sec, 505 secs
lola: 6155342 markings, 7114440 edges, 12272 markings/sec, 510 secs
lola: 6218651 markings, 7188036 edges, 12662 markings/sec, 515 secs
lola: 6280770 markings, 7260083 edges, 12424 markings/sec, 520 secs
lola: 6355135 markings, 7348673 edges, 14873 markings/sec, 525 secs
lola: 6414259 markings, 7417412 edges, 11825 markings/sec, 530 secs
lola: 6470772 markings, 7482608 edges, 11303 markings/sec, 535 secs
lola: 6527811 markings, 7548452 edges, 11408 markings/sec, 540 secs
lola: 6586842 markings, 7616772 edges, 11806 markings/sec, 545 secs
lola: 6644874 markings, 7684003 edges, 11606 markings/sec, 550 secs
lola: 6707582 markings, 7756482 edges, 12542 markings/sec, 555 secs
lola: 6768906 markings, 7827443 edges, 12265 markings/sec, 560 secs
lola: 6832389 markings, 7901218 edges, 12697 markings/sec, 565 secs
lola: 6889986 markings, 7968023 edges, 11519 markings/sec, 570 secs
lola: 6948892 markings, 8036260 edges, 11781 markings/sec, 575 secs
lola: 7013450 markings, 8111377 edges, 12912 markings/sec, 580 secs
lola: 7074650 markings, 8182263 edges, 12240 markings/sec, 585 secs
lola: 7136499 markings, 8254351 edges, 12370 markings/sec, 590 secs
lola: 7199079 markings, 8326849 edges, 12516 markings/sec, 595 secs
lola: 7263093 markings, 8401155 edges, 12803 markings/sec, 600 secs
lola: 7320272 markings, 8467190 edges, 11436 markings/sec, 605 secs
lola: 7385214 markings, 8543109 edges, 12988 markings/sec, 610 secs
lola: 7443961 markings, 8611104 edges, 11749 markings/sec, 615 secs
lola: 7507922 markings, 8685709 edges, 12792 markings/sec, 620 secs
lola: 7570603 markings, 8758209 edges, 12536 markings/sec, 625 secs
lola: 7632706 markings, 8830149 edges, 12421 markings/sec, 630 secs
lola: 7695168 markings, 8902668 edges, 12492 markings/sec, 635 secs
lola: 7755690 markings, 8972811 edges, 12104 markings/sec, 640 secs
lola: 7814596 markings, 9040914 edges, 11781 markings/sec, 645 secs
lola: 7868042 markings, 9102769 edges, 10689 markings/sec, 650 secs
lola: 7928211 markings, 9172863 edges, 12034 markings/sec, 655 secs
lola: 7987442 markings, 9241446 edges, 11846 markings/sec, 660 secs
lola: 8050798 markings, 9315022 edges, 12671 markings/sec, 665 secs
lola: 8114804 markings, 9389241 edges, 12801 markings/sec, 670 secs
lola: 8167006 markings, 9449435 edges, 10440 markings/sec, 675 secs
lola: 8218130 markings, 9508338 edges, 10225 markings/sec, 680 secs
lola: 8277039 markings, 9576345 edges, 11782 markings/sec, 685 secs
lola: 8339122 markings, 9648236 edges, 12417 markings/sec, 690 secs
lola: 8401717 markings, 9720873 edges, 12519 markings/sec, 695 secs
lola: 8462034 markings, 9790476 edges, 12063 markings/sec, 700 secs
lola: 8530530 markings, 9871207 edges, 13699 markings/sec, 705 secs
lola: 8592256 markings, 9942975 edges, 12345 markings/sec, 710 secs
lola: 8648693 markings, 10008120 edges, 11287 markings/sec, 715 secs
lola: 8711946 markings, 10081850 edges, 12651 markings/sec, 720 secs
lola: 8772189 markings, 10151557 edges, 12049 markings/sec, 725 secs
lola: 8831489 markings, 10219950 edges, 11860 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((3 <= p3375)) U NOT(E(TRUE U (p4825 + 1 <= p3575))))
lola: processed formula length: 57
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 199472 markings, 252157 edges, 3689329903141912576 markings/sec, 0 secs
lola: 403182 markings, 511712 edges, 40742 markings/sec, 5 secs
lola: 607131 markings, 774049 edges, 40790 markings/sec, 10 secs
lola: 810960 markings, 1034260 edges, 40766 markings/sec, 15 secs
lola: 1009691 markings, 1290542 edges, 39746 markings/sec, 20 secs
lola: 1210915 markings, 1549539 edges, 40245 markings/sec, 25 secs
lola: 1413401 markings, 1808738 edges, 40497 markings/sec, 30 secs
lola: 1614193 markings, 2063023 edges, 40158 markings/sec, 35 secs
lola: 1813894 markings, 2317082 edges, 39940 markings/sec, 40 secs
lola: 2014638 markings, 2576335 edges, 40149 markings/sec, 45 secs
lola: 2215539 markings, 2835943 edges, 40180 markings/sec, 50 secs
lola: 2412790 markings, 3091265 edges, 39450 markings/sec, 55 secs
lola: 2612804 markings, 3346227 edges, 40003 markings/sec, 60 secs
lola: 2810698 markings, 3599216 edges, 39579 markings/sec, 65 secs
lola: 3007108 markings, 3850926 edges, 39282 markings/sec, 70 secs
lola: 3204048 markings, 4106160 edges, 39388 markings/sec, 75 secs
lola: 3402104 markings, 4362564 edges, 39611 markings/sec, 80 secs
lola: 3598882 markings, 4617805 edges, 39356 markings/sec, 85 secs
lola: 3796305 markings, 4873652 edges, 39485 markings/sec, 90 secs
lola: 3993228 markings, 5128988 edges, 39385 markings/sec, 95 secs
lola: 4194123 markings, 5386556 edges, 40179 markings/sec, 100 secs
lola: 4391005 markings, 5640455 edges, 39376 markings/sec, 105 secs
lola: 4585899 markings, 5896304 edges, 38979 markings/sec, 110 secs
lola: 4783851 markings, 6153981 edges, 39590 markings/sec, 115 secs
lola: 4980994 markings, 6412196 edges, 39429 markings/sec, 120 secs
lola: 5177482 markings, 6665792 edges, 39298 markings/sec, 125 secs
lola: 5373602 markings, 6918973 edges, 39224 markings/sec, 130 secs
lola: 5569178 markings, 7170403 edges, 39115 markings/sec, 135 secs
lola: 5764295 markings, 7424127 edges, 39023 markings/sec, 140 secs
lola: 5958832 markings, 7677568 edges, 38907 markings/sec, 145 secs
lola: 6154092 markings, 7932140 edges, 39052 markings/sec, 150 secs
lola: 6347981 markings, 8185263 edges, 38778 markings/sec, 155 secs
lola: 6541602 markings, 8437383 edges, 38724 markings/sec, 160 secs
lola: 6748072 markings, 8699980 edges, 41294 markings/sec, 165 secs
lola: 6952030 markings, 8958679 edges, 40792 markings/sec, 170 secs
lola: 7153929 markings, 9218570 edges, 40380 markings/sec, 175 secs
lola: 7354755 markings, 9475269 edges, 40165 markings/sec, 180 secs
lola: 7556352 markings, 9733479 edges, 40319 markings/sec, 185 secs
lola: 7757061 markings, 9990885 edges, 40142 markings/sec, 190 secs
lola: 7956792 markings, 10244176 edges, 39946 markings/sec, 195 secs
lola: 8156171 markings, 10500232 edges, 39876 markings/sec, 200 secs
lola: 8355471 markings, 10756905 edges, 39860 markings/sec, 205 secs
lola: 8554162 markings, 11013689 edges, 39738 markings/sec, 210 secs
lola: 8753154 markings, 11266813 edges, 39798 markings/sec, 215 secs
lola: 8950957 markings, 11522218 edges, 39561 markings/sec, 220 secs
lola: 9148079 markings, 11775057 edges, 39424 markings/sec, 225 secs
lola: 9346996 markings, 12028726 edges, 39783 markings/sec, 230 secs
lola: 9543178 markings, 12281738 edges, 39236 markings/sec, 235 secs
lola: 9741921 markings, 12535829 edges, 39749 markings/sec, 240 secs
lola: 9936394 markings, 12787320 edges, 38895 markings/sec, 245 secs
lola: 10134623 markings, 13044447 edges, 39646 markings/sec, 250 secs
lola: 10332722 markings, 13298925 edges, 39620 markings/sec, 255 secs
lola: 10532471 markings, 13555972 edges, 39950 markings/sec, 260 secs
lola: 10730832 markings, 13810907 edges, 39672 markings/sec, 265 secs
lola: 10926900 markings, 14066723 edges, 39214 markings/sec, 270 secs
lola: 11121547 markings, 14323560 edges, 38929 markings/sec, 275 secs
lola: 11318555 markings, 14579765 edges, 39402 markings/sec, 280 secs
lola: 11515237 markings, 14834034 edges, 39336 markings/sec, 285 secs
lola: 11710590 markings, 15086022 edges, 39071 markings/sec, 290 secs
lola: 11904452 markings, 15335967 edges, 38772 markings/sec, 295 secs
lola: 12101313 markings, 15591658 edges, 39372 markings/sec, 300 secs
lola: 12296629 markings, 15844471 edges, 39063 markings/sec, 305 secs
lola: 12492286 markings, 16096260 edges, 39131 markings/sec, 310 secs
lola: 12685775 markings, 16349486 edges, 38698 markings/sec, 315 secs
lola: 12878292 markings, 16600751 edges, 38503 markings/sec, 320 secs
lola: 13073196 markings, 16854165 edges, 38981 markings/sec, 325 secs
lola: 13268606 markings, 17109146 edges, 39082 markings/sec, 330 secs
lola: 13459665 markings, 17361661 edges, 38212 markings/sec, 335 secs
lola: 13660688 markings, 17618941 edges, 40205 markings/sec, 340 secs
lola: 13862385 markings, 17878412 edges, 40339 markings/sec, 345 secs
lola: 14062863 markings, 18135028 edges, 40096 markings/sec, 350 secs
lola: 14261971 markings, 18390018 edges, 39822 markings/sec, 355 secs
lola: 14461624 markings, 18646393 edges, 39931 markings/sec, 360 secs
lola: 14660457 markings, 18902663 edges, 39767 markings/sec, 365 secs
lola: 14856590 markings, 19160641 edges, 39227 markings/sec, 370 secs
lola: 15053703 markings, 19413200 edges, 39423 markings/sec, 375 secs
lola: 15250869 markings, 19668222 edges, 39433 markings/sec, 380 secs
lola: 15446793 markings, 19923628 edges, 39185 markings/sec, 385 secs
lola: 15644281 markings, 20179167 edges, 39498 markings/sec, 390 secs
lola: 15842192 markings, 20429498 edges, 39582 markings/sec, 395 secs
lola: 16038036 markings, 20677507 edges, 39169 markings/sec, 400 secs
lola: 16234536 markings, 20929919 edges, 39300 markings/sec, 405 secs
lola: 16432389 markings, 21184471 edges, 39571 markings/sec, 410 secs
lola: 16629243 markings, 21437336 edges, 39371 markings/sec, 415 secs
lola: 16826567 markings, 21688895 edges, 39465 markings/sec, 420 secs
lola: 17031667 markings, 21949408 edges, 41020 markings/sec, 425 secs
lola: 17236232 markings, 22208136 edges, 40913 markings/sec, 430 secs
lola: 17438268 markings, 22468272 edges, 40407 markings/sec, 435 secs
lola: 17638808 markings, 22724954 edges, 40108 markings/sec, 440 secs
lola: 17839600 markings, 22981632 edges, 40158 markings/sec, 445 secs
lola: 18040034 markings, 23239155 edges, 40087 markings/sec, 450 secs
lola: 18239902 markings, 23493115 edges, 39974 markings/sec, 455 secs
lola: 18438000 markings, 23745300 edges, 39620 markings/sec, 460 secs
lola: 18638457 markings, 24001100 edges, 40091 markings/sec, 465 secs
lola: 18837381 markings, 24256402 edges, 39785 markings/sec, 470 secs
lola: 19035351 markings, 24511713 edges, 39594 markings/sec, 475 secs
lola: 19233299 markings, 24768078 edges, 39590 markings/sec, 480 secs
lola: 19432159 markings, 25022013 edges, 39772 markings/sec, 485 secs
lola: 19628751 markings, 25273769 edges, 39318 markings/sec, 490 secs
lola: 19825241 markings, 25530267 edges, 39298 markings/sec, 495 secs
lola: 20022974 markings, 25785372 edges, 39547 markings/sec, 500 secs
lola: 20218727 markings, 26037829 edges, 39151 markings/sec, 505 secs
lola: 20414776 markings, 26290308 edges, 39210 markings/sec, 510 secs
lola: 20612327 markings, 26544825 edges, 39510 markings/sec, 515 secs
lola: 20807987 markings, 26795849 edges, 39132 markings/sec, 520 secs
lola: 21006390 markings, 27051704 edges, 39681 markings/sec, 525 secs
lola: 21201836 markings, 27302726 edges, 39089 markings/sec, 530 secs
lola: 21395931 markings, 27553389 edges, 38819 markings/sec, 535 secs
lola: 21590435 markings, 27808400 edges, 38901 markings/sec, 540 secs
lola: 21784850 markings, 28063834 edges, 38883 markings/sec, 545 secs
lola: 21978939 markings, 28317090 edges, 38818 markings/sec, 550 secs
lola: 22173969 markings, 28570148 edges, 39006 markings/sec, 555 secs
lola: 22369006 markings, 28822955 edges, 39007 markings/sec, 560 secs
lola: 22569445 markings, 29079597 edges, 40088 markings/sec, 565 secs
lola: 22769500 markings, 29336221 edges, 40011 markings/sec, 570 secs
lola: 22970435 markings, 29594110 edges, 40187 markings/sec, 575 secs
lola: 23168393 markings, 29852543 edges, 39592 markings/sec, 580 secs
lola: 23366028 markings, 30108943 edges, 39527 markings/sec, 585 secs
lola: 23562733 markings, 30360993 edges, 39341 markings/sec, 590 secs
lola: 23759675 markings, 30613664 edges, 39388 markings/sec, 595 secs
lola: 23957174 markings, 30868144 edges, 39500 markings/sec, 600 secs
lola: 24153129 markings, 31122181 edges, 39191 markings/sec, 605 secs
lola: 24350460 markings, 31372112 edges, 39466 markings/sec, 610 secs
lola: 24546129 markings, 31625185 edges, 39134 markings/sec, 615 secs
lola: 24741629 markings, 31874898 edges, 39100 markings/sec, 620 secs
lola: 24936126 markings, 32124487 edges, 38899 markings/sec, 625 secs
lola: 25131709 markings, 32373689 edges, 39117 markings/sec, 630 secs
lola: 25326775 markings, 32622510 edges, 39013 markings/sec, 635 secs
lola: 25522692 markings, 32874190 edges, 39183 markings/sec, 640 secs
lola: 25717978 markings, 33128702 edges, 39057 markings/sec, 645 secs
lola: 25910816 markings, 33380930 edges, 38568 markings/sec, 650 secs
lola: 26105008 markings, 33630235 edges, 38838 markings/sec, 655 secs
lola: 26300776 markings, 33881368 edges, 39154 markings/sec, 660 secs
lola: 26495055 markings, 34132523 edges, 38856 markings/sec, 665 secs
lola: 26689961 markings, 34384641 edges, 38981 markings/sec, 670 secs
lola: 26889050 markings, 34639025 edges, 39818 markings/sec, 675 secs
lola: 27083072 markings, 34888546 edges, 38804 markings/sec, 680 secs
lola: 27277509 markings, 35138211 edges, 38887 markings/sec, 685 secs
lola: 27470772 markings, 35388987 edges, 38653 markings/sec, 690 secs
lola: 27664607 markings, 35640057 edges, 38767 markings/sec, 695 secs
lola: 27858441 markings, 35890120 edges, 38767 markings/sec, 700 secs
lola: 28053710 markings, 36144311 edges, 39054 markings/sec, 705 secs
lola: 28249222 markings, 36397348 edges, 39102 markings/sec, 710 secs
lola: 28444466 markings, 36646575 edges, 39049 markings/sec, 715 secs
lola: 28637804 markings, 36896099 edges, 38668 markings/sec, 720 secs
lola: 28833560 markings, 37149530 edges, 39151 markings/sec, 725 secs
lola: 29026473 markings, 37400242 edges, 38583 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 738 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(E(TRUE U (p3244 <= p209)) U NOT(E(TRUE U (p59 + 1 <= p991))))
lola: processed formula length: 63
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 216316 markings, 253205 edges, 3689329903141912576 markings/sec, 0 secs
lola: 442122 markings, 520576 edges, 45161 markings/sec, 5 secs
lola: 669743 markings, 789285 edges, 45524 markings/sec, 10 secs
lola: 894520 markings, 1057738 edges, 44955 markings/sec, 15 secs
lola: 1120684 markings, 1328982 edges, 45233 markings/sec, 20 secs
lola: 1346093 markings, 1601912 edges, 45082 markings/sec, 25 secs
lola: 1565157 markings, 1865082 edges, 43813 markings/sec, 30 secs
lola: 1786440 markings, 2131219 edges, 44257 markings/sec, 35 secs
lola: 2005441 markings, 2396661 edges, 43800 markings/sec, 40 secs
lola: 2228500 markings, 2667848 edges, 44612 markings/sec, 45 secs
lola: 2446796 markings, 2940054 edges, 43659 markings/sec, 50 secs
lola: 2672426 markings, 3211444 edges, 45126 markings/sec, 55 secs
lola: 2898320 markings, 3481608 edges, 45179 markings/sec, 60 secs
lola: 3121230 markings, 3748952 edges, 44582 markings/sec, 65 secs
lola: 3345083 markings, 4017569 edges, 44771 markings/sec, 70 secs
lola: 3562923 markings, 4286131 edges, 43568 markings/sec, 75 secs
lola: 3779899 markings, 4550210 edges, 43395 markings/sec, 80 secs
lola: 4000215 markings, 4816105 edges, 44063 markings/sec, 85 secs
lola: 4222146 markings, 5085994 edges, 44386 markings/sec, 90 secs
lola: 4436940 markings, 5345779 edges, 42959 markings/sec, 95 secs
lola: 4658712 markings, 5615130 edges, 44354 markings/sec, 100 secs
lola: 4878267 markings, 5883508 edges, 43911 markings/sec, 105 secs
lola: 5094177 markings, 6153433 edges, 43182 markings/sec, 110 secs
lola: 5309531 markings, 6422433 edges, 43071 markings/sec, 115 secs
lola: 5525237 markings, 6691715 edges, 43141 markings/sec, 120 secs
lola: 5737657 markings, 6958313 edges, 42484 markings/sec, 125 secs
lola: 5951280 markings, 7225913 edges, 42725 markings/sec, 130 secs
lola: 6170766 markings, 7494512 edges, 43897 markings/sec, 135 secs
lola: 6383846 markings, 7763449 edges, 42616 markings/sec, 140 secs
lola: 6598922 markings, 8032288 edges, 43015 markings/sec, 145 secs
lola: 6814198 markings, 8299833 edges, 43055 markings/sec, 150 secs
lola: 7026051 markings, 8567831 edges, 42371 markings/sec, 155 secs
lola: 7238111 markings, 8834963 edges, 42412 markings/sec, 160 secs
lola: 7451974 markings, 9102602 edges, 42773 markings/sec, 165 secs
lola: 7668619 markings, 9369320 edges, 43329 markings/sec, 170 secs
lola: 7881715 markings, 9635128 edges, 42619 markings/sec, 175 secs
lola: 8097231 markings, 9903628 edges, 43103 markings/sec, 180 secs
lola: 8308697 markings, 10171058 edges, 42293 markings/sec, 185 secs
lola: 8519384 markings, 10436194 edges, 42137 markings/sec, 190 secs
lola: 8731667 markings, 10703235 edges, 42457 markings/sec, 195 secs
lola: 8943012 markings, 10968864 edges, 42269 markings/sec, 200 secs
lola: 9153914 markings, 11235551 edges, 42180 markings/sec, 205 secs
lola: 9361847 markings, 11501246 edges, 41587 markings/sec, 210 secs
lola: 9580897 markings, 11770184 edges, 43810 markings/sec, 215 secs
lola: 9790173 markings, 12036321 edges, 41855 markings/sec, 220 secs
lola: 10006138 markings, 12302076 edges, 43193 markings/sec, 225 secs
lola: 10215383 markings, 12564433 edges, 41849 markings/sec, 230 secs
lola: 10422204 markings, 12823258 edges, 41364 markings/sec, 235 secs
lola: 10628397 markings, 13084481 edges, 41239 markings/sec, 240 secs
lola: 10856546 markings, 13354825 edges, 45630 markings/sec, 245 secs
lola: 11067741 markings, 13619262 edges, 42239 markings/sec, 250 secs
lola: 11277070 markings, 13884659 edges, 41866 markings/sec, 255 secs
lola: 11484967 markings, 14146658 edges, 41579 markings/sec, 260 secs
lola: 11691202 markings, 14410001 edges, 41247 markings/sec, 265 secs
lola: 11896616 markings, 14671398 edges, 41083 markings/sec, 270 secs
lola: 12110690 markings, 14937321 edges, 42815 markings/sec, 275 secs
lola: 12320511 markings, 15195845 edges, 41964 markings/sec, 280 secs
lola: 12531147 markings, 15458367 edges, 42127 markings/sec, 285 secs
lola: 12744431 markings, 15720622 edges, 42657 markings/sec, 290 secs
lola: 12959074 markings, 15984195 edges, 42929 markings/sec, 295 secs
lola: 13175055 markings, 16247304 edges, 43196 markings/sec, 300 secs
lola: 13398863 markings, 16513713 edges, 44762 markings/sec, 305 secs
lola: 13604474 markings, 16771606 edges, 41122 markings/sec, 310 secs
lola: 13816612 markings, 17034675 edges, 42428 markings/sec, 315 secs
lola: 14025991 markings, 17295610 edges, 41876 markings/sec, 320 secs
lola: 14235079 markings, 17554103 edges, 41818 markings/sec, 325 secs
lola: 14442311 markings, 17814588 edges, 41446 markings/sec, 330 secs
lola: 14659554 markings, 18080322 edges, 43449 markings/sec, 335 secs
lola: 14869370 markings, 18341462 edges, 41963 markings/sec, 340 secs
lola: 15099485 markings, 18615158 edges, 46023 markings/sec, 345 secs
lola: 15323557 markings, 18886501 edges, 44814 markings/sec, 350 secs
lola: 15533805 markings, 19148567 edges, 42050 markings/sec, 355 secs
lola: 15758581 markings, 19416419 edges, 44955 markings/sec, 360 secs
lola: 15982397 markings, 19682999 edges, 44763 markings/sec, 365 secs
lola: 16202913 markings, 19950038 edges, 44103 markings/sec, 370 secs
lola: 16419839 markings, 20215409 edges, 43385 markings/sec, 375 secs
lola: 16637120 markings, 20482853 edges, 43456 markings/sec, 380 secs
lola: 16854504 markings, 20744189 edges, 43477 markings/sec, 385 secs
lola: 17064272 markings, 20999997 edges, 41954 markings/sec, 390 secs
lola: 17278975 markings, 21257557 edges, 42941 markings/sec, 395 secs
lola: 17490356 markings, 21513691 edges, 42276 markings/sec, 400 secs
lola: 17702027 markings, 21769210 edges, 42334 markings/sec, 405 secs
lola: 17915218 markings, 22028165 edges, 42638 markings/sec, 410 secs
lola: 18122169 markings, 22281103 edges, 41390 markings/sec, 415 secs
lola: 18329743 markings, 22536425 edges, 41515 markings/sec, 420 secs
lola: 18539517 markings, 22796280 edges, 41955 markings/sec, 425 secs
lola: 18744680 markings, 23052964 edges, 41033 markings/sec, 430 secs
lola: 18948536 markings, 23307789 edges, 40771 markings/sec, 435 secs
lola: 19156114 markings, 23564905 edges, 41516 markings/sec, 440 secs
lola: 19361570 markings, 23819869 edges, 41091 markings/sec, 445 secs
lola: 19564903 markings, 24076426 edges, 40667 markings/sec, 450 secs
lola: 19781768 markings, 24337773 edges, 43373 markings/sec, 455 secs
lola: 19992973 markings, 24596070 edges, 42241 markings/sec, 460 secs
lola: 20197602 markings, 24853257 edges, 40926 markings/sec, 465 secs
lola: 20404378 markings, 25110860 edges, 41355 markings/sec, 470 secs
lola: 20615765 markings, 25369480 edges, 42277 markings/sec, 475 secs
lola: 20823660 markings, 25626382 edges, 41579 markings/sec, 480 secs
lola: 21032619 markings, 25885487 edges, 41792 markings/sec, 485 secs
lola: 21238212 markings, 26144784 edges, 41119 markings/sec, 490 secs
lola: 21443846 markings, 26400708 edges, 41127 markings/sec, 495 secs
lola: 21651765 markings, 26659523 edges, 41584 markings/sec, 500 secs
lola: 21865406 markings, 26920037 edges, 42728 markings/sec, 505 secs
lola: 22071567 markings, 27178564 edges, 41232 markings/sec, 510 secs
lola: 22275047 markings, 27438831 edges, 40696 markings/sec, 515 secs
lola: 22483668 markings, 27698860 edges, 41724 markings/sec, 520 secs
lola: 22693177 markings, 27960715 edges, 41902 markings/sec, 525 secs
lola: 22900371 markings, 28222096 edges, 41439 markings/sec, 530 secs
lola: 23106822 markings, 28478877 edges, 41290 markings/sec, 535 secs
lola: 23311290 markings, 28738670 edges, 40894 markings/sec, 540 secs
lola: 23516878 markings, 29000546 edges, 41118 markings/sec, 545 secs
lola: 23724171 markings, 29261106 edges, 41459 markings/sec, 550 secs
lola: 23927523 markings, 29518319 edges, 40670 markings/sec, 555 secs
lola: 24130198 markings, 29775051 edges, 40535 markings/sec, 560 secs
lola: 24336104 markings, 30033065 edges, 41181 markings/sec, 565 secs
lola: 24542099 markings, 30293569 edges, 41199 markings/sec, 570 secs
lola: 24749917 markings, 30554014 edges, 41564 markings/sec, 575 secs
lola: 24957382 markings, 30814351 edges, 41493 markings/sec, 580 secs
lola: 25166867 markings, 31074636 edges, 41897 markings/sec, 585 secs
lola: 25374150 markings, 31335825 edges, 41457 markings/sec, 590 secs
lola: 25578979 markings, 31595231 edges, 40966 markings/sec, 595 secs
lola: 25780439 markings, 31854832 edges, 40292 markings/sec, 600 secs
lola: 25986897 markings, 32113254 edges, 41292 markings/sec, 605 secs
lola: 26193645 markings, 32374201 edges, 41350 markings/sec, 610 secs
lola: 26401472 markings, 32636022 edges, 41565 markings/sec, 615 secs
lola: 26603379 markings, 32894272 edges, 40381 markings/sec, 620 secs
lola: 26808139 markings, 33155598 edges, 40952 markings/sec, 625 secs
lola: 27011298 markings, 33413080 edges, 40632 markings/sec, 630 secs
lola: 27216883 markings, 33672797 edges, 41117 markings/sec, 635 secs
lola: 27423790 markings, 33933752 edges, 41381 markings/sec, 640 secs
lola: 27628948 markings, 34194224 edges, 41032 markings/sec, 645 secs
lola: 27827338 markings, 34452514 edges, 39678 markings/sec, 650 secs
lola: 28031517 markings, 34712566 edges, 40836 markings/sec, 655 secs
lola: 28236118 markings, 34972256 edges, 40920 markings/sec, 660 secs
lola: 28439786 markings, 35229316 edges, 40734 markings/sec, 665 secs
lola: 28643715 markings, 35489463 edges, 40786 markings/sec, 670 secs
lola: 28846660 markings, 35748822 edges, 40589 markings/sec, 675 secs
lola: 29050228 markings, 36007795 edges, 40714 markings/sec, 680 secs
lola: 29255573 markings, 36266169 edges, 41069 markings/sec, 685 secs
lola: 29457591 markings, 36522147 edges, 40404 markings/sec, 690 secs
lola: 29660199 markings, 36780668 edges, 40522 markings/sec, 695 secs
lola: 29863364 markings, 37039650 edges, 40633 markings/sec, 700 secs
lola: 30068280 markings, 37297127 edges, 40983 markings/sec, 705 secs
lola: 30268193 markings, 37548549 edges, 39983 markings/sec, 710 secs
lola: 30473561 markings, 37808023 edges, 41074 markings/sec, 715 secs
lola: 30677440 markings, 38068334 edges, 40776 markings/sec, 720 secs
lola: 30880516 markings, 38323315 edges, 40615 markings/sec, 725 secs
lola: 31087999 markings, 38583283 edges, 41497 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p4243 <= p2543) U (2 <= p3322)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p4243 <= p2543) U (2 <= p3322))
lola: processed formula length: 34
lola: 1 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 231665 markings, 265222 edges, 46320 markings/sec, 0 secs
lola: 484620 markings, 557054 edges, 50591 markings/sec, 5 secs
lola: 740529 markings, 852854 edges, 51182 markings/sec, 10 secs
lola: 992755 markings, 1145064 edges, 50445 markings/sec, 15 secs
lola: 1246576 markings, 1439672 edges, 50764 markings/sec, 20 secs
lola: 1494005 markings, 1732064 edges, 49486 markings/sec, 25 secs
lola: 1739975 markings, 2021848 edges, 49194 markings/sec, 30 secs
lola: 1979840 markings, 2306036 edges, 47973 markings/sec, 35 secs
lola: 2219270 markings, 2589955 edges, 47886 markings/sec, 40 secs
lola: 2451721 markings, 2869250 edges, 46490 markings/sec, 45 secs
lola: 2695189 markings, 3160991 edges, 48694 markings/sec, 50 secs
lola: 2938837 markings, 3454635 edges, 48730 markings/sec, 55 secs
lola: 3192986 markings, 3750200 edges, 50830 markings/sec, 60 secs
lola: 3445377 markings, 4041477 edges, 50478 markings/sec, 65 secs
lola: 3688834 markings, 4328553 edges, 48691 markings/sec, 70 secs
lola: 3932910 markings, 4615305 edges, 48815 markings/sec, 75 secs
lola: 4172592 markings, 4901928 edges, 47936 markings/sec, 80 secs
lola: 4412524 markings, 5185379 edges, 47986 markings/sec, 85 secs
lola: 4654497 markings, 5470820 edges, 48395 markings/sec, 90 secs
lola: 4897486 markings, 5759047 edges, 48598 markings/sec, 95 secs
lola: 5145908 markings, 6050886 edges, 49684 markings/sec, 100 secs
lola: 5390791 markings, 6339431 edges, 48977 markings/sec, 105 secs
lola: 5631671 markings, 6627126 edges, 48176 markings/sec, 110 secs
lola: 5868638 markings, 6913751 edges, 47393 markings/sec, 115 secs
lola: 6104912 markings, 7200562 edges, 47255 markings/sec, 120 secs
lola: 6342473 markings, 7488708 edges, 47512 markings/sec, 125 secs
lola: 6576462 markings, 7773672 edges, 46798 markings/sec, 130 secs
lola: 6809929 markings, 8059000 edges, 46693 markings/sec, 135 secs
lola: 7048591 markings, 8346422 edges, 47732 markings/sec, 140 secs
lola: 7287059 markings, 8632342 edges, 47694 markings/sec, 145 secs
lola: 7524300 markings, 8921403 edges, 47448 markings/sec, 150 secs
lola: 7759503 markings, 9207014 edges, 47041 markings/sec, 155 secs
lola: 7991701 markings, 9488932 edges, 46440 markings/sec, 160 secs
lola: 8223102 markings, 9773418 edges, 46280 markings/sec, 165 secs
lola: 8455983 markings, 10058996 edges, 46576 markings/sec, 170 secs
lola: 8693739 markings, 10346196 edges, 47551 markings/sec, 175 secs
lola: 8931074 markings, 10631224 edges, 47467 markings/sec, 180 secs
lola: 9166202 markings, 10915773 edges, 47026 markings/sec, 185 secs
lola: 9404017 markings, 11202219 edges, 47563 markings/sec, 190 secs
lola: 9634738 markings, 11487522 edges, 46144 markings/sec, 195 secs
lola: 9866055 markings, 11771314 edges, 46263 markings/sec, 200 secs
lola: 10100483 markings, 12056893 edges, 46886 markings/sec, 205 secs
lola: 10332308 markings, 12340121 edges, 46365 markings/sec, 210 secs
lola: 10563808 markings, 12624408 edges, 46300 markings/sec, 215 secs
lola: 10795813 markings, 12909905 edges, 46401 markings/sec, 220 secs
lola: 11035309 markings, 13197555 edges, 47899 markings/sec, 225 secs
lola: 11268054 markings, 13483232 edges, 46549 markings/sec, 230 secs
lola: 11502909 markings, 13770029 edges, 46971 markings/sec, 235 secs
lola: 11744422 markings, 14057653 edges, 48303 markings/sec, 240 secs
lola: 11969735 markings, 14336915 edges, 45063 markings/sec, 245 secs
lola: 12199052 markings, 14615568 edges, 45863 markings/sec, 250 secs
lola: 12430402 markings, 14897982 edges, 46270 markings/sec, 255 secs
lola: 12687095 markings, 15191010 edges, 51339 markings/sec, 260 secs
lola: 12913201 markings, 15470579 edges, 45221 markings/sec, 265 secs
lola: 13141679 markings, 15751739 edges, 45696 markings/sec, 270 secs
lola: 13369066 markings, 16029836 edges, 45477 markings/sec, 275 secs
lola: 13594464 markings, 16309454 edges, 45080 markings/sec, 280 secs
lola: 13818493 markings, 16587164 edges, 44806 markings/sec, 285 secs
lola: 14050695 markings, 16869533 edges, 46440 markings/sec, 290 secs
lola: 14284282 markings, 17147913 edges, 46717 markings/sec, 295 secs
lola: 14515641 markings, 17427733 edges, 46272 markings/sec, 300 secs
lola: 14748804 markings, 17706878 edges, 46633 markings/sec, 305 secs
lola: 14985980 markings, 17989317 edges, 47435 markings/sec, 310 secs
lola: 15218335 markings, 18268467 edges, 46471 markings/sec, 315 secs
lola: 15469172 markings, 18560049 edges, 50167 markings/sec, 320 secs
lola: 15706237 markings, 18840593 edges, 47413 markings/sec, 325 secs
lola: 15936887 markings, 19119828 edges, 46130 markings/sec, 330 secs
lola: 16166399 markings, 19397779 edges, 45902 markings/sec, 335 secs
lola: 16396214 markings, 19675921 edges, 45963 markings/sec, 340 secs
lola: 16624950 markings, 19953562 edges, 45747 markings/sec, 345 secs
lola: 16855363 markings, 20232802 edges, 46083 markings/sec, 350 secs
lola: 17094400 markings, 20517013 edges, 47807 markings/sec, 355 secs
lola: 17323931 markings, 20794405 edges, 45906 markings/sec, 360 secs
lola: 17578480 markings, 21088821 edges, 50910 markings/sec, 365 secs
lola: 17826428 markings, 21381987 edges, 49590 markings/sec, 370 secs
lola: 18063059 markings, 21666553 edges, 47326 markings/sec, 375 secs
lola: 18313383 markings, 21959561 edges, 50065 markings/sec, 380 secs
lola: 18563600 markings, 22249724 edges, 50043 markings/sec, 385 secs
lola: 18810282 markings, 22539262 edges, 49336 markings/sec, 390 secs
lola: 19053715 markings, 22827371 edges, 48687 markings/sec, 395 secs
lola: 19293122 markings, 23114064 edges, 47881 markings/sec, 400 secs
lola: 19534178 markings, 23401090 edges, 48211 markings/sec, 405 secs
lola: 19774012 markings, 23679050 edges, 47967 markings/sec, 410 secs
lola: 20007177 markings, 23956663 edges, 46633 markings/sec, 415 secs
lola: 20243937 markings, 24234436 edges, 47352 markings/sec, 420 secs
lola: 20478086 markings, 24510394 edges, 46830 markings/sec, 425 secs
lola: 20712172 markings, 24786495 edges, 46817 markings/sec, 430 secs
lola: 20949687 markings, 25066508 edges, 47503 markings/sec, 435 secs
lola: 21178839 markings, 25339137 edges, 45830 markings/sec, 440 secs
lola: 21408858 markings, 25614151 edges, 46004 markings/sec, 445 secs
lola: 21640606 markings, 25893179 edges, 46350 markings/sec, 450 secs
lola: 21867556 markings, 26169157 edges, 45390 markings/sec, 455 secs
lola: 22092219 markings, 26441851 edges, 44933 markings/sec, 460 secs
lola: 22321012 markings, 26717323 edges, 45759 markings/sec, 465 secs
lola: 22548136 markings, 26992132 edges, 45425 markings/sec, 470 secs
lola: 22774954 markings, 27267652 edges, 45364 markings/sec, 475 secs
lola: 23009243 markings, 27547446 edges, 46858 markings/sec, 480 secs
lola: 23249430 markings, 27830697 edges, 48037 markings/sec, 485 secs
lola: 23477406 markings, 28105998 edges, 45595 markings/sec, 490 secs
lola: 23702552 markings, 28382606 edges, 45029 markings/sec, 495 secs
lola: 23941056 markings, 28665905 edges, 47701 markings/sec, 500 secs
lola: 24177236 markings, 28947780 edges, 47236 markings/sec, 505 secs
lola: 24410461 markings, 29228114 edges, 46645 markings/sec, 510 secs
lola: 24641476 markings, 29509638 edges, 46203 markings/sec, 515 secs
lola: 24869825 markings, 29790696 edges, 45670 markings/sec, 520 secs
lola: 25098774 markings, 30065701 edges, 45790 markings/sec, 525 secs
lola: 25326777 markings, 30342327 edges, 45601 markings/sec, 530 secs
lola: 25564130 markings, 30622847 edges, 47471 markings/sec, 535 secs
lola: 25789243 markings, 30898094 edges, 45023 markings/sec, 540 secs
lola: 26012232 markings, 31175367 edges, 44598 markings/sec, 545 secs
lola: 26241248 markings, 31453495 edges, 45803 markings/sec, 550 secs
lola: 26471447 markings, 31731563 edges, 46040 markings/sec, 555 secs
lola: 26696053 markings, 32008344 edges, 44921 markings/sec, 560 secs
lola: 26923375 markings, 32283343 edges, 45464 markings/sec, 565 secs
lola: 27146443 markings, 32558188 edges, 44614 markings/sec, 570 secs
lola: 27371060 markings, 32834381 edges, 44923 markings/sec, 575 secs
lola: 27599218 markings, 33113455 edges, 45632 markings/sec, 580 secs
lola: 27821426 markings, 33389401 edges, 44442 markings/sec, 585 secs
lola: 28048593 markings, 33665479 edges, 45433 markings/sec, 590 secs
lola: 28276359 markings, 33944323 edges, 45553 markings/sec, 595 secs
lola: 28501837 markings, 34220932 edges, 45096 markings/sec, 600 secs
lola: 28730296 markings, 34498799 edges, 45692 markings/sec, 605 secs
lola: 28959508 markings, 34780257 edges, 45842 markings/sec, 610 secs
lola: 29191565 markings, 35062151 edges, 46411 markings/sec, 615 secs
lola: 29419482 markings, 35339378 edges, 45583 markings/sec, 620 secs
lola: 29649521 markings, 35619885 edges, 46008 markings/sec, 625 secs
lola: 29873654 markings, 35896671 edges, 44827 markings/sec, 630 secs
lola: 30094888 markings, 36172582 edges, 44247 markings/sec, 635 secs
lola: 30321330 markings, 36448417 edges, 45288 markings/sec, 640 secs
lola: 30547340 markings, 36725707 edges, 45202 markings/sec, 645 secs
lola: 30775164 markings, 37004887 edges, 45565 markings/sec, 650 secs
lola: 30996764 markings, 37279073 edges, 44320 markings/sec, 655 secs
lola: 31219001 markings, 37554546 edges, 44447 markings/sec, 660 secs
lola: 31443607 markings, 37830558 edges, 44921 markings/sec, 665 secs
lola: 31666539 markings, 38106401 edges, 44586 markings/sec, 670 secs
lola: 31893474 markings, 38384902 edges, 45387 markings/sec, 675 secs
lola: 32124027 markings, 38665750 edges, 46111 markings/sec, 680 secs
lola: 32339210 markings, 38937493 edges, 43037 markings/sec, 685 secs
lola: 32561642 markings, 39213351 edges, 44486 markings/sec, 690 secs
lola: 32785490 markings, 39491222 edges, 44770 markings/sec, 695 secs
lola: 33007082 markings, 39763608 edges, 44318 markings/sec, 700 secs
lola: 33228443 markings, 40037907 edges, 44272 markings/sec, 705 secs
lola: 33451210 markings, 40312000 edges, 44553 markings/sec, 710 secs
lola: 33676040 markings, 40591625 edges, 44966 markings/sec, 715 secs
lola: 33901532 markings, 40868857 edges, 45098 markings/sec, 720 secs
lola: 34128158 markings, 41146857 edges, 45325 markings/sec, 725 secs
lola: 34353450 markings, 41424516 edges, 45058 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown yes yes no yes yes yes no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes unknown unknown yes yes no yes yes yes no unknown unknown unknown unknown
FORMULA DLCround-PT-13b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
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="CTLCardinality"
export BK_TOOL="mcc4mcc-structural"
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 mcc4mcc-structural"
echo " Input is DLCround-PT-13b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649744000150"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;