About the Execution of LoLA for DNAwalker-PT-07track28RR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4040.180 | 3570345.00 | 5553514.00 | 8279.10 | TTF?FFFFFFTTFTTF | 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 280K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-07track28RR, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400269
=====================================================================
--------------------
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-07track28RR-CTLCardinality-00
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-01
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-02
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-03
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-04
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-05
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-06
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-07
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-08
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-09
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-10
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-11
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-12
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-13
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-14
FORMULA_NAME DNAwalker-PT-07track28RR-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526780408489
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-07track28RR Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-07track28RR formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DNAwalker-PT-07track28RR @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1088
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-07track28RR-CTLCardinality.task
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always true: (B5 <= A28)
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (3 <= B23)
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: always true
lola: E (G ((E (X ((1 <= A26))) OR ((A27 <= A12) AND (A13 <= A4) AND (3 <= A20))))) : E (G ((B24 <= A22))) : E (F (E (G ((A9 + 1 <= A1))))) : E ((((A16 <= A13) OR (A25 <= A26) OR (B24 <= 0)) U (3 <= A9))) : A (G (E (X ((A21 <= 1))))) : E ((A (F ((3 <= A17))) U ((A2 <= 0) OR ((2 <= A5) AND (2 <= A28))))) : NOT((A (X (((3 <= A4) AND (A27 <= A26)))) OR (E (G ((A17 <= A2))) AND ()))) : E ((E (X ((2 <= A1))) U A (F ((3 <= A27))))) : NOT(E (G ((A6 <= 1)))) : A (F (((2 <= A26) AND (A16 + 1 <= A7) AND (3 <= A3)))) : NOT(A (F ((2 <= A25)))) : (((((A2 <= 0) AND (A8 <= 2)) AND A (F ((3 <= A14)))) OR (((3 <= A14) AND (2 <= A9) AND ((3 <= A8) OR (A14 <= B15))) AND E (F ((A21 <= A8))))) OR (E (G (((A22 <= B16) OR (B16 <= A10)))) AND ())) : A (F (((A26 + 1 <= A13) OR (B5 + 1 <= A23) OR (3 <= A27)))) : ((((A5 + 1 <= B6) OR (A18 <= 2) OR (A28 <= A23))) AND (NOT(A (F (FALSE))) OR ())) : E (G (A (((A8 <= A15) U (A11 <= B23))))) : E ((E (F (TRUE)) U ()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 191 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A5 + 1 <= B6) OR (A18 <= 2) OR (A28 <= A23)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((A5 + 1 <= B6) OR (A18 <= 2) OR (A28 <= A23)))
lola: processed formula length: 50
lola: 32 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.task
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 204 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 32 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (((A4 <= 2) OR (A26 + 1 <= A27)))) AND A (F ((A2 + 1 <= A17))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A2 + 1 <= A17)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (A17 <= A2)
lola: processed formula length: 11
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 11 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (X ((2 <= A1))) U A (F ((3 <= A27)))))
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:726
lola: ========================================
lola: processed formula: E(EX((2 <= A1)) U A(TRUE U (3 <= A27)))
lola: processed formula length: 39
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 6354 markings, 15741 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (X ((1 <= A26))) OR ((A27 <= A12) AND (A13 <= A4) AND (3 <= A20)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (NOT(EX((1 <= A26))) AND ((A12 + 1 <= A27) OR (A4 + 1 <= A13) OR (A20 <= 2)))))
lola: processed formula length: 94
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 10 markings, 10 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((A21 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(EX((A21 <= 1)))))
lola: processed formula length: 34
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 206 markings, 476 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((2 <= A6)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (A6 <= 1)
lola: processed formula length: 9
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 12 markings, 12 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A25 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((A25 <= 1)))
lola: processed formula length: 18
lola: 32 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 12 markings, 12 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((A9 + 1 <= A1)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (A9 + 1 <= A1)
lola: processed formula length: 14
lola: 33 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 506013 markings, 1106766 edges, 101203 markings/sec, 0 secs
lola: 987615 markings, 2143026 edges, 96320 markings/sec, 5 secs
lola: 1434052 markings, 3210375 edges, 89287 markings/sec, 10 secs
lola: 1887029 markings, 4322966 edges, 90595 markings/sec, 15 secs
lola: 2353617 markings, 5350750 edges, 93318 markings/sec, 20 secs
lola: 2804360 markings, 6471017 edges, 90149 markings/sec, 25 secs
lola: 3241737 markings, 7546868 edges, 87475 markings/sec, 30 secs
lola: 3680592 markings, 8672420 edges, 87771 markings/sec, 35 secs
lola: 4174024 markings, 9786459 edges, 98686 markings/sec, 40 secs
lola: 4615976 markings, 10931459 edges, 88390 markings/sec, 45 secs
lola: 5040237 markings, 12063499 edges, 84852 markings/sec, 50 secs
lola: 5473632 markings, 13161310 edges, 86679 markings/sec, 55 secs
lola: 5892054 markings, 14310079 edges, 83684 markings/sec, 60 secs
lola: 6317129 markings, 15438506 edges, 85015 markings/sec, 65 secs
lola: 6682316 markings, 16591645 edges, 73037 markings/sec, 70 secs
lola: 7087099 markings, 17744338 edges, 80957 markings/sec, 75 secs
lola: 7473352 markings, 18951954 edges, 77251 markings/sec, 80 secs
lola: 7849306 markings, 20102854 edges, 75191 markings/sec, 85 secs
lola: 8220527 markings, 21271258 edges, 74244 markings/sec, 90 secs
lola: 8579311 markings, 22441093 edges, 71757 markings/sec, 95 secs
lola: 8944339 markings, 23618270 edges, 73006 markings/sec, 100 secs
lola: 9316561 markings, 24808217 edges, 74444 markings/sec, 105 secs
lola: 9682153 markings, 25963318 edges, 73118 markings/sec, 110 secs
lola: 10037080 markings, 27102526 edges, 70985 markings/sec, 115 secs
lola: 10445394 markings, 28224822 edges, 81663 markings/sec, 120 secs
lola: 10849487 markings, 29326437 edges, 80819 markings/sec, 125 secs
lola: 11255974 markings, 30450733 edges, 81297 markings/sec, 130 secs
lola: 11613178 markings, 31577419 edges, 71441 markings/sec, 135 secs
lola: 11964489 markings, 32766481 edges, 70262 markings/sec, 140 secs
lola: 12322945 markings, 33917014 edges, 71691 markings/sec, 145 secs
lola: 12694113 markings, 35094290 edges, 74234 markings/sec, 150 secs
lola: 13060596 markings, 36244607 edges, 73297 markings/sec, 155 secs
lola: 13403444 markings, 37383136 edges, 68570 markings/sec, 160 secs
lola: 13820215 markings, 38521443 edges, 83354 markings/sec, 165 secs
lola: 14190635 markings, 39654949 edges, 74084 markings/sec, 170 secs
lola: 14548206 markings, 40815089 edges, 71514 markings/sec, 175 secs
lola: 14877142 markings, 41975259 edges, 65787 markings/sec, 180 secs
lola: 15201632 markings, 43123689 edges, 64898 markings/sec, 185 secs
lola: 15551927 markings, 44344767 edges, 70059 markings/sec, 190 secs
lola: 15918006 markings, 45538877 edges, 73216 markings/sec, 195 secs
lola: 16318011 markings, 46704742 edges, 80001 markings/sec, 200 secs
lola: 16696540 markings, 47828591 edges, 75706 markings/sec, 205 secs
lola: 17070605 markings, 49036471 edges, 74813 markings/sec, 210 secs
lola: 17439446 markings, 50231510 edges, 73768 markings/sec, 215 secs
lola: 17849308 markings, 51344487 edges, 81972 markings/sec, 220 secs
lola: 18237730 markings, 52440895 edges, 77684 markings/sec, 225 secs
lola: 18651056 markings, 53535742 edges, 82665 markings/sec, 230 secs
lola: 19048882 markings, 54612745 edges, 79565 markings/sec, 235 secs
lola: 19434015 markings, 55718708 edges, 77027 markings/sec, 240 secs
lola: 19798876 markings, 56828857 edges, 72972 markings/sec, 245 secs
lola: 20170430 markings, 57924993 edges, 74311 markings/sec, 250 secs
lola: 20532793 markings, 59064568 edges, 72473 markings/sec, 255 secs
lola: 20924174 markings, 60179083 edges, 78276 markings/sec, 260 secs
lola: 21302248 markings, 61255722 edges, 75615 markings/sec, 265 secs
lola: 21665214 markings, 62374620 edges, 72593 markings/sec, 270 secs
lola: 22039810 markings, 63501598 edges, 74919 markings/sec, 275 secs
lola: 22405283 markings, 64619571 edges, 73095 markings/sec, 280 secs
lola: 22794126 markings, 65715107 edges, 77769 markings/sec, 285 secs
lola: 23149018 markings, 66832297 edges, 70978 markings/sec, 290 secs
lola: 23516698 markings, 67999066 edges, 73536 markings/sec, 295 secs
lola: 23856426 markings, 69180626 edges, 67946 markings/sec, 300 secs
lola: 24179055 markings, 70359646 edges, 64526 markings/sec, 305 secs
lola: 24537513 markings, 71570548 edges, 71692 markings/sec, 310 secs
lola: 24889077 markings, 72771010 edges, 70313 markings/sec, 315 secs
lola: 25235468 markings, 73926632 edges, 69278 markings/sec, 320 secs
lola: 25599066 markings, 75121862 edges, 72720 markings/sec, 325 secs
lola: 25960185 markings, 76319890 edges, 72224 markings/sec, 330 secs
lola: 26321299 markings, 77499589 edges, 72223 markings/sec, 335 secs
lola: 26681955 markings, 78687675 edges, 72131 markings/sec, 340 secs
lola: 27036242 markings, 79871641 edges, 70857 markings/sec, 345 secs
lola: 27392578 markings, 81043120 edges, 71267 markings/sec, 350 secs
lola: 27748447 markings, 82227933 edges, 71174 markings/sec, 355 secs
lola: 28104352 markings, 83396388 edges, 71181 markings/sec, 360 secs
lola: 28459802 markings, 84567055 edges, 71090 markings/sec, 365 secs
lola: 28814495 markings, 85722843 edges, 70939 markings/sec, 370 secs
lola: 29164201 markings, 86899759 edges, 69941 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown no unknown no no no unknown yes unknown unknown yes unknown no
lola: memory consumption: 1286340 KB
lola: time consumption: 883 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((B24 <= A22)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((B24 <= A22)))
lola: processed formula length: 20
lola: 32 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 12 markings, 12 edges
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((2 <= A26) AND (A16 + 1 <= A7) AND (3 <= A3))))
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: ((A26 <= 1) OR (A7 <= A16) OR (A3 <= 2))
lola: processed formula length: 42
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 537 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((A26 + 1 <= A13) OR (B5 + 1 <= A23) OR (3 <= A27))))
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: ((A13 <= A26) AND (A23 <= B5) AND (A27 <= 2))
lola: processed formula length: 45
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 9 markings, 9 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 671 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (((A8 <= A15) U (A11 <= B23)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A((A8 <= A15) U (A11 <= B23)))))
lola: processed formula length: 49
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 14 markings, 29 edges
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 895 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((3 <= A17))) U ((A2 <= 0) OR ((2 <= A5) AND (2 <= A28)))))
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(A(TRUE U (3 <= A17)) U ((A2 <= 0) OR ((2 <= A5) AND (2 <= A28))))
lola: processed formula length: 68
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 10 markings, 11 edges
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((A16 <= A13) OR (A25 <= A26) OR (B24 <= 0)) U (3 <= A9)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((((A16 <= A13) OR (A25 <= A26) OR (B24 <= 0)) U (3 <= A9)))
lola: processed formula length: 64
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (3 <= A9)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-07track28RR-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-07track28RR-CTLCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 655020 markings, 2006687 edges, 131004 markings/sec, 0 secs
lola: sara is running 5 secs || 1320735 markings, 4093249 edges, 133143 markings/sec, 5 secs
lola: sara is running 10 secs || 1977368 markings, 6213214 edges, 131327 markings/sec, 10 secs
lola: sara is running 15 secs || 2564947 markings, 8177734 edges, 117516 markings/sec, 15 secs
lola: sara is running 20 secs || 3087079 markings, 10065762 edges, 104426 markings/sec, 20 secs
lola: sara is running 25 secs || 3622673 markings, 12628524 edges, 107119 markings/sec, 25 secs
lola: sara is running 30 secs || 4131358 markings, 15171114 edges, 101737 markings/sec, 30 secs
lola: sara is running 35 secs || 4612421 markings, 17497452 edges, 96213 markings/sec, 35 secs
lola: sara is running 40 secs || 5130845 markings, 20015864 edges, 103685 markings/sec, 40 secs
lola: sara is running 45 secs || 5633332 markings, 22549491 edges, 100497 markings/sec, 45 secs
lola: sara is running 50 secs || 6075383 markings, 24982977 edges, 88410 markings/sec, 50 secs
lola: sara is running 55 secs || 6518496 markings, 27850254 edges, 88623 markings/sec, 55 secs
lola: sara is running 60 secs || 6967144 markings, 30433166 edges, 89730 markings/sec, 60 secs
lola: sara is running 65 secs || 7483165 markings, 33035534 edges, 103204 markings/sec, 65 secs
lola: sara is running 70 secs || 7976372 markings, 35542313 edges, 98641 markings/sec, 70 secs
lola: sara is running 75 secs || 8412467 markings, 38138806 edges, 87219 markings/sec, 75 secs
lola: sara is running 80 secs || 8822581 markings, 40912106 edges, 82023 markings/sec, 80 secs
lola: sara is running 85 secs || 9253901 markings, 43806059 edges, 86264 markings/sec, 85 secs
lola: sara is running 90 secs || 9648241 markings, 46602695 edges, 78868 markings/sec, 90 secs
lola: sara is running 95 secs || 10036889 markings, 49573299 edges, 77730 markings/sec, 95 secs
lola: sara is running 100 secs || 10542429 markings, 52336204 edges, 101108 markings/sec, 100 secs
lola: sara is running 105 secs || 11030693 markings, 55236999 edges, 97653 markings/sec, 105 secs
lola: sara is running 110 secs || 11456894 markings, 58291874 edges, 85240 markings/sec, 110 secs
lola: sara is running 115 secs || 11864003 markings, 61383778 edges, 81422 markings/sec, 115 secs
lola: sara is running 120 secs || 12392022 markings, 64056260 edges, 105604 markings/sec, 120 secs
lola: sara is running 125 secs || 12942804 markings, 66109537 edges, 110156 markings/sec, 125 secs
lola: sara is running 130 secs || 13508514 markings, 68252355 edges, 113142 markings/sec, 130 secs
lola: sara is running 135 secs || 14041198 markings, 70303709 edges, 106537 markings/sec, 135 secs
lola: sara is running 140 secs || 14611391 markings, 72352508 edges, 114039 markings/sec, 140 secs
lola: sara is running 145 secs || 15133567 markings, 74395883 edges, 104435 markings/sec, 145 secs
lola: sara is running 150 secs || 15680354 markings, 76499973 edges, 109357 markings/sec, 150 secs
lola: sara is running 155 secs || 16190917 markings, 78551495 edges, 102113 markings/sec, 155 secs
lola: sara is running 160 secs || 16755981 markings, 80690619 edges, 113013 markings/sec, 160 secs
lola: sara is running 165 secs || 17285328 markings, 82778121 edges, 105869 markings/sec, 165 secs
lola: sara is running 170 secs || 17807180 markings, 84807713 edges, 104370 markings/sec, 170 secs
lola: sara is running 175 secs || 18309260 markings, 86846894 edges, 100416 markings/sec, 175 secs
lola: sara is running 180 secs || 18901852 markings, 88932080 edges, 118518 markings/sec, 180 secs
lola: sara is running 185 secs || 19439024 markings, 91482373 edges, 107434 markings/sec, 185 secs
lola: sara is running 190 secs || 19892772 markings, 93519696 edges, 90750 markings/sec, 190 secs
lola: sara is running 195 secs || 20365328 markings, 95492440 edges, 94511 markings/sec, 195 secs
lola: sara is running 200 secs || 20803810 markings, 97361080 edges, 87696 markings/sec, 200 secs
lola: sara is running 205 secs || 21222342 markings, 99171484 edges, 83706 markings/sec, 205 secs
lola: sara is running 210 secs || 21606148 markings, 100825826 edges, 76761 markings/sec, 210 secs
lola: sara is running 215 secs || 22041426 markings, 102712234 edges, 87056 markings/sec, 215 secs
lola: sara is running 220 secs || 22483246 markings, 104837878 edges, 88364 markings/sec, 220 secs
lola: sara is running 225 secs || 22922070 markings, 107240483 edges, 87765 markings/sec, 225 secs
lola: sara is running 230 secs || 23336377 markings, 109532452 edges, 82861 markings/sec, 230 secs
lola: sara is running 235 secs || 23755278 markings, 111848660 edges, 83780 markings/sec, 235 secs
lola: sara is running 240 secs || 24167945 markings, 114163130 edges, 82533 markings/sec, 240 secs
lola: sara is running 245 secs || 24599035 markings, 116566467 edges, 86218 markings/sec, 245 secs
lola: sara is running 250 secs || 25010319 markings, 118891618 edges, 82257 markings/sec, 250 secs
lola: sara is running 255 secs || 25458120 markings, 121356171 edges, 89560 markings/sec, 255 secs
lola: sara is running 260 secs || 25863827 markings, 124021041 edges, 81141 markings/sec, 260 secs
lola: sara is running 265 secs || 26258983 markings, 126390675 edges, 79031 markings/sec, 265 secs
lola: sara is running 270 secs || 26603260 markings, 128494964 edges, 68855 markings/sec, 270 secs
lola: sara is running 275 secs || 26944148 markings, 130561655 edges, 68178 markings/sec, 275 secs
lola: sara is running 280 secs || 27387256 markings, 132925396 edges, 88622 markings/sec, 280 secs
lola: sara is running 285 secs || 27816433 markings, 135343330 edges, 85835 markings/sec, 285 secs
lola: sara is running 290 secs || 28210531 markings, 137538048 edges, 78820 markings/sec, 290 secs
lola: sara is running 295 secs || 28613506 markings, 139761767 edges, 80595 markings/sec, 295 secs
lola: sara is running 300 secs || 29021950 markings, 142080077 edges, 81689 markings/sec, 300 secs
lola: sara is running 305 secs || 29449713 markings, 144469633 edges, 85553 markings/sec, 305 secs
lola: sara is running 310 secs || 29858298 markings, 146784313 edges, 81717 markings/sec, 310 secs
lola: sara is running 315 secs || 30258255 markings, 149114802 edges, 79991 markings/sec, 315 secs
lola: sara is running 320 secs || 30704349 markings, 151709008 edges, 89219 markings/sec, 320 secs
lola: sara is running 325 secs || 31099883 markings, 154251146 edges, 79107 markings/sec, 325 secs
lola: sara is running 330 secs || 31494374 markings, 156546759 edges, 78898 markings/sec, 330 secs
lola: sara is running 335 secs || 31857362 markings, 158756280 edges, 72598 markings/sec, 335 secs
lola: sara is running 340 secs || 32209686 markings, 160923213 edges, 70465 markings/sec, 340 secs
lola: sara is running 345 secs || 32577548 markings, 163395970 edges, 73572 markings/sec, 345 secs
lola: sara is running 350 secs || 32942219 markings, 165997221 edges, 72934 markings/sec, 350 secs
lola: sara is running 355 secs || 33288753 markings, 168527231 edges, 69307 markings/sec, 355 secs
lola: sara is running 360 secs || 33649941 markings, 171143073 edges, 72238 markings/sec, 360 secs
lola: sara is running 365 secs || 34003590 markings, 173741986 edges, 70730 markings/sec, 365 secs
lola: sara is running 370 secs || 34365116 markings, 176638937 edges, 72305 markings/sec, 370 secs
lola: sara is running 375 secs || 34722185 markings, 179246613 edges, 71414 markings/sec, 375 secs
lola: sara is running 380 secs || 35032960 markings, 181615508 edges, 62155 markings/sec, 380 secs
lola: sara is running 385 secs || 35474640 markings, 184245060 edges, 88336 markings/sec, 385 secs
lola: sara is running 390 secs || 35913095 markings, 186727808 edges, 87691 markings/sec, 390 secs
lola: sara is running 395 secs || 36343602 markings, 189150052 edges, 86101 markings/sec, 395 secs
lola: sara is running 400 secs || 36770943 markings, 191610753 edges, 85468 markings/sec, 400 secs
lola: sara is running 405 secs || 37191138 markings, 194047057 edges, 84039 markings/sec, 405 secs
lola: sara is running 410 secs || 37620438 markings, 196519366 edges, 85860 markings/sec, 410 secs
lola: sara is running 415 secs || 38029586 markings, 198892545 edges, 81830 markings/sec, 415 secs
lola: sara is running 420 secs || 38478389 markings, 201422293 edges, 89761 markings/sec, 420 secs
lola: sara is running 425 secs || 38911706 markings, 204031475 edges, 86663 markings/sec, 425 secs
lola: sara is running 430 secs || 39305719 markings, 206320690 edges, 78803 markings/sec, 430 secs
lola: sara is running 435 secs || 39648590 markings, 208416248 edges, 68574 markings/sec, 435 secs
lola: sara is running 440 secs || 40013462 markings, 210706630 edges, 72974 markings/sec, 440 secs
lola: sara is running 445 secs || 40383364 markings, 213432517 edges, 73980 markings/sec, 445 secs
lola: sara is running 450 secs || 40728872 markings, 215981706 edges, 69102 markings/sec, 450 secs
lola: sara is running 455 secs || 41089860 markings, 218674183 edges, 72198 markings/sec, 455 secs
lola: sara is running 460 secs || 41444108 markings, 221287283 edges, 70850 markings/sec, 460 secs
lola: sara is running 465 secs || 41800806 markings, 224084235 edges, 71340 markings/sec, 465 secs
lola: sara is running 470 secs || 42118422 markings, 226536648 edges, 63523 markings/sec, 470 secs
lola: sara is running 475 secs || 42474342 markings, 229182048 edges, 71184 markings/sec, 475 secs
lola: sara is running 480 secs || 42826561 markings, 231791338 edges, 70444 markings/sec, 480 secs
lola: sara is running 485 secs || 43164822 markings, 234326650 edges, 67652 markings/sec, 485 secs
lola: sara is running 490 secs || 43513302 markings, 236940704 edges, 69696 markings/sec, 490 secs
lola: sara is running 495 secs || 43861543 markings, 239517697 edges, 69648 markings/sec, 495 secs
lola: sara is running 500 secs || 44212394 markings, 242286690 edges, 70170 markings/sec, 500 secs
lola: sara is running 505 secs || 44535613 markings, 244766621 edges, 64644 markings/sec, 505 secs
lola: sara is running 510 secs || 44848993 markings, 247378483 edges, 62676 markings/sec, 510 secs
lola: sara is running 515 secs || 45148491 markings, 250080486 edges, 59900 markings/sec, 515 secs
lola: sara is running 520 secs || 45441028 markings, 252758733 edges, 58507 markings/sec, 520 secs
lola: sara is running 525 secs || 45760756 markings, 255709950 edges, 63946 markings/sec, 525 secs
lola: sara is running 530 secs || 46067038 markings, 258373849 edges, 61256 markings/sec, 530 secs
lola: sara is running 535 secs || 46521246 markings, 260843677 edges, 90842 markings/sec, 535 secs
lola: sara is running 540 secs || 46956087 markings, 263237482 edges, 86968 markings/sec, 540 secs
lola: sara is running 545 secs || 47402751 markings, 265690943 edges, 89333 markings/sec, 545 secs
lola: sara is running 550 secs || 47869823 markings, 268214843 edges, 93414 markings/sec, 550 secs
lola: sara is running 555 secs || 48286704 markings, 270637938 edges, 83376 markings/sec, 555 secs
lola: sara is running 560 secs || 48667095 markings, 273320510 edges, 76078 markings/sec, 560 secs
lola: sara is running 565 secs || 49050648 markings, 276095825 edges, 76711 markings/sec, 565 secs
lola: sara is running 570 secs || 49457191 markings, 278713802 edges, 81309 markings/sec, 570 secs
lola: sara is running 575 secs || 49865484 markings, 281342992 edges, 81659 markings/sec, 575 secs
lola: sara is running 580 secs || 50250988 markings, 283922431 edges, 77101 markings/sec, 580 secs
lola: sara is running 585 secs || 50657150 markings, 286555710 edges, 81232 markings/sec, 585 secs
lola: sara is running 590 secs || 51069499 markings, 289350433 edges, 82470 markings/sec, 590 secs
lola: sara is running 595 secs || 51431751 markings, 291921728 edges, 72450 markings/sec, 595 secs
lola: sara is running 600 secs || 51785533 markings, 294790449 edges, 70756 markings/sec, 600 secs
lola: sara is running 605 secs || 52128222 markings, 297606377 edges, 68538 markings/sec, 605 secs
lola: sara is running 610 secs || 52470115 markings, 300533787 edges, 68379 markings/sec, 610 secs
lola: sara is running 615 secs || 52833774 markings, 303281456 edges, 72732 markings/sec, 615 secs
lola: sara is running 620 secs || 53208332 markings, 306058011 edges, 74912 markings/sec, 620 secs
lola: sara is running 625 secs || 53591117 markings, 308586739 edges, 76557 markings/sec, 625 secs
lola: sara is running 630 secs || 53922510 markings, 311535582 edges, 66279 markings/sec, 630 secs
lola: sara is running 635 secs || 54266151 markings, 314372905 edges, 68728 markings/sec, 635 secs
lola: sara is running 640 secs || 54598247 markings, 317205059 edges, 66419 markings/sec, 640 secs
lola: sara is running 645 secs || 54929159 markings, 320015631 edges, 66182 markings/sec, 645 secs
lola: sara is running 650 secs || 55257326 markings, 322918992 edges, 65633 markings/sec, 650 secs
lola: sara is running 655 secs || 55551955 markings, 325904815 edges, 58926 markings/sec, 655 secs
lola: sara is running 660 secs || 55989584 markings, 328567610 edges, 87526 markings/sec, 660 secs
lola: sara is running 665 secs || 56496093 markings, 330681597 edges, 101302 markings/sec, 665 secs
lola: sara is running 670 secs || 56997091 markings, 332812065 edges, 100200 markings/sec, 670 secs
lola: sara is running 675 secs || 57509599 markings, 334921585 edges, 102502 markings/sec, 675 secs
lola: sara is running 680 secs || 57990459 markings, 337014276 edges, 96172 markings/sec, 680 secs
lola: sara is running 685 secs || 58472788 markings, 339085340 edges, 96466 markings/sec, 685 secs
lola: sara is running 690 secs || 58978182 markings, 341256025 edges, 101079 markings/sec, 690 secs
lola: sara is running 695 secs || 59467016 markings, 343363388 edges, 97767 markings/sec, 695 secs
lola: sara is running 700 secs || 59939246 markings, 345400415 edges, 94446 markings/sec, 700 secs
lola: sara is running 705 secs || 60456554 markings, 347477923 edges, 103462 markings/sec, 705 secs
lola: sara is running 710 secs || 60977016 markings, 349997652 edges, 104092 markings/sec, 710 secs
lola: sara is running 715 secs || 61440771 markings, 352030856 edges, 92751 markings/sec, 715 secs
lola: sara is running 720 secs || 61845935 markings, 353849394 edges, 81033 markings/sec, 720 secs
lola: sara is running 725 secs || 62264450 markings, 355737810 edges, 83703 markings/sec, 725 secs
lola: sara is running 730 secs || 62599984 markings, 357209667 edges, 67107 markings/sec, 730 secs
lola: sara is running 735 secs || 63083996 markings, 359663435 edges, 96802 markings/sec, 735 secs
lola: sara is running 740 secs || 63499294 markings, 362129326 edges, 83060 markings/sec, 740 secs
lola: sara is running 745 secs || 63907973 markings, 364515965 edges, 81736 markings/sec, 745 secs
lola: sara is running 750 secs || 64316311 markings, 366982133 edges, 81668 markings/sec, 750 secs
lola: sara is running 755 secs || 64724663 markings, 369429280 edges, 81670 markings/sec, 755 secs
lola: sara is running 760 secs || 65134192 markings, 371827490 edges, 81906 markings/sec, 760 secs
lola: sara is running 765 secs || 65542325 markings, 374490996 edges, 81627 markings/sec, 765 secs
lola: sara is running 770 secs || 65914497 markings, 376769115 edges, 74434 markings/sec, 770 secs
lola: sara is running 775 secs || 66253511 markings, 378856872 edges, 67803 markings/sec, 775 secs
lola: sara is running 780 secs || 66684737 markings, 381375026 edges, 86245 markings/sec, 780 secs
lola: sara is running 785 secs || 67087808 markings, 383746920 edges, 80614 markings/sec, 785 secs
lola: sara is running 790 secs || 67482696 markings, 386085000 edges, 78978 markings/sec, 790 secs
lola: sara is running 795 secs || 67883537 markings, 388508768 edges, 80168 markings/sec, 795 secs
lola: sara is running 800 secs || 68292478 markings, 390951790 edges, 81788 markings/sec, 800 secs
lola: sara is running 805 secs || 68697012 markings, 393361429 edges, 80907 markings/sec, 805 secs
lola: sara is running 810 secs || 69121390 markings, 396066078 edges, 84876 markings/sec, 810 secs
lola: sara is running 815 secs || 69510830 markings, 398427643 edges, 77888 markings/sec, 815 secs
lola: sara is running 820 secs || 69846382 markings, 400525982 edges, 67110 markings/sec, 820 secs
lola: sara is running 825 secs || 70207407 markings, 402863498 edges, 72205 markings/sec, 825 secs
lola: sara is running 830 secs || 70557008 markings, 405474635 edges, 69920 markings/sec, 830 secs
lola: sara is running 835 secs || 70891301 markings, 407975247 edges, 66859 markings/sec, 835 secs
lola: sara is running 840 secs || 71237146 markings, 410570540 edges, 69169 markings/sec, 840 secs
lola: sara is running 845 secs || 71597276 markings, 413344061 edges, 72026 markings/sec, 845 secs
lola: sara is running 850 secs || 71943691 markings, 415956290 edges, 69283 markings/sec, 850 secs
lola: sara is running 855 secs || 72254167 markings, 418330237 edges, 62095 markings/sec, 855 secs
lola: sara is running 860 secs || 72682597 markings, 420983026 edges, 85686 markings/sec, 860 secs
lola: sara is running 865 secs || 73098986 markings, 423499753 edges, 83278 markings/sec, 865 secs
lola: sara is running 870 secs || 73497822 markings, 425948335 edges, 79767 markings/sec, 870 secs
lola: sara is running 875 secs || 73906796 markings, 428502373 edges, 81795 markings/sec, 875 secs
lola: sara is running 880 secs || 74298509 markings, 430933410 edges, 78343 markings/sec, 880 secs
lola: sara is running 885 secs || 74712879 markings, 433502024 edges, 82874 markings/sec, 885 secs
lola: sara is running 890 secs || 75111152 markings, 435902803 edges, 79655 markings/sec, 890 secs
lola: sara is running 895 secs || 75456715 markings, 438086372 edges, 69113 markings/sec, 895 secs
lola: sara is running 900 secs || 75823120 markings, 440600079 edges, 73281 markings/sec, 900 secs
lola: sara is running 905 secs || 76163377 markings, 443254601 edges, 68051 markings/sec, 905 secs
lola: sara is running 910 secs || 76511586 markings, 445993876 edges, 69642 markings/sec, 910 secs
lola: sara is running 915 secs || 76866844 markings, 448792893 edges, 71052 markings/sec, 915 secs
lola: sara is running 920 secs || 77191207 markings, 451363787 edges, 64873 markings/sec, 920 secs
lola: sara is running 925 secs || 77527115 markings, 453995138 edges, 67182 markings/sec, 925 secs
lola: sara is running 930 secs || 77861789 markings, 456605742 edges, 66935 markings/sec, 930 secs
lola: sara is running 935 secs || 78203773 markings, 459297201 edges, 68397 markings/sec, 935 secs
lola: sara is running 940 secs || 78547342 markings, 462001181 edges, 68714 markings/sec, 940 secs
lola: sara is running 945 secs || 78889887 markings, 464689565 edges, 68509 markings/sec, 945 secs
lola: sara is running 950 secs || 79203625 markings, 467326292 edges, 62748 markings/sec, 950 secs
lola: sara is running 955 secs || 79497297 markings, 470061647 edges, 58734 markings/sec, 955 secs
lola: sara is running 960 secs || 79799365 markings, 472905132 edges, 60414 markings/sec, 960 secs
lola: sara is running 965 secs || 80095843 markings, 475653004 edges, 59296 markings/sec, 965 secs
lola: sara is running 970 secs || 80505872 markings, 478209956 edges, 82006 markings/sec, 970 secs
lola: sara is running 975 secs || 80916770 markings, 480701095 edges, 82180 markings/sec, 975 secs
lola: sara is running 980 secs || 81346344 markings, 483211779 edges, 85915 markings/sec, 980 secs
lola: sara is running 985 secs || 81705999 markings, 485870700 edges, 71931 markings/sec, 985 secs
lola: sara is running 990 secs || 82078654 markings, 488578387 edges, 74531 markings/sec, 990 secs
lola: sara is running 995 secs || 82462704 markings, 491283913 edges, 76810 markings/sec, 995 secs
lola: sara is running 1000 secs || 82830878 markings, 493935846 edges, 73635 markings/sec, 1000 secs
lola: sara is running 1005 secs || 83214151 markings, 496667546 edges, 76655 markings/sec, 1005 secs
lola: sara is running 1010 secs || 83565772 markings, 499481878 edges, 70324 markings/sec, 1010 secs
lola: sara is running 1015 secs || 83890242 markings, 502296844 edges, 64894 markings/sec, 1015 secs
lola: sara is running 1020 secs || 84235815 markings, 505205603 edges, 69115 markings/sec, 1020 secs
lola: sara is running 1025 secs || 84582743 markings, 507970794 edges, 69386 markings/sec, 1025 secs
lola: sara is running 1030 secs || 84921902 markings, 510698862 edges, 67832 markings/sec, 1030 secs
lola: sara is running 1035 secs || 85246588 markings, 513617880 edges, 64937 markings/sec, 1035 secs
lola: sara is running 1040 secs || 85556677 markings, 516421331 edges, 62018 markings/sec, 1040 secs
lola: sara is running 1045 secs || 85862392 markings, 519308590 edges, 61143 markings/sec, 1045 secs
lola: sara is running 1050 secs || 86178348 markings, 522184105 edges, 63191 markings/sec, 1050 secs
lola: sara is running 1055 secs || 86667314 markings, 524589103 edges, 97793 markings/sec, 1055 secs
lola: sara is running 1060 secs || 87190886 markings, 526893105 edges, 104714 markings/sec, 1060 secs
lola: sara is running 1065 secs || 87662160 markings, 528903502 edges, 94255 markings/sec, 1065 secs
lola: sara is running 1070 secs || 88117409 markings, 531019567 edges, 91050 markings/sec, 1070 secs
lola: sara is running 1075 secs || 88528138 markings, 533224928 edges, 82146 markings/sec, 1075 secs
lola: sara is running 1080 secs || 88977723 markings, 535416376 edges, 89917 markings/sec, 1080 secs
lola: sara is running 1085 secs || 89430405 markings, 537521119 edges, 90536 markings/sec, 1085 secs
lola: sara is running 1090 secs || 89878346 markings, 539740469 edges, 89588 markings/sec, 1090 secs
lola: sara is running 1095 secs || 90338706 markings, 541940403 edges, 92072 markings/sec, 1095 secs
lola: sara is running 1100 secs || 90791186 markings, 544064979 edges, 90496 markings/sec, 1100 secs
lola: sara is running 1105 secs || 91254219 markings, 545856573 edges, 92607 markings/sec, 1105 secs
lola: sara is running 1110 secs || 91666177 markings, 548074231 edges, 82392 markings/sec, 1110 secs
lola: sara is running 1115 secs || 92069823 markings, 550230729 edges, 80729 markings/sec, 1115 secs
lola: sara is running 1120 secs || 92490293 markings, 552270011 edges, 84094 markings/sec, 1120 secs
lola: sara is running 1125 secs || 92957499 markings, 554405919 edges, 93441 markings/sec, 1125 secs
lola: sara is running 1130 secs || 93403608 markings, 556675965 edges, 89222 markings/sec, 1130 secs
lola: sara is running 1135 secs || 93880930 markings, 558807760 edges, 95464 markings/sec, 1135 secs
lola: sara is running 1140 secs || 94332578 markings, 560591507 edges, 90330 markings/sec, 1140 secs
lola: sara is running 1145 secs || 94744638 markings, 562684607 edges, 82412 markings/sec, 1145 secs
lola: sara is running 1150 secs || 95133067 markings, 564765118 edges, 77686 markings/sec, 1150 secs
lola: sara is running 1155 secs || 95558088 markings, 566856864 edges, 85004 markings/sec, 1155 secs
lola: sara is running 1160 secs || 95990239 markings, 568950786 edges, 86430 markings/sec, 1160 secs
lola: sara is running 1165 secs || 96432874 markings, 571106339 edges, 88527 markings/sec, 1165 secs
lola: sara is running 1170 secs || 96875357 markings, 573331868 edges, 88497 markings/sec, 1170 secs
lola: sara is running 1175 secs || 97316385 markings, 575465268 edges, 88206 markings/sec, 1175 secs
lola: sara is running 1180 secs || 97751110 markings, 577276451 edges, 86945 markings/sec, 1180 secs
lola: sara is running 1185 secs || 98165562 markings, 579339239 edges, 82890 markings/sec, 1185 secs
lola: sara is running 1190 secs || 98536998 markings, 581447163 edges, 74287 markings/sec, 1190 secs
lola: sara is running 1195 secs || 98948802 markings, 583473418 edges, 82361 markings/sec, 1195 secs
lola: sara is running 1200 secs || 99377750 markings, 585519727 edges, 85790 markings/sec, 1200 secs
lola: sara is running 1205 secs || 99848760 markings, 587871661 edges, 94202 markings/sec, 1205 secs
lola: sara is running 1210 secs || 100307439 markings, 590040216 edges, 91736 markings/sec, 1210 secs
lola: sara is running 1215 secs || 100751936 markings, 592172894 edges, 88899 markings/sec, 1215 secs
lola: sara is running 1220 secs || 101154745 markings, 594126102 edges, 80562 markings/sec, 1220 secs
lola: sara is running 1225 secs || 101592160 markings, 596312690 edges, 87483 markings/sec, 1225 secs
lola: sara is running 1230 secs || 102009494 markings, 598317667 edges, 83467 markings/sec, 1230 secs
lola: sara is running 1235 secs || 102429611 markings, 600412226 edges, 84023 markings/sec, 1235 secs
lola: sara is running 1240 secs || 102851742 markings, 602434533 edges, 84426 markings/sec, 1240 secs
lola: sara is running 1245 secs || 103278888 markings, 604626015 edges, 85429 markings/sec, 1245 secs
lola: sara is running 1250 secs || 103709465 markings, 606508741 edges, 86115 markings/sec, 1250 secs
lola: sara is running 1255 secs || 104094980 markings, 608559732 edges, 77103 markings/sec, 1255 secs
lola: sara is running 1260 secs || 104528784 markings, 610644830 edges, 86761 markings/sec, 1260 secs
lola: sara is running 1265 secs || 104939119 markings, 612855240 edges, 82067 markings/sec, 1265 secs
lola: sara is running 1270 secs || 105362251 markings, 614768686 edges, 84626 markings/sec, 1270 secs
lola: sara is running 1275 secs || 105730116 markings, 616790460 edges, 73573 markings/sec, 1275 secs
lola: sara is running 1280 secs || 106134222 markings, 618808991 edges, 80821 markings/sec, 1280 secs
lola: sara is running 1285 secs || 106653096 markings, 621052167 edges, 103775 markings/sec, 1285 secs
lola: sara is running 1290 secs || 107175556 markings, 623078121 edges, 104492 markings/sec, 1290 secs
lola: sara is running 1295 secs || 107653981 markings, 625278676 edges, 95685 markings/sec, 1295 secs
lola: sara is running 1300 secs || 108083698 markings, 627712509 edges, 85943 markings/sec, 1300 secs
lola: sara is running 1305 secs || 108506029 markings, 630107241 edges, 84466 markings/sec, 1305 secs
lola: sara is running 1310 secs || 108942476 markings, 632647822 edges, 87289 markings/sec, 1310 secs
lola: sara is running 1315 secs || 109387566 markings, 635228335 edges, 89018 markings/sec, 1315 secs
lola: sara is running 1320 secs || 109861992 markings, 637948786 edges, 94885 markings/sec, 1320 secs
lola: sara is running 1325 secs || 110252090 markings, 640135293 edges, 78020 markings/sec, 1325 secs
lola: sara is running 1330 secs || 110647923 markings, 642237862 edges, 79167 markings/sec, 1330 secs
lola: sara is running 1335 secs || 111037030 markings, 644445155 edges, 77821 markings/sec, 1335 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown no no no no no no yes unknown no yes yes no
lola: memory consumption: 3937084 KB
lola: time consumption: 2227 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((A2 <= 0) AND (A8 <= 2)) AND A (F ((3 <= A14)))) OR ((((3 <= A14) AND (2 <= A9) AND ((3 <= A8) OR (A14 <= B15))) AND E (F ((A21 <= A8)))) OR E (G (((A22 <= B16) OR (B16 <= A10))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((3 <= A14) AND (2 <= A9) AND ((3 <= A8) OR (A14 <= B15)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((3 <= A14) AND (2 <= A9) AND ((3 <= A8) OR (A14 <= B15)))
lola: processed formula length: 59
lola: 32 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.task
lola: processed formula with 4 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: 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 (F ((3 <= A14)))
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: (A14 <= 2)
lola: processed formula length: 10
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 13 markings, 13 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((A22 <= B16) OR (B16 <= A10))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((A22 <= B16) OR (B16 <= A10))))
lola: processed formula length: 39
lola: 32 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 10 markings, 10 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((A9 + 1 <= A1)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (A9 + 1 <= A1)
lola: processed formula length: 14
lola: 33 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.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: 492730 markings, 1079041 edges, 98546 markings/sec, 0 secs
lola: 974844 markings, 2111448 edges, 96423 markings/sec, 5 secs
lola: 1422628 markings, 3184011 edges, 89557 markings/sec, 10 secs
lola: 1875492 markings, 4297220 edges, 90573 markings/sec, 15 secs
lola: 2341689 markings, 5322813 edges, 93239 markings/sec, 20 secs
lola: 2791365 markings, 6442019 edges, 89935 markings/sec, 25 secs
lola: 3228274 markings, 7502084 edges, 87382 markings/sec, 30 secs
lola: 3662804 markings, 8629295 edges, 86906 markings/sec, 35 secs
lola: 4152833 markings, 9732608 edges, 98006 markings/sec, 40 secs
lola: 4592860 markings, 10869476 edges, 88005 markings/sec, 45 secs
lola: 5013682 markings, 11995440 edges, 84164 markings/sec, 50 secs
lola: 5420306 markings, 13037245 edges, 81325 markings/sec, 55 secs
lola: 5843837 markings, 14175093 edges, 84706 markings/sec, 60 secs
lola: 6267523 markings, 15291855 edges, 84737 markings/sec, 65 secs
lola: 6634313 markings, 16440226 edges, 73358 markings/sec, 70 secs
lola: 7031551 markings, 17587451 edges, 79448 markings/sec, 75 secs
lola: 7419112 markings, 18781419 edges, 77512 markings/sec, 80 secs
lola: 7790369 markings, 19927296 edges, 74251 markings/sec, 85 secs
lola: 8167849 markings, 21084084 edges, 75496 markings/sec, 90 secs
lola: 8521982 markings, 22250954 edges, 70827 markings/sec, 95 secs
lola: 8882052 markings, 23416912 edges, 72014 markings/sec, 100 secs
lola: 9252581 markings, 24601765 edges, 74106 markings/sec, 105 secs
lola: 9619980 markings, 25760703 edges, 73480 markings/sec, 110 secs
lola: 9965163 markings, 26907089 edges, 69037 markings/sec, 115 secs
lola: 10369186 markings, 28020185 edges, 80805 markings/sec, 120 secs
lola: 10731759 markings, 29052856 edges, 72515 markings/sec, 125 secs
lola: 11116330 markings, 30066798 edges, 76914 markings/sec, 130 secs
lola: 11493261 markings, 31182006 edges, 75386 markings/sec, 135 secs
lola: 11839576 markings, 32345136 edges, 69263 markings/sec, 140 secs
lola: 12191885 markings, 33497937 edges, 70462 markings/sec, 145 secs
lola: 12558794 markings, 34664194 edges, 73382 markings/sec, 150 secs
lola: 12928427 markings, 35827544 edges, 73927 markings/sec, 155 secs
lola: 13277806 markings, 36963242 edges, 69876 markings/sec, 160 secs
lola: 13657615 markings, 38023857 edges, 75962 markings/sec, 165 secs
lola: 14044040 markings, 39183221 edges, 77285 markings/sec, 170 secs
lola: 14402546 markings, 40322590 edges, 71701 markings/sec, 175 secs
lola: 14742813 markings, 41493700 edges, 68053 markings/sec, 180 secs
lola: 15065091 markings, 42647688 edges, 64456 markings/sec, 185 secs
lola: 15401558 markings, 43833890 edges, 67293 markings/sec, 190 secs
lola: 15756812 markings, 45036760 edges, 71051 markings/sec, 195 secs
lola: 16125072 markings, 46104291 edges, 73652 markings/sec, 200 secs
lola: 16508570 markings, 47268082 edges, 76700 markings/sec, 205 secs
lola: 16891989 markings, 48418787 edges, 76684 markings/sec, 210 secs
lola: 17223241 markings, 49571751 edges, 66250 markings/sec, 215 secs
lola: 17615156 markings, 50706597 edges, 78383 markings/sec, 220 secs
lola: 18005613 markings, 51807441 edges, 78091 markings/sec, 225 secs
lola: 18396329 markings, 52908802 edges, 78143 markings/sec, 230 secs
lola: 18828260 markings, 53991731 edges, 86386 markings/sec, 235 secs
lola: 19214382 markings, 55063804 edges, 77224 markings/sec, 240 secs
lola: 19592610 markings, 56167452 edges, 75646 markings/sec, 245 secs
lola: 19926662 markings, 57204281 edges, 66810 markings/sec, 250 secs
lola: 20287211 markings, 58322043 edges, 72110 markings/sec, 255 secs
lola: 20658407 markings, 59432404 edges, 74239 markings/sec, 260 secs
lola: 21042195 markings, 60529019 edges, 76758 markings/sec, 265 secs
lola: 21426904 markings, 61608998 edges, 76942 markings/sec, 270 secs
lola: 21773923 markings, 62730894 edges, 69404 markings/sec, 275 secs
lola: 22152111 markings, 63847101 edges, 75638 markings/sec, 280 secs
lola: 22523582 markings, 64950038 edges, 74294 markings/sec, 285 secs
lola: 22900186 markings, 66023368 edges, 75321 markings/sec, 290 secs
lola: 23243062 markings, 67161524 edges, 68575 markings/sec, 295 secs
lola: 23612797 markings, 68316913 edges, 73947 markings/sec, 300 secs
lola: 23927043 markings, 69436024 edges, 62849 markings/sec, 305 secs
lola: 24260090 markings, 70633614 edges, 66609 markings/sec, 310 secs
lola: 24618817 markings, 71852381 edges, 71745 markings/sec, 315 secs
lola: 24966923 markings, 73046584 edges, 69621 markings/sec, 320 secs
lola: 25305732 markings, 74147255 edges, 67762 markings/sec, 325 secs
lola: 25670539 markings, 75364052 edges, 72961 markings/sec, 330 secs
lola: 26029961 markings, 76557074 edges, 71884 markings/sec, 335 secs
lola: 26386861 markings, 77721098 edges, 71380 markings/sec, 340 secs
lola: 26707072 markings, 78766704 edges, 64042 markings/sec, 345 secs
lola: 27055914 markings, 79939869 edges, 69768 markings/sec, 350 secs
lola: 27413832 markings, 81113271 edges, 71584 markings/sec, 355 secs
lola: 27725343 markings, 82152240 edges, 62302 markings/sec, 360 secs
lola: 28051390 markings, 83229061 edges, 65209 markings/sec, 365 secs
lola: 28361917 markings, 84242611 edges, 62105 markings/sec, 370 secs
lola: 28698182 markings, 85346940 edges, 67253 markings/sec, 375 secs
lola: 29046525 markings, 86503406 edges, 69669 markings/sec, 380 secs
lola: 29384031 markings, 87598429 edges, 67501 markings/sec, 385 secs
lola: 29726842 markings, 88748502 edges, 68562 markings/sec, 390 secs
lola: 30080133 markings, 89924538 edges, 70658 markings/sec, 395 secs
lola: 30436520 markings, 91094093 edges, 71277 markings/sec, 400 secs
lola: 30791383 markings, 92261186 edges, 70973 markings/sec, 405 secs
lola: 31143278 markings, 93444446 edges, 70379 markings/sec, 410 secs
lola: 31525316 markings, 94619456 edges, 76408 markings/sec, 415 secs
lola: 31887530 markings, 95774945 edges, 72443 markings/sec, 420 secs
lola: 32256468 markings, 96936063 edges, 73788 markings/sec, 425 secs
lola: 32598573 markings, 98148094 edges, 68421 markings/sec, 430 secs
lola: 32931986 markings, 99343987 edges, 66683 markings/sec, 435 secs
lola: 33253045 markings, 100499822 edges, 64212 markings/sec, 440 secs
lola: 33613868 markings, 101637166 edges, 72165 markings/sec, 445 secs
lola: 33971805 markings, 102834004 edges, 71587 markings/sec, 450 secs
lola: 34299741 markings, 104015389 edges, 65587 markings/sec, 455 secs
lola: 34698344 markings, 105146893 edges, 79721 markings/sec, 460 secs
lola: 35055293 markings, 106324257 edges, 71390 markings/sec, 465 secs
lola: 35382741 markings, 107511338 edges, 65490 markings/sec, 470 secs
lola: 35702692 markings, 108674962 edges, 63990 markings/sec, 475 secs
lola: 36054422 markings, 109840151 edges, 70346 markings/sec, 480 secs
lola: 36384321 markings, 111038716 edges, 65980 markings/sec, 485 secs
lola: 36724430 markings, 112218664 edges, 68022 markings/sec, 490 secs
lola: 37047621 markings, 113436827 edges, 64638 markings/sec, 495 secs
lola: 37367994 markings, 114621495 edges, 64075 markings/sec, 500 secs
lola: 37692726 markings, 115805206 edges, 64946 markings/sec, 505 secs
lola: 38005507 markings, 117007042 edges, 62556 markings/sec, 510 secs
lola: 38331440 markings, 118203707 edges, 65187 markings/sec, 515 secs
lola: 38648248 markings, 119382255 edges, 63362 markings/sec, 520 secs
lola: 38976161 markings, 120575781 edges, 65583 markings/sec, 525 secs
lola: 39291811 markings, 121761392 edges, 63130 markings/sec, 530 secs
lola: 39602623 markings, 122959114 edges, 62162 markings/sec, 535 secs
lola: 39915943 markings, 124144848 edges, 62664 markings/sec, 540 secs
lola: 40277256 markings, 125316339 edges, 72263 markings/sec, 545 secs
lola: 40598993 markings, 126516064 edges, 64347 markings/sec, 550 secs
lola: 40934557 markings, 127667126 edges, 67113 markings/sec, 555 secs
lola: 41298176 markings, 128840353 edges, 72724 markings/sec, 560 secs
lola: 41625816 markings, 130021039 edges, 65528 markings/sec, 565 secs
lola: 41940125 markings, 131145276 edges, 62862 markings/sec, 570 secs
lola: 42250538 markings, 132334198 edges, 62083 markings/sec, 575 secs
lola: 42572983 markings, 133539247 edges, 64489 markings/sec, 580 secs
lola: 42885122 markings, 134724272 edges, 62428 markings/sec, 585 secs
lola: 43213749 markings, 135915540 edges, 65725 markings/sec, 590 secs
lola: 43530143 markings, 137096996 edges, 63279 markings/sec, 595 secs
lola: 43836243 markings, 138283951 edges, 61220 markings/sec, 600 secs
lola: 44156250 markings, 139471684 edges, 64001 markings/sec, 605 secs
lola: 44533441 markings, 140631084 edges, 75438 markings/sec, 610 secs
lola: 44871457 markings, 141864870 edges, 67603 markings/sec, 615 secs
lola: 45163867 markings, 142968496 edges, 58482 markings/sec, 620 secs
lola: 45478260 markings, 144129354 edges, 62879 markings/sec, 625 secs
lola: 45811244 markings, 145322999 edges, 66597 markings/sec, 630 secs
lola: 46122880 markings, 146513228 edges, 62327 markings/sec, 635 secs
lola: 46421402 markings, 147690826 edges, 59704 markings/sec, 640 secs
lola: 46723551 markings, 148871548 edges, 60430 markings/sec, 645 secs
lola: 47026536 markings, 150074800 edges, 60597 markings/sec, 650 secs
lola: 47337625 markings, 151307614 edges, 62218 markings/sec, 655 secs
lola: 47658612 markings, 152521168 edges, 64197 markings/sec, 660 secs
lola: 47979008 markings, 153730385 edges, 64079 markings/sec, 665 secs
lola: 48312083 markings, 154832005 edges, 66615 markings/sec, 670 secs
lola: 48649639 markings, 156073656 edges, 67511 markings/sec, 675 secs
lola: 48948819 markings, 157277386 edges, 59836 markings/sec, 680 secs
lola: 49267038 markings, 158462122 edges, 63644 markings/sec, 685 secs
lola: 49575163 markings, 159663224 edges, 61625 markings/sec, 690 secs
lola: 49973210 markings, 160784510 edges, 79609 markings/sec, 695 secs
lola: 50337775 markings, 161926104 edges, 72913 markings/sec, 700 secs
lola: 50666121 markings, 163009093 edges, 65669 markings/sec, 705 secs
lola: 50967934 markings, 164155499 edges, 60363 markings/sec, 710 secs
lola: 51236400 markings, 165243763 edges, 53693 markings/sec, 715 secs
lola: 51583852 markings, 166410936 edges, 69490 markings/sec, 720 secs
lola: 51893058 markings, 167630038 edges, 61841 markings/sec, 725 secs
lola: 52242334 markings, 168796886 edges, 69855 markings/sec, 730 secs
lola: 52555774 markings, 170007387 edges, 62688 markings/sec, 735 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate is not possibly preserved from any reachable marking.
lola: 52567861 markings, 170070651 edges
FORMULA DNAwalker-PT-07track28RR-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E ((((A16 <= A13) OR (A25 <= A26) OR (B24 <= 0)) U (3 <= A9)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((((A16 <= A13) OR (A25 <= A26) OR (B24 <= 0)) U (3 <= A9)))
lola: processed formula length: 64
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-07track28RR-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (3 <= A9)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-07track28RR-CTLCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-07track28RR-CTLCardinality-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 713450 markings, 2170671 edges, 142690 markings/sec, 0 secs
lola: sara is running 5 secs || 1383893 markings, 4291923 edges, 134089 markings/sec, 5 secs
lola: sara is running 10 secs || 2049663 markings, 6451727 edges, 133154 markings/sec, 10 secs
lola: sara is running 15 secs || 2619116 markings, 8366006 edges, 113891 markings/sec, 15 secs
lola: sara is running 20 secs || 3116810 markings, 10205215 edges, 99539 markings/sec, 20 secs
lola: sara is running 25 secs || 3627275 markings, 12651541 edges, 102093 markings/sec, 25 secs
lola: sara is running 30 secs || 4116762 markings, 15103017 edges, 97897 markings/sec, 30 secs
lola: sara is running 35 secs || 4582017 markings, 17355804 edges, 93051 markings/sec, 35 secs
lola: sara is running 40 secs || 5081405 markings, 19769916 edges, 99878 markings/sec, 40 secs
lola: sara is running 45 secs || 5573330 markings, 22238912 edges, 98385 markings/sec, 45 secs
lola: sara is running 50 secs || 5993929 markings, 24468871 edges, 84120 markings/sec, 50 secs
lola: sara is running 55 secs || 6417649 markings, 27188389 edges, 84744 markings/sec, 55 secs
lola: sara is running 60 secs || 6821542 markings, 29707800 edges, 80779 markings/sec, 60 secs
lola: sara is running 65 secs || 7317134 markings, 32194604 edges, 99118 markings/sec, 65 secs
lola: sara is running 70 secs || 7818114 markings, 34738799 edges, 100196 markings/sec, 70 secs
lola: sara is running 75 secs || 8241250 markings, 37003741 edges, 84627 markings/sec, 75 secs
lola: sara is running 80 secs || 8661367 markings, 39822706 edges, 84023 markings/sec, 80 secs
lola: sara is running 85 secs || 9050441 markings, 42427864 edges, 77815 markings/sec, 85 secs
lola: sara is running 90 secs || 9447099 markings, 45119023 edges, 79332 markings/sec, 90 secs
lola: sara is running 95 secs || 9797247 markings, 47836478 edges, 70030 markings/sec, 95 secs
lola: sara is running 100 secs || 10219519 markings, 50481275 edges, 84454 markings/sec, 100 secs
lola: sara is running 105 secs || 10682632 markings, 53152363 edges, 92623 markings/sec, 105 secs
lola: sara is running 110 secs || 11125083 markings, 55898087 edges, 88490 markings/sec, 110 secs
lola: sara is running 115 secs || 11531913 markings, 58762993 edges, 81366 markings/sec, 115 secs
lola: sara is running 120 secs || 11911303 markings, 61798411 edges, 75878 markings/sec, 120 secs
lola: sara is running 125 secs || 12441308 markings, 64242804 edges, 106001 markings/sec, 125 secs
lola: sara is running 130 secs || 12978666 markings, 66261456 edges, 107472 markings/sec, 130 secs
lola: sara is running 135 secs || 13520725 markings, 68292921 edges, 108412 markings/sec, 135 secs
lola: sara is running 140 secs || 14022679 markings, 70231728 edges, 100391 markings/sec, 140 secs
lola: sara is running 145 secs || 14559556 markings, 72182278 edges, 107375 markings/sec, 145 secs
lola: sara is running 150 secs || 15046252 markings, 74078409 edges, 97339 markings/sec, 150 secs
lola: sara is running 155 secs || 15568174 markings, 76124893 edges, 104384 markings/sec, 155 secs
lola: sara is running 160 secs || 16057285 markings, 78026687 edges, 97822 markings/sec, 160 secs
lola: sara is running 165 secs || 16595173 markings, 80089236 edges, 107578 markings/sec, 165 secs
lola: sara is running 170 secs || 17107990 markings, 82075891 edges, 102563 markings/sec, 170 secs
lola: sara is running 175 secs || 17615120 markings, 84052288 edges, 101426 markings/sec, 175 secs
lola: sara is running 180 secs || 18119247 markings, 86065226 edges, 100825 markings/sec, 180 secs
lola: sara is running 185 secs || 18668360 markings, 88146358 edges, 109823 markings/sec, 185 secs
lola: sara is running 190 secs || 19214373 markings, 90507224 edges, 109203 markings/sec, 190 secs
lola: sara is running 195 secs || 19719634 markings, 92763048 edges, 101052 markings/sec, 195 secs
lola: sara is running 200 secs || 20181206 markings, 94751625 edges, 92314 markings/sec, 200 secs
lola: sara is running 205 secs || 20637223 markings, 96654619 edges, 91203 markings/sec, 205 secs
lola: sara is running 210 secs || 21061644 markings, 98462137 edges, 84884 markings/sec, 210 secs
lola: sara is running 215 secs || 21455297 markings, 100181095 edges, 78731 markings/sec, 215 secs
lola: sara is running 220 secs || 21788270 markings, 101623926 edges, 66595 markings/sec, 220 secs
lola: sara is running 225 secs || 22249619 markings, 103621160 edges, 92270 markings/sec, 225 secs
lola: sara is running 230 secs || 22694964 markings, 105994875 edges, 89069 markings/sec, 230 secs
lola: sara is running 235 secs || 23112595 markings, 108323561 edges, 83526 markings/sec, 235 secs
lola: sara is running 240 secs || 23531038 markings, 110593784 edges, 83689 markings/sec, 240 secs
lola: sara is running 245 secs || 23942907 markings, 112863396 edges, 82374 markings/sec, 245 secs
lola: sara is running 250 secs || 24361272 markings, 115233234 edges, 83673 markings/sec, 250 secs
lola: sara is running 255 secs || 24772213 markings, 117517829 edges, 82188 markings/sec, 255 secs
lola: sara is running 260 secs || 25173832 markings, 119849063 edges, 80324 markings/sec, 260 secs
lola: sara is running 265 secs || 25616363 markings, 122409621 edges, 88506 markings/sec, 265 secs
lola: sara is running 270 secs || 25983747 markings, 124786413 edges, 73477 markings/sec, 270 secs
lola: sara is running 275 secs || 26365999 markings, 127076688 edges, 76450 markings/sec, 275 secs
lola: sara is running 280 secs || 26719525 markings, 129191923 edges, 70705 markings/sec, 280 secs
lola: sara is running 285 secs || 27051240 markings, 131158367 edges, 66343 markings/sec, 285 secs
lola: sara is running 290 secs || 27480894 markings, 133491295 edges, 85931 markings/sec, 290 secs
lola: sara is running 295 secs || 27906370 markings, 135801480 edges, 85095 markings/sec, 295 secs
lola: sara is running 300 secs || 28319179 markings, 138117005 edges, 82562 markings/sec, 300 secs
lola: sara is running 305 secs || 28722205 markings, 140364122 edges, 80605 markings/sec, 305 secs
lola: sara is running 310 secs || 29116065 markings, 142614765 edges, 78772 markings/sec, 310 secs
lola: sara is running 315 secs || 29542398 markings, 145013769 edges, 85267 markings/sec, 315 secs
lola: sara is running 320 secs || 29941913 markings, 147265645 edges, 79903 markings/sec, 320 secs
lola: sara is running 325 secs || 30338078 markings, 149555009 edges, 79233 markings/sec, 325 secs
lola: sara is running 330 secs || 30780281 markings, 152170683 edges, 88441 markings/sec, 330 secs
lola: sara is running 335 secs || 31147226 markings, 154549635 edges, 73389 markings/sec, 335 secs
lola: sara is running 340 secs || 31537924 markings, 156820401 edges, 78140 markings/sec, 340 secs
lola: sara is running 345 secs || 31885273 markings, 158935080 edges, 69470 markings/sec, 345 secs
lola: sara is running 350 secs || 32224522 markings, 161005816 edges, 67850 markings/sec, 350 secs
lola: sara is running 355 secs || 32592483 markings, 163507455 edges, 73592 markings/sec, 355 secs
lola: sara is running 360 secs || 32944569 markings, 166012867 edges, 70417 markings/sec, 360 secs
lola: sara is running 365 secs || 33284083 markings, 168489921 edges, 67903 markings/sec, 365 secs
lola: sara is running 370 secs || 33636263 markings, 171042665 edges, 70436 markings/sec, 370 secs
lola: sara is running 375 secs || 33978277 markings, 173572182 edges, 68403 markings/sec, 375 secs
lola: sara is running 380 secs || 34334280 markings, 176379600 edges, 71201 markings/sec, 380 secs
lola: sara is running 385 secs || 34678414 markings, 178927551 edges, 68827 markings/sec, 385 secs
lola: sara is running 390 secs || 34987847 markings, 181274441 edges, 61887 markings/sec, 390 secs
lola: sara is running 395 secs || 35389345 markings, 183752795 edges, 80300 markings/sec, 395 secs
lola: sara is running 400 secs || 35821775 markings, 186211387 edges, 86486 markings/sec, 400 secs
lola: sara is running 405 secs || 36242343 markings, 188583815 edges, 84114 markings/sec, 405 secs
lola: sara is running 410 secs || 36645893 markings, 190912268 edges, 80710 markings/sec, 410 secs
lola: sara is running 415 secs || 37050648 markings, 193235983 edges, 80951 markings/sec, 415 secs
lola: sara is running 420 secs || 37471705 markings, 195646946 edges, 84211 markings/sec, 420 secs
lola: sara is running 425 secs || 37875401 markings, 197996244 edges, 80739 markings/sec, 425 secs
lola: sara is running 430 secs || 38290785 markings, 200306381 edges, 83077 markings/sec, 430 secs
lola: sara is running 435 secs || 38725411 markings, 202944128 edges, 86925 markings/sec, 435 secs
lola: sara is running 440 secs || 39123769 markings, 205213437 edges, 79672 markings/sec, 440 secs
lola: sara is running 445 secs || 39483541 markings, 207410914 edges, 71954 markings/sec, 445 secs
lola: sara is running 450 secs || 39811176 markings, 209434886 edges, 65527 markings/sec, 450 secs
lola: sara is running 455 secs || 40186587 markings, 211984748 edges, 75082 markings/sec, 455 secs
lola: sara is running 460 secs || 40538736 markings, 214567586 edges, 70430 markings/sec, 460 secs
lola: sara is running 465 secs || 40882067 markings, 217128844 edges, 68666 markings/sec, 465 secs
lola: sara is running 470 secs || 41231311 markings, 219737913 edges, 69849 markings/sec, 470 secs
lola: sara is running 475 secs || 41597158 markings, 222487647 edges, 73169 markings/sec, 475 secs
lola: sara is running 480 secs || 41935669 markings, 225106025 edges, 67702 markings/sec, 480 secs
lola: sara is running 485 secs || 42241232 markings, 227470420 edges, 61113 markings/sec, 485 secs
lola: sara is running 490 secs || 42608781 markings, 230177303 edges, 73510 markings/sec, 490 secs
lola: sara is running 495 secs || 42952991 markings, 232733324 edges, 68842 markings/sec, 495 secs
lola: sara is running 500 secs || 43296132 markings, 235309856 edges, 68628 markings/sec, 500 secs
lola: sara is running 505 secs || 43634411 markings, 237864028 edges, 67656 markings/sec, 505 secs
lola: sara is running 510 secs || 43992461 markings, 240566213 edges, 71610 markings/sec, 510 secs
lola: sara is running 515 secs || 44334262 markings, 243172308 edges, 68360 markings/sec, 515 secs
lola: sara is running 520 secs || 44632969 markings, 245538960 edges, 59741 markings/sec, 520 secs
lola: sara is running 525 secs || 44952964 markings, 248317255 edges, 63999 markings/sec, 525 secs
lola: sara is running 530 secs || 45252235 markings, 251031777 edges, 59854 markings/sec, 530 secs
lola: sara is running 535 secs || 45555953 markings, 253784463 edges, 60744 markings/sec, 535 secs
lola: sara is running 540 secs || 45865202 markings, 256657793 edges, 61850 markings/sec, 540 secs
lola: sara is running 545 secs || 46219407 markings, 259154289 edges, 70841 markings/sec, 545 secs
lola: sara is running 550 secs || 46663961 markings, 261574278 edges, 88911 markings/sec, 550 secs
lola: sara is running 555 secs || 47099434 markings, 263993101 edges, 87095 markings/sec, 555 secs
lola: sara is running 560 secs || 47539246 markings, 266420001 edges, 87962 markings/sec, 560 secs
lola: sara is running 565 secs || 47983298 markings, 268813470 edges, 88810 markings/sec, 565 secs
lola: sara is running 570 secs || 48380383 markings, 271296430 edges, 79417 markings/sec, 570 secs
lola: sara is running 575 secs || 48749207 markings, 273906724 edges, 73765 markings/sec, 575 secs
lola: sara is running 580 secs || 49122119 markings, 276609523 edges, 74582 markings/sec, 580 secs
lola: sara is running 585 secs || 49534989 markings, 279188592 edges, 82574 markings/sec, 585 secs
lola: sara is running 590 secs || 49930636 markings, 281805860 edges, 79129 markings/sec, 590 secs
lola: sara is running 595 secs || 50308104 markings, 284333898 edges, 75494 markings/sec, 595 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no unknown no no no no no no yes yes no yes yes no
lola:
preliminary result: yes yes no unknown no no no no no no yes yes no yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no unknown no no no no no no yes yes no yes yes no
lola: memory consumption: 1801304 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no unknown no no no no no no yes yes no yes yes no
lola: memory consumption: 1801908 KB
lola: time consumption: 3570 seconds
BK_STOP 1526783978834
--------------------
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-07track28RR"
export BK_EXAMINATION="CTLCardinality"
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-07track28RR.tgz
mv DNAwalker-PT-07track28RR 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-07track28RR, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400269"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;