About the Execution of LoLA for DNAwalker-PT-09ringLR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 988.800 | 3600000.00 | 8581080.00 | 9290.70 | FF?????TF?FTFT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K 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 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-09ringLR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500285
=====================================================================
--------------------
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-09ringLR-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526795515864
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-09ringLR Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-09ringLR formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-09ringLR @ 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-09ringLR-ReachabilityCardinality.task
lola: always true
lola: LP says that atomic proposition is always false: (2 <= B10)
lola: LP says that atomic proposition is always false: (2 <= B11)
lola: LP says that atomic proposition is always false: (3 <= B11)
lola: LP says that atomic proposition is always false: (2 <= B21)
lola: LP says that atomic proposition is always false: (2 <= B10)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= B11)
lola: LP says that atomic proposition is always false: (2 <= B20)
lola: LP says that atomic proposition is always false: (3 <= B11)
lola: LP says that atomic proposition is always false: (2 <= B11)
lola: E (F (((2 <= A1) AND (1 <= A20) AND (1 <= B20) AND (B20 <= A8)))) : E (F (((2 <= A19) AND (2 <= A11) AND (A11 <= A3) AND (B21 <= A6)))) : E (F ((3 <= A5))) : E (F (((3 <= A9)))) : E (F ((((A1 <= A13) OR (2 <= A14) OR ((2 <= A19) AND (2 <= A16))) AND (3 <= A17)))) : E (F (((2 <= A1) AND (A12 <= A8) AND ((2 <= A11)) AND (A8 + 1 <= B3)))) : A (G ((((A19 <= B21) AND (A10 <= A11)) OR (A12 <= 2)))) : A (G ((A21 <= 2))) : E (F (())) : A (G (((1 <= A11) OR (A3 <= 2) OR ((A20 <= A5) AND (B21 <= A2)) OR (3 <= A16)))) : E (F (())) : A (G (())) : A (G (((A8 <= A21) OR (B21 <= A19) OR (A5 <= A18) OR (A20 <= A1) OR ((A20 + 1 <= A6) AND ((A2 <= A19) OR (A11 <= A10)))))) : A (G ((((A21 <= 2))))) : A (G ((A8 <= 2))) : A (G (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 190 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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-09ringLR-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 203 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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-09ringLR-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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-09ringLR-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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-09ringLR-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A9))))
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 <= A9))))
lola: processed formula length: 19
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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 <= A9))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 389134 markings, 2095957 edges, 77827 markings/sec, 0 secs
lola: sara is running 5 secs || 756840 markings, 4210379 edges, 73541 markings/sec, 5 secs
lola: sara is running 10 secs || 1110908 markings, 6391008 edges, 70814 markings/sec, 10 secs
lola: sara is running 15 secs || 1448086 markings, 8596343 edges, 67436 markings/sec, 15 secs
lola: sara is running 20 secs || 1808378 markings, 10713939 edges, 72058 markings/sec, 20 secs
lola: sara is running 25 secs || 2149072 markings, 12923752 edges, 68139 markings/sec, 25 secs
lola: sara is running 30 secs || 2487657 markings, 15154649 edges, 67717 markings/sec, 30 secs
lola: sara is running 35 secs || 2809290 markings, 17449531 edges, 64327 markings/sec, 35 secs
lola: sara is running 40 secs || 3135600 markings, 19879636 edges, 65262 markings/sec, 40 secs
lola: sara is running 45 secs || 3474293 markings, 22343935 edges, 67739 markings/sec, 45 secs
lola: sara is running 50 secs || 3792676 markings, 24877951 edges, 63677 markings/sec, 50 secs
lola: sara is running 55 secs || 4111385 markings, 27388480 edges, 63742 markings/sec, 55 secs
lola: sara is running 60 secs || 4404103 markings, 30001110 edges, 58544 markings/sec, 60 secs
lola: sara is running 65 secs || 4778074 markings, 31978982 edges, 74794 markings/sec, 65 secs
lola: sara is running 70 secs || 5135569 markings, 34142141 edges, 71499 markings/sec, 70 secs
lola: sara is running 75 secs || 5458833 markings, 36557725 edges, 64653 markings/sec, 75 secs
lola: sara is running 80 secs || 5788404 markings, 38967641 edges, 65914 markings/sec, 80 secs
lola: sara is running 85 secs || 6120290 markings, 41208105 edges, 66377 markings/sec, 85 secs
lola: sara is running 90 secs || 6423310 markings, 43627510 edges, 60604 markings/sec, 90 secs
lola: sara is running 95 secs || 6743017 markings, 45921196 edges, 63941 markings/sec, 95 secs
lola: sara is running 100 secs || 7039682 markings, 48305275 edges, 59333 markings/sec, 100 secs
lola: sara is running 105 secs || 7383333 markings, 50472990 edges, 68730 markings/sec, 105 secs
lola: sara is running 110 secs || 7764921 markings, 52402970 edges, 76318 markings/sec, 110 secs
lola: sara is running 115 secs || 8095529 markings, 54408142 edges, 66122 markings/sec, 115 secs
lola: sara is running 120 secs || 8452095 markings, 56363813 edges, 71313 markings/sec, 120 secs
lola: sara is running 125 secs || 8790512 markings, 58479096 edges, 67683 markings/sec, 125 secs
lola: sara is running 130 secs || 9148422 markings, 60750409 edges, 71582 markings/sec, 130 secs
lola: sara is running 135 secs || 9492700 markings, 63073533 edges, 68856 markings/sec, 135 secs
lola: sara is running 140 secs || 9855293 markings, 65401374 edges, 72519 markings/sec, 140 secs
lola: sara is running 145 secs || 10262115 markings, 67337510 edges, 81364 markings/sec, 145 secs
lola: sara is running 150 secs || 10572292 markings, 69389153 edges, 62035 markings/sec, 150 secs
lola: sara is running 155 secs || 10912110 markings, 71640045 edges, 67964 markings/sec, 155 secs
lola: sara is running 160 secs || 11256648 markings, 73901386 edges, 68908 markings/sec, 160 secs
lola: sara is running 165 secs || 11586924 markings, 75990915 edges, 66055 markings/sec, 165 secs
lola: sara is running 170 secs || 11910609 markings, 78340168 edges, 64737 markings/sec, 170 secs
lola: sara is running 175 secs || 12259849 markings, 80489625 edges, 69848 markings/sec, 175 secs
lola: sara is running 180 secs || 12578621 markings, 82727141 edges, 63754 markings/sec, 180 secs
lola: sara is running 185 secs || 12915224 markings, 84900761 edges, 67321 markings/sec, 185 secs
lola: sara is running 190 secs || 13226094 markings, 86914246 edges, 62174 markings/sec, 190 secs
lola: sara is running 195 secs || 13526706 markings, 89006168 edges, 60122 markings/sec, 195 secs
lola: sara is running 200 secs || 13822086 markings, 91065546 edges, 59076 markings/sec, 200 secs
lola: sara is running 205 secs || 14108774 markings, 93183338 edges, 57338 markings/sec, 205 secs
lola: sara is running 210 secs || 14382578 markings, 95398055 edges, 54761 markings/sec, 210 secs
lola: sara is running 215 secs || 14687517 markings, 97590289 edges, 60988 markings/sec, 215 secs
lola: sara is running 220 secs || 14986048 markings, 99851416 edges, 59706 markings/sec, 220 secs
lola: sara is running 225 secs || 15275769 markings, 102125724 edges, 57944 markings/sec, 225 secs
lola: sara is running 230 secs || 15573592 markings, 104338281 edges, 59565 markings/sec, 230 secs
lola: sara is running 235 secs || 15851619 markings, 106613514 edges, 55605 markings/sec, 235 secs
lola: sara is running 240 secs || 16139404 markings, 108942371 edges, 57557 markings/sec, 240 secs
lola: sara is running 245 secs || 16431775 markings, 111400627 edges, 58474 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown no unknown no yes unknown unknown unknown yes
lola: memory consumption: 589684 KB
lola: time consumption: 774 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A21 <= 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 ((A21 <= 2)))
lola: processed formula length: 18
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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 <= A21)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 452108 markings, 1881076 edges, 90422 markings/sec, 0 secs
lola: sara is running 5 secs || 845906 markings, 3912922 edges, 78760 markings/sec, 5 secs
lola: sara is running 10 secs || 1260630 markings, 5952081 edges, 82945 markings/sec, 10 secs
lola: sara is running 15 secs || 1681558 markings, 7943035 edges, 84186 markings/sec, 15 secs
lola: sara is running 20 secs || 2159200 markings, 9927386 edges, 95528 markings/sec, 20 secs
lola: sara is running 25 secs || 2566357 markings, 12148874 edges, 81431 markings/sec, 25 secs
lola: sara is running 30 secs || 2951941 markings, 14415292 edges, 77117 markings/sec, 30 secs
lola: sara is running 35 secs || 3356362 markings, 16465025 edges, 80884 markings/sec, 35 secs
lola: sara is running 40 secs || 3723115 markings, 18670303 edges, 73351 markings/sec, 40 secs
lola: sara is running 45 secs || 4063950 markings, 20911470 edges, 68167 markings/sec, 45 secs
lola: sara is running 50 secs || 4428996 markings, 23168234 edges, 73009 markings/sec, 50 secs
lola: sara is running 55 secs || 4835774 markings, 25313328 edges, 81356 markings/sec, 55 secs
lola: sara is running 60 secs || 5198215 markings, 27736146 edges, 72488 markings/sec, 60 secs
lola: sara is running 65 secs || 5625169 markings, 29947206 edges, 85391 markings/sec, 65 secs
lola: sara is running 70 secs || 6065726 markings, 32238094 edges, 88111 markings/sec, 70 secs
lola: sara is running 75 secs || 6441681 markings, 34374973 edges, 75191 markings/sec, 75 secs
lola: sara is running 80 secs || 6868915 markings, 36376077 edges, 85447 markings/sec, 80 secs
lola: sara is running 85 secs || 7328467 markings, 38445991 edges, 91910 markings/sec, 85 secs
lola: sara is running 90 secs || 7726028 markings, 40712327 edges, 79512 markings/sec, 90 secs
lola: sara is running 95 secs || 8107426 markings, 42894961 edges, 76280 markings/sec, 95 secs
lola: sara is running 100 secs || 8502246 markings, 45188209 edges, 78964 markings/sec, 100 secs
lola: sara is running 105 secs || 8867189 markings, 47408449 edges, 72989 markings/sec, 105 secs
lola: sara is running 110 secs || 9194048 markings, 49746941 edges, 65372 markings/sec, 110 secs
lola: sara is running 115 secs || 9627066 markings, 51945238 edges, 86604 markings/sec, 115 secs
lola: sara is running 120 secs || 10062409 markings, 54031945 edges, 87069 markings/sec, 120 secs
lola: sara is running 125 secs || 10449015 markings, 56226355 edges, 77321 markings/sec, 125 secs
lola: sara is running 130 secs || 10861156 markings, 58400759 edges, 82428 markings/sec, 130 secs
lola: sara is running 135 secs || 11248740 markings, 60697925 edges, 77517 markings/sec, 135 secs
lola: sara is running 140 secs || 11647848 markings, 62832897 edges, 79822 markings/sec, 140 secs
lola: sara is running 145 secs || 12177920 markings, 64990682 edges, 106014 markings/sec, 145 secs
lola: sara is running 150 secs || 12672084 markings, 67250862 edges, 98833 markings/sec, 150 secs
lola: sara is running 155 secs || 13085434 markings, 69562039 edges, 82670 markings/sec, 155 secs
lola: sara is running 160 secs || 13438084 markings, 71945434 edges, 70530 markings/sec, 160 secs
lola: sara is running 165 secs || 13799938 markings, 74277270 edges, 72371 markings/sec, 165 secs
lola: sara is running 170 secs || 14244735 markings, 76623373 edges, 88959 markings/sec, 170 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 14559446 markings, 78739249 edges
lola: ========================================
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((A21 <= 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 ((((A21 <= 2)))))
lola: processed formula length: 22
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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 <= A21)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 458500 markings, 1915954 edges, 91700 markings/sec, 0 secs
lola: sara is running 5 secs || 858174 markings, 3989138 edges, 79935 markings/sec, 5 secs
lola: sara is running 10 secs || 1280802 markings, 6059133 edges, 84526 markings/sec, 10 secs
lola: sara is running 15 secs || 1706144 markings, 8082253 edges, 85068 markings/sec, 15 secs
lola: sara is running 20 secs || 2185255 markings, 10101986 edges, 95822 markings/sec, 20 secs
lola: sara is running 25 secs || 2603078 markings, 12346533 edges, 83565 markings/sec, 25 secs
lola: sara is running 30 secs || 2997827 markings, 14674156 edges, 78950 markings/sec, 30 secs
lola: sara is running 35 secs || 3408368 markings, 16771277 edges, 82108 markings/sec, 35 secs
lola: sara is running 40 secs || 3780099 markings, 18985354 edges, 74346 markings/sec, 40 secs
lola: sara is running 45 secs || 4107721 markings, 21314212 edges, 65524 markings/sec, 45 secs
lola: sara is running 50 secs || 4488890 markings, 23541693 edges, 76234 markings/sec, 50 secs
lola: sara is running 55 secs || 4903783 markings, 25742449 edges, 82979 markings/sec, 55 secs
lola: sara is running 60 secs || 5269033 markings, 28111757 edges, 73050 markings/sec, 60 secs
lola: sara is running 65 secs || 5698364 markings, 30370953 edges, 85866 markings/sec, 65 secs
lola: sara is running 70 secs || 6129845 markings, 32661683 edges, 86296 markings/sec, 70 secs
lola: sara is running 75 secs || 6521916 markings, 34740750 edges, 78414 markings/sec, 75 secs
lola: sara is running 80 secs || 6951720 markings, 36742029 edges, 85961 markings/sec, 80 secs
lola: sara is running 85 secs || 7405387 markings, 38891107 edges, 90733 markings/sec, 85 secs
lola: sara is running 90 secs || 7800191 markings, 41179341 edges, 78961 markings/sec, 90 secs
lola: sara is running 95 secs || 8205475 markings, 43310929 edges, 81057 markings/sec, 95 secs
lola: sara is running 100 secs || 8571723 markings, 45661048 edges, 73250 markings/sec, 100 secs
lola: sara is running 105 secs || 8933558 markings, 47908424 edges, 72367 markings/sec, 105 secs
lola: sara is running 110 secs || 9277438 markings, 50237007 edges, 68776 markings/sec, 110 secs
lola: sara is running 115 secs || 9720773 markings, 52369669 edges, 88667 markings/sec, 115 secs
lola: sara is running 120 secs || 10146203 markings, 54492564 edges, 85086 markings/sec, 120 secs
lola: sara is running 125 secs || 10524610 markings, 56732655 edges, 75681 markings/sec, 125 secs
lola: sara is running 130 secs || 10944898 markings, 58904034 edges, 84058 markings/sec, 130 secs
lola: sara is running 135 secs || 11328988 markings, 61178501 edges, 76818 markings/sec, 135 secs
lola: sara is running 140 secs || 11752890 markings, 63328278 edges, 84780 markings/sec, 140 secs
lola: sara is running 145 secs || 12315684 markings, 65483727 edges, 112559 markings/sec, 145 secs
lola: sara is running 150 secs || 12768802 markings, 67791708 edges, 90624 markings/sec, 150 secs
lola: sara is running 155 secs || 13171952 markings, 70125495 edges, 80630 markings/sec, 155 secs
lola: sara is running 160 secs || 13517306 markings, 72570800 edges, 69071 markings/sec, 160 secs
lola: sara is running 165 secs || 13888482 markings, 74811916 edges, 74235 markings/sec, 165 secs
lola: sara is running 170 secs || 14309604 markings, 77126248 edges, 84224 markings/sec, 170 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 14559446 markings, 78739249 edges
lola: ========================================
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A8 <= 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 ((A8 <= 2)))
lola: processed formula length: 17
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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 <= A8)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 392301 markings, 2052375 edges, 78460 markings/sec, 0 secs
lola: sara is running 5 secs || 761061 markings, 4133087 edges, 73752 markings/sec, 5 secs
lola: sara is running 10 secs || 1114768 markings, 6294702 edges, 70741 markings/sec, 10 secs
lola: sara is running 15 secs || 1466257 markings, 8443068 edges, 70298 markings/sec, 15 secs
lola: sara is running 20 secs || 1819011 markings, 10620423 edges, 70551 markings/sec, 20 secs
lola: sara is running 25 secs || 2161775 markings, 12797318 edges, 68553 markings/sec, 25 secs
lola: sara is running 30 secs || 2504542 markings, 14969416 edges, 68553 markings/sec, 30 secs
lola: sara is running 35 secs || 2829675 markings, 17260648 edges, 65027 markings/sec, 35 secs
lola: sara is running 40 secs || 3162581 markings, 19687376 edges, 66581 markings/sec, 40 secs
lola: sara is running 45 secs || 3464836 markings, 21984639 edges, 60451 markings/sec, 45 secs
lola: sara is running 50 secs || 3778986 markings, 24391943 edges, 62830 markings/sec, 50 secs
lola: sara is running 55 secs || 4100053 markings, 26867907 edges, 64213 markings/sec, 55 secs
lola: sara is running 60 secs || 4400152 markings, 29447330 edges, 60020 markings/sec, 60 secs
lola: sara is running 65 secs || 4778938 markings, 31486557 edges, 75757 markings/sec, 65 secs
lola: sara is running 70 secs || 5129624 markings, 33644198 edges, 70137 markings/sec, 70 secs
lola: sara is running 75 secs || 5455359 markings, 36100048 edges, 65147 markings/sec, 75 secs
lola: sara is running 80 secs || 5778338 markings, 38488545 edges, 64596 markings/sec, 80 secs
lola: sara is running 85 secs || 6123850 markings, 40742483 edges, 69102 markings/sec, 85 secs
lola: sara is running 90 secs || 6451654 markings, 43074514 edges, 65561 markings/sec, 90 secs
lola: sara is running 95 secs || 6768395 markings, 45426553 edges, 63348 markings/sec, 95 secs
lola: sara is running 100 secs || 7084667 markings, 47875082 edges, 63254 markings/sec, 100 secs
lola: sara is running 105 secs || 7442117 markings, 50128783 edges, 71490 markings/sec, 105 secs
lola: sara is running 110 secs || 7785497 markings, 52487534 edges, 68676 markings/sec, 110 secs
lola: sara is running 115 secs || 8118392 markings, 54935318 edges, 66579 markings/sec, 115 secs
lola: sara is running 120 secs || 8431487 markings, 57643882 edges, 62619 markings/sec, 120 secs
lola: sara is running 125 secs || 8769962 markings, 59851563 edges, 67695 markings/sec, 125 secs
lola: sara is running 130 secs || 9073623 markings, 62377713 edges, 60732 markings/sec, 130 secs
lola: sara is running 135 secs || 9368995 markings, 64889946 edges, 59074 markings/sec, 135 secs
lola: sara is running 140 secs || 9677624 markings, 67455336 edges, 61726 markings/sec, 140 secs
lola: sara is running 145 secs || 10026916 markings, 69687409 edges, 69858 markings/sec, 145 secs
lola: sara is running 150 secs || 10357869 markings, 71822745 edges, 66191 markings/sec, 150 secs
lola: sara is running 155 secs || 10700474 markings, 73942055 edges, 68521 markings/sec, 155 secs
lola: sara is running 160 secs || 11030742 markings, 76050744 edges, 66054 markings/sec, 160 secs
lola: sara is running 165 secs || 11335927 markings, 78283362 edges, 61037 markings/sec, 165 secs
lola: sara is running 170 secs || 11658802 markings, 80677088 edges, 64575 markings/sec, 170 secs
lola: sara is running 175 secs || 11973226 markings, 83136184 edges, 62885 markings/sec, 175 secs
lola: sara is running 180 secs || 12268255 markings, 85612205 edges, 59006 markings/sec, 180 secs
lola: sara is running 185 secs || 12612650 markings, 87794049 edges, 68879 markings/sec, 185 secs
lola: sara is running 190 secs || 12934168 markings, 89970632 edges, 64304 markings/sec, 190 secs
lola: sara is running 195 secs || 13241305 markings, 92260862 edges, 61427 markings/sec, 195 secs
lola: sara is running 200 secs || 13562794 markings, 94697080 edges, 64298 markings/sec, 200 secs
lola: sara is running 205 secs || 13871835 markings, 97082035 edges, 61808 markings/sec, 205 secs
lola: sara is running 210 secs || 14187923 markings, 99333999 edges, 63218 markings/sec, 210 secs
lola: sara is running 215 secs || 14492853 markings, 101593369 edges, 60986 markings/sec, 215 secs
lola: sara is running 220 secs || 14774464 markings, 104104095 edges, 56322 markings/sec, 220 secs
lola: sara is running 225 secs || 15073097 markings, 106429277 edges, 59727 markings/sec, 225 secs
lola: sara is running 230 secs || 15359245 markings, 108771149 edges, 57230 markings/sec, 230 secs
lola: sara is running 235 secs || 15648526 markings, 111126203 edges, 57856 markings/sec, 235 secs
lola: sara is running 240 secs || 15975933 markings, 113280329 edges, 65481 markings/sec, 240 secs
lola: sara is running 245 secs || 16279267 markings, 115542247 edges, 60667 markings/sec, 245 secs
lola: sara is running 250 secs || 16591043 markings, 117728873 edges, 62355 markings/sec, 250 secs
lola: sara is running 255 secs || 16886795 markings, 120013469 edges, 59150 markings/sec, 255 secs
lola: sara is running 260 secs || 17168471 markings, 122376051 edges, 56335 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: memory consumption: 618516 KB
lola: time consumption: 1401 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A5)))
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 <= A5)))
lola: processed formula length: 17
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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 <= A5)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 390243 markings, 2143587 edges, 78049 markings/sec, 0 secs
lola: sara is running 5 secs || 743695 markings, 4474021 edges, 70690 markings/sec, 5 secs
lola: sara is running 10 secs || 1098924 markings, 6757967 edges, 71046 markings/sec, 10 secs
lola: sara is running 15 secs || 1453086 markings, 8974092 edges, 70832 markings/sec, 15 secs
lola: sara is running 20 secs || 1772559 markings, 11245821 edges, 63895 markings/sec, 20 secs
lola: sara is running 25 secs || 2084049 markings, 13680650 edges, 62298 markings/sec, 25 secs
lola: sara is running 30 secs || 2410433 markings, 16063943 edges, 65277 markings/sec, 30 secs
lola: sara is running 35 secs || 2714118 markings, 18554862 edges, 60737 markings/sec, 35 secs
lola: sara is running 40 secs || 3023810 markings, 21104652 edges, 61938 markings/sec, 40 secs
lola: sara is running 45 secs || 3376695 markings, 23210620 edges, 70577 markings/sec, 45 secs
lola: sara is running 50 secs || 3706363 markings, 25276741 edges, 65934 markings/sec, 50 secs
lola: sara is running 55 secs || 4027471 markings, 27571302 edges, 64222 markings/sec, 55 secs
lola: sara is running 60 secs || 4344718 markings, 29944044 edges, 63449 markings/sec, 60 secs
lola: sara is running 65 secs || 4661823 markings, 32224045 edges, 63421 markings/sec, 65 secs
lola: sara is running 70 secs || 4962912 markings, 34540263 edges, 60218 markings/sec, 70 secs
lola: sara is running 75 secs || 5261303 markings, 36763053 edges, 59678 markings/sec, 75 secs
lola: sara is running 80 secs || 5540198 markings, 39008615 edges, 55779 markings/sec, 80 secs
lola: sara is running 85 secs || 5803836 markings, 41403141 edges, 52728 markings/sec, 85 secs
lola: sara is running 90 secs || 6087750 markings, 43692789 edges, 56783 markings/sec, 90 secs
lola: sara is running 95 secs || 6346379 markings, 46146128 edges, 51726 markings/sec, 95 secs
lola: sara is running 100 secs || 6709081 markings, 48144316 edges, 72540 markings/sec, 100 secs
lola: sara is running 105 secs || 7062184 markings, 50086115 edges, 70621 markings/sec, 105 secs
lola: sara is running 110 secs || 7407735 markings, 52289476 edges, 69110 markings/sec, 110 secs
lola: sara is running 115 secs || 7725651 markings, 54679814 edges, 63583 markings/sec, 115 secs
lola: sara is running 120 secs || 8058211 markings, 56741155 edges, 66512 markings/sec, 120 secs
lola: sara is running 125 secs || 8370347 markings, 58956798 edges, 62427 markings/sec, 125 secs
lola: sara is running 130 secs || 8659761 markings, 61116724 edges, 57883 markings/sec, 130 secs
lola: sara is running 135 secs || 8948686 markings, 63430155 edges, 57785 markings/sec, 135 secs
lola: sara is running 140 secs || 9228199 markings, 65745431 edges, 55903 markings/sec, 140 secs
lola: sara is running 145 secs || 9632798 markings, 67602283 edges, 80920 markings/sec, 145 secs
lola: sara is running 150 secs || 10001577 markings, 69625596 edges, 73756 markings/sec, 150 secs
lola: sara is running 155 secs || 10310361 markings, 71651155 edges, 61757 markings/sec, 155 secs
lola: sara is running 160 secs || 10618875 markings, 73744519 edges, 61703 markings/sec, 160 secs
lola: sara is running 165 secs || 10954374 markings, 75741038 edges, 67100 markings/sec, 165 secs
lola: sara is running 170 secs || 11251536 markings, 77734019 edges, 59432 markings/sec, 170 secs
lola: sara is running 175 secs || 11539879 markings, 79775494 edges, 57669 markings/sec, 175 secs
lola: sara is running 180 secs || 11827277 markings, 81779441 edges, 57480 markings/sec, 180 secs
lola: sara is running 185 secs || 12099201 markings, 83939898 edges, 54385 markings/sec, 185 secs
lola: sara is running 190 secs || 12360990 markings, 86194255 edges, 52358 markings/sec, 190 secs
lola: sara is running 195 secs || 12639454 markings, 88315917 edges, 55693 markings/sec, 195 secs
lola: sara is running 200 secs || 12899234 markings, 90669140 edges, 51956 markings/sec, 200 secs
lola: sara is running 205 secs || 13210547 markings, 92804209 edges, 62263 markings/sec, 205 secs
lola: sara is running 210 secs || 13562635 markings, 94890556 edges, 70418 markings/sec, 210 secs
lola: sara is running 215 secs || 13898558 markings, 97061754 edges, 67185 markings/sec, 215 secs
lola: sara is running 220 secs || 14195350 markings, 99262950 edges, 59358 markings/sec, 220 secs
lola: sara is running 225 secs || 14477174 markings, 101434816 edges, 56365 markings/sec, 225 secs
lola: sara is running 230 secs || 14750282 markings, 103657369 edges, 54622 markings/sec, 230 secs
lola: sara is running 235 secs || 15020475 markings, 105996438 edges, 54039 markings/sec, 235 secs
lola: sara is running 240 secs || 15339012 markings, 108235318 edges, 63707 markings/sec, 240 secs
lola: sara is running 245 secs || 15681330 markings, 110430588 edges, 68464 markings/sec, 245 secs
lola: sara is running 250 secs || 15970892 markings, 112708658 edges, 57912 markings/sec, 250 secs
lola: sara is running 255 secs || 16322998 markings, 114957006 edges, 70421 markings/sec, 255 secs
lola: sara is running 260 secs || 16607796 markings, 117312901 edges, 56960 markings/sec, 260 secs
lola: sara is running 265 secs || 16895304 markings, 119602206 edges, 57502 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: memory consumption: 600072 KB
lola: time consumption: 1672 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A1) AND (1 <= A20) AND (1 <= B20) AND (B20 <= A8))))
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 (((2 <= A1) AND (1 <= A20) AND (1 <= B20) AND (B20 <= A8))))
lola: processed formula length: 65
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: formula 0: ((2 <= A1) AND (1 <= A20) AND (1 <= B20) AND (B20 <= A8))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: The predicate is unreachable.
lola: 3 markings, 2 edges
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-9-0.sara
lola: subprocess 10 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A1) AND (A12 <= A8) AND ((2 <= A11)) AND (A8 + 1 <= B3))))
lola: ========================================
lola: SUBTASK
lola: lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
state equation: calling and running sara
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= A1) AND (A12 <= A8) AND ((2 <= A11)) AND (A8 + 1 <= B3))))
lola: processed formula length: 71
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-ReachabilityCardinality.task
lola: 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: ((2 <= A1) AND (A12 <= A8) AND ((2 <= A11)) AND (A8 + 1 <= B3))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-9-0.sara.
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 486264 markings, 1906455 edges, 97253 markings/sec, 0 secs
lola: sara is running 5 secs || 932441 markings, 3918262 edges, 89235 markings/sec, 5 secs
lola: sara is running 10 secs || 1260344 markings, 6056174 edges, 65581 markings/sec, 10 secs
lola: sara is running 15 secs || 1753085 markings, 8027062 edges, 98548 markings/sec, 15 secs
lola: sara is running 20 secs || 2199730 markings, 10012285 edges, 89329 markings/sec, 20 secs
lola: sara is running 25 secs || 2556156 markings, 12024043 edges, 71285 markings/sec, 25 secs
lola: sara is running 30 secs || 2963324 markings, 14111124 edges, 81434 markings/sec, 30 secs
lola: sara is running 35 secs || 3425359 markings, 16175603 edges, 92407 markings/sec, 35 secs
lola: sara is running 40 secs || 3871305 markings, 18168408 edges, 89189 markings/sec, 40 secs
lola: sara is running 45 secs || 4252832 markings, 20201010 edges, 76305 markings/sec, 45 secs
lola: sara is running 50 secs || 4605394 markings, 22167565 edges, 70512 markings/sec, 50 secs
lola: sara is running 55 secs || 4931295 markings, 24256844 edges, 65180 markings/sec, 55 secs
lola: sara is running 60 secs || 5282685 markings, 26393012 edges, 70278 markings/sec, 60 secs
lola: sara is running 65 secs || 5637795 markings, 28550343 edges, 71022 markings/sec, 65 secs
lola: sara is running 70 secs || 6292198 markings, 30529584 edges, 130881 markings/sec, 70 secs
lola: sara is running 75 secs || 6617331 markings, 32590372 edges, 65027 markings/sec, 75 secs
lola: sara is running 80 secs || 6940333 markings, 34691022 edges, 64600 markings/sec, 80 secs
lola: sara is running 85 secs || 7327849 markings, 36751009 edges, 77503 markings/sec, 85 secs
lola: sara is running 90 secs || 7711900 markings, 38767397 edges, 76810 markings/sec, 90 secs
lola: sara is running 95 secs || 8054724 markings, 40934584 edges, 68565 markings/sec, 95 secs
lola: sara is running 100 secs || 8405355 markings, 43128677 edges, 70126 markings/sec, 100 secs
lola: sara is running 105 secs || 8765316 markings, 45347803 edges, 71992 markings/sec, 105 secs
lola: sara is running 110 secs || 9250141 markings, 47576538 edges, 96965 markings/sec, 110 secs
lola: sara is running 115 secs || 9632559 markings, 49802993 edges, 76484 markings/sec, 115 secs
lola: sara is running 120 secs || 10072027 markings, 52020020 edges, 87894 markings/sec, 120 secs
lola: sara is running 125 secs || 10446786 markings, 54297234 edges, 74952 markings/sec, 125 secs
lola: sara is running 130 secs || 11098961 markings, 56264778 edges, 130435 markings/sec, 130 secs
lola: sara is running 135 secs || 11798968 markings, 58252982 edges, 140001 markings/sec, 135 secs
lola: sara is running 140 secs || 12233724 markings, 60275037 edges, 86951 markings/sec, 140 secs
lola: sara is running 145 secs || 12526966 markings, 62348911 edges, 58648 markings/sec, 145 secs
lola: sara is running 150 secs || 12820314 markings, 64435259 edges, 58670 markings/sec, 150 secs
lola: sara is running 155 secs || 13096836 markings, 66545686 edges, 55304 markings/sec, 155 secs
lola: sara is running 160 secs || 13373187 markings, 68723422 edges, 55270 markings/sec, 160 secs
lola: sara is running 165 secs || 13649550 markings, 70854734 edges, 55273 markings/sec, 165 secs
lola: sara is running 170 secs || 13943892 markings, 73075159 edges, 58868 markings/sec, 170 secs
lola: sara is running 175 secs || 14260239 markings, 75330393 edges, 63269 markings/sec, 175 secs
lola: sara is running 180 secs || 14585459 markings, 77413535 edges, 65044 markings/sec, 180 secs
lola: sara is running 185 secs || 15046238 markings, 79546112 edges, 92156 markings/sec, 185 secs
lola: sara is running 190 secs || 15326900 markings, 81696966 edges, 56132 markings/sec, 190 secs
lola: sara is running 195 secs || 15686941 markings, 83915913 edges, 72008 markings/sec, 195 secs
lola: sara is running 200 secs || 15999454 markings, 86113562 edges, 62503 markings/sec, 200 secs
lola: sara is running 205 secs || 16374273 markings, 88273889 edges, 74964 markings/sec, 205 secs
lola: sara is running 210 secs || 16736795 markings, 90370614 edges, 72504 markings/sec, 210 secs
lola: sara is running 215 secs || 17014255 markings, 92662461 edges, 55492 markings/sec, 215 secs
lola: sara is running 220 secs || 17358738 markings, 94717085 edges, 68897 markings/sec, 220 secs
lola: sara is running 225 secs || 17706605 markings, 96874131 edges, 69573 markings/sec, 225 secs
lola: sara is running 230 secs || 17955546 markings, 98739194 edges, 49788 markings/sec, 230 secs
lola: sara is running 235 secs || 18222273 markings, 100899577 edges, 53345 markings/sec, 235 secs
lola: sara is running 240 secs || 18581504 markings, 103082726 edges, 71846 markings/sec, 240 secs
lola: sara is running 245 secs || 18968152 markings, 105350961 edges, 77330 markings/sec, 245 secs
lola: sara is running 250 secs || 19409594 markings, 107506549 edges, 88288 markings/sec, 250 secs
lola: sara is running 255 secs || 19776857 markings, 109668283 edges, 73453 markings/sec, 255 secs
lola: sara is running 260 secs || 20134808 markings, 111879703 edges, 71590 markings/sec, 260 secs
lola: sara is running 265 secs || 20420541 markings, 114188857 edges, 57147 markings/sec, 265 secs
lola: sara is running 270 secs || 20710510 markings, 116389409 edges, 57994 markings/sec, 270 secs
lola: sara is running 275 secs || 21020065 markings, 118717462 edges, 61911 markings/sec, 275 secs
lola: sara is running 280 secs || 21392429 markings, 121139405 edges, 74473 markings/sec, 280 secs
lola: sara is running 285 secs || 21743795 markings, 123456915 edges, 70273 markings/sec, 285 secs
lola: sara is running 290 secs || 22046221 markings, 125844729 edges, 60485 markings/sec, 290 secs
lola: sara is running 295 secs || 22326433 markings, 128163252 edges, 56042 markings/sec, 295 secs
lola: sara is running 300 secs || 22740350 markings, 130320580 edges, 82783 markings/sec, 300 secs
lola: sara is running 305 secs || 23023677 markings, 132537715 edges, 56665 markings/sec, 305 secs
lola: sara is running 310 secs || 23368873 markings, 134681911 edges, 69039 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: memory consumption: 820024 KB
lola: time consumption: 1988 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((A19 <= B21) AND (A10 <= A11)) OR (A12 <= 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 <= B21) AND (A10 <= A11)) OR (A12 <= 2))))
lola: processed formula length: 56
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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: (((B21 + 1 <= A19) OR (A11 + 1 <= A10)) AND (3 <= A12))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 479535 markings, 1721293 edges, 95907 markings/sec, 0 secs
lola: sara is running 5 secs || 939854 markings, 3566745 edges, 92064 markings/sec, 5 secs
lola: sara is running 10 secs || 1352803 markings, 5411253 edges, 82590 markings/sec, 10 secs
lola: sara is running 15 secs || 1779203 markings, 7435794 edges, 85280 markings/sec, 15 secs
lola: sara is running 20 secs || 2158895 markings, 9323481 edges, 75938 markings/sec, 20 secs
lola: sara is running 25 secs || 2543777 markings, 11175633 edges, 76976 markings/sec, 25 secs
lola: sara is running 30 secs || 2900471 markings, 13194918 edges, 71339 markings/sec, 30 secs
lola: sara is running 35 secs || 3231119 markings, 15185247 edges, 66130 markings/sec, 35 secs
lola: sara is running 40 secs || 3590003 markings, 17090897 edges, 71777 markings/sec, 40 secs
lola: sara is running 45 secs || 3944266 markings, 18898516 edges, 70853 markings/sec, 45 secs
lola: sara is running 50 secs || 4272640 markings, 20832225 edges, 65675 markings/sec, 50 secs
lola: sara is running 55 secs || 4681563 markings, 22759984 edges, 81785 markings/sec, 55 secs
lola: sara is running 60 secs || 5016962 markings, 24829728 edges, 67080 markings/sec, 60 secs
lola: sara is running 65 secs || 5370258 markings, 27032110 edges, 70659 markings/sec, 65 secs
lola: sara is running 70 secs || 5776630 markings, 29115362 edges, 81274 markings/sec, 70 secs
lola: sara is running 75 secs || 6150093 markings, 31342181 edges, 74693 markings/sec, 75 secs
lola: sara is running 80 secs || 6515497 markings, 33492610 edges, 73081 markings/sec, 80 secs
lola: sara is running 85 secs || 6903848 markings, 35562475 edges, 77670 markings/sec, 85 secs
lola: sara is running 90 secs || 7296965 markings, 37707152 edges, 78623 markings/sec, 90 secs
lola: sara is running 95 secs || 7629279 markings, 40056804 edges, 66463 markings/sec, 95 secs
lola: sara is running 100 secs || 8043376 markings, 41858952 edges, 82819 markings/sec, 100 secs
lola: sara is running 105 secs || 8476720 markings, 43547338 edges, 86669 markings/sec, 105 secs
lola: sara is running 110 secs || 8871321 markings, 45458636 edges, 78920 markings/sec, 110 secs
lola: sara is running 115 secs || 9231402 markings, 47371552 edges, 72016 markings/sec, 115 secs
lola: sara is running 120 secs || 9613737 markings, 49264188 edges, 76467 markings/sec, 120 secs
lola: sara is running 125 secs || 9958129 markings, 51253290 edges, 68878 markings/sec, 125 secs
lola: sara is running 130 secs || 10317485 markings, 52949176 edges, 71871 markings/sec, 130 secs
lola: sara is running 135 secs || 10645041 markings, 54824101 edges, 65511 markings/sec, 135 secs
lola: sara is running 140 secs || 10957508 markings, 56768026 edges, 62493 markings/sec, 140 secs
lola: sara is running 145 secs || 11256478 markings, 58816325 edges, 59794 markings/sec, 145 secs
lola: sara is running 150 secs || 11587698 markings, 60683939 edges, 66244 markings/sec, 150 secs
lola: sara is running 155 secs || 11921644 markings, 62534859 edges, 66789 markings/sec, 155 secs
lola: sara is running 160 secs || 12244084 markings, 64465199 edges, 64488 markings/sec, 160 secs
lola: sara is running 165 secs || 12607997 markings, 66347925 edges, 72783 markings/sec, 165 secs
lola: sara is running 170 secs || 12961646 markings, 68347828 edges, 70730 markings/sec, 170 secs
lola: sara is running 175 secs || 13257962 markings, 70464566 edges, 59263 markings/sec, 175 secs
lola: sara is running 180 secs || 13588283 markings, 72594737 edges, 66064 markings/sec, 180 secs
lola: sara is running 185 secs || 13970658 markings, 74640840 edges, 76475 markings/sec, 185 secs
lola: sara is running 190 secs || 14313688 markings, 76857581 edges, 68606 markings/sec, 190 secs
lola: sara is running 195 secs || 14640361 markings, 79070459 edges, 65335 markings/sec, 195 secs
lola: sara is running 200 secs || 14996709 markings, 81199898 edges, 71270 markings/sec, 200 secs
lola: sara is running 205 secs || 15363641 markings, 83287471 edges, 73386 markings/sec, 205 secs
lola: sara is running 210 secs || 15732922 markings, 85429243 edges, 73856 markings/sec, 210 secs
lola: sara is running 215 secs || 16047903 markings, 87803091 edges, 62996 markings/sec, 215 secs
lola: sara is running 220 secs || 16396045 markings, 90015919 edges, 69628 markings/sec, 220 secs
lola: sara is running 225 secs || 16737309 markings, 92202075 edges, 68253 markings/sec, 225 secs
lola: sara is running 230 secs || 17030210 markings, 94408270 edges, 58580 markings/sec, 230 secs
lola: sara is running 235 secs || 17319551 markings, 96860081 edges, 57868 markings/sec, 235 secs
lola: sara is running 240 secs || 17655730 markings, 99039367 edges, 67236 markings/sec, 240 secs
lola: sara is running 245 secs || 17952480 markings, 101163884 edges, 59350 markings/sec, 245 secs
lola: sara is running 250 secs || 18251738 markings, 103442367 edges, 59852 markings/sec, 250 secs
lola: sara is running 255 secs || 18537052 markings, 105809752 edges, 57063 markings/sec, 255 secs
lola: sara is running 260 secs || 18837681 markings, 108243276 edges, 60126 markings/sec, 260 secs
lola: sara is running 265 secs || 19172921 markings, 110766647 edges, 67048 markings/sec, 265 secs
lola: sara is running 270 secs || 19490230 markings, 113158233 edges, 63462 markings/sec, 270 secs
lola: sara is running 275 secs || 19918470 markings, 115336724 edges, 85648 markings/sec, 275 secs
lola: sara is running 280 secs || 20367199 markings, 117277008 edges, 89746 markings/sec, 280 secs
lola: sara is running 285 secs || 20742572 markings, 119223102 edges, 75075 markings/sec, 285 secs
lola: sara is running 290 secs || 21010907 markings, 121308620 edges, 53667 markings/sec, 290 secs
lola: sara is running 295 secs || 21266755 markings, 123433095 edges, 51170 markings/sec, 295 secs
lola: sara is running 300 secs || 21551391 markings, 125614081 edges, 56927 markings/sec, 300 secs
lola: sara is running 305 secs || 21814287 markings, 127771798 edges, 52579 markings/sec, 305 secs
lola: sara is running 310 secs || 22102441 markings, 129975688 edges, 57631 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: memory consumption: 773656 KB
lola: time consumption: 2304 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A19) AND (2 <= A11) AND (A11 <= A3) AND (B21 <= A6))))
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 (((2 <= A19) AND (2 <= A11) AND (A11 <= A3) AND (B21 <= A6))))
lola: processed formula length: 67
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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: ((2 <= A19) AND (2 <= A11) AND (A11 <= A3) AND (B21 <= A6))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 424187 markings, 1890970 edges, 84837 markings/sec, 0 secs
lola: sara is running 5 secs || 816080 markings, 3926047 edges, 78379 markings/sec, 5 secs
lola: sara is running 10 secs || 1233945 markings, 5846750 edges, 83573 markings/sec, 10 secs
lola: sara is running 15 secs || 1634854 markings, 7786387 edges, 80182 markings/sec, 15 secs
lola: sara is running 20 secs || 2025632 markings, 9818965 edges, 78156 markings/sec, 20 secs
lola: sara is running 25 secs || 2413276 markings, 11693768 edges, 77529 markings/sec, 25 secs
lola: sara is running 30 secs || 2787073 markings, 13709697 edges, 74759 markings/sec, 30 secs
lola: sara is running 35 secs || 3171486 markings, 15770203 edges, 76883 markings/sec, 35 secs
lola: sara is running 40 secs || 3513931 markings, 17877251 edges, 68489 markings/sec, 40 secs
lola: sara is running 45 secs || 3902732 markings, 19922035 edges, 77760 markings/sec, 45 secs
lola: sara is running 50 secs || 4311391 markings, 21750850 edges, 81732 markings/sec, 50 secs
lola: sara is running 55 secs || 4703339 markings, 23723320 edges, 78390 markings/sec, 55 secs
lola: sara is running 60 secs || 5102935 markings, 25621213 edges, 79919 markings/sec, 60 secs
lola: sara is running 65 secs || 5477431 markings, 27641291 edges, 74899 markings/sec, 65 secs
lola: sara is running 70 secs || 5839089 markings, 29697304 edges, 72332 markings/sec, 70 secs
lola: sara is running 75 secs || 6224595 markings, 31593127 edges, 77101 markings/sec, 75 secs
lola: sara is running 80 secs || 6618261 markings, 33494673 edges, 78733 markings/sec, 80 secs
lola: sara is running 85 secs || 7004467 markings, 35359289 edges, 77241 markings/sec, 85 secs
lola: sara is running 90 secs || 7381898 markings, 37204694 edges, 75486 markings/sec, 90 secs
lola: sara is running 95 secs || 7755008 markings, 39209886 edges, 74622 markings/sec, 95 secs
lola: sara is running 100 secs || 8125064 markings, 41282759 edges, 74011 markings/sec, 100 secs
lola: sara is running 105 secs || 8481687 markings, 43342347 edges, 71325 markings/sec, 105 secs
lola: sara is running 110 secs || 8835939 markings, 45535285 edges, 70850 markings/sec, 110 secs
lola: sara is running 115 secs || 9180442 markings, 47727365 edges, 68901 markings/sec, 115 secs
lola: sara is running 120 secs || 9498405 markings, 49943920 edges, 63593 markings/sec, 120 secs
lola: sara is running 125 secs || 9809202 markings, 52228705 edges, 62159 markings/sec, 125 secs
lola: sara is running 130 secs || 10171998 markings, 54434924 edges, 72559 markings/sec, 130 secs
lola: sara is running 135 secs || 10550397 markings, 56609867 edges, 75680 markings/sec, 135 secs
lola: sara is running 140 secs || 10916752 markings, 58874182 edges, 73271 markings/sec, 140 secs
lola: sara is running 145 secs || 11282361 markings, 60957417 edges, 73122 markings/sec, 145 secs
lola: sara is running 150 secs || 11633290 markings, 63117671 edges, 70186 markings/sec, 150 secs
lola: sara is running 155 secs || 11972115 markings, 65424601 edges, 67765 markings/sec, 155 secs
lola: sara is running 160 secs || 12298074 markings, 67572195 edges, 65192 markings/sec, 160 secs
lola: sara is running 165 secs || 12616124 markings, 69783780 edges, 63610 markings/sec, 165 secs
lola: sara is running 170 secs || 12916730 markings, 72051583 edges, 60121 markings/sec, 170 secs
lola: sara is running 175 secs || 13271862 markings, 74274548 edges, 71026 markings/sec, 175 secs
lola: sara is running 180 secs || 13590459 markings, 76512437 edges, 63719 markings/sec, 180 secs
lola: sara is running 185 secs || 13904923 markings, 78963598 edges, 62893 markings/sec, 185 secs
lola: sara is running 190 secs || 14283087 markings, 81217919 edges, 75633 markings/sec, 190 secs
lola: sara is running 195 secs || 14647963 markings, 83472385 edges, 72975 markings/sec, 195 secs
lola: sara is running 200 secs || 14961689 markings, 85783846 edges, 62745 markings/sec, 200 secs
lola: sara is running 205 secs || 15301952 markings, 88076567 edges, 68053 markings/sec, 205 secs
lola: sara is running 210 secs || 15620994 markings, 90386768 edges, 63808 markings/sec, 210 secs
lola: sara is running 215 secs || 15897187 markings, 92684384 edges, 55239 markings/sec, 215 secs
lola: sara is running 220 secs || 16196429 markings, 94983386 edges, 59848 markings/sec, 220 secs
lola: sara is running 225 secs || 16478982 markings, 97284717 edges, 56511 markings/sec, 225 secs
lola: sara is running 230 secs || 16856194 markings, 99361104 edges, 75442 markings/sec, 230 secs
lola: sara is running 235 secs || 17210192 markings, 101684695 edges, 70800 markings/sec, 235 secs
lola: sara is running 240 secs || 17522812 markings, 104051976 edges, 62524 markings/sec, 240 secs
lola: sara is running 245 secs || 17826917 markings, 106310802 edges, 60821 markings/sec, 245 secs
lola: sara is running 250 secs || 18136369 markings, 108547402 edges, 61890 markings/sec, 250 secs
lola: sara is running 255 secs || 18477196 markings, 110769768 edges, 68165 markings/sec, 255 secs
lola: sara is running 260 secs || 18787640 markings, 113116865 edges, 62089 markings/sec, 260 secs
lola: sara is running 265 secs || 19075649 markings, 115403114 edges, 57602 markings/sec, 265 secs
lola: sara is running 270 secs || 19358552 markings, 117845852 edges, 56581 markings/sec, 270 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 19380059 markings, 118066380 edges
lola: ========================================
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((A1 <= A13) OR (2 <= A14) OR ((2 <= A19) AND (2 <= A16))) AND (3 <= A17))))
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 ((((A1 <= A13) OR (2 <= A14) OR ((2 <= A19) AND (2 <= A16))) AND (3 <= A17))))
lola: processed formula length: 85
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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: (((A1 <= A13) OR (2 <= A14) OR ((2 <= A19) AND (2 <= A16))) AND (3 <= A17))
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 338114 markings, 1800677 edges, 67623 markings/sec, 0 secs
lola: sara is running 5 secs || 644346 markings, 3747707 edges, 61246 markings/sec, 5 secs
lola: sara is running 10 secs || 961910 markings, 5643433 edges, 63513 markings/sec, 10 secs
lola: sara is running 15 secs || 1265967 markings, 7579013 edges, 60811 markings/sec, 15 secs
lola: sara is running 20 secs || 1563736 markings, 9561777 edges, 59554 markings/sec, 20 secs
lola: sara is running 25 secs || 1848065 markings, 11762965 edges, 56866 markings/sec, 25 secs
lola: sara is running 30 secs || 2138381 markings, 13842780 edges, 58063 markings/sec, 30 secs
lola: sara is running 35 secs || 2424079 markings, 15932278 edges, 57140 markings/sec, 35 secs
lola: sara is running 40 secs || 2696258 markings, 18103932 edges, 54436 markings/sec, 40 secs
lola: sara is running 45 secs || 2974003 markings, 20205811 edges, 55549 markings/sec, 45 secs
lola: sara is running 50 secs || 3239866 markings, 22353280 edges, 53173 markings/sec, 50 secs
lola: sara is running 55 secs || 3517970 markings, 24465873 edges, 55621 markings/sec, 55 secs
lola: sara is running 60 secs || 3785021 markings, 26669578 edges, 53410 markings/sec, 60 secs
lola: sara is running 65 secs || 4071902 markings, 28724860 edges, 57376 markings/sec, 65 secs
lola: sara is running 70 secs || 4383125 markings, 30527234 edges, 62245 markings/sec, 70 secs
lola: sara is running 75 secs || 4677157 markings, 32445331 edges, 58806 markings/sec, 75 secs
lola: sara is running 80 secs || 4958297 markings, 34442437 edges, 56228 markings/sec, 80 secs
lola: sara is running 85 secs || 5235750 markings, 36470869 edges, 55491 markings/sec, 85 secs
lola: sara is running 90 secs || 5521298 markings, 38496783 edges, 57110 markings/sec, 90 secs
lola: sara is running 95 secs || 5799370 markings, 40495430 edges, 55614 markings/sec, 95 secs
lola: sara is running 100 secs || 6069467 markings, 42526057 edges, 54019 markings/sec, 100 secs
lola: sara is running 105 secs || 6349430 markings, 44438376 edges, 55993 markings/sec, 105 secs
lola: sara is running 110 secs || 6628302 markings, 46344147 edges, 55774 markings/sec, 110 secs
lola: sara is running 115 secs || 6891677 markings, 48439930 edges, 52675 markings/sec, 115 secs
lola: sara is running 120 secs || 7141446 markings, 50661933 edges, 49954 markings/sec, 120 secs
lola: sara is running 125 secs || 7396667 markings, 52809560 edges, 51044 markings/sec, 125 secs
lola: sara is running 130 secs || 7652942 markings, 54978419 edges, 51255 markings/sec, 130 secs
lola: sara is running 135 secs || 7908221 markings, 57097036 edges, 51056 markings/sec, 135 secs
lola: sara is running 140 secs || 8166093 markings, 59192475 edges, 51574 markings/sec, 140 secs
lola: sara is running 145 secs || 8410458 markings, 61462233 edges, 48873 markings/sec, 145 secs
lola: sara is running 150 secs || 8657080 markings, 63781344 edges, 49324 markings/sec, 150 secs
lola: sara is running 155 secs || 8947331 markings, 65910629 edges, 58050 markings/sec, 155 secs
lola: sara is running 160 secs || 9221145 markings, 68138359 edges, 54763 markings/sec, 160 secs
lola: sara is running 165 secs || 9481035 markings, 70420762 edges, 51978 markings/sec, 165 secs
lola: sara is running 170 secs || 9737184 markings, 72722648 edges, 51230 markings/sec, 170 secs
lola: sara is running 175 secs || 10005691 markings, 75028935 edges, 53701 markings/sec, 175 secs
lola: sara is running 180 secs || 10268793 markings, 77310521 edges, 52620 markings/sec, 180 secs
lola: sara is running 185 secs || 10519781 markings, 79603769 edges, 50198 markings/sec, 185 secs
lola: sara is running 190 secs || 10782698 markings, 81728474 edges, 52583 markings/sec, 190 secs
lola: sara is running 195 secs || 11033873 markings, 83918665 edges, 50235 markings/sec, 195 secs
lola: sara is running 200 secs || 11273905 markings, 86294052 edges, 48006 markings/sec, 200 secs
lola: sara is running 205 secs || 11521256 markings, 88743447 edges, 49470 markings/sec, 205 secs
lola: sara is running 210 secs || 11761249 markings, 91208436 edges, 47999 markings/sec, 210 secs
lola: sara is running 215 secs || 12004068 markings, 93613123 edges, 48564 markings/sec, 215 secs
lola: sara is running 220 secs || 12246760 markings, 95941272 edges, 48538 markings/sec, 220 secs
lola: sara is running 225 secs || 12479052 markings, 98421835 edges, 46458 markings/sec, 225 secs
lola: sara is running 230 secs || 12727589 markings, 100836223 edges, 49707 markings/sec, 230 secs
lola: sara is running 235 secs || 13028148 markings, 102811006 edges, 60112 markings/sec, 235 secs
lola: sara is running 240 secs || 13328045 markings, 104742483 edges, 59979 markings/sec, 240 secs
lola: sara is running 245 secs || 13608879 markings, 106839206 edges, 56167 markings/sec, 245 secs
lola: sara is running 250 secs || 13889508 markings, 108937022 edges, 56126 markings/sec, 250 secs
lola: sara is running 255 secs || 14158098 markings, 111067914 edges, 53718 markings/sec, 255 secs
lola: sara is running 260 secs || 14425957 markings, 113215918 edges, 53572 markings/sec, 260 secs
lola: sara is running 265 secs || 14695464 markings, 115381530 edges, 53901 markings/sec, 265 secs
lola: sara is running 270 secs || 14991934 markings, 117254041 edges, 59294 markings/sec, 270 secs
lola: sara is running 275 secs || 15266020 markings, 119248505 edges, 54817 markings/sec, 275 secs
lola: sara is running 280 secs || 15542233 markings, 121249757 edges, 55243 markings/sec, 280 secs
lola: sara is running 285 secs || 15823912 markings, 123130337 edges, 56336 markings/sec, 285 secs
lola: sara is running 290 secs || 16080875 markings, 125249046 edges, 51393 markings/sec, 290 secs
lola: sara is running 295 secs || 16322594 markings, 127493248 edges, 48344 markings/sec, 295 secs
lola: sara is running 300 secs || 16581692 markings, 129561633 edges, 51820 markings/sec, 300 secs
lola: sara is running 305 secs || 16828112 markings, 131716526 edges, 49284 markings/sec, 305 secs
lola: sara is running 310 secs || 17061233 markings, 134058284 edges, 46624 markings/sec, 310 secs
lola: sara is running 315 secs || 17323232 markings, 136267428 edges, 52400 markings/sec, 315 secs
lola: sara is running 320 secs || 17581270 markings, 138504230 edges, 51608 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: memory consumption: 626412 KB
lola: time consumption: 2909 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= A11) OR (A3 <= 2) OR ((A20 <= A5) AND (B21 <= A2)) OR (3 <= 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 (((1 <= A11) OR (A3 <= 2) OR ((A20 <= A5) AND (B21 <= A2)) OR (3 <= A16))))
lola: processed formula length: 83
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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: ((A11 <= 0) AND (3 <= A3) AND ((A5 + 1 <= A20) OR (A2 + 1 <= B21)) AND (A16 <= 2))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 360621 markings, 1598898 edges, 72124 markings/sec, 0 secs
lola: sara is running 5 secs || 708939 markings, 3367068 edges, 69664 markings/sec, 5 secs
lola: sara is running 10 secs || 1040047 markings, 5157358 edges, 66222 markings/sec, 10 secs
lola: sara is running 15 secs || 1391178 markings, 6758258 edges, 70226 markings/sec, 15 secs
lola: sara is running 20 secs || 1720712 markings, 8456958 edges, 65907 markings/sec, 20 secs
lola: sara is running 25 secs || 2029583 markings, 10172176 edges, 61774 markings/sec, 25 secs
lola: sara is running 30 secs || 2344844 markings, 12094245 edges, 63052 markings/sec, 30 secs
lola: sara is running 35 secs || 2650910 markings, 14127226 edges, 61213 markings/sec, 35 secs
lola: sara is running 40 secs || 2977051 markings, 16075228 edges, 65228 markings/sec, 40 secs
lola: sara is running 45 secs || 3277157 markings, 18077841 edges, 60021 markings/sec, 45 secs
lola: sara is running 50 secs || 3562642 markings, 20195204 edges, 57097 markings/sec, 50 secs
lola: sara is running 55 secs || 3843435 markings, 22482147 edges, 56159 markings/sec, 55 secs
lola: sara is running 60 secs || 4171526 markings, 24301481 edges, 65618 markings/sec, 60 secs
lola: sara is running 65 secs || 4492229 markings, 26148243 edges, 64141 markings/sec, 65 secs
lola: sara is running 70 secs || 4788772 markings, 28061050 edges, 59309 markings/sec, 70 secs
lola: sara is running 75 secs || 5090404 markings, 30103734 edges, 60326 markings/sec, 75 secs
lola: sara is running 80 secs || 5377536 markings, 32230830 edges, 57426 markings/sec, 80 secs
lola: sara is running 85 secs || 5654359 markings, 34410043 edges, 55365 markings/sec, 85 secs
lola: sara is running 90 secs || 5917049 markings, 36594592 edges, 52538 markings/sec, 90 secs
lola: sara is running 95 secs || 6232617 markings, 38424929 edges, 63114 markings/sec, 95 secs
lola: sara is running 100 secs || 6521573 markings, 40438067 edges, 57791 markings/sec, 100 secs
lola: sara is running 105 secs || 6797823 markings, 42580054 edges, 55250 markings/sec, 105 secs
lola: sara is running 110 secs || 7091241 markings, 44540781 edges, 58684 markings/sec, 110 secs
lola: sara is running 115 secs || 7364542 markings, 46401920 edges, 54660 markings/sec, 115 secs
lola: sara is running 120 secs || 7640501 markings, 48548783 edges, 55192 markings/sec, 120 secs
lola: sara is running 125 secs || 7893711 markings, 50835278 edges, 50642 markings/sec, 125 secs
lola: sara is running 130 secs || 8170081 markings, 52858386 edges, 55274 markings/sec, 130 secs
lola: sara is running 135 secs || 8439964 markings, 55188696 edges, 53977 markings/sec, 135 secs
lola: sara is running 140 secs || 8777580 markings, 57063627 edges, 67523 markings/sec, 140 secs
lola: sara is running 145 secs || 9080029 markings, 58896440 edges, 60490 markings/sec, 145 secs
lola: sara is running 150 secs || 9357547 markings, 60856376 edges, 55504 markings/sec, 150 secs
lola: sara is running 155 secs || 9653056 markings, 62827999 edges, 59102 markings/sec, 155 secs
lola: sara is running 160 secs || 9925518 markings, 64845636 edges, 54492 markings/sec, 160 secs
lola: sara is running 165 secs || 10202066 markings, 66796448 edges, 55310 markings/sec, 165 secs
lola: sara is running 170 secs || 10477363 markings, 68965914 edges, 55059 markings/sec, 170 secs
lola: sara is running 175 secs || 10812424 markings, 70914460 edges, 67012 markings/sec, 175 secs
lola: sara is running 180 secs || 11131416 markings, 72854878 edges, 63798 markings/sec, 180 secs
lola: sara is running 185 secs || 11413828 markings, 74983285 edges, 56482 markings/sec, 185 secs
lola: sara is running 190 secs || 11698237 markings, 77090675 edges, 56882 markings/sec, 190 secs
lola: sara is running 195 secs || 11968594 markings, 79038615 edges, 54071 markings/sec, 195 secs
lola: sara is running 200 secs || 12219941 markings, 81181896 edges, 50269 markings/sec, 200 secs
lola: sara is running 205 secs || 12472819 markings, 83262711 edges, 50576 markings/sec, 205 secs
lola: sara is running 210 secs || 12719569 markings, 85386577 edges, 49350 markings/sec, 210 secs
lola: sara is running 215 secs || 12961955 markings, 87516604 edges, 48477 markings/sec, 215 secs
lola: sara is running 220 secs || 13242784 markings, 89445107 edges, 56166 markings/sec, 220 secs
lola: sara is running 225 secs || 13526447 markings, 91376313 edges, 56733 markings/sec, 225 secs
lola: sara is running 230 secs || 13811995 markings, 93229782 edges, 57110 markings/sec, 230 secs
lola: sara is running 235 secs || 14110031 markings, 95103201 edges, 59607 markings/sec, 235 secs
lola: sara is running 240 secs || 14408258 markings, 97187591 edges, 59645 markings/sec, 240 secs
lola: sara is running 245 secs || 14669368 markings, 99181206 edges, 52222 markings/sec, 245 secs
lola: sara is running 250 secs || 14920788 markings, 101257404 edges, 50284 markings/sec, 250 secs
lola: sara is running 255 secs || 15165994 markings, 103359998 edges, 49041 markings/sec, 255 secs
lola: sara is running 260 secs || 15433042 markings, 105424849 edges, 53410 markings/sec, 260 secs
lola: sara is running 265 secs || 15717793 markings, 107460624 edges, 56950 markings/sec, 265 secs
lola: sara is running 270 secs || 15970735 markings, 109611429 edges, 50588 markings/sec, 270 secs
lola: sara is running 275 secs || 16220091 markings, 111725010 edges, 49871 markings/sec, 275 secs
lola: sara is running 280 secs || 16456711 markings, 113828932 edges, 47324 markings/sec, 280 secs
lola: sara is running 285 secs || 16706344 markings, 115840392 edges, 49927 markings/sec, 285 secs
lola: sara is running 290 secs || 16950371 markings, 117941388 edges, 48805 markings/sec, 290 secs
lola: sara is running 295 secs || 17207261 markings, 120073623 edges, 51378 markings/sec, 295 secs
lola: sara is running 300 secs || 17463051 markings, 122173084 edges, 51158 markings/sec, 300 secs
lola: sara is running 305 secs || 17729424 markings, 124396677 edges, 53275 markings/sec, 305 secs
lola: sara is running 310 secs || 17996257 markings, 126644392 edges, 53367 markings/sec, 310 secs
lola: sara is running 315 secs || 18238107 markings, 128841454 edges, 48370 markings/sec, 315 secs
lola: sara is running 320 secs || 18472382 markings, 131049545 edges, 46855 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes unknown yes unknown yes
lola: memory consumption: 659520 KB
lola: time consumption: 3239 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A8 <= A21) OR (B21 <= A19) OR (A5 <= A18) OR (A20 <= A1) OR ((A20 + 1 <= A6) AND ((A2 <= A19) OR (A11 <= A10))))))
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 (((A8 <= A21) OR (B21 <= A19) OR (A5 <= A18) OR (A20 <= A1) OR ((A20 + 1 <= A6) AND ((A2 <= A19) OR (A11 <= A10))))))
lola: processed formula length: 127
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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: ((A21 + 1 <= A8) AND (A19 + 1 <= B21) AND (A18 + 1 <= A5) AND (A1 + 1 <= A20) AND ((A6 <= A20) OR ((A19 + 1 <= A2) AND (A10 + 1 <= A11))))
lola: state equation: Generated DNF with 11 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola:
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A9))))
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 <= A9))))
lola: processed formula length: 19
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-09ringLR-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 <= A9))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 362444 markings, 1945657 edges, 72489 markings/sec, 0 secs
lola: sara is running 5 secs || 707946 markings, 3960971 edges, 69100 markings/sec, 5 secs
lola: sara is running 10 secs || 1043534 markings, 5932831 edges, 67118 markings/sec, 10 secs
lola: sara is running 15 secs || 1351990 markings, 8090767 edges, 61691 markings/sec, 15 secs
lola: sara is running 20 secs || 1699391 markings, 10033806 edges, 69480 markings/sec, 20 secs
lola: sara is running 25 secs || 2018362 markings, 12112300 edges, 63794 markings/sec, 25 secs
lola: sara is running 30 secs || 2338758 markings, 14180286 edges, 64079 markings/sec, 30 secs
lola: sara is running 35 secs || 2648257 markings, 16242003 edges, 61900 markings/sec, 35 secs
lola: sara is running 40 secs || 2938887 markings, 18466449 edges, 58126 markings/sec, 40 secs
lola: sara is running 45 secs || 3257965 markings, 20766008 edges, 63816 markings/sec, 45 secs
lola: sara is running 50 secs || 3569751 markings, 23105319 edges, 62357 markings/sec, 50 secs
lola: sara is running 55 secs || 3870515 markings, 25491924 edges, 60153 markings/sec, 55 secs
lola: sara is running 60 secs || 4166143 markings, 27856470 edges, 59126 markings/sec, 60 secs
lola: sara is running 65 secs || 4453664 markings, 30249026 edges, 57504 markings/sec, 65 secs
lola: sara is running 70 secs || 4802032 markings, 32125317 edges, 69674 markings/sec, 70 secs
lola: sara is running 75 secs || 5139138 markings, 34166573 edges, 67421 markings/sec, 75 secs
lola: sara is running 80 secs || 5441869 markings, 36428263 edges, 60546 markings/sec, 80 secs
lola: sara is running 85 secs || 5745750 markings, 38724653 edges, 60776 markings/sec, 85 secs
lola: sara is running 90 secs || 6058722 markings, 40744006 edges, 62594 markings/sec, 90 secs
lola: sara is running 95 secs || 6336640 markings, 43042357 edges, 55584 markings/sec, 95 secs
lola: sara is running 100 secs || 6639971 markings, 45135964 edges, 60666 markings/sec, 100 secs
lola: sara is running 105 secs || 6920252 markings, 47394404 edges, 56056 markings/sec, 105 secs
lola: sara is running 110 secs || 7216170 markings, 49708777 edges, 59184 markings/sec, 110 secs
lola: sara is running 115 secs || 7625984 markings, 51577711 edges, 81963 markings/sec, 115 secs
lola: sara is running 120 secs || 7939721 markings, 53572238 edges, 62747 markings/sec, 120 secs
lola: sara is running 125 secs || 8299306 markings, 55476298 edges, 71917 markings/sec, 125 secs
lola: sara is running 130 secs || 8634088 markings, 57481483 edges, 66956 markings/sec, 130 secs
lola: sara is running 135 secs || 8973228 markings, 59621809 edges, 67828 markings/sec, 135 secs
lola: sara is running 140 secs || 9314670 markings, 61930897 edges, 68288 markings/sec, 140 secs
lola: sara is running 145 secs || 9665116 markings, 64261388 edges, 70089 markings/sec, 145 secs
lola: sara is running 150 secs || 10049262 markings, 66314493 edges, 76829 markings/sec, 150 secs
lola: sara is running 155 secs || 10406614 markings, 68236469 edges, 71470 markings/sec, 155 secs
lola: sara is running 160 secs || 10703515 markings, 70315839 edges, 59380 markings/sec, 160 secs
lola: sara is running 165 secs || 11051383 markings, 72608188 edges, 69574 markings/sec, 165 secs
lola: sara is running 170 secs || 11402372 markings, 74705623 edges, 70198 markings/sec, 170 secs
lola: sara is running 175 secs || 11695762 markings, 76787265 edges, 58678 markings/sec, 175 secs
lola: sara is running 180 secs || 12035329 markings, 79035049 edges, 67913 markings/sec, 180 secs
lola: sara is running 185 secs || 12360799 markings, 81164618 edges, 65094 markings/sec, 185 secs
lola: sara is running 190 secs || 12659385 markings, 83288210 edges, 59717 markings/sec, 190 secs
lola: sara is running 195 secs || 12990897 markings, 85364777 edges, 66302 markings/sec, 195 secs
lola: sara is running 200 secs || 13293847 markings, 87332122 edges, 60590 markings/sec, 200 secs
lola: sara is running 205 secs || 13573795 markings, 89389250 edges, 55990 markings/sec, 205 secs
lola: sara is running 210 secs || 13862590 markings, 91367871 edges, 57759 markings/sec, 210 secs
lola: sara is running 215 secs || 14139312 markings, 93415694 edges, 55344 markings/sec, 215 secs
lola: sara is running 220 secs || 14398100 markings, 95520150 edges, 51758 markings/sec, 220 secs
lola: sara is running 225 secs || 14682826 markings, 97554043 edges, 56945 markings/sec, 225 secs
lola: sara is running 230 secs || 14965484 markings, 99692660 edges, 56532 markings/sec, 230 secs
lola: sara is running 235 secs || 15236721 markings, 101820251 edges, 54247 markings/sec, 235 secs
lola: sara is running 240 secs || 15517980 markings, 103884918 edges, 56252 markings/sec, 240 secs
lola: sara is running 245 secs || 15780651 markings, 106044175 edges, 52534 markings/sec, 245 secs
lola: sara is running 250 secs || 16042016 markings, 108183346 edges, 52273 markings/sec, 250 secs
lola: sara is running 255 secs || 16326964 markings, 110458495 edges, 56990 markings/sec, 255 secs
lola: sara is running 260 secs || 16575874 markings, 112730719 edges, 49782 markings/sec, 260 secs
lola: sara is running 265 secs || 16847412 markings, 114772805 edges, 54308 markings/sec, 265 secs
lola: sara is running 270 secs || 17145795 markings, 116871264 edges, 59677 markings/sec, 270 secs
lola: sara is running 275 secs || 17408538 markings, 119183059 edges, 52549 markings/sec, 275 secs
lola: sara is running 280 secs || 17659544 markings, 121514741 edges, 50201 markings/sec, 280 secs
lola: sara is running 285 secs || 17918769 markings, 123804653 edges, 51845 markings/sec, 285 secs
lola: sara is running 290 secs || 18159480 markings, 126129208 edges, 48142 markings/sec, 290 secs
lola: sara is running 295 secs || 18407074 markings, 128439949 edges, 49519 markings/sec, 295 secs
lola: sara is running 300 secs || 18668351 markings, 130882262 edges, 52255 markings/sec, 300 secs
lola: sara is running 305 secs || 18919127 markings, 133199370 edges, 50155 markings/sec, 305 secs
lola: sara is running 310 secs || 19260510 markings, 135386695 edges, 68277 markings/sec, 310 secs
lola: sara is running 315 secs || 19594907 markings, 137634035 edges, 66879 markings/sec, 315 secs
lola: sara is running 320 secs || 19938132 markings, 139894529 edges, 68645 markings/sec, 320 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes no yes unknown yes
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes no yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes no yes unknown yes
lola: memory consumption: 711404 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes no unknown no yes no yes unknown yes
lola: memory consumption: 711564 KB
lola: time consumption: 3569 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-09ringLR"
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-09ringLR.tgz
mv DNAwalker-PT-09ringLR 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-09ringLR, 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-152649735500285"
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 ;