About the Execution of LoLA for DNAwalker-PT-11ringRR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1118.770 | 3600000.00 | 5798918.00 | 7179.80 | FFTTFFFFTTTTFTFT | 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 284K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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.6K 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 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 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.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-11ringRR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500299
=====================================================================
--------------------
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-11ringRR-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526812107886
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-11ringRR Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-11ringRR formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-11ringRR @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: atomic prop true by contained trap!
lola: always true
lola: LP says that atomic proposition is always false: (2 <= B12)
lola: LP says that atomic proposition is always false: (3 <= B20)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= B20)
lola: LP says that atomic proposition is always false: (2 <= B13)
lola: LP says that atomic proposition is always false: (3 <= B21)
lola: LP says that atomic proposition is always false: (2 <= B10)
lola: LP says that atomic proposition is always false: (3 <= B20)
lola: always true
lola: LP says that atomic proposition is always true: (B12 <= A17)
lola: LP says that atomic proposition is always false: (2 <= B20)
lola: A (G (((1 <= A8) OR (1 <= A18)))) : E (F ((3 <= A20))) : A (G (())) : A (G (((A19 <= A4) OR (A10 <= 2)))) : E (F (())) : E (F (())) : E (F (())) : E (F (((A19 <= 1) AND (3 <= A3)))) : A (G (())) : A (G (((A14 <= 2) OR ((A15 <= A5) AND (1 <= B21)) OR (((A20 <= B10) OR (A12 <= B13)) AND (A12 + 1 <= A5))))) : A (G (())) : A (G ((((2 <= A8) AND (3 <= A15)) OR (A19 <= 2) OR ((A2 <= B13) AND (A17 <= A16))))) : E (F (())) : A (G (TRUE)) : A (G (((1 <= A18) OR (A7 <= B21) OR ((A21 <= A13) AND (1 <= A5)) OR (A6 + 1 <= A19)))) : A (G (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 193 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 206 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: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 221 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: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 238 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: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 309 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: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A20)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A20)))
lola: processed formula length: 18
lola: 28 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A20)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-11ringRR-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-11ringRR-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 474324 markings, 1883398 edges, 94865 markings/sec, 0 secs
lola: sara is running 5 secs || 924568 markings, 4001448 edges, 90049 markings/sec, 5 secs
lola: sara is running 10 secs || 1343272 markings, 6055768 edges, 83741 markings/sec, 10 secs
lola: sara is running 15 secs || 1731644 markings, 8238051 edges, 77674 markings/sec, 15 secs
lola: sara is running 20 secs || 2142185 markings, 10273193 edges, 82108 markings/sec, 20 secs
lola: sara is running 25 secs || 2638579 markings, 12405491 edges, 99279 markings/sec, 25 secs
lola: sara is running 30 secs || 3059256 markings, 14702169 edges, 84135 markings/sec, 30 secs
lola: sara is running 35 secs || 3445940 markings, 16894720 edges, 77337 markings/sec, 35 secs
lola: sara is running 40 secs || 3857090 markings, 19067223 edges, 82230 markings/sec, 40 secs
lola: sara is running 45 secs || 4253388 markings, 21311371 edges, 79260 markings/sec, 45 secs
lola: sara is running 50 secs || 4617864 markings, 23542693 edges, 72895 markings/sec, 50 secs
lola: sara is running 55 secs || 5009787 markings, 25805476 edges, 78385 markings/sec, 55 secs
lola: sara is running 60 secs || 5442412 markings, 28038754 edges, 86525 markings/sec, 60 secs
lola: sara is running 65 secs || 5862752 markings, 30408965 edges, 84068 markings/sec, 65 secs
lola: sara is running 70 secs || 6312574 markings, 32776520 edges, 89964 markings/sec, 70 secs
lola: sara is running 75 secs || 6751130 markings, 34889169 edges, 87711 markings/sec, 75 secs
lola: sara is running 80 secs || 7209954 markings, 37043351 edges, 91765 markings/sec, 80 secs
lola: sara is running 85 secs || 7646126 markings, 39366255 edges, 87234 markings/sec, 85 secs
lola: sara is running 90 secs || 8052266 markings, 41825087 edges, 81228 markings/sec, 90 secs
lola: sara is running 95 secs || 8470287 markings, 44064298 edges, 83604 markings/sec, 95 secs
lola: sara is running 100 secs || 8879712 markings, 46412068 edges, 81885 markings/sec, 100 secs
lola: sara is running 105 secs || 9271576 markings, 48718985 edges, 78373 markings/sec, 105 secs
lola: sara is running 110 secs || 9622291 markings, 51108035 edges, 70143 markings/sec, 110 secs
lola: sara is running 115 secs || 10029619 markings, 53353638 edges, 81466 markings/sec, 115 secs
lola: sara is running 120 secs || 10463601 markings, 55510815 edges, 86796 markings/sec, 120 secs
lola: sara is running 125 secs || 10841710 markings, 57843990 edges, 75622 markings/sec, 125 secs
lola: sara is running 130 secs || 11205897 markings, 59949871 edges, 72837 markings/sec, 130 secs
lola: sara is running 135 secs || 11563973 markings, 62248309 edges, 71615 markings/sec, 135 secs
lola: sara is running 140 secs || 11986398 markings, 64446393 edges, 84485 markings/sec, 140 secs
lola: sara is running 145 secs || 12379135 markings, 66648405 edges, 78547 markings/sec, 145 secs
lola: sara is running 150 secs || 12749305 markings, 68865187 edges, 74034 markings/sec, 150 secs
lola: sara is running 155 secs || 13276667 markings, 71043987 edges, 105472 markings/sec, 155 secs
lola: sara is running 160 secs || 13778159 markings, 73345053 edges, 100298 markings/sec, 160 secs
lola: sara is running 165 secs || 14130524 markings, 75826866 edges, 70473 markings/sec, 165 secs
lola: sara is running 170 secs || 14574966 markings, 78225494 edges, 88888 markings/sec, 170 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 14698708 markings, 78834811 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 487 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A19 <= 1) AND (3 <= A3))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A19 <= 1) AND (3 <= A3))))
lola: processed formula length: 34
lola: 28 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A19 <= 1) AND (3 <= A3))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-11ringRR-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-11ringRR-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 378878 markings, 1858939 edges, 75776 markings/sec, 0 secs
lola: sara is running 5 secs || 750399 markings, 3908981 edges, 74304 markings/sec, 5 secs
lola: sara is running 10 secs || 1100663 markings, 5926804 edges, 70053 markings/sec, 10 secs
lola: sara is running 15 secs || 1443625 markings, 8229883 edges, 68592 markings/sec, 15 secs
lola: sara is running 20 secs || 1787978 markings, 10500391 edges, 68871 markings/sec, 20 secs
lola: sara is running 25 secs || 2113483 markings, 13026757 edges, 65101 markings/sec, 25 secs
lola: sara is running 30 secs || 2463164 markings, 15122737 edges, 69936 markings/sec, 30 secs
lola: sara is running 35 secs || 2785519 markings, 17536832 edges, 64471 markings/sec, 35 secs
lola: sara is running 40 secs || 3098068 markings, 20074528 edges, 62510 markings/sec, 40 secs
lola: sara is running 45 secs || 3373934 markings, 21998885 edges, 55173 markings/sec, 45 secs
lola: sara is running 50 secs || 3671973 markings, 24268667 edges, 59608 markings/sec, 50 secs
lola: sara is running 55 secs || 3978305 markings, 26530685 edges, 61266 markings/sec, 55 secs
lola: sara is running 60 secs || 4260972 markings, 28781281 edges, 56533 markings/sec, 60 secs
lola: sara is running 65 secs || 4558086 markings, 31148242 edges, 59423 markings/sec, 65 secs
lola: sara is running 70 secs || 4890454 markings, 33448430 edges, 66474 markings/sec, 70 secs
lola: sara is running 75 secs || 5206534 markings, 35983306 edges, 63216 markings/sec, 75 secs
lola: sara is running 80 secs || 5525710 markings, 38473725 edges, 63835 markings/sec, 80 secs
lola: sara is running 85 secs || 5834740 markings, 40898731 edges, 61806 markings/sec, 85 secs
lola: sara is running 90 secs || 6123609 markings, 43251899 edges, 57774 markings/sec, 90 secs
lola: sara is running 95 secs || 6414347 markings, 45708932 edges, 58148 markings/sec, 95 secs
lola: sara is running 100 secs || 6792424 markings, 47688392 edges, 75615 markings/sec, 100 secs
lola: sara is running 105 secs || 7137997 markings, 49980815 edges, 69115 markings/sec, 105 secs
lola: sara is running 110 secs || 7490619 markings, 52188119 edges, 70524 markings/sec, 110 secs
lola: sara is running 115 secs || 7830954 markings, 54386047 edges, 68067 markings/sec, 115 secs
lola: sara is running 120 secs || 8148854 markings, 56601832 edges, 63580 markings/sec, 120 secs
lola: sara is running 125 secs || 8495720 markings, 58814210 edges, 69373 markings/sec, 125 secs
lola: sara is running 130 secs || 8836773 markings, 61027931 edges, 68211 markings/sec, 130 secs
lola: sara is running 135 secs || 9173573 markings, 63158862 edges, 67360 markings/sec, 135 secs
lola: sara is running 140 secs || 9492884 markings, 65315168 edges, 63862 markings/sec, 140 secs
lola: sara is running 145 secs || 9807296 markings, 67606771 edges, 62882 markings/sec, 145 secs
lola: sara is running 150 secs || 10196840 markings, 69501305 edges, 77909 markings/sec, 150 secs
lola: sara is running 155 secs || 10575416 markings, 71425462 edges, 75715 markings/sec, 155 secs
lola: sara is running 160 secs || 10931017 markings, 73463752 edges, 71120 markings/sec, 160 secs
lola: sara is running 165 secs || 11256185 markings, 75588116 edges, 65034 markings/sec, 165 secs
lola: sara is running 170 secs || 11559000 markings, 77790312 edges, 60563 markings/sec, 170 secs
lola: sara is running 175 secs || 11851627 markings, 80040205 edges, 58525 markings/sec, 175 secs
lola: sara is running 180 secs || 12141796 markings, 82321975 edges, 58034 markings/sec, 180 secs
lola: sara is running 185 secs || 12475600 markings, 84546908 edges, 66761 markings/sec, 185 secs
lola: sara is running 190 secs || 12822799 markings, 86765961 edges, 69440 markings/sec, 190 secs
lola: sara is running 195 secs || 13123953 markings, 89061122 edges, 60231 markings/sec, 195 secs
lola: sara is running 200 secs || 13406956 markings, 91449126 edges, 56601 markings/sec, 200 secs
lola: sara is running 205 secs || 13744706 markings, 93594141 edges, 67550 markings/sec, 205 secs
lola: sara is running 210 secs || 14070496 markings, 95736566 edges, 65158 markings/sec, 210 secs
lola: sara is running 215 secs || 14369178 markings, 97983598 edges, 59736 markings/sec, 215 secs
lola: sara is running 220 secs || 14634173 markings, 100158999 edges, 52999 markings/sec, 220 secs
lola: sara is running 225 secs || 14927861 markings, 102487238 edges, 58738 markings/sec, 225 secs
lola: sara is running 230 secs || 15192256 markings, 104716107 edges, 52879 markings/sec, 230 secs
lola: sara is running 235 secs || 15492738 markings, 107059551 edges, 60096 markings/sec, 235 secs
lola: sara is running 240 secs || 15803383 markings, 109327754 edges, 62129 markings/sec, 240 secs
lola: sara is running 245 secs || 16085040 markings, 111709375 edges, 56331 markings/sec, 245 secs
lola: sara is running 250 secs || 16377887 markings, 114163578 edges, 58569 markings/sec, 250 secs
lola: sara is running 255 secs || 16683241 markings, 116597223 edges, 61071 markings/sec, 255 secs
lola: sara is running 260 secs || 16964093 markings, 119001590 edges, 56170 markings/sec, 260 secs
lola: sara is running 265 secs || 17267329 markings, 121419256 edges, 60647 markings/sec, 265 secs
lola: sara is running 270 secs || 17544901 markings, 123827906 edges, 55514 markings/sec, 270 secs
lola: sara is running 275 secs || 17840119 markings, 126294714 edges, 59044 markings/sec, 275 secs
lola: sara is running 280 secs || 18119985 markings, 128686388 edges, 55973 markings/sec, 280 secs
lola: sara is running 285 secs || 18394876 markings, 131168814 edges, 54978 markings/sec, 285 secs
lola: sara is running 290 secs || 18680803 markings, 133374657 edges, 57185 markings/sec, 290 secs
lola: sara is running 295 secs || 18988930 markings, 135505578 edges, 61625 markings/sec, 295 secs
lola: sara is running 300 secs || 19288025 markings, 137680721 edges, 59819 markings/sec, 300 secs
lola: sara is running 305 secs || 19590342 markings, 139909026 edges, 60463 markings/sec, 305 secs
lola: sara is running 310 secs || 19882614 markings, 142132336 edges, 58454 markings/sec, 310 secs
lola: sara is running 315 secs || 20167381 markings, 144409078 edges, 56953 markings/sec, 315 secs
lola: sara is running 320 secs || 20443203 markings, 146785890 edges, 55164 markings/sec, 320 secs
lola: sara is running 325 secs || 20706408 markings, 149182677 edges, 52641 markings/sec, 325 secs
lola: sara is running 330 secs || 20984506 markings, 151501526 edges, 55620 markings/sec, 330 secs
lola: sara is running 335 secs || 21269640 markings, 153796261 edges, 57027 markings/sec, 335 secs
lola: sara is running 340 secs || 21545799 markings, 156184785 edges, 55232 markings/sec, 340 secs
lola: sara is running 345 secs || 21801658 markings, 158592209 edges, 51172 markings/sec, 345 secs
lola: sara is running 350 secs || 22051848 markings, 160998758 edges, 50038 markings/sec, 350 secs
lola: sara is running 355 secs || 22318284 markings, 163307315 edges, 53287 markings/sec, 355 secs
lola: sara is running 360 secs || 22575690 markings, 165689914 edges, 51481 markings/sec, 360 secs
lola: sara is running 365 secs || 22846283 markings, 168083474 edges, 54119 markings/sec, 365 secs
lola: sara is running 370 secs || 23095367 markings, 170377730 edges, 49817 markings/sec, 370 secs
lola: sara is running 375 secs || 23348000 markings, 172724185 edges, 50527 markings/sec, 375 secs
lola: sara is running 380 secs || 23605373 markings, 175127622 edges, 51475 markings/sec, 380 secs
lola: sara is running 385 secs || 23870329 markings, 177545330 edges, 52991 markings/sec, 385 secs
lola: sara is running 390 secs || 24128597 markings, 179935366 edges, 51654 markings/sec, 390 secs
lola: sara is running 395 secs || 24382903 markings, 182226491 edges, 50861 markings/sec, 395 secs
lola: sara is running 400 secs || 24637268 markings, 184461793 edges, 50873 markings/sec, 400 secs
lola: sara is running 405 secs || 24909950 markings, 186783400 edges, 54536 markings/sec, 405 secs
lola: sara is running 410 secs || 25175625 markings, 189173133 edges, 53135 markings/sec, 410 secs
lola: sara is running 415 secs || 25425705 markings, 191609840 edges, 50016 markings/sec, 415 secs
lola: sara is running 420 secs || 25662989 markings, 194020915 edges, 47457 markings/sec, 420 secs
lola: sara is running 425 secs || 25910277 markings, 196368844 edges, 49458 markings/sec, 425 secs
lola: sara is running 430 secs || 26148656 markings, 198664456 edges, 47676 markings/sec, 430 secs
lola: sara is running 435 secs || 26400975 markings, 201047879 edges, 50464 markings/sec, 435 secs
lola: sara is running 440 secs || 26646964 markings, 203505642 edges, 49198 markings/sec, 440 secs
lola: sara is running 445 secs || 26893319 markings, 206016695 edges, 49271 markings/sec, 445 secs
lola: sara is running 450 secs || 27143006 markings, 208500376 edges, 49937 markings/sec, 450 secs
lola: sara is running 455 secs || 27379880 markings, 210973868 edges, 47375 markings/sec, 455 secs
lola: sara is running 460 secs || 27619348 markings, 213330724 edges, 47894 markings/sec, 460 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 27683205 markings, 213959604 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= A8) OR (1 <= A18))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((1 <= A8) OR (1 <= A18))))
lola: processed formula length: 34
lola: 29 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A8 <= 0) AND (A18 <= 0))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 12 will run for 614 seconds at most (--localtimelimit=0) ========================================
lola: ========================================
lola: ...considering subproblem: A (G (((A19 <= A4) OR (A10 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A19 <= A4) OR (A10 <= 2))))
lola: processed formula length: 36
lola: 29 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A4 + 1 <= A19) AND (3 <= A10))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-11ringRR-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-11ringRR-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 420405 markings, 1604553 edges, 84081 markings/sec, 0 secs
lola: sara is running 5 secs || 842918 markings, 3458615 edges, 84503 markings/sec, 5 secs
lola: sara is running 10 secs || 1269840 markings, 5397006 edges, 85384 markings/sec, 10 secs
lola: sara is running 15 secs || 1668994 markings, 7427171 edges, 79831 markings/sec, 15 secs
lola: sara is running 20 secs || 2039800 markings, 9592482 edges, 74161 markings/sec, 20 secs
lola: sara is running 25 secs || 2429660 markings, 11538587 edges, 77972 markings/sec, 25 secs
lola: sara is running 30 secs || 2855535 markings, 13329607 edges, 85175 markings/sec, 30 secs
lola: sara is running 35 secs || 3212200 markings, 15435086 edges, 71333 markings/sec, 35 secs
lola: sara is running 40 secs || 3595667 markings, 17287819 edges, 76693 markings/sec, 40 secs
lola: sara is running 45 secs || 3962819 markings, 19303766 edges, 73430 markings/sec, 45 secs
lola: sara is running 50 secs || 4278048 markings, 21460261 edges, 63046 markings/sec, 50 secs
lola: sara is running 55 secs || 4634251 markings, 23608337 edges, 71241 markings/sec, 55 secs
lola: sara is running 60 secs || 5036364 markings, 25764706 edges, 80423 markings/sec, 60 secs
lola: sara is running 65 secs || 5389680 markings, 28154247 edges, 70663 markings/sec, 65 secs
lola: sara is running 70 secs || 5771911 markings, 30287053 edges, 76446 markings/sec, 70 secs
lola: sara is running 75 secs || 6127206 markings, 32509180 edges, 71059 markings/sec, 75 secs
lola: sara is running 80 secs || 6449876 markings, 34821686 edges, 64534 markings/sec, 80 secs
lola: sara is running 85 secs || 6829972 markings, 36959904 edges, 76019 markings/sec, 85 secs
lola: sara is running 90 secs || 7223080 markings, 39153351 edges, 78622 markings/sec, 90 secs
lola: sara is running 95 secs || 7581398 markings, 41515917 edges, 71664 markings/sec, 95 secs
lola: sara is running 100 secs || 7960385 markings, 43684146 edges, 75797 markings/sec, 100 secs
lola: sara is running 105 secs || 8317693 markings, 45943371 edges, 71462 markings/sec, 105 secs
lola: sara is running 110 secs || 8628394 markings, 48251386 edges, 62140 markings/sec, 110 secs
lola: sara is running 115 secs || 8993452 markings, 50695114 edges, 73012 markings/sec, 115 secs
lola: sara is running 120 secs || 9359238 markings, 53165700 edges, 73157 markings/sec, 120 secs
lola: sara is running 125 secs || 9681246 markings, 55679863 edges, 64402 markings/sec, 125 secs
lola: sara is running 130 secs || 10072701 markings, 57696769 edges, 78291 markings/sec, 130 secs
lola: sara is running 135 secs || 10415378 markings, 59885211 edges, 68535 markings/sec, 135 secs
lola: sara is running 140 secs || 10763269 markings, 61964270 edges, 69578 markings/sec, 140 secs
lola: sara is running 145 secs || 11087375 markings, 63860318 edges, 64821 markings/sec, 145 secs
lola: sara is running 150 secs || 11399206 markings, 66007315 edges, 62366 markings/sec, 150 secs
lola: sara is running 155 secs || 11693244 markings, 68179691 edges, 58808 markings/sec, 155 secs
lola: sara is running 160 secs || 11967773 markings, 70477906 edges, 54906 markings/sec, 160 secs
lola: sara is running 165 secs || 12297380 markings, 72731037 edges, 65921 markings/sec, 165 secs
lola: sara is running 170 secs || 12602794 markings, 74875498 edges, 61083 markings/sec, 170 secs
lola: sara is running 175 secs || 12877140 markings, 77200234 edges, 54869 markings/sec, 175 secs
lola: sara is running 180 secs || 13216255 markings, 79379040 edges, 67823 markings/sec, 180 secs
lola: sara is running 185 secs || 13544656 markings, 81500700 edges, 65680 markings/sec, 185 secs
lola: sara is running 190 secs || 13857109 markings, 83687386 edges, 62491 markings/sec, 190 secs
lola: sara is running 195 secs || 14176801 markings, 85853289 edges, 63938 markings/sec, 195 secs
lola: sara is running 200 secs || 14487930 markings, 88136412 edges, 62226 markings/sec, 200 secs
lola: sara is running 205 secs || 14832734 markings, 90308133 edges, 68961 markings/sec, 205 secs
lola: sara is running 210 secs || 15125374 markings, 92464370 edges, 58528 markings/sec, 210 secs
lola: sara is running 215 secs || 15405544 markings, 94805347 edges, 56034 markings/sec, 215 secs
lola: sara is running 220 secs || 15688037 markings, 97012658 edges, 56499 markings/sec, 220 secs
lola: sara is running 225 secs || 15976435 markings, 99249400 edges, 57680 markings/sec, 225 secs
lola: sara is running 230 secs || 16257507 markings, 101495719 edges, 56214 markings/sec, 230 secs
lola: sara is running 235 secs || 16527518 markings, 103752891 edges, 54002 markings/sec, 235 secs
lola: sara is running 240 secs || 16940617 markings, 105629477 edges, 82620 markings/sec, 240 secs
lola: sara is running 245 secs || 17316111 markings, 107725905 edges, 75099 markings/sec, 245 secs
lola: sara is running 250 secs || 17668329 markings, 109971484 edges, 70444 markings/sec, 250 secs
lola: sara is running 255 secs || 18037878 markings, 112114073 edges, 73910 markings/sec, 255 secs
lola: sara is running 260 secs || 18379786 markings, 114372006 edges, 68382 markings/sec, 260 secs
lola: sara is running 265 secs || 18712415 markings, 116778957 edges, 66526 markings/sec, 265 secs
lola: sara is running 270 secs || 19075114 markings, 119135753 edges, 72540 markings/sec, 270 secs
lola: sara is running 275 secs || 19405523 markings, 121107502 edges, 66082 markings/sec, 275 secs
lola: sara is running 280 secs || 19719046 markings, 123274685 edges, 62705 markings/sec, 280 secs
lola: sara is running 285 secs || 20028418 markings, 125480872 edges, 61874 markings/sec, 285 secs
lola: sara is running 290 secs || 20318240 markings, 127737019 edges, 57964 markings/sec, 290 secs
lola: sara is running 295 secs || 20595743 markings, 129892503 edges, 55501 markings/sec, 295 secs
lola: sara is running 300 secs || 20858055 markings, 131841032 edges, 52462 markings/sec, 300 secs
lola: sara is running 305 secs || 21081128 markings, 133813065 edges, 44615 markings/sec, 305 secs
lola: sara is running 310 secs || 21342337 markings, 135912142 edges, 52242 markings/sec, 310 secs
lola: sara is running 315 secs || 21620912 markings, 137996206 edges, 55715 markings/sec, 315 secs
lola: sara is running 320 secs || 21958043 markings, 140165157 edges, 67426 markings/sec, 320 secs
lola: sara is running 325 secs || 22238707 markings, 142441561 edges, 56133 markings/sec, 325 secs
lola: sara is running 330 secs || 22479318 markings, 144737573 edges, 48122 markings/sec, 330 secs
lola: sara is running 335 secs || 22767665 markings, 147144971 edges, 57669 markings/sec, 335 secs
lola: sara is running 340 secs || 23113772 markings, 149426587 edges, 69221 markings/sec, 340 secs
lola: sara is running 345 secs || 23441358 markings, 151823972 edges, 65517 markings/sec, 345 secs
lola: sara is running 350 secs || 23760214 markings, 154308612 edges, 63771 markings/sec, 350 secs
lola: sara is running 355 secs || 24078786 markings, 156683088 edges, 63714 markings/sec, 355 secs
lola: sara is running 360 secs || 24362574 markings, 159023325 edges, 56758 markings/sec, 360 secs
lola: sara is running 365 secs || 24642569 markings, 161322668 edges, 55999 markings/sec, 365 secs
lola: sara is running 370 secs || 24885175 markings, 163573723 edges, 48521 markings/sec, 370 secs
lola: sara is running 375 secs || 25135906 markings, 165778342 edges, 50146 markings/sec, 375 secs
lola: sara is running 380 secs || 25444018 markings, 168143088 edges, 61622 markings/sec, 380 secs
lola: sara is running 385 secs || 25680848 markings, 170551148 edges, 47366 markings/sec, 385 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 25909170 markings, 172702815 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 687 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((2 <= A8) AND (3 <= A15)) OR (A19 <= 2) OR ((A2 <= B13) AND (A17 <= A16)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((2 <= A8) AND (3 <= A15)) OR (A19 <= 2) OR ((A2 <= B13) AND (A17 <= A16)))))
lola: processed formula length: 86
lola: 29 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((A8 <= 1) OR (A15 <= 2)) AND (3 <= A19) AND ((B13 + 1 <= A2) OR (A16 + 1 <= A17)))
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-11ringRR-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-11ringRR-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 841882 markings, 1742402 edges, 168376 markings/sec, 0 secs
lola: sara is running 5 secs || 1648092 markings, 3805374 edges, 161242 markings/sec, 5 secs
lola: sara is running 10 secs || 2475391 markings, 6109020 edges, 165460 markings/sec, 10 secs
lola: sara is running 15 secs || 2974670 markings, 8236368 edges, 99856 markings/sec, 15 secs
lola: sara is running 20 secs || 3445691 markings, 10204353 edges, 94204 markings/sec, 20 secs
lola: sara is running 25 secs || 3894476 markings, 12398432 edges, 89757 markings/sec, 25 secs
lola: sara is running 30 secs || 4278555 markings, 14454383 edges, 76816 markings/sec, 30 secs
lola: sara is running 35 secs || 4702595 markings, 16556877 edges, 84808 markings/sec, 35 secs
lola: sara is running 40 secs || 5095497 markings, 18725149 edges, 78580 markings/sec, 40 secs
lola: sara is running 45 secs || 5514677 markings, 20893154 edges, 83836 markings/sec, 45 secs
lola: sara is running 50 secs || 5903813 markings, 23082794 edges, 77827 markings/sec, 50 secs
lola: sara is running 55 secs || 6314569 markings, 25339261 edges, 82151 markings/sec, 55 secs
lola: sara is running 60 secs || 6711304 markings, 27696893 edges, 79347 markings/sec, 60 secs
lola: sara is running 65 secs || 7075489 markings, 29975736 edges, 72837 markings/sec, 65 secs
lola: sara is running 70 secs || 7526106 markings, 32174921 edges, 90123 markings/sec, 70 secs
lola: sara is running 75 secs || 7955409 markings, 34598632 edges, 85861 markings/sec, 75 secs
lola: sara is running 80 secs || 8385207 markings, 36960656 edges, 85960 markings/sec, 80 secs
lola: sara is running 85 secs || 8778440 markings, 39252389 edges, 78647 markings/sec, 85 secs
lola: sara is running 90 secs || 9188700 markings, 41327961 edges, 82052 markings/sec, 90 secs
lola: sara is running 95 secs || 9552168 markings, 43656698 edges, 72694 markings/sec, 95 secs
lola: sara is running 100 secs || 9909403 markings, 45944300 edges, 71447 markings/sec, 100 secs
lola: sara is running 105 secs || 10222010 markings, 48247605 edges, 62521 markings/sec, 105 secs
lola: sara is running 110 secs || 10562447 markings, 50482753 edges, 68087 markings/sec, 110 secs
lola: sara is running 115 secs || 10866136 markings, 52778903 edges, 60738 markings/sec, 115 secs
lola: sara is running 120 secs || 11145720 markings, 55243919 edges, 55917 markings/sec, 120 secs
lola: sara is running 125 secs || 11429441 markings, 57672765 edges, 56744 markings/sec, 125 secs
lola: sara is running 130 secs || 11745182 markings, 59821076 edges, 63148 markings/sec, 130 secs
lola: sara is running 135 secs || 12087984 markings, 61736791 edges, 68560 markings/sec, 135 secs
lola: sara is running 140 secs || 12420114 markings, 63722888 edges, 66426 markings/sec, 140 secs
lola: sara is running 145 secs || 12741881 markings, 65713902 edges, 64353 markings/sec, 145 secs
lola: sara is running 150 secs || 13053094 markings, 67845807 edges, 62243 markings/sec, 150 secs
lola: sara is running 155 secs || 13377514 markings, 70010632 edges, 64884 markings/sec, 155 secs
lola: sara is running 160 secs || 13697052 markings, 72116270 edges, 63908 markings/sec, 160 secs
lola: sara is running 165 secs || 14000430 markings, 74238409 edges, 60676 markings/sec, 165 secs
lola: sara is running 170 secs || 14291726 markings, 76439245 edges, 58259 markings/sec, 170 secs
lola: sara is running 175 secs || 14592476 markings, 78564518 edges, 60150 markings/sec, 175 secs
lola: sara is running 180 secs || 14881972 markings, 80808678 edges, 57899 markings/sec, 180 secs
lola: sara is running 185 secs || 15182443 markings, 83105555 edges, 60094 markings/sec, 185 secs
lola: sara is running 190 secs || 15500002 markings, 85397682 edges, 63512 markings/sec, 190 secs
lola: sara is running 195 secs || 15833798 markings, 87539550 edges, 66759 markings/sec, 195 secs
lola: sara is running 200 secs || 16121226 markings, 89778672 edges, 57486 markings/sec, 200 secs
lola: sara is running 205 secs || 16407930 markings, 92006411 edges, 57341 markings/sec, 205 secs
lola: sara is running 210 secs || 16697538 markings, 94237647 edges, 57922 markings/sec, 210 secs
lola: sara is running 215 secs || 16972532 markings, 96559608 edges, 54999 markings/sec, 215 secs
lola: sara is running 220 secs || 17236259 markings, 99035315 edges, 52745 markings/sec, 220 secs
lola: sara is running 225 secs || 17542418 markings, 101114300 edges, 61232 markings/sec, 225 secs
lola: sara is running 230 secs || 17851617 markings, 103175507 edges, 61840 markings/sec, 230 secs
lola: sara is running 235 secs || 18158229 markings, 105224330 edges, 61322 markings/sec, 235 secs
lola: sara is running 240 secs || 18463174 markings, 107294695 edges, 60989 markings/sec, 240 secs
lola: sara is running 245 secs || 18740696 markings, 109426218 edges, 55504 markings/sec, 245 secs
lola: sara is running 250 secs || 19020760 markings, 111590146 edges, 56013 markings/sec, 250 secs
lola: sara is running 255 secs || 19293025 markings, 113897082 edges, 54453 markings/sec, 255 secs
lola: sara is running 260 secs || 19602265 markings, 116184480 edges, 61848 markings/sec, 260 secs
lola: sara is running 265 secs || 19882235 markings, 118435386 edges, 55994 markings/sec, 265 secs
lola: sara is running 270 secs || 20130362 markings, 120815486 edges, 49625 markings/sec, 270 secs
lola: sara is running 275 secs || 20452159 markings, 123011210 edges, 64359 markings/sec, 275 secs
lola: sara is running 280 secs || 20761783 markings, 125013752 edges, 61925 markings/sec, 280 secs
lola: sara is running 285 secs || 21075095 markings, 127071327 edges, 62662 markings/sec, 285 secs
lola: sara is running 290 secs || 21359497 markings, 129243228 edges, 56880 markings/sec, 290 secs
lola: sara is running 295 secs || 21638271 markings, 131411934 edges, 55755 markings/sec, 295 secs
lola: sara is running 300 secs || 22057868 markings, 133487740 edges, 83919 markings/sec, 300 secs
lola: sara is running 305 secs || 22430188 markings, 135707437 edges, 74464 markings/sec, 305 secs
lola: sara is running 310 secs || 22702405 markings, 137863085 edges, 54443 markings/sec, 310 secs
lola: sara is running 315 secs || 22965717 markings, 140205992 edges, 52662 markings/sec, 315 secs
lola: sara is running 320 secs || 23316872 markings, 142472328 edges, 70231 markings/sec, 320 secs
lola: sara is running 325 secs || 23641800 markings, 144821149 edges, 64986 markings/sec, 325 secs
lola: sara is running 330 secs || 23913800 markings, 147228013 edges, 54400 markings/sec, 330 secs
lola: sara is running 335 secs || 24179530 markings, 149565993 edges, 53146 markings/sec, 335 secs
lola: sara is running 340 secs || 24535424 markings, 151871608 edges, 71179 markings/sec, 340 secs
lola: sara is running 345 secs || 24838279 markings, 154301020 edges, 60571 markings/sec, 345 secs
lola: sara is running 350 secs || 25159818 markings, 156829079 edges, 64308 markings/sec, 350 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 25180230 markings, 157013032 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 853 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= A18) OR (A7 <= B21) OR ((A21 <= A13) AND (1 <= A5)) OR (A6 + 1 <= A19))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((1 <= A18) OR (A7 <= B21) OR ((A21 <= A13) AND (1 <= A5)) OR (A6 + 1 <= A19))))
lola: processed formula length: 89
lola: 29 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A18 <= 0) AND (B21 + 1 <= A7) AND ((A13 + 1 <= A21) OR (A5 <= 0)) AND (A19 <= A6))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: write sara problem file to DNAwalker-PT-11ringRR-ReachabilityCardinality-14-0.sara
lola: The predicate is not invariant.
lola: state equation: calling and running sara
lola: 10 markings, 9 edges
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
sara: try reading problem file DNAwalker-PT-11ringRR-ReachabilityCardinality-14-0.sara.
lola: subprocess 15 will run for 1707 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A14 <= 2) OR ((A15 <= A5) AND (1 <= B21)) OR (((A20 <= B10) OR (A12 <= B13)) AND (A12 + 1 <= A5)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A14 <= 2) OR ((A15 <= A5) AND (1 <= B21)) OR (((A20 <= B10) OR (A12 <= B13)) AND (A12 + 1 <= A5)))))
lola: processed formula length: 111
lola: 29 rewrites
lola: closed formula file DNAwalker-PT-11ringRR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((3 <= A14) AND ((A5 + 1 <= A15) OR (B21 <= 0)) AND (((B10 + 1 <= A20) AND (B13 + 1 <= A12)) OR (A5 <= A12)))
lola: state equation: Generated DNF with 14 literals and 4 conjunctive subformulas
sara: place or transition ordering is non-deterministic
lola: state equation: write sara problem file to DNAwalker-PT-11ringRR-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-11ringRR-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 515740 markings, 1824522 edges, 103148 markings/sec, 0 secs
lola: sara is running 5 secs || 1013436 markings, 3801122 edges, 99539 markings/sec, 5 secs
lola: sara is running 10 secs || 1547913 markings, 5702711 edges, 106895 markings/sec, 10 secs
lola: sara is running 15 secs || 1990713 markings, 7821812 edges, 88560 markings/sec, 15 secs
lola: sara is running 20 secs || 2566503 markings, 9595027 edges, 115158 markings/sec, 20 secs
lola: sara is running 25 secs || 2990688 markings, 11772108 edges, 84837 markings/sec, 25 secs
lola: sara is running 30 secs || 3501247 markings, 13748101 edges, 102112 markings/sec, 30 secs
lola: sara is running 35 secs || 4016476 markings, 15747845 edges, 103046 markings/sec, 35 secs
lola: sara is running 40 secs || 4500683 markings, 17889040 edges, 96841 markings/sec, 40 secs
lola: sara is running 45 secs || 4979101 markings, 20071359 edges, 95684 markings/sec, 45 secs
lola: sara is running 50 secs || 5444431 markings, 22493418 edges, 93066 markings/sec, 50 secs
lola: sara is running 55 secs || 5910704 markings, 24672265 edges, 93255 markings/sec, 55 secs
lola: sara is running 60 secs || 6353360 markings, 26924517 edges, 88531 markings/sec, 60 secs
lola: sara is running 65 secs || 6882912 markings, 29097766 edges, 105910 markings/sec, 65 secs
lola: sara is running 70 secs || 7424340 markings, 31274624 edges, 108286 markings/sec, 70 secs
lola: sara is running 75 secs || 7848677 markings, 33802155 edges, 84867 markings/sec, 75 secs
lola: sara is running 80 secs || 8271420 markings, 36108125 edges, 84549 markings/sec, 80 secs
lola: sara is running 85 secs || 8727296 markings, 38297239 edges, 91175 markings/sec, 85 secs
lola: sara is running 90 secs || 9167053 markings, 40687008 edges, 87951 markings/sec, 90 secs
lola: sara is running 95 secs || 9593811 markings, 43243534 edges, 85352 markings/sec, 95 secs
lola: sara is running 100 secs || 9987158 markings, 45324081 edges, 78669 markings/sec, 100 secs
lola: sara is running 105 secs || 10334437 markings, 47175534 edges, 69456 markings/sec, 105 secs
lola: sara is running 110 secs || 10683209 markings, 49114474 edges, 69754 markings/sec, 110 secs
lola: sara is running 115 secs || 11032611 markings, 50997674 edges, 69880 markings/sec, 115 secs
lola: sara is running 120 secs || 11374560 markings, 52985521 edges, 68390 markings/sec, 120 secs
lola: sara is running 125 secs || 11728778 markings, 54883318 edges, 70844 markings/sec, 125 secs
lola: sara is running 130 secs || 12087148 markings, 56839362 edges, 71674 markings/sec, 130 secs
lola: sara is running 135 secs || 12415168 markings, 58943315 edges, 65604 markings/sec, 135 secs
lola: sara is running 140 secs || 12739768 markings, 61030312 edges, 64920 markings/sec, 140 secs
lola: sara is running 145 secs || 13068047 markings, 63075978 edges, 65656 markings/sec, 145 secs
lola: sara is running 150 secs || 13377648 markings, 65306359 edges, 61920 markings/sec, 150 secs
lola: sara is running 155 secs || 13683678 markings, 67632894 edges, 61206 markings/sec, 155 secs
lola: sara is running 160 secs || 14011330 markings, 69462654 edges, 65530 markings/sec, 160 secs
lola: sara is running 165 secs || 14328319 markings, 71401606 edges, 63398 markings/sec, 165 secs
lola: sara is running 170 secs || 14649678 markings, 73339482 edges, 64272 markings/sec, 170 secs
lola: sara is running 175 secs || 14975195 markings, 75256889 edges, 65103 markings/sec, 175 secs
lola: sara is running 180 secs || 15290751 markings, 77197621 edges, 63111 markings/sec, 180 secs
lola: sara is running 185 secs || 15624873 markings, 79117132 edges, 66824 markings/sec, 185 secs
lola: sara is running 190 secs || 15943660 markings, 81039534 edges, 63757 markings/sec, 190 secs
lola: sara is running 195 secs || 16281989 markings, 83008123 edges, 67666 markings/sec, 195 secs
lola: sara is running 200 secs || 16603560 markings, 85071909 edges, 64314 markings/sec, 200 secs
lola: sara is running 205 secs || 16900295 markings, 87089838 edges, 59347 markings/sec, 205 secs
lola: sara is running 210 secs || 17206906 markings, 89210981 edges, 61322 markings/sec, 210 secs
lola: sara is running 215 secs || 17486877 markings, 91429120 edges, 55994 markings/sec, 215 secs
lola: sara is running 220 secs || 17782377 markings, 93642492 edges, 59100 markings/sec, 220 secs
lola: sara is running 225 secs || 18096099 markings, 95962681 edges, 62744 markings/sec, 225 secs
lola: sara is running 230 secs || 18447889 markings, 98280067 edges, 70358 markings/sec, 230 secs
lola: sara is running 235 secs || 18777985 markings, 100624356 edges, 66019 markings/sec, 235 secs
lola: sara is running 240 secs || 19109261 markings, 103164949 edges, 66255 markings/sec, 240 secs
lola: sara is running 245 secs || 19438791 markings, 105433856 edges, 65906 markings/sec, 245 secs
lola: sara is running 250 secs || 19781994 markings, 107777632 edges, 68641 markings/sec, 250 secs
lola: sara is running 255 secs || 20125738 markings, 110183921 edges, 68749 markings/sec, 255 secs
lola: sara is running 260 secs || 20516152 markings, 112472270 edges, 78083 markings/sec, 260 secs
lola: sara is running 265 secs || 20820965 markings, 114792692 edges, 60963 markings/sec, 265 secs
lola: sara is running 270 secs || 21133998 markings, 117270922 edges, 62607 markings/sec, 270 secs
lola: sara is running 275 secs || 21442520 markings, 119678114 edges, 61704 markings/sec, 275 secs
lola: sara is running 280 secs || 21751205 markings, 122118960 edges, 61737 markings/sec, 280 secs
lola: sara is running 285 secs || 22068944 markings, 124332462 edges, 63548 markings/sec, 285 secs
lola: sara is running 290 secs || 22375179 markings, 126704439 edges, 61247 markings/sec, 290 secs
lola: sara is running 295 secs || 22682763 markings, 128897824 edges, 61517 markings/sec, 295 secs
lola: sara is running 300 secs || 22985090 markings, 131175090 edges, 60465 markings/sec, 300 secs
lola: sara is running 305 secs || 23310203 markings, 133635995 edges, 65023 markings/sec, 305 secs
lola: sara is running 310 secs || 23597101 markings, 136090119 edges, 57380 markings/sec, 310 secs
lola: sara is running 315 secs || 23875258 markings, 138594752 edges, 55631 markings/sec, 315 secs
lola: sara is running 320 secs || 24175552 markings, 140963585 edges, 60059 markings/sec, 320 secs
lola: sara is running 325 secs || 24474588 markings, 143098255 edges, 59807 markings/sec, 325 secs
lola: sara is running 330 secs || 24790153 markings, 145251677 edges, 63113 markings/sec, 330 secs
lola: sara is running 335 secs || 25089026 markings, 147377704 edges, 59775 markings/sec, 335 secs
lola: sara is running 340 secs || 25420480 markings, 149741940 edges, 66291 markings/sec, 340 secs
lola: sara is running 345 secs || 25715716 markings, 152040632 edges, 59047 markings/sec, 345 secs
lola: sara is running 350 secs || 26004325 markings, 154533184 edges, 57722 markings/sec, 350 secs
lola: sara is running 355 secs || 26284102 markings, 157081860 edges, 55955 markings/sec, 355 secs
lola: sara is running 360 secs || 26563690 markings, 159597976 edges, 55918 markings/sec, 360 secs
lola: sara is running 365 secs || 26850335 markings, 162175696 edges, 57329 markings/sec, 365 secs
lola: sara is running 370 secs || 27132102 markings, 164708759 edges, 56353 markings/sec, 370 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 27324810 markings, 166540108 edges
lola: ========================================
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no no yes yes no no no no yes yes yes yes no yes no yes
lola:
preliminary result: no no yes yes no no no no yes yes yes yes no yes no yes
lola: memory consumption: 26552 KB
lola: time consumption: 2241 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
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-11ringRR"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-11ringRR.tgz
mv DNAwalker-PT-11ringRR 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-11ringRR, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500299"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;