About the Execution of LoLA for DNAwalker-PT-10ringRL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1062.420 | 3570271.00 | 6738910.00 | 7773.40 | F??FFFTT?FTF?TT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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-10ringRL, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500292
=====================================================================
--------------------
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-10ringRL-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526804046418
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-10ringRL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-10ringRL formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-10ringRL @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-10ringRL-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= B13)
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (2 <= B14)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= B12)
lola: LP says that atomic proposition is always false: (3 <= B13)
lola: LP says that atomic proposition is always true: (B4 <= A7)
lola: E (F (((3 <= A5) AND (1 <= A18)))) : E (F (((1 <= A2) AND (2 <= A17) AND ((2 <= A15) OR (1 <= A19)) AND (3 <= A8)))) : E (F ((((B14 <= B4) OR (A16 <= A3)) AND (3 <= A2)))) : E (F ((3 <= A18))) : E (F ((3 <= A1))) : E (F ((((A11 <= A8) OR (2 <= A19)) AND ((3 <= A9) OR (3 <= A5)) AND (1 <= A11) AND (B14 <= 0)))) : A (G (())) : E (F (((A16 + 1 <= A15) AND (A21 + 1 <= A15) AND (A3 + 1 <= A17)))) : A (G (((A6 <= 2) OR (A5 <= 0) OR (B13 <= A11)))) : E (F (((A7 <= A2) AND (3 <= A5) AND ((3 <= A16) OR (1 <= B4)) AND (A5 <= B15)))) : A (G (TRUE)) : A (G (((A20 <= B4) OR (1 <= A8) OR (A15 + 1 <= A1) OR ((A7 <= A8) AND (1 <= A8) AND ((3 <= A3)))))) : E (F ((((3 <= A17) OR (3 <= A3) OR (3 <= A16)) AND ((A14 + 1 <= B13) OR (B4 + 1 <= A11))))) : A (G (TRUE)) : A (G (TRUE)) : E (F ((3 <= A21)))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k: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 195 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-10ringRL-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-10ringRL-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 208 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-10ringRL-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-10ringRL-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 223 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-10ringRL-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-10ringRL-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 240 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-10ringRL-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-10ringRL-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A18)))
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 <= A18)))
lola: processed formula length: 18
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A18)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 505847 markings, 2037962 edges, 101169 markings/sec, 0 secs
lola: sara is running 5 secs || 953629 markings, 4078588 edges, 89556 markings/sec, 5 secs
lola: sara is running 10 secs || 1436075 markings, 5980358 edges, 96489 markings/sec, 10 secs
lola: sara is running 15 secs || 1909745 markings, 8009723 edges, 94734 markings/sec, 15 secs
lola: sara is running 20 secs || 2351199 markings, 10244140 edges, 88291 markings/sec, 20 secs
lola: sara is running 25 secs || 2787790 markings, 12469330 edges, 87318 markings/sec, 25 secs
lola: sara is running 30 secs || 3192196 markings, 14932288 edges, 80881 markings/sec, 30 secs
lola: sara is running 35 secs || 3602731 markings, 17198463 edges, 82107 markings/sec, 35 secs
lola: sara is running 40 secs || 4038887 markings, 19466487 edges, 87231 markings/sec, 40 secs
lola: sara is running 45 secs || 4434049 markings, 21966021 edges, 79032 markings/sec, 45 secs
lola: sara is running 50 secs || 4839264 markings, 24231431 edges, 81043 markings/sec, 50 secs
lola: sara is running 55 secs || 5249961 markings, 26347742 edges, 82139 markings/sec, 55 secs
lola: sara is running 60 secs || 5674424 markings, 28427855 edges, 84893 markings/sec, 60 secs
lola: sara is running 65 secs || 6047877 markings, 30660795 edges, 74691 markings/sec, 65 secs
lola: sara is running 70 secs || 6419157 markings, 32966689 edges, 74256 markings/sec, 70 secs
lola: sara is running 75 secs || 6759181 markings, 35397408 edges, 68005 markings/sec, 75 secs
lola: sara is running 80 secs || 7138853 markings, 37614122 edges, 75934 markings/sec, 80 secs
lola: sara is running 85 secs || 7539504 markings, 39710231 edges, 80130 markings/sec, 85 secs
lola: sara is running 90 secs || 7904102 markings, 41989621 edges, 72920 markings/sec, 90 secs
lola: sara is running 95 secs || 8265852 markings, 44284506 edges, 72350 markings/sec, 95 secs
lola: sara is running 100 secs || 8676024 markings, 46427166 edges, 82034 markings/sec, 100 secs
lola: sara is running 105 secs || 9063044 markings, 48634213 edges, 77404 markings/sec, 105 secs
lola: sara is running 110 secs || 9420978 markings, 50956856 edges, 71587 markings/sec, 110 secs
lola: sara is running 115 secs || 9875167 markings, 52902473 edges, 90838 markings/sec, 115 secs
lola: sara is running 120 secs || 10286477 markings, 54950218 edges, 82262 markings/sec, 120 secs
lola: sara is running 125 secs || 10670256 markings, 57145706 edges, 76756 markings/sec, 125 secs
lola: sara is running 130 secs || 11061449 markings, 59277352 edges, 78239 markings/sec, 130 secs
lola: sara is running 135 secs || 11480963 markings, 61304717 edges, 83903 markings/sec, 135 secs
lola: sara is running 140 secs || 11869814 markings, 63451395 edges, 77770 markings/sec, 140 secs
lola: sara is running 145 secs || 12261185 markings, 65602854 edges, 78274 markings/sec, 145 secs
lola: sara is running 150 secs || 12667067 markings, 67758154 edges, 81176 markings/sec, 150 secs
lola: sara is running 155 secs || 13130759 markings, 69790665 edges, 92738 markings/sec, 155 secs
lola: sara is running 160 secs || 13565243 markings, 71907521 edges, 86897 markings/sec, 160 secs
lola: sara is running 165 secs || 13962761 markings, 73985944 edges, 79504 markings/sec, 165 secs
lola: sara is running 170 secs || 14364586 markings, 76050142 edges, 80365 markings/sec, 170 secs
lola: sara is running 175 secs || 14757426 markings, 78156022 edges, 78568 markings/sec, 175 secs
lola: sara is running 180 secs || 15161673 markings, 80180577 edges, 80849 markings/sec, 180 secs
lola: sara is running 185 secs || 15548859 markings, 82261988 edges, 77437 markings/sec, 185 secs
lola: sara is running 190 secs || 16023553 markings, 84383269 edges, 94939 markings/sec, 190 secs
lola: sara is running 195 secs || 16459456 markings, 86662748 edges, 87181 markings/sec, 195 secs
lola: sara is running 200 secs || 16827242 markings, 88967287 edges, 73557 markings/sec, 200 secs
lola: sara is running 205 secs || 17196441 markings, 91206290 edges, 73840 markings/sec, 205 secs
lola: sara is running 210 secs || 17590251 markings, 93464947 edges, 78762 markings/sec, 210 secs
lola: sara is running 215 secs || 17988179 markings, 95899606 edges, 79586 markings/sec, 215 secs
lola: sara is running 220 secs || 18406822 markings, 98096346 edges, 83729 markings/sec, 220 secs
lola: sara is running 225 secs || 18800337 markings, 100389323 edges, 78703 markings/sec, 225 secs
lola: sara is running 230 secs || 19148870 markings, 102643006 edges, 69707 markings/sec, 230 secs
lola: sara is running 235 secs || 19503482 markings, 104942975 edges, 70922 markings/sec, 235 secs
lola: sara is running 240 secs || 19851758 markings, 107224573 edges, 69655 markings/sec, 240 secs
lola: sara is running 245 secs || 20187531 markings, 109480035 edges, 67155 markings/sec, 245 secs
lola: sara is running 250 secs || 20625488 markings, 111739571 edges, 87591 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes yes unknown
lola: memory consumption: 723880 KB
lola: time consumption: 700 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A1)))
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 <= A1)))
lola: processed formula length: 17
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A1)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 355268 markings, 2032100 edges, 71054 markings/sec, 0 secs
lola: sara is running 5 secs || 698202 markings, 4223363 edges, 68587 markings/sec, 5 secs
lola: sara is running 10 secs || 1035189 markings, 6446259 edges, 67397 markings/sec, 10 secs
lola: sara is running 15 secs || 1369227 markings, 8520346 edges, 66808 markings/sec, 15 secs
lola: sara is running 20 secs || 1673518 markings, 10597207 edges, 60858 markings/sec, 20 secs
lola: sara is running 25 secs || 1975225 markings, 12826075 edges, 60341 markings/sec, 25 secs
lola: sara is running 30 secs || 2289686 markings, 15158967 edges, 62892 markings/sec, 30 secs
lola: sara is running 35 secs || 2591805 markings, 17452083 edges, 60424 markings/sec, 35 secs
lola: sara is running 40 secs || 2886670 markings, 19979344 edges, 58973 markings/sec, 40 secs
lola: sara is running 45 secs || 3206986 markings, 22338860 edges, 64063 markings/sec, 45 secs
lola: sara is running 50 secs || 3538374 markings, 24444891 edges, 66278 markings/sec, 50 secs
lola: sara is running 55 secs || 3856397 markings, 26612152 edges, 63605 markings/sec, 55 secs
lola: sara is running 60 secs || 4173992 markings, 28717259 edges, 63519 markings/sec, 60 secs
lola: sara is running 65 secs || 4480345 markings, 31022685 edges, 61271 markings/sec, 65 secs
lola: sara is running 70 secs || 4784645 markings, 33317063 edges, 60860 markings/sec, 70 secs
lola: sara is running 75 secs || 5085039 markings, 35545737 edges, 60079 markings/sec, 75 secs
lola: sara is running 80 secs || 5364869 markings, 37992827 edges, 55966 markings/sec, 80 secs
lola: sara is running 85 secs || 5636905 markings, 40444779 edges, 54407 markings/sec, 85 secs
lola: sara is running 90 secs || 5917870 markings, 42704398 edges, 56193 markings/sec, 90 secs
lola: sara is running 95 secs || 6190817 markings, 45097467 edges, 54589 markings/sec, 95 secs
lola: sara is running 100 secs || 6464207 markings, 47426213 edges, 54678 markings/sec, 100 secs
lola: sara is running 105 secs || 6808938 markings, 49419033 edges, 68946 markings/sec, 105 secs
lola: sara is running 110 secs || 7111165 markings, 51446508 edges, 60445 markings/sec, 110 secs
lola: sara is running 115 secs || 7422462 markings, 53808959 edges, 62259 markings/sec, 115 secs
lola: sara is running 120 secs || 7733694 markings, 55713589 edges, 62246 markings/sec, 120 secs
lola: sara is running 125 secs || 8043915 markings, 57779770 edges, 62044 markings/sec, 125 secs
lola: sara is running 130 secs || 8333687 markings, 59960886 edges, 57954 markings/sec, 130 secs
lola: sara is running 135 secs || 8618246 markings, 62290132 edges, 56912 markings/sec, 135 secs
lola: sara is running 140 secs || 8909386 markings, 64568168 edges, 58228 markings/sec, 140 secs
lola: sara is running 145 secs || 9182351 markings, 67032755 edges, 54593 markings/sec, 145 secs
lola: sara is running 150 secs || 9467919 markings, 69293811 edges, 57114 markings/sec, 150 secs
lola: sara is running 155 secs || 9734514 markings, 71727729 edges, 53319 markings/sec, 155 secs
lola: sara is running 160 secs || 10030984 markings, 73865580 edges, 59294 markings/sec, 160 secs
lola: sara is running 165 secs || 10338062 markings, 76021229 edges, 61416 markings/sec, 165 secs
lola: sara is running 170 secs || 10636588 markings, 78109596 edges, 59705 markings/sec, 170 secs
lola: sara is running 175 secs || 10915939 markings, 80443210 edges, 55870 markings/sec, 175 secs
lola: sara is running 180 secs || 11197928 markings, 82665866 edges, 56398 markings/sec, 180 secs
lola: sara is running 185 secs || 11483131 markings, 84843233 edges, 57041 markings/sec, 185 secs
lola: sara is running 190 secs || 11761445 markings, 87049896 edges, 55663 markings/sec, 190 secs
lola: sara is running 195 secs || 12049021 markings, 89177296 edges, 57515 markings/sec, 195 secs
lola: sara is running 200 secs || 12332429 markings, 91319345 edges, 56682 markings/sec, 200 secs
lola: sara is running 205 secs || 12609046 markings, 93554513 edges, 55323 markings/sec, 205 secs
lola: sara is running 210 secs || 12881573 markings, 95821038 edges, 54505 markings/sec, 210 secs
lola: sara is running 215 secs || 13151130 markings, 98201908 edges, 53911 markings/sec, 215 secs
lola: sara is running 220 secs || 13423967 markings, 100571395 edges, 54567 markings/sec, 220 secs
lola: sara is running 225 secs || 13689595 markings, 102991965 edges, 53126 markings/sec, 225 secs
lola: sara is running 230 secs || 13958414 markings, 105280956 edges, 53764 markings/sec, 230 secs
lola: sara is running 235 secs || 14215375 markings, 107662476 edges, 51392 markings/sec, 235 secs
lola: sara is running 240 secs || 14475786 markings, 110076844 edges, 52082 markings/sec, 240 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 14579446 markings, 111132422 edges
lola: ========================================
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A21)))
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 <= A21)))
lola: processed formula length: 18
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A21)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 449526 markings, 1953046 edges, 89905 markings/sec, 0 secs
lola: sara is running 5 secs || 852393 markings, 4018220 edges, 80573 markings/sec, 5 secs
lola: sara is running 10 secs || 1281339 markings, 6052101 edges, 85789 markings/sec, 10 secs
lola: sara is running 15 secs || 1704149 markings, 8121363 edges, 84562 markings/sec, 15 secs
lola: sara is running 20 secs || 2115224 markings, 10305477 edges, 82215 markings/sec, 20 secs
lola: sara is running 25 secs || 2487450 markings, 12638510 edges, 74445 markings/sec, 25 secs
lola: sara is running 30 secs || 2870948 markings, 14788938 edges, 76700 markings/sec, 30 secs
lola: sara is running 35 secs || 3291241 markings, 16650838 edges, 84059 markings/sec, 35 secs
lola: sara is running 40 secs || 3736966 markings, 18625210 edges, 89145 markings/sec, 40 secs
lola: sara is running 45 secs || 4113487 markings, 20726967 edges, 75304 markings/sec, 45 secs
lola: sara is running 50 secs || 4506912 markings, 22869571 edges, 78685 markings/sec, 50 secs
lola: sara is running 55 secs || 4877010 markings, 25030343 edges, 74020 markings/sec, 55 secs
lola: sara is running 60 secs || 5238541 markings, 27243343 edges, 72306 markings/sec, 60 secs
lola: sara is running 65 secs || 5597354 markings, 29537515 edges, 71763 markings/sec, 65 secs
lola: sara is running 70 secs || 6094312 markings, 31740322 edges, 99392 markings/sec, 70 secs
lola: sara is running 75 secs || 6525138 markings, 33877497 edges, 86165 markings/sec, 75 secs
lola: sara is running 80 secs || 6942778 markings, 35975157 edges, 83528 markings/sec, 80 secs
lola: sara is running 85 secs || 7383056 markings, 38031082 edges, 88056 markings/sec, 85 secs
lola: sara is running 90 secs || 7792138 markings, 40140107 edges, 81816 markings/sec, 90 secs
lola: sara is running 95 secs || 8197940 markings, 42196537 edges, 81160 markings/sec, 95 secs
lola: sara is running 100 secs || 8605237 markings, 44392520 edges, 81459 markings/sec, 100 secs
lola: sara is running 105 secs || 9024364 markings, 46434524 edges, 83825 markings/sec, 105 secs
lola: sara is running 110 secs || 9412502 markings, 48479513 edges, 77628 markings/sec, 110 secs
lola: sara is running 115 secs || 9821519 markings, 50671563 edges, 81803 markings/sec, 115 secs
lola: sara is running 120 secs || 10199472 markings, 52904153 edges, 75591 markings/sec, 120 secs
lola: sara is running 125 secs || 10581648 markings, 55079241 edges, 76435 markings/sec, 125 secs
lola: sara is running 130 secs || 10963796 markings, 57252764 edges, 76430 markings/sec, 130 secs
lola: sara is running 135 secs || 11528497 markings, 59367682 edges, 112940 markings/sec, 135 secs
lola: sara is running 140 secs || 12024013 markings, 61689634 edges, 99103 markings/sec, 140 secs
lola: sara is running 145 secs || 12411959 markings, 64009066 edges, 77589 markings/sec, 145 secs
lola: sara is running 150 secs || 12778149 markings, 66332522 edges, 73238 markings/sec, 150 secs
lola: sara is running 155 secs || 13148190 markings, 68704021 edges, 74008 markings/sec, 155 secs
lola: sara is running 160 secs || 13491271 markings, 71087670 edges, 68616 markings/sec, 160 secs
lola: sara is running 165 secs || 13838004 markings, 73398643 edges, 69347 markings/sec, 165 secs
lola: sara is running 170 secs || 14219522 markings, 75715279 edges, 76304 markings/sec, 170 secs
lola: sara is running 175 secs || 14669075 markings, 78086643 edges, 89911 markings/sec, 175 secs
lola: sara is running 180 secs || 15053680 markings, 80390520 edges, 76921 markings/sec, 180 secs
lola: sara is running 185 secs || 15422623 markings, 82610511 edges, 73789 markings/sec, 185 secs
lola: sara is running 190 secs || 15801474 markings, 84875923 edges, 75770 markings/sec, 190 secs
lola: sara is running 195 secs || 16152277 markings, 87138502 edges, 70161 markings/sec, 195 secs
lola: sara is running 200 secs || 16483024 markings, 89472982 edges, 66149 markings/sec, 200 secs
lola: sara is running 205 secs || 16864543 markings, 91724720 edges, 76304 markings/sec, 205 secs
lola: sara is running 210 secs || 17236766 markings, 93973207 edges, 74445 markings/sec, 210 secs
lola: sara is running 215 secs || 17590582 markings, 96303756 edges, 70763 markings/sec, 215 secs
lola: sara is running 220 secs || 17939411 markings, 98588747 edges, 69766 markings/sec, 220 secs
lola: sara is running 225 secs || 18272862 markings, 100862205 edges, 66690 markings/sec, 225 secs
lola: sara is running 230 secs || 18599239 markings, 103110246 edges, 65275 markings/sec, 230 secs
lola: sara is running 235 secs || 19040284 markings, 105438486 edges, 88209 markings/sec, 235 secs
lola: sara is running 240 secs || 19446934 markings, 107869134 edges, 81330 markings/sec, 240 secs
lola: sara is running 245 secs || 19777008 markings, 110287757 edges, 66015 markings/sec, 245 secs
lola: sara is running 250 secs || 20092084 markings, 112747936 edges, 63015 markings/sec, 250 secs
lola: sara is running 255 secs || 20420250 markings, 115214831 edges, 65633 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown yes unknown unknown unknown yes unknown unknown yes yes unknown
lola: memory consumption: 719716 KB
lola: time consumption: 1209 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A5) AND (1 <= A18))))
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) AND (1 <= A18))))
lola: processed formula length: 34
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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) AND (1 <= A18))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 515807 markings, 2006081 edges, 103161 markings/sec, 0 secs
lola: sara is running 5 secs || 1004187 markings, 4097108 edges, 97676 markings/sec, 5 secs
lola: sara is running 10 secs || 1465530 markings, 6162189 edges, 92269 markings/sec, 10 secs
lola: sara is running 15 secs || 1948492 markings, 8125723 edges, 96592 markings/sec, 15 secs
lola: sara is running 20 secs || 2374141 markings, 10143784 edges, 85130 markings/sec, 20 secs
lola: sara is running 25 secs || 2780210 markings, 12242176 edges, 81214 markings/sec, 25 secs
lola: sara is running 30 secs || 3171027 markings, 14402558 edges, 78163 markings/sec, 30 secs
lola: sara is running 35 secs || 3663004 markings, 16264106 edges, 98395 markings/sec, 35 secs
lola: sara is running 40 secs || 4116816 markings, 18209524 edges, 90762 markings/sec, 40 secs
lola: sara is running 45 secs || 4561274 markings, 20257649 edges, 88892 markings/sec, 45 secs
lola: sara is running 50 secs || 5074629 markings, 22143237 edges, 102671 markings/sec, 50 secs
lola: sara is running 55 secs || 5591750 markings, 24071953 edges, 103424 markings/sec, 55 secs
lola: sara is running 60 secs || 6054074 markings, 26045313 edges, 92465 markings/sec, 60 secs
lola: sara is running 65 secs || 6445089 markings, 28161843 edges, 78203 markings/sec, 65 secs
lola: sara is running 70 secs || 6887512 markings, 30123282 edges, 88485 markings/sec, 70 secs
lola: sara is running 75 secs || 7305954 markings, 32218436 edges, 83688 markings/sec, 75 secs
lola: sara is running 80 secs || 7771735 markings, 34300507 edges, 93156 markings/sec, 80 secs
lola: sara is running 85 secs || 8220093 markings, 36467070 edges, 89672 markings/sec, 85 secs
lola: sara is running 90 secs || 8670726 markings, 38643480 edges, 90127 markings/sec, 90 secs
lola: sara is running 95 secs || 9065586 markings, 40852187 edges, 78972 markings/sec, 95 secs
lola: sara is running 100 secs || 9511616 markings, 42872648 edges, 89206 markings/sec, 100 secs
lola: sara is running 105 secs || 9911663 markings, 45031471 edges, 80009 markings/sec, 105 secs
lola: sara is running 110 secs || 10326023 markings, 47208462 edges, 82872 markings/sec, 110 secs
lola: sara is running 115 secs || 10743531 markings, 49453123 edges, 83502 markings/sec, 115 secs
lola: sara is running 120 secs || 11146478 markings, 51526790 edges, 80589 markings/sec, 120 secs
lola: sara is running 125 secs || 11545206 markings, 53636956 edges, 79746 markings/sec, 125 secs
lola: sara is running 130 secs || 11905952 markings, 55820991 edges, 72149 markings/sec, 130 secs
lola: sara is running 135 secs || 12323201 markings, 58029406 edges, 83450 markings/sec, 135 secs
lola: sara is running 140 secs || 12690812 markings, 60195411 edges, 73522 markings/sec, 140 secs
lola: sara is running 145 secs || 13013006 markings, 62368440 edges, 64439 markings/sec, 145 secs
lola: sara is running 150 secs || 13368301 markings, 64631825 edges, 71059 markings/sec, 150 secs
lola: sara is running 155 secs || 13743409 markings, 66932556 edges, 75022 markings/sec, 155 secs
lola: sara is running 160 secs || 14075353 markings, 69143904 edges, 66389 markings/sec, 160 secs
lola: sara is running 165 secs || 14504055 markings, 71388301 edges, 85740 markings/sec, 165 secs
lola: sara is running 170 secs || 14921173 markings, 73678874 edges, 83424 markings/sec, 170 secs
lola: sara is running 175 secs || 15325521 markings, 75943954 edges, 80870 markings/sec, 175 secs
lola: sara is running 180 secs || 15729576 markings, 78206881 edges, 80811 markings/sec, 180 secs
lola: sara is running 185 secs || 16108744 markings, 80399896 edges, 75834 markings/sec, 185 secs
lola: sara is running 190 secs || 16504352 markings, 82669479 edges, 79122 markings/sec, 190 secs
lola: sara is running 195 secs || 16825087 markings, 84931801 edges, 64147 markings/sec, 195 secs
lola: sara is running 200 secs || 17198827 markings, 87318004 edges, 74748 markings/sec, 200 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 17463957 markings, 89366388 edges
lola: ========================================
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A6 <= 2) OR (A5 <= 0) OR (B13 <= A11))))
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 (((A6 <= 2) OR (A5 <= 0) OR (B13 <= A11))))
lola: processed formula length: 50
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A6) AND (1 <= A5) AND (A11 + 1 <= B13))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 760810 markings, 1870314 edges, 152162 markings/sec, 0 secs
lola: sara is running 5 secs || 1215454 markings, 3962954 edges, 90929 markings/sec, 5 secs
lola: sara is running 10 secs || 1585614 markings, 6029407 edges, 74032 markings/sec, 10 secs
lola: sara is running 15 secs || 1926805 markings, 7962700 edges, 68238 markings/sec, 15 secs
lola: sara is running 20 secs || 2267513 markings, 10001763 edges, 68142 markings/sec, 20 secs
lola: sara is running 25 secs || 2619170 markings, 11829022 edges, 70331 markings/sec, 25 secs
lola: sara is running 30 secs || 2945077 markings, 13779823 edges, 65181 markings/sec, 30 secs
lola: sara is running 35 secs || 3301981 markings, 15857138 edges, 71381 markings/sec, 35 secs
lola: sara is running 40 secs || 3659347 markings, 18044497 edges, 71473 markings/sec, 40 secs
lola: sara is running 45 secs || 3975655 markings, 20188568 edges, 63262 markings/sec, 45 secs
lola: sara is running 50 secs || 4298744 markings, 22526143 edges, 64618 markings/sec, 50 secs
lola: sara is running 55 secs || 4954117 markings, 24628269 edges, 131075 markings/sec, 55 secs
lola: sara is running 60 secs || 5378407 markings, 26597113 edges, 84858 markings/sec, 60 secs
lola: sara is running 65 secs || 5694386 markings, 28626950 edges, 63196 markings/sec, 65 secs
lola: sara is running 70 secs || 6015957 markings, 30578304 edges, 64314 markings/sec, 70 secs
lola: sara is running 75 secs || 6317062 markings, 32725346 edges, 60221 markings/sec, 75 secs
lola: sara is running 80 secs || 6717454 markings, 34998453 edges, 80078 markings/sec, 80 secs
lola: sara is running 85 secs || 7024319 markings, 37310516 edges, 61373 markings/sec, 85 secs
lola: sara is running 90 secs || 7435197 markings, 39499547 edges, 82176 markings/sec, 90 secs
lola: sara is running 95 secs || 7729108 markings, 41835099 edges, 58782 markings/sec, 95 secs
lola: sara is running 100 secs || 8139434 markings, 43880926 edges, 82065 markings/sec, 100 secs
lola: sara is running 105 secs || 8493674 markings, 46017110 edges, 70848 markings/sec, 105 secs
lola: sara is running 110 secs || 8780847 markings, 48261243 edges, 57435 markings/sec, 110 secs
lola: sara is running 115 secs || 9145433 markings, 50160795 edges, 72917 markings/sec, 115 secs
lola: sara is running 120 secs || 9496564 markings, 52236147 edges, 70226 markings/sec, 120 secs
lola: sara is running 125 secs || 9794981 markings, 54477443 edges, 59683 markings/sec, 125 secs
lola: sara is running 130 secs || 10115927 markings, 56680132 edges, 64189 markings/sec, 130 secs
lola: sara is running 135 secs || 10436299 markings, 58969740 edges, 64074 markings/sec, 135 secs
lola: sara is running 140 secs || 10721439 markings, 61330943 edges, 57028 markings/sec, 140 secs
lola: sara is running 145 secs || 11002823 markings, 63618514 edges, 56277 markings/sec, 145 secs
lola: sara is running 150 secs || 11284762 markings, 65939059 edges, 56388 markings/sec, 150 secs
lola: sara is running 155 secs || 11561444 markings, 68130612 edges, 55336 markings/sec, 155 secs
lola: sara is running 160 secs || 12152374 markings, 70344887 edges, 118186 markings/sec, 160 secs
lola: sara is running 165 secs || 12939181 markings, 72439827 edges, 157361 markings/sec, 165 secs
lola: sara is running 170 secs || 13682894 markings, 74563327 edges, 148743 markings/sec, 170 secs
lola: sara is running 175 secs || 14135298 markings, 76601900 edges, 90481 markings/sec, 175 secs
lola: sara is running 180 secs || 14457188 markings, 78625635 edges, 64378 markings/sec, 180 secs
lola: sara is running 185 secs || 14780434 markings, 80585250 edges, 64649 markings/sec, 185 secs
lola: sara is running 190 secs || 15078789 markings, 82695741 edges, 59671 markings/sec, 190 secs
lola: sara is running 195 secs || 15355402 markings, 85009800 edges, 55323 markings/sec, 195 secs
lola: sara is running 200 secs || 15683924 markings, 87103422 edges, 65704 markings/sec, 200 secs
lola: sara is running 205 secs || 15981825 markings, 89342679 edges, 59580 markings/sec, 205 secs
lola: sara is running 210 secs || 16291011 markings, 91464763 edges, 61837 markings/sec, 210 secs
lola: sara is running 215 secs || 16604541 markings, 93695130 edges, 62706 markings/sec, 215 secs
lola: sara is running 220 secs || 16910863 markings, 95963772 edges, 61264 markings/sec, 220 secs
lola: sara is running 225 secs || 17278548 markings, 98300578 edges, 73537 markings/sec, 225 secs
lola: sara is running 230 secs || 17565871 markings, 100497067 edges, 57465 markings/sec, 230 secs
lola: sara is running 235 secs || 17844389 markings, 102715559 edges, 55704 markings/sec, 235 secs
lola: sara is running 240 secs || 18452754 markings, 104906813 edges, 121673 markings/sec, 240 secs
lola: sara is running 245 secs || 18933681 markings, 106822934 edges, 96185 markings/sec, 245 secs
lola: sara is running 250 secs || 19261459 markings, 108716216 edges, 65556 markings/sec, 250 secs
lola: sara is running 255 secs || 19552427 markings, 110829176 edges, 58194 markings/sec, 255 secs
lola: sara is running 260 secs || 19867631 markings, 112996058 edges, 63041 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown yes unknown unknown unknown yes unknown unknown yes yes unknown
lola: memory consumption: 693380 KB
lola: time consumption: 1687 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 269 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A16 + 1 <= A15) AND (A21 + 1 <= A15) AND (A3 + 1 <= 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 (((A16 + 1 <= A15) AND (A21 + 1 <= A15) AND (A3 + 1 <= A17))))
lola: processed formula length: 67
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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: ((A16 + 1 <= A15) AND (A21 + 1 <= A15) AND (A3 + 1 <= A17))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 459529 markings, 1658899 edges, 91906 markings/sec, 0 secs
lola: sara is running 5 secs || 903939 markings, 3348419 edges, 88882 markings/sec, 5 secs
lola: sara is running 10 secs || 1372811 markings, 5075757 edges, 93774 markings/sec, 10 secs
lola: sara is running 15 secs || 1815659 markings, 6952584 edges, 88570 markings/sec, 15 secs
lola: sara is running 20 secs || 2234112 markings, 8881619 edges, 83691 markings/sec, 20 secs
lola: sara is running 25 secs || 2685798 markings, 10835549 edges, 90337 markings/sec, 25 secs
lola: sara is running 30 secs || 3074073 markings, 12836659 edges, 77655 markings/sec, 30 secs
lola: sara is running 35 secs || 3446608 markings, 14753563 edges, 74507 markings/sec, 35 secs
lola: sara is running 40 secs || 3765679 markings, 16510162 edges, 63814 markings/sec, 40 secs
lola: sara is running 45 secs || 4084102 markings, 18274032 edges, 63685 markings/sec, 45 secs
lola: sara is running 50 secs || 4384657 markings, 20313557 edges, 60111 markings/sec, 50 secs
lola: sara is running 55 secs || 4679096 markings, 22294118 edges, 58888 markings/sec, 55 secs
lola: sara is running 60 secs || 4969353 markings, 24416713 edges, 58051 markings/sec, 60 secs
lola: sara is running 65 secs || 5264408 markings, 26522716 edges, 59011 markings/sec, 65 secs
lola: sara is running 70 secs || 5549487 markings, 28810656 edges, 57016 markings/sec, 70 secs
lola: sara is running 75 secs || 5857675 markings, 30718652 edges, 61638 markings/sec, 75 secs
lola: sara is running 80 secs || 6160452 markings, 32673062 edges, 60555 markings/sec, 80 secs
lola: sara is running 85 secs || 6449021 markings, 34753141 edges, 57714 markings/sec, 85 secs
lola: sara is running 90 secs || 6723864 markings, 36937397 edges, 54969 markings/sec, 90 secs
lola: sara is running 95 secs || 7016798 markings, 39070137 edges, 58587 markings/sec, 95 secs
lola: sara is running 100 secs || 7305574 markings, 41060833 edges, 57755 markings/sec, 100 secs
lola: sara is running 105 secs || 7567526 markings, 43179625 edges, 52390 markings/sec, 105 secs
lola: sara is running 110 secs || 7845050 markings, 45200275 edges, 55505 markings/sec, 110 secs
lola: sara is running 115 secs || 8111598 markings, 47258613 edges, 53310 markings/sec, 115 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8275691 markings, 48663006 edges
lola: ========================================
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((B14 <= B4) OR (A16 <= A3)) AND (3 <= A2))))
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 ((((B14 <= B4) OR (A16 <= A3)) AND (3 <= A2))))
lola: processed formula length: 53
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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: (((B14 <= B4) OR (A16 <= A3)) AND (3 <= A2))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 360406 markings, 1956410 edges, 72081 markings/sec, 0 secs
lola: sara is running 5 secs || 706901 markings, 3922917 edges, 69299 markings/sec, 5 secs
lola: sara is running 10 secs || 1047490 markings, 6148394 edges, 68118 markings/sec, 10 secs
lola: sara is running 15 secs || 1384846 markings, 8390542 edges, 67471 markings/sec, 15 secs
lola: sara is running 20 secs || 1730853 markings, 10289603 edges, 69201 markings/sec, 20 secs
lola: sara is running 25 secs || 2053925 markings, 12467586 edges, 64614 markings/sec, 25 secs
lola: sara is running 30 secs || 2368119 markings, 14666224 edges, 62839 markings/sec, 30 secs
lola: sara is running 35 secs || 2684681 markings, 16837159 edges, 63312 markings/sec, 35 secs
lola: sara is running 40 secs || 3002057 markings, 18888575 edges, 63475 markings/sec, 40 secs
lola: sara is running 45 secs || 3344443 markings, 20807302 edges, 68477 markings/sec, 45 secs
lola: sara is running 50 secs || 3679416 markings, 22777040 edges, 66995 markings/sec, 50 secs
lola: sara is running 55 secs || 4008341 markings, 24669997 edges, 65785 markings/sec, 55 secs
lola: sara is running 60 secs || 4321118 markings, 26832805 edges, 62555 markings/sec, 60 secs
lola: sara is running 65 secs || 4622333 markings, 29094937 edges, 60243 markings/sec, 65 secs
lola: sara is running 70 secs || 4937391 markings, 31217808 edges, 63012 markings/sec, 70 secs
lola: sara is running 75 secs || 5258626 markings, 33231232 edges, 64247 markings/sec, 75 secs
lola: sara is running 80 secs || 5568838 markings, 35369488 edges, 62042 markings/sec, 80 secs
lola: sara is running 85 secs || 5884821 markings, 37423806 edges, 63197 markings/sec, 85 secs
lola: sara is running 90 secs || 6205380 markings, 39385480 edges, 64112 markings/sec, 90 secs
lola: sara is running 95 secs || 6512210 markings, 41411158 edges, 61366 markings/sec, 95 secs
lola: sara is running 100 secs || 6821139 markings, 43537796 edges, 61786 markings/sec, 100 secs
lola: sara is running 105 secs || 7118947 markings, 45838314 edges, 59562 markings/sec, 105 secs
lola: sara is running 110 secs || 7416027 markings, 48143633 edges, 59416 markings/sec, 110 secs
lola: sara is running 115 secs || 7716055 markings, 50351128 edges, 60006 markings/sec, 115 secs
lola: sara is running 120 secs || 8005829 markings, 52714332 edges, 57955 markings/sec, 120 secs
lola: sara is running 125 secs || 8328223 markings, 54738145 edges, 64479 markings/sec, 125 secs
lola: sara is running 130 secs || 8652762 markings, 56789282 edges, 64908 markings/sec, 130 secs
lola: sara is running 135 secs || 8949214 markings, 59013106 edges, 59290 markings/sec, 135 secs
lola: sara is running 140 secs || 9247201 markings, 61059334 edges, 59597 markings/sec, 140 secs
lola: sara is running 145 secs || 9550105 markings, 63008505 edges, 60581 markings/sec, 145 secs
lola: sara is running 150 secs || 9845498 markings, 65121552 edges, 59079 markings/sec, 150 secs
lola: sara is running 155 secs || 10131330 markings, 67356590 edges, 57166 markings/sec, 155 secs
lola: sara is running 160 secs || 10403926 markings, 69720610 edges, 54519 markings/sec, 160 secs
lola: sara is running 165 secs || 10730516 markings, 71755540 edges, 65318 markings/sec, 165 secs
lola: sara is running 170 secs || 11041334 markings, 73997754 edges, 62164 markings/sec, 170 secs
lola: sara is running 175 secs || 11345782 markings, 76257213 edges, 60890 markings/sec, 175 secs
lola: sara is running 180 secs || 11642344 markings, 78520340 edges, 59312 markings/sec, 180 secs
lola: sara is running 185 secs || 11933062 markings, 81005476 edges, 58144 markings/sec, 185 secs
lola: sara is running 190 secs || 12225679 markings, 83268780 edges, 58523 markings/sec, 190 secs
lola: sara is running 195 secs || 12529241 markings, 85497629 edges, 60712 markings/sec, 195 secs
lola: sara is running 200 secs || 12821991 markings, 87699080 edges, 58550 markings/sec, 200 secs
lola: sara is running 205 secs || 13118443 markings, 89759793 edges, 59290 markings/sec, 205 secs
lola: sara is running 210 secs || 13391053 markings, 92003007 edges, 54522 markings/sec, 210 secs
lola: sara is running 215 secs || 13667782 markings, 94485070 edges, 55346 markings/sec, 215 secs
lola: sara is running 220 secs || 13940292 markings, 96863372 edges, 54502 markings/sec, 220 secs
lola: sara is running 225 secs || 14214505 markings, 99206067 edges, 54843 markings/sec, 225 secs
lola: sara is running 230 secs || 14510544 markings, 101309451 edges, 59208 markings/sec, 230 secs
lola: sara is running 235 secs || 14809208 markings, 103534200 edges, 59733 markings/sec, 235 secs
lola: sara is running 240 secs || 15103591 markings, 105835791 edges, 58877 markings/sec, 240 secs
lola: sara is running 245 secs || 15396958 markings, 108098965 edges, 58673 markings/sec, 245 secs
lola: sara is running 250 secs || 15666246 markings, 110517437 edges, 53858 markings/sec, 250 secs
lola: sara is running 255 secs || 15934724 markings, 112878623 edges, 53696 markings/sec, 255 secs
lola: sara is running 260 secs || 16196760 markings, 115177391 edges, 52407 markings/sec, 260 secs
lola: sara is running 265 secs || 16491955 markings, 117310414 edges, 59039 markings/sec, 265 secs
lola: sara is running 270 secs || 16772779 markings, 119696476 edges, 56165 markings/sec, 270 secs
lola: sara is running 275 secs || 17043786 markings, 122056837 edges, 54201 markings/sec, 275 secs
lola: sara is running 280 secs || 17309043 markings, 124385375 edges, 53051 markings/sec, 280 secs
lola: sara is running 285 secs || 17592068 markings, 126561996 edges, 56605 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown yes yes unknown unknown yes unknown unknown yes yes unknown
lola: memory consumption: 615936 KB
lola: time consumption: 2103 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= A2) AND (2 <= A17) AND ((2 <= A15) OR (1 <= A19)) AND (3 <= 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 (((1 <= A2) AND (2 <= A17) AND ((2 <= A15) OR (1 <= A19)) AND (3 <= A8))))
lola: processed formula length: 80
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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: ((1 <= A2) AND (2 <= A17) AND ((2 <= A15) OR (1 <= A19)) AND (3 <= A8))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 441485 markings, 1877474 edges, 88297 markings/sec, 0 secs
lola: sara is running 5 secs || 845930 markings, 4031644 edges, 80889 markings/sec, 5 secs
lola: sara is running 10 secs || 1245994 markings, 6060385 edges, 80013 markings/sec, 10 secs
lola: sara is running 15 secs || 1598848 markings, 7869764 edges, 70571 markings/sec, 15 secs
lola: sara is running 20 secs || 1910308 markings, 9892540 edges, 62292 markings/sec, 20 secs
lola: sara is running 25 secs || 2237587 markings, 11804593 edges, 65456 markings/sec, 25 secs
lola: sara is running 30 secs || 2558908 markings, 13755651 edges, 64264 markings/sec, 30 secs
lola: sara is running 35 secs || 2884273 markings, 15942341 edges, 65073 markings/sec, 35 secs
lola: sara is running 40 secs || 3186059 markings, 18190818 edges, 60357 markings/sec, 40 secs
lola: sara is running 45 secs || 3476512 markings, 20557342 edges, 58091 markings/sec, 45 secs
lola: sara is running 50 secs || 3844497 markings, 22936159 edges, 73597 markings/sec, 50 secs
lola: sara is running 55 secs || 4200104 markings, 25273391 edges, 71121 markings/sec, 55 secs
lola: sara is running 60 secs || 4549252 markings, 27685914 edges, 69830 markings/sec, 60 secs
lola: sara is running 65 secs || 4894318 markings, 30282813 edges, 69013 markings/sec, 65 secs
lola: sara is running 70 secs || 5285763 markings, 32411636 edges, 78289 markings/sec, 70 secs
lola: sara is running 75 secs || 5675393 markings, 34384016 edges, 77926 markings/sec, 75 secs
lola: sara is running 80 secs || 5996616 markings, 36461184 edges, 64245 markings/sec, 80 secs
lola: sara is running 85 secs || 6305949 markings, 38463301 edges, 61867 markings/sec, 85 secs
lola: sara is running 90 secs || 6602833 markings, 40459094 edges, 59377 markings/sec, 90 secs
lola: sara is running 95 secs || 6882419 markings, 42627196 edges, 55917 markings/sec, 95 secs
lola: sara is running 100 secs || 7185228 markings, 44872108 edges, 60562 markings/sec, 100 secs
lola: sara is running 105 secs || 7501573 markings, 47238626 edges, 63269 markings/sec, 105 secs
lola: sara is running 110 secs || 7877148 markings, 49285442 edges, 75115 markings/sec, 110 secs
lola: sara is running 115 secs || 8234426 markings, 51337747 edges, 71456 markings/sec, 115 secs
lola: sara is running 120 secs || 8558723 markings, 53370953 edges, 64859 markings/sec, 120 secs
lola: sara is running 125 secs || 8852552 markings, 55516923 edges, 58766 markings/sec, 125 secs
lola: sara is running 130 secs || 9147942 markings, 57661802 edges, 59078 markings/sec, 130 secs
lola: sara is running 135 secs || 9445482 markings, 60036992 edges, 59508 markings/sec, 135 secs
lola: sara is running 140 secs || 9750255 markings, 62121734 edges, 60955 markings/sec, 140 secs
lola: sara is running 145 secs || 10066582 markings, 64401415 edges, 63265 markings/sec, 145 secs
lola: sara is running 150 secs || 10358866 markings, 66632169 edges, 58457 markings/sec, 150 secs
lola: sara is running 155 secs || 10750120 markings, 68663317 edges, 78251 markings/sec, 155 secs
lola: sara is running 160 secs || 11164895 markings, 70567133 edges, 82955 markings/sec, 160 secs
lola: sara is running 165 secs || 11569256 markings, 72506005 edges, 80872 markings/sec, 165 secs
lola: sara is running 170 secs || 11954310 markings, 74615202 edges, 77011 markings/sec, 170 secs
lola: sara is running 175 secs || 12351155 markings, 76699034 edges, 79369 markings/sec, 175 secs
lola: sara is running 180 secs || 12747285 markings, 78649731 edges, 79226 markings/sec, 180 secs
lola: sara is running 185 secs || 13116612 markings, 80775550 edges, 73865 markings/sec, 185 secs
lola: sara is running 190 secs || 13468123 markings, 82802141 edges, 70302 markings/sec, 190 secs
lola: sara is running 195 secs || 13837240 markings, 84837115 edges, 73823 markings/sec, 195 secs
lola: sara is running 200 secs || 14166166 markings, 86841424 edges, 65785 markings/sec, 200 secs
lola: sara is running 205 secs || 14463076 markings, 88898094 edges, 59382 markings/sec, 205 secs
lola: sara is running 210 secs || 14763558 markings, 90952859 edges, 60096 markings/sec, 210 secs
lola: sara is running 215 secs || 15065834 markings, 93098209 edges, 60455 markings/sec, 215 secs
lola: sara is running 220 secs || 15372070 markings, 95212297 edges, 61247 markings/sec, 220 secs
lola: sara is running 225 secs || 15663662 markings, 97338035 edges, 58318 markings/sec, 225 secs
lola: sara is running 230 secs || 15929951 markings, 99504866 edges, 53258 markings/sec, 230 secs
lola: sara is running 235 secs || 16201085 markings, 101712527 edges, 54227 markings/sec, 235 secs
lola: sara is running 240 secs || 16473457 markings, 103891633 edges, 54474 markings/sec, 240 secs
lola: sara is running 245 secs || 16778512 markings, 105804102 edges, 61011 markings/sec, 245 secs
lola: sara is running 250 secs || 17064549 markings, 107877931 edges, 57207 markings/sec, 250 secs
lola: sara is running 255 secs || 17350567 markings, 109913586 edges, 57204 markings/sec, 255 secs
lola: sara is running 260 secs || 17614752 markings, 112059060 edges, 52837 markings/sec, 260 secs
lola: sara is running 265 secs || 17898143 markings, 114078261 edges, 56678 markings/sec, 265 secs
lola: sara is running 270 secs || 18171163 markings, 116260625 edges, 54604 markings/sec, 270 secs
lola: sara is running 275 secs || 18453612 markings, 118252479 edges, 56490 markings/sec, 275 secs
lola: sara is running 280 secs || 18712792 markings, 120300971 edges, 51836 markings/sec, 280 secs
lola: sara is running 285 secs || 19047440 markings, 122362212 edges, 66930 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown yes yes unknown unknown yes unknown unknown yes yes unknown
lola: memory consumption: 665732 KB
lola: time consumption: 2396 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((A11 <= A8) OR (2 <= A19)) AND ((3 <= A9) OR (3 <= A5)) AND (1 <= A11) AND (B14 <= 0))))
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 ((((A11 <= A8) OR (2 <= A19)) AND ((3 <= A9) OR (3 <= A5)) AND (1 <= A11) AND (B14 <= 0))))
lola: processed formula length: 98
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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: (((A11 <= A8) OR (2 <= A19)) AND ((3 <= A9) OR (3 <= A5)) AND (1 <= A11) AND (B14 <= 0))
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 366792 markings, 1791882 edges, 73358 markings/sec, 0 secs
lola: sara is running 5 secs || 716704 markings, 3768484 edges, 69982 markings/sec, 5 secs
lola: sara is running 10 secs || 1059319 markings, 5692426 edges, 68523 markings/sec, 10 secs
lola: sara is running 15 secs || 1416518 markings, 7662480 edges, 71440 markings/sec, 15 secs
lola: sara is running 20 secs || 1768036 markings, 9536225 edges, 70304 markings/sec, 20 secs
lola: sara is running 25 secs || 2105351 markings, 11542045 edges, 67463 markings/sec, 25 secs
lola: sara is running 30 secs || 2434535 markings, 13629546 edges, 65837 markings/sec, 30 secs
lola: sara is running 35 secs || 2770924 markings, 15619097 edges, 67278 markings/sec, 35 secs
lola: sara is running 40 secs || 3114979 markings, 17696703 edges, 68811 markings/sec, 40 secs
lola: sara is running 45 secs || 3455893 markings, 19653452 edges, 68183 markings/sec, 45 secs
lola: sara is running 50 secs || 3773308 markings, 21814300 edges, 63483 markings/sec, 50 secs
lola: sara is running 55 secs || 4097336 markings, 23889919 edges, 64806 markings/sec, 55 secs
lola: sara is running 60 secs || 4416628 markings, 25923726 edges, 63858 markings/sec, 60 secs
lola: sara is running 65 secs || 4740443 markings, 27917116 edges, 64763 markings/sec, 65 secs
lola: sara is running 70 secs || 5073318 markings, 29862960 edges, 66575 markings/sec, 70 secs
lola: sara is running 75 secs || 5397164 markings, 32053435 edges, 64769 markings/sec, 75 secs
lola: sara is running 80 secs || 5712948 markings, 34291309 edges, 63157 markings/sec, 80 secs
lola: sara is running 85 secs || 6026095 markings, 36548623 edges, 62629 markings/sec, 85 secs
lola: sara is running 90 secs || 6330573 markings, 38816542 edges, 60896 markings/sec, 90 secs
lola: sara is running 95 secs || 6635200 markings, 41151354 edges, 60925 markings/sec, 95 secs
lola: sara is running 100 secs || 6938239 markings, 43436964 edges, 60608 markings/sec, 100 secs
lola: sara is running 105 secs || 7244584 markings, 45650023 edges, 61269 markings/sec, 105 secs
lola: sara is running 110 secs || 7551295 markings, 47871143 edges, 61342 markings/sec, 110 secs
lola: sara is running 115 secs || 7885499 markings, 49938059 edges, 66841 markings/sec, 115 secs
lola: sara is running 120 secs || 8240688 markings, 51829360 edges, 71038 markings/sec, 120 secs
lola: sara is running 125 secs || 8588425 markings, 53695139 edges, 69547 markings/sec, 125 secs
lola: sara is running 130 secs || 8914448 markings, 55795331 edges, 65205 markings/sec, 130 secs
lola: sara is running 135 secs || 9253184 markings, 57714463 edges, 67747 markings/sec, 135 secs
lola: sara is running 140 secs || 9558931 markings, 59783782 edges, 61149 markings/sec, 140 secs
lola: sara is running 145 secs || 9867326 markings, 61779171 edges, 61679 markings/sec, 145 secs
lola: sara is running 150 secs || 10182462 markings, 63730438 edges, 63027 markings/sec, 150 secs
lola: sara is running 155 secs || 10471123 markings, 65822229 edges, 57732 markings/sec, 155 secs
lola: sara is running 160 secs || 10802817 markings, 67707934 edges, 66339 markings/sec, 160 secs
lola: sara is running 165 secs || 11134490 markings, 69661954 edges, 66335 markings/sec, 165 secs
lola: sara is running 170 secs || 11459859 markings, 71546787 edges, 65074 markings/sec, 170 secs
lola: sara is running 175 secs || 11764053 markings, 73597777 edges, 60839 markings/sec, 175 secs
lola: sara is running 180 secs || 12077401 markings, 75631893 edges, 62670 markings/sec, 180 secs
lola: sara is running 185 secs || 12396025 markings, 77673671 edges, 63725 markings/sec, 185 secs
lola: sara is running 190 secs || 12681883 markings, 79798587 edges, 57172 markings/sec, 190 secs
lola: sara is running 195 secs || 12973818 markings, 81855543 edges, 58387 markings/sec, 195 secs
lola: sara is running 200 secs || 13281616 markings, 83846243 edges, 61560 markings/sec, 200 secs
lola: sara is running 205 secs || 13579418 markings, 85831730 edges, 59560 markings/sec, 205 secs
lola: sara is running 210 secs || 13847636 markings, 87926068 edges, 53644 markings/sec, 210 secs
lola: sara is running 215 secs || 14147622 markings, 90055572 edges, 59997 markings/sec, 215 secs
lola: sara is running 220 secs || 14443267 markings, 92295929 edges, 59129 markings/sec, 220 secs
lola: sara is running 225 secs || 14748817 markings, 94429008 edges, 61110 markings/sec, 225 secs
lola: sara is running 230 secs || 15032977 markings, 96685673 edges, 56832 markings/sec, 230 secs
lola: sara is running 235 secs || 15317772 markings, 98964299 edges, 56959 markings/sec, 235 secs
lola: sara is running 240 secs || 15604537 markings, 101230408 edges, 57353 markings/sec, 240 secs
lola: sara is running 245 secs || 15897193 markings, 103475636 edges, 58531 markings/sec, 245 secs
lola: sara is running 250 secs || 16191626 markings, 105702911 edges, 58887 markings/sec, 250 secs
lola: sara is running 255 secs || 16485771 markings, 107831925 edges, 58829 markings/sec, 255 secs
lola: sara is running 260 secs || 16758761 markings, 109997382 edges, 54598 markings/sec, 260 secs
lola: sara is running 265 secs || 17013805 markings, 112241299 edges, 51009 markings/sec, 265 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 17145577 markings, 113522308 edges
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A7 <= A2) AND (3 <= A5) AND ((3 <= A16) OR (1 <= B4)) AND (A5 <= B15))))
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 (((A7 <= A2) AND (3 <= A5) AND ((3 <= A16) OR (1 <= B4)) AND (A5 <= B15))))
lola: processed formula length: 81
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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: lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A7 <= A2) AND (3 <= A5) AND ((3 <= A16) OR (1 <= B4)) AND (A5 <= B15))
lola: ========================================
state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((3 <= A17) OR (3 <= A3) OR (3 <= A16)) AND ((A14 + 1 <= B13) OR (B4 + 1 <= A11)))))
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 <= A17) OR (3 <= A3) OR (3 <= A16)) AND ((A14 + 1 <= B13) OR (B4 + 1 <= A11)))))
lola: processed formula length: 94
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A17) OR (3 <= A3) OR (3 <= A16)) AND ((A14 + 1 <= B13) OR (B4 + 1 <= A11)))
lola: state equation: Generated DNF with 12 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 424370 markings, 1946701 edges, 84874 markings/sec, 0 secs
lola: sara is running 5 secs || 746700 markings, 3972217 edges, 64466 markings/sec, 5 secs
lola: sara is running 10 secs || 1059220 markings, 5906405 edges, 62504 markings/sec, 10 secs
lola: sara is running 15 secs || 1360551 markings, 7809370 edges, 60266 markings/sec, 15 secs
lola: sara is running 20 secs || 1647646 markings, 9877940 edges, 57419 markings/sec, 20 secs
lola: sara is running 25 secs || 1989045 markings, 11921257 edges, 68280 markings/sec, 25 secs
lola: sara is running 30 secs || 2287996 markings, 13868244 edges, 59790 markings/sec, 30 secs
lola: sara is running 35 secs || 2580818 markings, 15822743 edges, 58564 markings/sec, 35 secs
lola: sara is running 40 secs || 2897020 markings, 17897560 edges, 63240 markings/sec, 40 secs
lola: sara is running 45 secs || 3175639 markings, 19880724 edges, 55724 markings/sec, 45 secs
lola: sara is running 50 secs || 3478872 markings, 21886082 edges, 60647 markings/sec, 50 secs
lola: sara is running 55 secs || 3768423 markings, 24001329 edges, 57910 markings/sec, 55 secs
lola: sara is running 60 secs || 4146790 markings, 25963963 edges, 75673 markings/sec, 60 secs
lola: sara is running 65 secs || 4461957 markings, 27909216 edges, 63033 markings/sec, 65 secs
lola: sara is running 70 secs || 4750524 markings, 29817709 edges, 57713 markings/sec, 70 secs
lola: sara is running 75 secs || 5036687 markings, 31756695 edges, 57233 markings/sec, 75 secs
lola: sara is running 80 secs || 5316233 markings, 33680908 edges, 55909 markings/sec, 80 secs
lola: sara is running 85 secs || 5603294 markings, 35553839 edges, 57412 markings/sec, 85 secs
lola: sara is running 90 secs || 5860384 markings, 37655256 edges, 51418 markings/sec, 90 secs
lola: sara is running 95 secs || 6197743 markings, 39668067 edges, 67472 markings/sec, 95 secs
lola: sara is running 100 secs || 6484537 markings, 41645453 edges, 57359 markings/sec, 100 secs
lola: sara is running 105 secs || 6759846 markings, 43666565 edges, 55062 markings/sec, 105 secs
lola: sara is running 110 secs || 7030041 markings, 45704284 edges, 54039 markings/sec, 110 secs
lola: sara is running 115 secs || 7334309 markings, 47725381 edges, 60854 markings/sec, 115 secs
lola: sara is running 120 secs || 7591865 markings, 49768530 edges, 51511 markings/sec, 120 secs
lola: sara is running 125 secs || 7889631 markings, 51830645 edges, 59553 markings/sec, 125 secs
lola: sara is running 130 secs || 8171529 markings, 54000471 edges, 56380 markings/sec, 130 secs
lola: sara is running 135 secs || 8453446 markings, 56309879 edges, 56383 markings/sec, 135 secs
lola: sara is running 140 secs || 8799755 markings, 58632024 edges, 69262 markings/sec, 140 secs
lola: sara is running 145 secs || 9089951 markings, 60851536 edges, 58039 markings/sec, 145 secs
lola: sara is running 150 secs || 9393911 markings, 63241251 edges, 60792 markings/sec, 150 secs
lola: sara is running 155 secs || 9664756 markings, 65538851 edges, 54169 markings/sec, 155 secs
lola: sara is running 160 secs || 9957850 markings, 67825431 edges, 58619 markings/sec, 160 secs
lola: sara is running 165 secs || 10232865 markings, 70185875 edges, 55003 markings/sec, 165 secs
lola: sara is running 170 secs || 10545278 markings, 72294204 edges, 62483 markings/sec, 170 secs
lola: sara is running 175 secs || 10803191 markings, 74370487 edges, 51583 markings/sec, 175 secs
lola: sara is running 180 secs || 11046127 markings, 76523972 edges, 48587 markings/sec, 180 secs
lola: sara is running 185 secs || 11316901 markings, 78695639 edges, 54155 markings/sec, 185 secs
lola: sara is running 190 secs || 11559543 markings, 80802211 edges, 48528 markings/sec, 190 secs
lola: sara is running 195 secs || 11809104 markings, 83000212 edges, 49912 markings/sec, 195 secs
lola: sara is running 200 secs || 12057644 markings, 85138508 edges, 49708 markings/sec, 200 secs
lola: sara is running 205 secs || 12306615 markings, 87418062 edges, 49794 markings/sec, 205 secs
lola: sara is running 210 secs || 12662686 markings, 89519201 edges, 71214 markings/sec, 210 secs
lola: sara is running 215 secs || 13109824 markings, 91723522 edges, 89428 markings/sec, 215 secs
lola: sara is running 220 secs || 13611487 markings, 93674781 edges, 100333 markings/sec, 220 secs
lola: sara is running 225 secs || 13900005 markings, 95622198 edges, 57704 markings/sec, 225 secs
lola: sara is running 230 secs || 14376487 markings, 97926322 edges, 95296 markings/sec, 230 secs
lola: sara is running 235 secs || 14721910 markings, 100089905 edges, 69085 markings/sec, 235 secs
lola: sara is running 240 secs || 15081335 markings, 102536157 edges, 71885 markings/sec, 240 secs
lola: sara is running 245 secs || 15366959 markings, 104602320 edges, 57125 markings/sec, 245 secs
lola: sara is running 250 secs || 15643636 markings, 106612552 edges, 55335 markings/sec, 250 secs
lola: sara is running 255 secs || 15918920 markings, 108608851 edges, 55057 markings/sec, 255 secs
lola: sara is running 260 secs || 16176313 markings, 110614496 edges, 51479 markings/sec, 260 secs
lola: sara is running 265 secs || 16434313 markings, 112822920 edges, 51600 markings/sec, 265 secs
lola: sara is running 270 secs || 16679878 markings, 114994463 edges, 49113 markings/sec, 270 secs
lola: sara is running 275 secs || 16921352 markings, 117174948 edges, 48295 markings/sec, 275 secs
lola: sara is running 280 secs || 17192836 markings, 119208987 edges, 54297 markings/sec, 280 secs
lola: sara is running 285 secs || 17462163 markings, 121226722 edges, 53865 markings/sec, 285 secs
lola: sara is running 290 secs || 17716820 markings, 123412646 edges, 50931 markings/sec, 290 secs
lola: sara is running 295 secs || 17965891 markings, 125539689 edges, 49814 markings/sec, 295 secs
lola: sara is running 300 secs || 18237867 markings, 127608590 edges, 54395 markings/sec, 300 secs
lola: sara is running 305 secs || 18492261 markings, 129790534 edges, 50879 markings/sec, 305 secs
lola: sara is running 310 secs || 18738946 markings, 131971806 edges, 49337 markings/sec, 310 secs
lola: sara is running 315 secs || 18998923 markings, 134056530 edges, 51995 markings/sec, 315 secs
lola: sara is running 320 secs || 19287658 markings, 135915473 edges, 57747 markings/sec, 320 secs
lola: sara is running 325 secs || 19551134 markings, 138013148 edges, 52695 markings/sec, 325 secs
lola: sara is running 330 secs || 19811152 markings, 140141378 edges, 52004 markings/sec, 330 secs
lola: sara is running 335 secs || 20084343 markings, 142264524 edges, 54638 markings/sec, 335 secs
lola: sara is running 340 secs || 20352159 markings, 144281167 edges, 53563 markings/sec, 340 secs
lola: sara is running 345 secs || 20608159 markings, 146403222 edges, 51200 markings/sec, 345 secs
lola: sara is running 350 secs || 20855675 markings, 148419644 edges, 49503 markings/sec, 350 secs
lola: sara is running 355 secs || 21103780 markings, 150428650 edges, 49621 markings/sec, 355 secs
lola: sara is running 360 secs || 21374622 markings, 152369446 edges, 54168 markings/sec, 360 secs
lola: sara is running 365 secs || 21633271 markings, 154434580 edges, 51730 markings/sec, 365 secs
lola: sara is running 370 secs || 21893675 markings, 156446574 edges, 52081 markings/sec, 370 secs
lola: sara is running 375 secs || 22145461 markings, 158516719 edges, 50357 markings/sec, 375 secs
lola: sara is running 380 secs || 22395674 markings, 160636906 edges, 50043 markings/sec, 380 secs
lola: sara is running 385 secs || 22667485 markings, 162561732 edges, 54362 markings/sec, 385 secs
lola: sara is running 390 secs || 22925209 markings, 164515599 edges, 51545 markings/sec, 390 secs
lola: sara is running 395 secs || 23175301 markings, 166433942 edges, 50018 markings/sec, 395 secs
lola: sara is running 400 secs || 23446722 markings, 168474070 edges, 54284 markings/sec, 400 secs
lola: sara is running 405 secs || 23697872 markings, 170645422 edges, 50230 markings/sec, 405 secs
lola: sara is running 410 secs || 23938666 markings, 172882843 edges, 48159 markings/sec, 410 secs
lola: sara is running 415 secs || 24170843 markings, 174998576 edges, 46435 markings/sec, 415 secs
lola: sara is running 420 secs || 24398364 markings, 177108835 edges, 45504 markings/sec, 420 secs
lola: sara is running 425 secs || 24640843 markings, 179322053 edges, 48496 markings/sec, 425 secs
lola: sara is running 430 secs || 24903404 markings, 181771070 edges, 52512 markings/sec, 430 secs
lola: sara is running 435 secs || 25158894 markings, 183867099 edges, 51098 markings/sec, 435 secs
lola: sara is running 440 secs || 25394315 markings, 186190518 edges, 47084 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no no yes yes unknown no yes unknown unknown yes yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown no no yes yes unknown no yes unknown unknown yes yes unknown
lola: memory consumption: 879500 KB
lola: time consumption: 3119 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 451 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A20 <= B4) OR (1 <= A8) OR (A15 + 1 <= A1) OR ((A7 <= A8) AND (1 <= A8) AND ((3 <= A3))))))
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 (((A20 <= B4) OR (1 <= A8) OR (A15 + 1 <= A1) OR ((A7 <= A8) AND (1 <= A8) AND ((3 <= A3))))))
lola: processed formula length: 102
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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: ((B4 + 1 <= A20) AND (A8 <= 0) AND (A1 <= A15) AND ((A8 + 1 <= A7) OR (A8 <= 0) OR ((A3 <= 2))))
lola: state equation: Generated DNF with 12 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-11 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-10ringRL-ReachabilityCardinality-15-0.sara
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A18)))
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 <= A18)))
lola: processed formula length: 18
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A18)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 481909 markings, 1919771 edges, 96382 markings/sec, 0 secs
lola: sara is running 5 secs || 908800 markings, 3881225 edges, 85378 markings/sec, 5 secs
lola: sara is running 10 secs || 1365772 markings, 5710953 edges, 91394 markings/sec, 10 secs
lola: sara is running 15 secs || 1826827 markings, 7592396 edges, 92211 markings/sec, 15 secs
lola: sara is running 20 secs || 2240879 markings, 9700317 edges, 82810 markings/sec, 20 secs
lola: sara is running 25 secs || 2660307 markings, 11821592 edges, 83886 markings/sec, 25 secs
lola: sara is running 30 secs || 3061107 markings, 14157179 edges, 80160 markings/sec, 30 secs
lola: sara is running 35 secs || 3464413 markings, 16457068 edges, 80661 markings/sec, 35 secs
lola: sara is running 40 secs || 3876675 markings, 18537435 edges, 82452 markings/sec, 40 secs
lola: sara is running 45 secs || 4260400 markings, 20851746 edges, 76745 markings/sec, 45 secs
lola: sara is running 50 secs || 4642560 markings, 23149548 edges, 76432 markings/sec, 50 secs
lola: sara is running 55 secs || 5036431 markings, 25265870 edges, 78774 markings/sec, 55 secs
lola: sara is running 60 secs || 5459163 markings, 27340822 edges, 84546 markings/sec, 60 secs
lola: sara is running 65 secs || 5853271 markings, 29414097 edges, 78822 markings/sec, 65 secs
lola: sara is running 70 secs || 6215659 markings, 31707066 edges, 72478 markings/sec, 70 secs
lola: sara is running 75 secs || 6571081 markings, 33953389 edges, 71084 markings/sec, 75 secs
lola: sara is running 80 secs || 6895438 markings, 36347863 edges, 64871 markings/sec, 80 secs
lola: sara is running 85 secs || 7282746 markings, 38430156 edges, 77462 markings/sec, 85 secs
lola: sara is running 90 secs || 7666966 markings, 40490205 edges, 76844 markings/sec, 90 secs
lola: sara is running 95 secs || 8014809 markings, 42713191 edges, 69569 markings/sec, 95 secs
lola: sara is running 100 secs || 8388795 markings, 44885841 edges, 74797 markings/sec, 100 secs
lola: sara is running 105 secs || 8773586 markings, 47033255 edges, 76958 markings/sec, 105 secs
lola: sara is running 110 secs || 9147173 markings, 49183365 edges, 74717 markings/sec, 110 secs
lola: sara is running 115 secs || 9522606 markings, 51330140 edges, 75087 markings/sec, 115 secs
lola: sara is running 120 secs || 9950626 markings, 53269142 edges, 85604 markings/sec, 120 secs
lola: sara is running 125 secs || 10350017 markings, 55237590 edges, 79878 markings/sec, 125 secs
lola: sara is running 130 secs || 10716645 markings, 57422624 edges, 73326 markings/sec, 130 secs
lola: sara is running 135 secs || 11104462 markings, 59478523 edges, 77563 markings/sec, 135 secs
lola: sara is running 140 secs || 11506754 markings, 61474814 edges, 80458 markings/sec, 140 secs
lola: sara is running 145 secs || 11890108 markings, 63544387 edges, 76671 markings/sec, 145 secs
lola: sara is running 150 secs || 12268590 markings, 65639380 edges, 75696 markings/sec, 150 secs
lola: sara is running 155 secs || 12663097 markings, 67738969 edges, 78901 markings/sec, 155 secs
lola: sara is running 160 secs || 13114301 markings, 69724650 edges, 90241 markings/sec, 160 secs
lola: sara is running 165 secs || 13539908 markings, 71792637 edges, 85121 markings/sec, 165 secs
lola: sara is running 170 secs || 13932150 markings, 73818015 edges, 78448 markings/sec, 170 secs
lola: sara is running 175 secs || 14325970 markings, 75803443 edges, 78764 markings/sec, 175 secs
lola: sara is running 180 secs || 14697266 markings, 77869673 edges, 74259 markings/sec, 180 secs
lola: sara is running 185 secs || 15091345 markings, 79858015 edges, 78816 markings/sec, 185 secs
lola: sara is running 190 secs || 15434137 markings, 81912612 edges, 68558 markings/sec, 190 secs
lola: sara is running 195 secs || 15920510 markings, 83937356 edges, 97275 markings/sec, 195 secs
lola: sara is running 200 secs || 16372933 markings, 86145105 edges, 90485 markings/sec, 200 secs
lola: sara is running 205 secs || 16726092 markings, 88374536 edges, 70632 markings/sec, 205 secs
lola: sara is running 210 secs || 17091892 markings, 90560659 edges, 73160 markings/sec, 210 secs
lola: sara is running 215 secs || 17424729 markings, 92791624 edges, 66567 markings/sec, 215 secs
lola: sara is running 220 secs || 17843633 markings, 95070060 edges, 83781 markings/sec, 220 secs
lola: sara is running 225 secs || 18266673 markings, 97272032 edges, 84608 markings/sec, 225 secs
lola: sara is running 230 secs || 18660152 markings, 99497861 edges, 78696 markings/sec, 230 secs
lola: sara is running 235 secs || 18999518 markings, 101701676 edges, 67873 markings/sec, 235 secs
lola: sara is running 240 secs || 19339514 markings, 103885143 edges, 67999 markings/sec, 240 secs
lola: sara is running 245 secs || 19670786 markings, 106065573 edges, 66254 markings/sec, 245 secs
lola: sara is running 250 secs || 20015103 markings, 108172557 edges, 68863 markings/sec, 250 secs
lola: sara is running 255 secs || 20381851 markings, 110250925 edges, 73350 markings/sec, 255 secs
lola: sara is running 260 secs || 20757854 markings, 112500071 edges, 75201 markings/sec, 260 secs
lola: sara is running 265 secs || 21080139 markings, 114905887 edges, 64457 markings/sec, 265 secs
lola: sara is running 270 secs || 21400351 markings, 117240876 edges, 64042 markings/sec, 270 secs
lola: sara is running 275 secs || 21711780 markings, 119560089 edges, 62286 markings/sec, 275 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 22052181 markings, 121772934 edges
lola: ========================================
FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A21)))
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 <= A21)))
lola: processed formula length: 18
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-10ringRL-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 <= A21)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-10ringRL-ReachabilityCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-10ringRL-ReachabilityCardinality-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 450964 markings, 1960598 edges, 90193 markings/sec, 0 secs
lola: sara is running 5 secs || 855366 markings, 4026874 edges, 80880 markings/sec, 5 secs
lola: sara is running 10 secs || 1279735 markings, 6039953 edges, 84874 markings/sec, 10 secs
lola: sara is running 15 secs || 1701401 markings, 8104556 edges, 84333 markings/sec, 15 secs
lola: sara is running 20 secs || 2115100 markings, 10304610 edges, 82740 markings/sec, 20 secs
lola: sara is running 25 secs || 2484578 markings, 12624981 edges, 73896 markings/sec, 25 secs
lola: sara is running 30 secs || 2866854 markings, 14772298 edges, 76455 markings/sec, 30 secs
lola: sara is running 35 secs || 3289287 markings, 16639271 edges, 84487 markings/sec, 35 secs
lola: sara is running 40 secs || 3734433 markings, 18616642 edges, 89029 markings/sec, 40 secs
lola: sara is running 45 secs || 4112424 markings, 20719643 edges, 75598 markings/sec, 45 secs
lola: sara is running 50 secs || 4504505 markings, 22859893 edges, 78416 markings/sec, 50 secs
lola: sara is running 55 secs || 4874574 markings, 25012193 edges, 74014 markings/sec, 55 secs
lola: sara is running 60 secs || 5239639 markings, 27250167 edges, 73013 markings/sec, 60 secs
lola: sara is running 65 secs || 5597571 markings, 29538904 edges, 71586 markings/sec, 65 secs
lola: sara is running 70 secs || 6096206 markings, 31749954 edges, 99727 markings/sec, 70 secs
lola: sara is running 75 secs || 6530608 markings, 33904076 edges, 86880 markings/sec, 75 secs
lola: sara is running 80 secs || 6953945 markings, 36026559 edges, 84667 markings/sec, 80 secs
lola: sara is running 85 secs || 7401468 markings, 38119204 edges, 89505 markings/sec, 85 secs
lola: sara is running 90 secs || 7819611 markings, 40261432 edges, 83629 markings/sec, 90 secs
lola: sara is running 95 secs || 8221308 markings, 42389835 edges, 80339 markings/sec, 95 secs
lola: sara is running 100 secs || 8639911 markings, 44566435 edges, 83721 markings/sec, 100 secs
lola: sara is running 105 secs || 9066314 markings, 46623769 edges, 85281 markings/sec, 105 secs
lola: sara is running 110 secs || 9446831 markings, 48711402 edges, 76103 markings/sec, 110 secs
lola: sara is running 115 secs || 9859956 markings, 50870334 edges, 82625 markings/sec, 115 secs
lola: sara is running 120 secs || 10227321 markings, 53062821 edges, 73473 markings/sec, 120 secs
lola: sara is running 125 secs || 10603165 markings, 55204915 edges, 75169 markings/sec, 125 secs
lola: sara is running 130 secs || 10990742 markings, 57324697 edges, 77515 markings/sec, 130 secs
lola: sara is running 135 secs || 11539349 markings, 59464657 edges, 109721 markings/sec, 135 secs
lola: sara is running 140 secs || 12027941 markings, 61715671 edges, 97718 markings/sec, 140 secs
lola: sara is running 145 secs || 12404839 markings, 63968598 edges, 75380 markings/sec, 145 secs
lola: sara is running 150 secs || 12764481 markings, 66242705 edges, 71928 markings/sec, 150 secs
lola: sara is running 155 secs || 13128500 markings, 68580196 edges, 72804 markings/sec, 155 secs
lola: sara is running 160 secs || 13467635 markings, 70932133 edges, 67827 markings/sec, 160 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown no no no yes yes unknown no yes no unknown yes yes unknown
lola:
preliminary result: no unknown unknown no no no yes yes unknown no yes no unknown yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no no no yes yes unknown no yes no unknown yes yes unknown
lola: memory consumption: 483956 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no no no yes yes unknown no yes no unknown yes yes unknown
lola: memory consumption: 483956 KB
lola: time consumption: 3570 seconds
BK_STOP 1526807616689
--------------------
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-10ringRL"
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-10ringRL.tgz
mv DNAwalker-PT-10ringRL 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-10ringRL, 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-152649735500292"
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 ;