About the Execution of LoLA for DNAwalker-PT-08ringLL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3461.600 | 1791220.00 | 1962292.00 | 3973.80 | FFFFTTTFFTTFFFFF | 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 276K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-08ringLL, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400277
=====================================================================
--------------------
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 DNAwalker-PT-08ringLL-CTLFireability-00
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-01
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-02
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-03
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-04
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-05
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-06
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-07
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-08
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-09
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-10
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-11
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-12
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-13
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-14
FORMULA_NAME DNAwalker-PT-08ringLL-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526788506326
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-08ringLL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-08ringLL formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DNAwalker-PT-08ringLL @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-08ringLL-CTLFireability.task
lola: ((FIREABLE(t6_8) AND NOT(((NOT FIREABLE(t3_19) AND NOT FIREABLE(t19_4)) OR E (G (FIREABLE(t20_19)))))) OR NOT(NOT((FIREABLE(t8_6) OR A (F (FIREABLE(t6_8))))))) : E (F (E (F ((FIREABLE(t5_1) AND NOT FIREABLE(t13_8)))))) : E ((FIREABLE(t6_4) U A (F ((FIREABLE(t10_8) OR FIREABLE(t14_16)))))) : A (G (A (F ((FIREABLE(t3_4) AND FIREABLE(t20_2) AND FIREABLE(t16_18)))))) : (NOT(NOT((E (G (FIREABLE(t19_1))) AND (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))))) OR A (F (A (G (NOT FIREABLE(t21_4)))))) : NOT(E (F (((NOT FIREABLE(t10_14) AND NOT FIREABLE(t21_3)) AND A (X (FIREABLE(t2_3))))))) : (E (G (NOT FIREABLE(t11_8))) OR A (F (A (G (FIREABLE(t11_12)))))) : NOT(A (G (NOT(A (G (FIREABLE(t2_9))))))) : (A (((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U E (X (FIREABLE(t15_19))))) OR (A (F (A (F (FIREABLE(t3_18))))) AND ((NOT FIREABLE(t15_13) OR FIREABLE(t13_20)) AND (A (F (FIREABLE(t13_21))) OR FIREABLE(t12_13))))) : (NOT(A (X (E (G (FIREABLE(t13_6)))))) AND NOT(A (F (A (F (FIREABLE(t15_11))))))) : (FIREABLE(t9_5) OR NOT(A (F ((FIREABLE(t8_7) OR FIREABLE(t14_10)))))) : ((FIREABLE(t16_12) OR ((A (G (FIREABLE(t14_16))) OR FIREABLE(t13_19)) AND A ((FIREABLE(t2_19) U FIREABLE(t19_21))))) OR A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))) : (A (F (E (X ((FIREABLE(t2_4) AND FIREABLE(t20_1)))))) AND A ((A (F (FIREABLE(t20_21))) U E (G (FIREABLE(t18_14)))))) : A (G (NOT(NOT(E (F (FIREABLE(t5_21))))))) : (((FIREABLE(t20_4) AND (A (X (FIREABLE(t1_12))) OR (NOT FIREABLE(t5_6) OR NOT FIREABLE(t20_17)))) OR (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))) AND (NOT(((NOT FIREABLE(tb5) AND NOT FIREABLE(tAb5)) OR A (G (FIREABLE(t3_2))))) AND E (X (E (G (FIREABLE(t19_13))))))) : E (F (A (G (A (X (FIREABLE(t13_2)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t10_14) OR FIREABLE(t21_3)) OR E (X (NOT FIREABLE(t2_3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(TRUE U ((NOT FIREABLE(t10_14) AND NOT FIREABLE(t21_3)) AND NOT(EX(NOT FIREABLE(t2_3))))))
lola: processed formula length: 95
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 668339 markings, 4357088 edges, 133668 markings/sec, 0 secs
lola: 1302736 markings, 9038288 edges, 126879 markings/sec, 5 secs
lola: 1905051 markings, 13726229 edges, 120463 markings/sec, 10 secs
lola: 2449446 markings, 18325657 edges, 108879 markings/sec, 15 secs
lola: 3002952 markings, 22986227 edges, 110701 markings/sec, 20 secs
lola: 3617036 markings, 27594598 edges, 122817 markings/sec, 25 secs
lola: 4139876 markings, 32132492 edges, 104568 markings/sec, 30 secs
lola: 4725803 markings, 36800034 edges, 117185 markings/sec, 35 secs
lola: 5267308 markings, 41278525 edges, 108301 markings/sec, 40 secs
lola: 5773467 markings, 45841976 edges, 101232 markings/sec, 45 secs
lola: 6422884 markings, 50152600 edges, 129883 markings/sec, 50 secs
lola: 7023405 markings, 54477299 edges, 120104 markings/sec, 55 secs
lola: 7535576 markings, 58632841 edges, 102434 markings/sec, 60 secs
lola: 8082052 markings, 62925085 edges, 109295 markings/sec, 65 secs
lola: 8625187 markings, 66997031 edges, 108627 markings/sec, 70 secs
lola: 9097903 markings, 71199152 edges, 94543 markings/sec, 75 secs
lola: 9646268 markings, 75333027 edges, 109673 markings/sec, 80 secs
lola: 10136896 markings, 79648886 edges, 98126 markings/sec, 85 secs
lola: 10639824 markings, 83968891 edges, 100586 markings/sec, 90 secs
lola: 11099883 markings, 87955966 edges, 92012 markings/sec, 95 secs
lola: 11536882 markings, 92033190 edges, 87400 markings/sec, 100 secs
lola: 11941804 markings, 96172819 edges, 80984 markings/sec, 105 secs
lola: 12324797 markings, 100264531 edges, 76599 markings/sec, 110 secs
lola: 12855720 markings, 104115709 edges, 106185 markings/sec, 115 secs
lola: 13379811 markings, 107854780 edges, 104818 markings/sec, 120 secs
lola: 13880702 markings, 111564549 edges, 100178 markings/sec, 125 secs
lola: 14306359 markings, 115234120 edges, 85131 markings/sec, 130 secs
lola: 14795806 markings, 118974566 edges, 97889 markings/sec, 135 secs
lola: 15295337 markings, 122672439 edges, 99906 markings/sec, 140 secs
lola: 15713598 markings, 126348981 edges, 83652 markings/sec, 145 secs
lola: 16194382 markings, 130043407 edges, 96157 markings/sec, 150 secs
lola: 16607071 markings, 133730301 edges, 82538 markings/sec, 155 secs
lola: 17061653 markings, 137427888 edges, 90916 markings/sec, 160 secs
lola: 17467690 markings, 141068514 edges, 81207 markings/sec, 165 secs
lola: 17877127 markings, 144685886 edges, 81887 markings/sec, 170 secs
lola: 18251464 markings, 148372351 edges, 74867 markings/sec, 175 secs
lola: 18608972 markings, 152090915 edges, 71502 markings/sec, 180 secs
lola: 18945199 markings, 155859822 edges, 67245 markings/sec, 185 secs
lola: 19471774 markings, 159589772 edges, 105315 markings/sec, 190 secs
lola: 19929132 markings, 163266185 edges, 91472 markings/sec, 195 secs
lola: 20397928 markings, 166996657 edges, 93759 markings/sec, 200 secs
lola: 20831452 markings, 170640106 edges, 86705 markings/sec, 205 secs
lola: 21260940 markings, 174298149 edges, 85898 markings/sec, 210 secs
lola: 21675080 markings, 177951560 edges, 82828 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2595604 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U E (X (FIREABLE(t15_19))))) OR (A (F (FIREABLE(t3_18))) AND ((NOT FIREABLE(t15_13) OR FIREABLE(t13_20)) AND (A (F (FIREABLE(t13_21))) OR FIREABLE(t12_13)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: (A((FIREABLE(t8_5) AND FIREABLE(t13_1) AND NOT FIREABLE(t8_14)) U EX(FIREABLE(t15_19))) OR (A(TRUE U FIREABLE(t3_18)) AND ((NOT FIREABLE(t15_13) OR FIREABLE(t13_20)) AND (A(TRUE U FIREABLE(t13_21)) OR FIREABLE(t12_13)))))
lola: processed formula length: 222
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 15 markings, 16 edges
FORMULA DNAwalker-PT-08ringLL-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (F (NOT FIREABLE(t13_6))))) AND E (G (NOT FIREABLE(t15_11))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t15_11)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t15_11)))
lola: processed formula length: 28
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 14 markings, 14 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F (NOT FIREABLE(t13_6)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(TRUE U NOT FIREABLE(t13_6)))
lola: processed formula length: 33
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E (X ((FIREABLE(t2_4) AND FIREABLE(t20_1)))))) AND A ((A (F (FIREABLE(t20_21))) U E (G (FIREABLE(t18_14))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(TRUE U EX((FIREABLE(t2_4) AND FIREABLE(t20_1)))) AND A(A(TRUE U FIREABLE(t20_21)) U NOT(A(TRUE U NOT FIREABLE(t18_14)))))
lola: processed formula length: 124
lola: 74 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 15 markings, 15 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((FIREABLE(t20_4) AND (A (X (FIREABLE(t1_12))) OR (NOT FIREABLE(t5_6) OR NOT FIREABLE(t20_17)))) OR (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))) AND ((FIREABLE(tb5) OR FIREABLE(tAb5)) AND (E (F (NOT FIREABLE(t3_2))) AND E (X (E (G (FIREABLE(t19_13))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t5_6) OR NOT FIREABLE(t20_17))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t5_6) OR NOT FIREABLE(t20_17))
lola: processed formula length: 45
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t20_4)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t20_4)
lola: processed formula length: 15
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(tb5) OR FIREABLE(tAb5))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(tb5) OR FIREABLE(tAb5))
lola: processed formula length: 34
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t16_2) OR NOT FIREABLE(t5_21) OR NOT FIREABLE(t6_3) OR NOT FIREABLE(t10_8) OR FIREABLE(tb15))
lola: processed formula length: 111
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t3_2)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (NOT FIREABLE(t3_2)))
lola: processed formula length: 26
lola: 69 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: NOT FIREABLE(t3_2)
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: subprocess 9 will run for 478 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (G (FIREABLE(t19_13)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:627
lola: processed formula: FIREABLE(t19_13)
lola: processed formula length: 16
lola: 69 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate is not possibly preserved from any successor.
lola: 127 markings, 126 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (A (G (FIREABLE(t13_2)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(TRUE U AX(NOT(E(TRUE U NOT FIREABLE(t13_2)))))
lola: processed formula length: 48
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 614656 markings, 4590337 edges, 122931 markings/sec, 0 secs
lola: 1207894 markings, 9527355 edges, 118648 markings/sec, 5 secs
lola: 1764889 markings, 14423189 edges, 111399 markings/sec, 10 secs
lola: 2299880 markings, 19251886 edges, 106998 markings/sec, 15 secs
lola: 2748440 markings, 24106349 edges, 89712 markings/sec, 20 secs
lola: 3356670 markings, 28967019 edges, 121646 markings/sec, 25 secs
lola: 3897965 markings, 33787470 edges, 108259 markings/sec, 30 secs
lola: 4408550 markings, 38658797 edges, 102117 markings/sec, 35 secs
lola: 4924831 markings, 43344500 edges, 103256 markings/sec, 40 secs
lola: 5405681 markings, 48001492 edges, 96170 markings/sec, 45 secs
lola: 5928211 markings, 52695016 edges, 104506 markings/sec, 50 secs
lola: 6510983 markings, 57246121 edges, 116554 markings/sec, 55 secs
lola: 7056981 markings, 61789350 edges, 109200 markings/sec, 60 secs
lola: 7526276 markings, 66080343 edges, 93859 markings/sec, 65 secs
lola: 8026608 markings, 70527929 edges, 100066 markings/sec, 70 secs
lola: 8561805 markings, 75088015 edges, 107039 markings/sec, 75 secs
lola: 8998487 markings, 79231744 edges, 87336 markings/sec, 80 secs
lola: 9465329 markings, 83430508 edges, 93368 markings/sec, 85 secs
lola: 9922345 markings, 87753286 edges, 91403 markings/sec, 90 secs
lola: 10402619 markings, 92236533 edges, 96055 markings/sec, 95 secs
lola: 10850968 markings, 96673789 edges, 89670 markings/sec, 100 secs
lola: 11267732 markings, 100717008 edges, 83353 markings/sec, 105 secs
lola: 11663572 markings, 104997521 edges, 79168 markings/sec, 110 secs
lola: 12045443 markings, 109292681 edges, 76374 markings/sec, 115 secs
lola: 12398815 markings, 113556061 edges, 70674 markings/sec, 120 secs
lola: 12928280 markings, 117586343 edges, 105893 markings/sec, 125 secs
lola: 13415322 markings, 121567621 edges, 97408 markings/sec, 130 secs
lola: 13884510 markings, 125490534 edges, 93838 markings/sec, 135 secs
lola: 14286861 markings, 129351418 edges, 80470 markings/sec, 140 secs
lola: 14743261 markings, 133315565 edges, 91280 markings/sec, 145 secs
lola: 15211443 markings, 137273073 edges, 93636 markings/sec, 150 secs
lola: 15620553 markings, 141122132 edges, 81822 markings/sec, 155 secs
lola: 16056554 markings, 145085319 edges, 87200 markings/sec, 160 secs
lola: 16475653 markings, 148941918 edges, 83820 markings/sec, 165 secs
lola: 16895654 markings, 152850100 edges, 84000 markings/sec, 170 secs
lola: 17285278 markings, 156776616 edges, 77925 markings/sec, 175 secs
lola: 17672690 markings, 160533160 edges, 77482 markings/sec, 180 secs
lola: 18054790 markings, 164418962 edges, 76420 markings/sec, 185 secs
lola: 18395199 markings, 168299367 edges, 68082 markings/sec, 190 secs
lola: 18726869 markings, 172093451 edges, 66334 markings/sec, 195 secs
lola: 19053375 markings, 175756479 edges, 65301 markings/sec, 200 secs
lola: 19522576 markings, 179569377 edges, 93840 markings/sec, 205 secs
lola: 19954261 markings, 183476090 edges, 86337 markings/sec, 210 secs
lola: 20410380 markings, 187517828 edges, 91224 markings/sec, 215 secs
lola: 20833316 markings, 191506967 edges, 84587 markings/sec, 220 secs
lola: 21254822 markings, 195528886 edges, 84301 markings/sec, 225 secs
lola: 21661772 markings, 199523722 edges, 81390 markings/sec, 230 secs
lola: 22030291 markings, 203401267 edges, 73704 markings/sec, 235 secs
lola: 22360390 markings, 207308930 edges, 66020 markings/sec, 240 secs
lola: 22763562 markings, 211291248 edges, 80634 markings/sec, 245 secs
lola: 23182852 markings, 215200077 edges, 83858 markings/sec, 250 secs
lola: 23576651 markings, 219106011 edges, 78760 markings/sec, 255 secs
lola: 23971772 markings, 223097089 edges, 79024 markings/sec, 260 secs
lola: 24378774 markings, 227073321 edges, 81400 markings/sec, 265 secs
lola: 24790028 markings, 231066050 edges, 82251 markings/sec, 270 secs
lola: 25172077 markings, 235032088 edges, 76410 markings/sec, 275 secs
lola: 25527806 markings, 239018110 edges, 71146 markings/sec, 280 secs
lola: 25918703 markings, 243088297 edges, 78179 markings/sec, 285 secs
lola: 26297300 markings, 247294438 edges, 75719 markings/sec, 290 secs
lola: 26668294 markings, 251173641 edges, 74199 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no yes unknown unknown no unknown no unknown
lola: memory consumption: 3245248 KB
lola: time consumption: 527 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t5_1) AND NOT FIREABLE(t13_8))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t5_1) AND NOT FIREABLE(t13_8))))
lola: processed formula length: 48
lola: 69 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t5_1) AND NOT FIREABLE(t13_8))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 372162 markings, 2114477 edges, 74432 markings/sec, 0 secs
lola: sara is running 5 secs || 748342 markings, 4393715 edges, 75236 markings/sec, 5 secs
lola: sara is running 10 secs || 1123367 markings, 6553755 edges, 75005 markings/sec, 10 secs
lola: sara is running 15 secs || 1468617 markings, 8772647 edges, 69050 markings/sec, 15 secs
lola: sara is running 20 secs || 1782139 markings, 11052447 edges, 62704 markings/sec, 20 secs
lola: sara is running 25 secs || 2119820 markings, 13366967 edges, 67536 markings/sec, 25 secs
lola: sara is running 30 secs || 2466993 markings, 15663990 edges, 69435 markings/sec, 30 secs
lola: sara is running 35 secs || 2811410 markings, 17967176 edges, 68883 markings/sec, 35 secs
lola: sara is running 40 secs || 3136063 markings, 20102310 edges, 64931 markings/sec, 40 secs
lola: sara is running 45 secs || 3464280 markings, 22349850 edges, 65643 markings/sec, 45 secs
lola: sara is running 50 secs || 3791947 markings, 24653627 edges, 65533 markings/sec, 50 secs
lola: sara is running 55 secs || 4112256 markings, 26996445 edges, 64062 markings/sec, 55 secs
lola: sara is running 60 secs || 4418156 markings, 29264356 edges, 61180 markings/sec, 60 secs
lola: sara is running 65 secs || 4768571 markings, 31449540 edges, 70083 markings/sec, 65 secs
lola: sara is running 70 secs || 5089847 markings, 33632623 edges, 64255 markings/sec, 70 secs
lola: sara is running 75 secs || 5396590 markings, 36005354 edges, 61349 markings/sec, 75 secs
lola: sara is running 80 secs || 5730804 markings, 38231229 edges, 66843 markings/sec, 80 secs
lola: sara is running 85 secs || 6048007 markings, 40590113 edges, 63441 markings/sec, 85 secs
lola: sara is running 90 secs || 6366385 markings, 42922082 edges, 63676 markings/sec, 90 secs
lola: sara is running 95 secs || 6692807 markings, 45121584 edges, 65284 markings/sec, 95 secs
lola: sara is running 100 secs || 7013157 markings, 47298556 edges, 64070 markings/sec, 100 secs
lola: sara is running 105 secs || 7344517 markings, 49488993 edges, 66272 markings/sec, 105 secs
lola: sara is running 110 secs || 7639135 markings, 51775379 edges, 58924 markings/sec, 110 secs
lola: sara is running 115 secs || 7934090 markings, 54122259 edges, 58991 markings/sec, 115 secs
lola: sara is running 120 secs || 8224525 markings, 56485258 edges, 58087 markings/sec, 120 secs
lola: sara is running 125 secs || 8517034 markings, 58811979 edges, 58502 markings/sec, 125 secs
lola: sara is running 130 secs || 8818753 markings, 61245720 edges, 60344 markings/sec, 130 secs
lola: sara is running 135 secs || 9122605 markings, 63672894 edges, 60770 markings/sec, 135 secs
lola: sara is running 140 secs || 9400749 markings, 65946997 edges, 55629 markings/sec, 140 secs
lola: sara is running 145 secs || 9674764 markings, 68324740 edges, 54803 markings/sec, 145 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 9806333 markings, 69499459 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t2_9)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t2_9)
lola: processed formula length: 18
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 825036 markings, 5692496 edges, 165007 markings/sec, 0 secs
lola: 1616633 markings, 11431191 edges, 158319 markings/sec, 5 secs
lola: 2288710 markings, 16845631 edges, 134415 markings/sec, 10 secs
lola: 2914591 markings, 22395349 edges, 125176 markings/sec, 15 secs
lola: 3616910 markings, 27593566 edges, 140464 markings/sec, 20 secs
lola: 4208761 markings, 32778861 edges, 118370 markings/sec, 25 secs
lola: 4864057 markings, 37922526 edges, 131059 markings/sec, 30 secs
lola: 5462637 markings, 43066148 edges, 119716 markings/sec, 35 secs
lola: 6167164 markings, 48261783 edges, 140905 markings/sec, 40 secs
lola: 6841120 markings, 53117356 edges, 134791 markings/sec, 45 secs
lola: 7471234 markings, 58039802 edges, 126023 markings/sec, 50 secs
lola: 8087731 markings, 62973026 edges, 123299 markings/sec, 55 secs
lola: 8748488 markings, 67942657 edges, 132151 markings/sec, 60 secs
lola: 9336320 markings, 72949832 edges, 117566 markings/sec, 65 secs
lola: 9922186 markings, 77819228 edges, 117173 markings/sec, 70 secs
lola: 10519044 markings, 82955110 edges, 119372 markings/sec, 75 secs
lola: 11070200 markings, 87672450 edges, 110231 markings/sec, 80 secs
lola: 11569782 markings, 92353432 edges, 99916 markings/sec, 85 secs
lola: 12013342 markings, 96895581 edges, 88712 markings/sec, 90 secs
lola: 12412732 markings, 101312834 edges, 79878 markings/sec, 95 secs
lola: 13068806 markings, 105809871 edges, 131215 markings/sec, 100 secs
lola: 13709027 markings, 110296351 edges, 128044 markings/sec, 105 secs
lola: 14231136 markings, 114549718 edges, 104422 markings/sec, 110 secs
lola: 14789372 markings, 118927179 edges, 111647 markings/sec, 115 secs
lola: 15356405 markings, 123137650 edges, 113407 markings/sec, 120 secs
lola: 15845133 markings, 127451889 edges, 97746 markings/sec, 125 secs
lola: 16401191 markings, 131770062 edges, 111212 markings/sec, 130 secs
lola: 16910882 markings, 136071845 edges, 101938 markings/sec, 135 secs
lola: 17396242 markings, 140407966 edges, 97072 markings/sec, 140 secs
lola: 17865369 markings, 144591325 edges, 93825 markings/sec, 145 secs
lola: 18295495 markings, 148869758 edges, 86025 markings/sec, 150 secs
lola: 18707397 markings, 153142998 edges, 82380 markings/sec, 155 secs
lola: 19165468 markings, 157403801 edges, 91614 markings/sec, 160 secs
lola: 19763307 markings, 161802437 edges, 119568 markings/sec, 165 secs
lola: 20279423 markings, 166145394 edges, 103223 markings/sec, 170 secs
lola: 20806546 markings, 170467289 edges, 105425 markings/sec, 175 secs
lola: 21326520 markings, 174804829 edges, 103995 markings/sec, 180 secs
lola: 21795323 markings, 179053471 edges, 93761 markings/sec, 185 secs
lola: 22207751 markings, 183273061 edges, 82486 markings/sec, 190 secs
lola: 22656125 markings, 187605850 edges, 89675 markings/sec, 195 secs
lola: 23172421 markings, 191905008 edges, 103259 markings/sec, 200 secs
lola: 23652453 markings, 196155573 edges, 96006 markings/sec, 205 secs
lola: 24131045 markings, 200547756 edges, 95718 markings/sec, 210 secs
lola: 24641266 markings, 204961299 edges, 102044 markings/sec, 215 secs
lola: 25127263 markings, 209367666 edges, 97199 markings/sec, 220 secs
lola: 25559510 markings, 213746155 edges, 86449 markings/sec, 225 secs
lola: 26047615 markings, 218325551 edges, 97621 markings/sec, 230 secs
lola: 26524289 markings, 223156406 edges, 95335 markings/sec, 235 secs
lola: 27040168 markings, 228118726 edges, 103176 markings/sec, 240 secs
lola: 27569527 markings, 233272450 edges, 105872 markings/sec, 245 secs
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not possibly invariant.
lola: 27950678 markings, 237024906 edges
FORMULA DNAwalker-PT-08ringLL-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t5_21)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t5_21)
lola: processed formula length: 15
lola: 69 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 4 markings, 3 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((FIREABLE(t3_4) AND FIREABLE(t20_2) AND FIREABLE(t16_18))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t3_4) OR NOT FIREABLE(t20_2) OR NOT FIREABLE(t16_18))
lola: processed formula length: 69
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 18 markings, 18 edges
FORMULA DNAwalker-PT-08ringLL-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 439 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t6_4) U A (F ((FIREABLE(t10_8) OR FIREABLE(t14_16))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(FIREABLE(t6_4) U A(TRUE U (FIREABLE(t10_8) OR FIREABLE(t14_16))))
lola: processed formula length: 68
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 16 markings, 17 edges
FORMULA DNAwalker-PT-08ringLL-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 527 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t9_5) OR E (G ((NOT FIREABLE(t8_7) AND NOT FIREABLE(t14_10)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: ========================================
lola: RUNNING
lola: subprocess 11 will run for 527 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t9_5)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t9_5)
lola: processed formula length: 14
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t8_7) AND NOT FIREABLE(t14_10))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((NOT FIREABLE(t8_7) AND NOT FIREABLE(t14_10))))
lola: processed formula length: 53
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 13 markings, 13 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t6_8) AND ((FIREABLE(t3_19) OR FIREABLE(t19_4)) AND A (F (NOT FIREABLE(t20_19))))) OR (FIREABLE(t8_6) OR A (F (FIREABLE(t6_8)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t8_6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t8_6)
lola: processed formula length: 14
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 878 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t6_8)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t6_8)
lola: processed formula length: 14
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t6_8)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t6_8)
lola: processed formula length: 18
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 10 markings, 10 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 878 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(t11_8))) OR A (F (A (G (FIREABLE(t11_12))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 878 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t11_8)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t11_8)))
lola: processed formula length: 27
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 9 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (G (FIREABLE(t19_1))) AND (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))) OR A (F (A (G (NOT FIREABLE(t21_4))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))
lola: processed formula length: 44
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2636 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t19_1)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t19_1)))
lola: processed formula length: 23
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 2636 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t16_12) OR (((A (G (FIREABLE(t14_16))) OR FIREABLE(t13_19)) AND A ((FIREABLE(t2_19) U FIREABLE(t19_21)))) OR A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2636 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t2_19) U FIREABLE(t19_21)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((FIREABLE(t2_19) U FIREABLE(t19_21)))
lola: processed formula length: 40
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (((NOT FIREABLE(t20_21) AND NOT FIREABLE(t12_7)) OR NOT FIREABLE(t13_20)) AND NOT(A(TRUE U FIREABLE(t21_17))))))
lola: processed formula length: 126
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 15 markings, 16 edges
lola: lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t10_14) OR FIREABLE(t21_3)) OR E (X (NOT FIREABLE(t2_3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(TRUE U ((NOT FIREABLE(t10_14) AND NOT FIREABLE(t21_3)) AND NOT(EX(NOT FIREABLE(t2_3))))))
lola: processed formula length: 95
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 685799 markings, 4495914 edges, 137160 markings/sec, 0 secs
lola: 1320530 markings, 9191364 edges, 126946 markings/sec, 5 secs
lola: 1927704 markings, 13897501 edges, 121435 markings/sec, 10 secs
lola: 2467877 markings, 18506265 edges, 108035 markings/sec, 15 secs
lola: 3030495 markings, 23183773 edges, 112524 markings/sec, 20 secs
lola: 3640924 markings, 27794153 edges, 122086 markings/sec, 25 secs
lola: 4163059 markings, 32388792 edges, 104427 markings/sec, 30 secs
lola: 4750639 markings, 36988696 edges, 117516 markings/sec, 35 secs
lola: 5290101 markings, 41482080 edges, 107892 markings/sec, 40 secs
lola: 5807730 markings, 46030122 edges, 103526 markings/sec, 45 secs
lola: 6447246 markings, 50301758 edges, 127903 markings/sec, 50 secs
lola: 7045097 markings, 54639939 edges, 119570 markings/sec, 55 secs
lola: 7551250 markings, 58776607 edges, 101231 markings/sec, 60 secs
lola: 8093099 markings, 63015667 edges, 108370 markings/sec, 65 secs
lola: 8661151 markings, 67277952 edges, 113610 markings/sec, 70 secs
lola: 9123711 markings, 71482440 edges, 92512 markings/sec, 75 secs
lola: 9690311 markings, 75688085 edges, 113320 markings/sec, 80 secs
lola: 10180469 markings, 79955829 edges, 98032 markings/sec, 85 secs
lola: 10677484 markings, 84307204 edges, 99403 markings/sec, 90 secs
lola: 11133804 markings, 88260108 edges, 91264 markings/sec, 95 secs
lola: 11569878 markings, 92354653 edges, 87215 markings/sec, 100 secs
lola: 11968865 markings, 96463440 edges, 79797 markings/sec, 105 secs
lola: 12352684 markings, 100594446 edges, 76764 markings/sec, 110 secs
lola: 12901512 markings, 104436735 edges, 109766 markings/sec, 115 secs
lola: 13423669 markings, 108208342 edges, 104431 markings/sec, 120 secs
lola: 13928049 markings, 111934562 edges, 100876 markings/sec, 125 secs
lola: 14349091 markings, 115638722 edges, 84208 markings/sec, 130 secs
lola: 14847360 markings, 119427212 edges, 99654 markings/sec, 135 secs
lola: 15356357 markings, 123137252 edges, 101799 markings/sec, 140 secs
lola: 15762381 markings, 126872096 edges, 81205 markings/sec, 145 secs
lola: 16263763 markings, 130569411 edges, 100276 markings/sec, 150 secs
lola: 16677170 markings, 134306149 edges, 82681 markings/sec, 155 secs
lola: 17123825 markings, 138068199 edges, 89331 markings/sec, 160 secs
lola: 17545471 markings, 141708782 edges, 84329 markings/sec, 165 secs
lola: 17963084 markings, 145416313 edges, 83523 markings/sec, 170 secs
lola: 18317105 markings, 149095224 edges, 70804 markings/sec, 175 secs
lola: 18680517 markings, 152831148 edges, 72682 markings/sec, 180 secs
lola: 19047370 markings, 156648514 edges, 73371 markings/sec, 185 secs
lola: 19580956 markings, 160397079 edges, 106717 markings/sec, 190 secs
lola: 20017062 markings, 164093856 edges, 87221 markings/sec, 195 secs
lola: 20508475 markings, 167829603 edges, 98283 markings/sec, 200 secs
lola: 20945822 markings, 171537320 edges, 87469 markings/sec, 205 secs
lola: 21375821 markings, 175232738 edges, 86000 markings/sec, 210 secs
lola: 21777061 markings, 178867803 edges, 80248 markings/sec, 215 secs
lola: 22137029 markings, 182528892 edges, 71994 markings/sec, 220 secs
lola: 22467237 markings, 186232139 edges, 66042 markings/sec, 225 secs
lola: 22944726 markings, 189952390 edges, 95498 markings/sec, 230 secs
lola: 23334803 markings, 193601962 edges, 78015 markings/sec, 235 secs
lola: 23785965 markings, 197355480 edges, 90232 markings/sec, 240 secs
lola: 24187426 markings, 201100777 edges, 80292 markings/sec, 245 secs
lola: 24631668 markings, 204878620 edges, 88848 markings/sec, 250 secs
lola: 25049595 markings, 208654748 edges, 83585 markings/sec, 255 secs
lola: 25403936 markings, 212401465 edges, 70868 markings/sec, 260 secs
lola: 25824907 markings, 216164981 edges, 84194 markings/sec, 265 secs
lola: 26227068 markings, 220214207 edges, 80432 markings/sec, 270 secs
lola: 26651676 markings, 224303862 edges, 84922 markings/sec, 275 secs
lola: 27058848 markings, 228308884 edges, 81434 markings/sec, 280 secs
lola: 27504323 markings, 232607453 edges, 89095 markings/sec, 285 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 27950678 markings, 237024906 edges
lola:
FORMULA DNAwalker-PT-08ringLL-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (X (A (G (FIREABLE(t13_2)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(TRUE U AX(NOT(E(TRUE U NOT FIREABLE(t13_2)))))
lola: processed formula length: 48
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 642431 markings, 4808669 edges, 128486 markings/sec, 0 secs
lola: 1238071 markings, 9765293 edges, 119128 markings/sec, 5 secs
lola: 1791809 markings, 14706952 edges, 110748 markings/sec, 10 secs
lola: 2330948 markings, 19558872 edges, 107828 markings/sec, 15 secs
lola: 2798934 markings, 24441336 edges, 93597 markings/sec, 20 secs
lola: 3400933 markings, 29321809 edges, 120400 markings/sec, 25 secs
lola: 3939151 markings, 34163030 edges, 107644 markings/sec, 30 secs
lola: 4455049 markings, 39100891 edges, 103180 markings/sec, 35 secs
lola: 4978952 markings, 43799814 edges, 104781 markings/sec, 40 secs
lola: 5458760 markings, 48492893 edges, 95962 markings/sec, 45 secs
lola: 6004798 markings, 53205253 edges, 109208 markings/sec, 50 secs
lola: 6580714 markings, 57761777 edges, 115183 markings/sec, 55 secs
lola: 7124141 markings, 62363589 edges, 108685 markings/sec, 60 secs
lola: 7589749 markings, 66728089 edges, 93122 markings/sec, 65 secs
lola: 8103967 markings, 71213329 edges, 102844 markings/sec, 70 secs
lola: 8639977 markings, 75753879 edges, 107202 markings/sec, 75 secs
lola: 9085478 markings, 80162830 edges, 89100 markings/sec, 80 secs
lola: 9606569 markings, 84638398 edges, 104218 markings/sec, 85 secs
lola: 10055536 markings, 89118170 edges, 89793 markings/sec, 90 secs
lola: 10536074 markings, 93628006 edges, 96108 markings/sec, 95 secs
lola: 10989956 markings, 97991499 edges, 90776 markings/sec, 100 secs
lola: 11406786 markings, 102122830 edges, 83366 markings/sec, 105 secs
lola: 11783783 markings, 106360713 edges, 75399 markings/sec, 110 secs
lola: 12165405 markings, 110664497 edges, 76324 markings/sec, 115 secs
lola: 12581201 markings, 114982306 edges, 83159 markings/sec, 120 secs
lola: 13090108 markings, 119015147 edges, 101781 markings/sec, 125 secs
lola: 13597754 markings, 123027159 edges, 101529 markings/sec, 130 secs
lola: 14049266 markings, 126951353 edges, 90302 markings/sec, 135 secs
lola: 14425841 markings, 130863348 edges, 75315 markings/sec, 140 secs
lola: 14932358 markings, 134897990 edges, 101303 markings/sec, 145 secs
lola: 15391917 markings, 138833761 edges, 91912 markings/sec, 150 secs
lola: 15770533 markings, 142751398 edges, 75723 markings/sec, 155 secs
lola: 16247185 markings, 146698765 edges, 95330 markings/sec, 160 secs
lola: 16630906 markings, 150637361 edges, 76744 markings/sec, 165 secs
lola: 17067537 markings, 154565252 edges, 87326 markings/sec, 170 secs
lola: 17456397 markings, 158442014 edges, 77772 markings/sec, 175 secs
lola: 17842918 markings, 162253390 edges, 77304 markings/sec, 180 secs
lola: 18208491 markings, 166165531 edges, 73115 markings/sec, 185 secs
lola: 18552828 markings, 170072681 edges, 68867 markings/sec, 190 secs
lola: 18883044 markings, 173994515 edges, 66043 markings/sec, 195 secs
lola: 19333451 markings, 177998220 edges, 90081 markings/sec, 200 secs
lola: 19802155 markings, 181949488 edges, 93741 markings/sec, 205 secs
lola: 20220922 markings, 185882337 edges, 83753 markings/sec, 210 secs
lola: 20655696 markings, 189805330 edges, 86955 markings/sec, 215 secs
lola: 21076954 markings, 193718929 edges, 84252 markings/sec, 220 secs
lola: 21470907 markings, 197651841 edges, 78791 markings/sec, 225 secs
lola: 21848233 markings, 201423026 edges, 75465 markings/sec, 230 secs
lola: 22185640 markings, 205243892 edges, 67481 markings/sec, 235 secs
lola: 22515494 markings, 209123803 edges, 65971 markings/sec, 240 secs
lola: 22960191 markings, 213056417 edges, 88939 markings/sec, 245 secs
lola: 23323728 markings, 216874017 edges, 72707 markings/sec, 250 secs
lola: 23755346 markings, 220836508 edges, 86324 markings/sec, 255 secs
lola: 24139499 markings, 224788796 edges, 76831 markings/sec, 260 secs
lola: 24550798 markings, 228734996 edges, 82260 markings/sec, 265 secs
lola: 24950011 markings, 232701427 edges, 79843 markings/sec, 270 secs
lola: 25299730 markings, 236574474 edges, 69944 markings/sec, 275 secs
lola: 25686697 markings, 240569327 edges, 77393 markings/sec, 280 secs
lola: 26077213 markings, 244716173 edges, 78103 markings/sec, 285 secs
lola: 26449316 markings, 248943777 edges, 74421 markings/sec, 290 secs
lola: 26853558 markings, 253192790 edges, 80848 markings/sec, 295 secs
lola: 27263914 markings, 257594268 edges, 82071 markings/sec, 300 secs
lola: 27685066 markings, 262145604 edges, 84230 markings/sec, 305 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 27950678 markings, 264999265 edges
FORMULA DNAwalker-PT-08ringLL-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((E (G (FIREABLE(t19_1))) AND (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))) OR A (F (A (G (NOT FIREABLE(t21_4))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t3_5) OR NOT FIREABLE(t18_2))
lola: processed formula length: 44
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t19_1)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t19_1)))
lola: processed formula length: 23
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (A (G (NOT FIREABLE(t21_4)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t21_4)
lola: processed formula length: 15
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 815176 markings, 5601006 edges, 163035 markings/sec, 0 secs
lola: 1605263 markings, 11354268 edges, 158017 markings/sec, 5 secs
lola: 2302662 markings, 16975990 edges, 139480 markings/sec, 10 secs
lola: 2945060 markings, 22581543 edges, 128480 markings/sec, 15 secs
lola: 3683327 markings, 28174299 edges, 147653 markings/sec, 20 secs
lola: 4338102 markings, 33702300 edges, 130955 markings/sec, 25 secs
lola: 5015000 markings, 39097312 edges, 135380 markings/sec, 30 secs
lola: 5630064 markings, 44506679 edges, 123013 markings/sec, 35 secs
lola: 6361320 markings, 49798289 edges, 146251 markings/sec, 40 secs
lola: 7068754 markings, 54811383 edges, 141487 markings/sec, 45 secs
lola: 7653005 markings, 59705553 edges, 116850 markings/sec, 50 secs
lola: 8323342 markings, 64667720 edges, 134067 markings/sec, 55 secs
lola: 8936040 markings, 69653119 edges, 122540 markings/sec, 60 secs
lola: 9564129 markings, 74695343 edges, 125618 markings/sec, 65 secs
lola: 10143366 markings, 79687811 edges, 115847 markings/sec, 70 secs
lola: 10729061 markings, 84729058 edges, 117139 markings/sec, 75 secs
lola: 11232211 markings, 89123794 edges, 100630 markings/sec, 80 secs
lola: 11701579 markings, 93709180 edges, 93874 markings/sec, 85 secs
lola: 12163795 markings, 98469256 edges, 92443 markings/sec, 90 secs
lola: 12723571 markings, 103266090 edges, 111955 markings/sec, 95 secs
lola: 13366022 markings, 107746564 edges, 128490 markings/sec, 100 secs
lola: 13954659 markings, 112127635 edges, 117727 markings/sec, 105 secs
lola: 14428657 markings, 116452990 edges, 94800 markings/sec, 110 secs
lola: 15069940 markings, 120967930 edges, 128257 markings/sec, 115 secs
lola: 15600141 markings, 125291357 edges, 106040 markings/sec, 120 secs
lola: 16147675 markings, 129697949 edges, 109507 markings/sec, 125 secs
lola: 16660225 markings, 134190475 edges, 102510 markings/sec, 130 secs
lola: 17200528 markings, 138745551 edges, 108061 markings/sec, 135 secs
lola: 17696439 markings, 143050301 edges, 99182 markings/sec, 140 secs
lola: 18165080 markings, 147475873 edges, 93728 markings/sec, 145 secs
lola: 18590960 markings, 151893422 edges, 85176 markings/sec, 150 secs
lola: 18989107 markings, 156353012 edges, 79629 markings/sec, 155 secs
lola: 19633698 markings, 160808688 edges, 128918 markings/sec, 160 secs
lola: 20155794 markings, 165178213 edges, 104419 markings/sec, 165 secs
lola: 20693608 markings, 169484638 edges, 107563 markings/sec, 170 secs
lola: 21200960 markings, 173843872 edges, 101470 markings/sec, 175 secs
lola: 21688321 markings, 178060538 edges, 97472 markings/sec, 180 secs
lola: 22105749 markings, 182188619 edges, 83486 markings/sec, 185 secs
lola: 22493840 markings, 186457025 edges, 77618 markings/sec, 190 secs
lola: 23064293 markings, 190960215 edges, 114091 markings/sec, 195 secs
lola: 23554845 markings, 195342016 edges, 98110 markings/sec, 200 secs
lola: 24051923 markings, 199843856 edges, 99416 markings/sec, 205 secs
lola: 24570313 markings, 204359983 edges, 103678 markings/sec, 210 secs
lola: 25075474 markings, 208873516 edges, 101032 markings/sec, 215 secs
lola: 25501417 markings, 213240676 edges, 85189 markings/sec, 220 secs
lola: 25992073 markings, 217806917 edges, 98131 markings/sec, 225 secs
lola: 26468713 markings, 222636764 edges, 95328 markings/sec, 230 secs
lola: 26979867 markings, 227590629 edges, 102231 markings/sec, 235 secs
lola: 27512155 markings, 232685494 edges, 106458 markings/sec, 240 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: The predicate is eventually invariant.
lola: 27950678 markings, 237024906 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola:
FORMULA DNAwalker-PT-08ringLL-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t16_12) OR (((A (G (FIREABLE(t14_16))) OR FIREABLE(t13_19)) AND A ((FIREABLE(t2_19) U FIREABLE(t19_21)))) OR A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: FIREABLE(t13_19)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t13_19)
lola: processed formula length: 16
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: FIREABLE(t16_12)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t16_12)
lola: processed formula length: 16
lola: 68 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t14_16)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(t14_16)))
lola: processed formula length: 24
lola: 70 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(t14_16)
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t20_21) OR FIREABLE(t12_7)) AND FIREABLE(t13_20)) OR A (F (FIREABLE(t21_17))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (((NOT FIREABLE(t20_21) AND NOT FIREABLE(t12_7)) OR NOT FIREABLE(t13_20)) AND NOT(A(TRUE U FIREABLE(t21_17))))))
lola: processed formula length: 126
lola: 72 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 15 markings, 16 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no no no no yes yes yes no no yes yes no no no no no
lola:
preliminary result: no no no no yes yes yes no no yes yes no no no no no
lola: memory consumption: 15144 KB
lola: time consumption: 1791 seconds
BK_STOP 1526790297546
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-08ringLL"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-08ringLL.tgz
mv DNAwalker-PT-08ringLL execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-08ringLL, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400277"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;