About the Execution of LoLA for DNAwalker-PT-17redondantChoiceL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1746.390 | 3600000.00 | 6666409.00 | 7583.30 | FTTFF??????TT??F | 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 384K
-rw-r--r-- 1 mcc users 3.6K 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 18K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 19 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 211K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-17redondantChoiceL, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500341
=====================================================================
--------------------
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-17redondantChoiceL-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526873303276
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-17redondantChoiceL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-17redondantChoiceL formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-17redondantChoiceL @ 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: 533/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 1376
lola: finding significant places
lola: 43 places, 490 transitions, 43 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 284 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.task
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (3 <= B9)
lola: LP says that atomic proposition is always false: (3 <= B18)
lola: LP says that atomic proposition is always false: (3 <= B21)
lola: LP says that atomic proposition is always false: (2 <= B20)
lola: LP says that atomic proposition is always true: (B19 <= A32)
lola: LP says that atomic proposition is always false: (2 <= B20)
lola: LP says that atomic proposition is always false: (3 <= B18)
lola: LP says that atomic proposition is always true: (B23 <= A32)
lola: LP says that atomic proposition is always false: (3 <= B19)
lola: A (G ((((3 <= A23) AND (A14 <= A15) AND (A12 + 1 <= B9)) OR (1 <= A30)))) : A (G (TRUE)) : E (F ((2 <= A33))) : E (F (())) : E (F (())) : E (F ((((A31 <= A21) OR (1 <= A21)) AND (A5 <= B27) AND (3 <= A2)))) : A (G (((A18 + 1 <= B23) OR ((A2 <= A21) AND (A27 <= A15)) OR (1 <= A2)))) : E (F (((3 <= A1) AND (B19 <= A9)))) : E (F ((3 <= A6))) : E (F (((3 <= A2) AND (2 <= A26) AND (A24 <= 2) AND ((B24 + 1 <= A1) OR ((A23 <= A5) AND (B19 <= A15)))))) : A (G (((3 <= A26) OR (3 <= A11) OR (A18 <= 1) OR (A9 <= A8)))) : A (G (())) : E (F ((((A28 + 1 <= A18))))) : A (G (((A28 <= A16) OR (2 <= A29) OR ((A20 <= A7) AND (A8 <= A26)) OR ((A17 <= 2) AND (A15 <= 2))))) : E (F ((((3 <= A23) AND (B10 <= A23))))) : E (F (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 192 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: 15 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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-17redondantChoiceL-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 205 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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-17redondantChoiceL-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= A33)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((2 <= A33)))
lola: processed formula length: 18
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (2 <= A33)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 14 markings, 13 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A6)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A6)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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 <= A6)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 229771 markings, 934101 edges, 45954 markings/sec, 0 secs
lola: sara is running 5 secs || 456849 markings, 1972820 edges, 45416 markings/sec, 5 secs
lola: sara is running 10 secs || 698733 markings, 3035591 edges, 48377 markings/sec, 10 secs
lola: sara is running 15 secs || 945239 markings, 4208092 edges, 49301 markings/sec, 15 secs
lola: sara is running 20 secs || 1149911 markings, 5437583 edges, 40934 markings/sec, 20 secs
lola: sara is running 25 secs || 1362653 markings, 6657898 edges, 42548 markings/sec, 25 secs
lola: sara is running 30 secs || 1584347 markings, 7992856 edges, 44339 markings/sec, 30 secs
lola: sara is running 35 secs || 1806296 markings, 9412497 edges, 44390 markings/sec, 35 secs
lola: sara is running 40 secs || 2023279 markings, 10767194 edges, 43397 markings/sec, 40 secs
lola: sara is running 45 secs || 2235121 markings, 12078247 edges, 42368 markings/sec, 45 secs
lola: sara is running 50 secs || 2440357 markings, 13377137 edges, 41047 markings/sec, 50 secs
lola: sara is running 55 secs || 2629788 markings, 14715022 edges, 37886 markings/sec, 55 secs
lola: sara is running 60 secs || 2819076 markings, 16148838 edges, 37858 markings/sec, 60 secs
lola: sara is running 65 secs || 3010404 markings, 17504871 edges, 38266 markings/sec, 65 secs
lola: sara is running 70 secs || 3204482 markings, 18866180 edges, 38816 markings/sec, 70 secs
lola: sara is running 75 secs || 3399485 markings, 20135846 edges, 39001 markings/sec, 75 secs
lola: sara is running 80 secs || 3584015 markings, 21524556 edges, 36906 markings/sec, 80 secs
lola: sara is running 85 secs || 3778994 markings, 22788925 edges, 38996 markings/sec, 85 secs
lola: sara is running 90 secs || 3982405 markings, 24014723 edges, 40682 markings/sec, 90 secs
lola: sara is running 95 secs || 4180938 markings, 25315094 edges, 39707 markings/sec, 95 secs
lola: sara is running 100 secs || 4367855 markings, 26658480 edges, 37383 markings/sec, 100 secs
lola: sara is running 105 secs || 4579435 markings, 28051158 edges, 42316 markings/sec, 105 secs
lola: sara is running 110 secs || 4802429 markings, 29388706 edges, 44599 markings/sec, 110 secs
lola: sara is running 115 secs || 4993151 markings, 30682234 edges, 38144 markings/sec, 115 secs
lola: sara is running 120 secs || 5177329 markings, 32006179 edges, 36836 markings/sec, 120 secs
lola: sara is running 125 secs || 5367116 markings, 33381210 edges, 37957 markings/sec, 125 secs
lola: sara is running 130 secs || 5554458 markings, 34817323 edges, 37468 markings/sec, 130 secs
lola: sara is running 135 secs || 5769196 markings, 36284192 edges, 42948 markings/sec, 135 secs
lola: sara is running 140 secs || 5954131 markings, 37715977 edges, 36987 markings/sec, 140 secs
lola: sara is running 145 secs || 6134511 markings, 39227408 edges, 36076 markings/sec, 145 secs
lola: sara is running 150 secs || 6329016 markings, 40715169 edges, 38901 markings/sec, 150 secs
lola: sara is running 155 secs || 6531457 markings, 42175722 edges, 40488 markings/sec, 155 secs
lola: sara is running 160 secs || 6724217 markings, 43669577 edges, 38552 markings/sec, 160 secs
lola: sara is running 165 secs || 6923299 markings, 45106280 edges, 39816 markings/sec, 165 secs
lola: sara is running 170 secs || 7123430 markings, 46485104 edges, 40026 markings/sec, 170 secs
lola: sara is running 175 secs || 7311149 markings, 47989486 edges, 37544 markings/sec, 175 secs
lola: sara is running 180 secs || 7492010 markings, 49533013 edges, 36172 markings/sec, 180 secs
lola: sara is running 185 secs || 7691397 markings, 50887792 edges, 39877 markings/sec, 185 secs
lola: sara is running 190 secs || 7895377 markings, 52269658 edges, 40796 markings/sec, 190 secs
lola: sara is running 195 secs || 8090755 markings, 53695620 edges, 39076 markings/sec, 195 secs
lola: sara is running 200 secs || 8274436 markings, 55131124 edges, 36736 markings/sec, 200 secs
lola: sara is running 205 secs || 8458156 markings, 56601510 edges, 36744 markings/sec, 205 secs
lola: sara is running 210 secs || 8643745 markings, 58054423 edges, 37118 markings/sec, 210 secs
lola: sara is running 215 secs || 8821316 markings, 59611271 edges, 35514 markings/sec, 215 secs
lola: sara is running 220 secs || 9002081 markings, 61173839 edges, 36153 markings/sec, 220 secs
lola: sara is running 225 secs || 9183489 markings, 62716802 edges, 36282 markings/sec, 225 secs
lola: sara is running 230 secs || 9355289 markings, 64284576 edges, 34360 markings/sec, 230 secs
lola: sara is running 235 secs || 9552685 markings, 65735086 edges, 39479 markings/sec, 235 secs
lola: sara is running 240 secs || 9743163 markings, 67196037 edges, 38096 markings/sec, 240 secs
lola: sara is running 245 secs || 9931956 markings, 68689138 edges, 37759 markings/sec, 245 secs
lola: sara is running 250 secs || 10125179 markings, 70134393 edges, 38645 markings/sec, 250 secs
lola: sara is running 255 secs || 10320196 markings, 71512227 edges, 39003 markings/sec, 255 secs
lola: sara is running 260 secs || 10502979 markings, 73024412 edges, 36557 markings/sec, 260 secs
lola: sara is running 265 secs || 10680013 markings, 74536118 edges, 35407 markings/sec, 265 secs
lola: sara is running 270 secs || 10860766 markings, 76046983 edges, 36151 markings/sec, 270 secs
lola: sara is running 275 secs || 11062504 markings, 77454688 edges, 40348 markings/sec, 275 secs
lola: sara is running 280 secs || 11258591 markings, 78865161 edges, 39217 markings/sec, 280 secs
lola: sara is running 285 secs || 11450775 markings, 80303885 edges, 38437 markings/sec, 285 secs
lola: sara is running 290 secs || 11631411 markings, 81858356 edges, 36127 markings/sec, 290 secs
lola: sara is running 295 secs || 11811986 markings, 83345069 edges, 36115 markings/sec, 295 secs
lola: sara is running 300 secs || 11990197 markings, 84815027 edges, 35642 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no no unknown unknown unknown unknown unknown unknown yes unknown unknown unknown no
lola: memory consumption: 449540 KB
lola: time consumption: 802 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((3 <= A23) AND (B10 <= A23)))))
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 <= A23) AND (B10 <= A23)))))
lola: processed formula length: 39
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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 <= A23) AND (B10 <= A23)))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 914733 markings, 1785134 edges, 182947 markings/sec, 0 secs
lola: sara is running 5 secs || 1753718 markings, 3493357 edges, 167797 markings/sec, 5 secs
lola: sara is running 10 secs || 2180365 markings, 4751938 edges, 85329 markings/sec, 10 secs
lola: sara is running 15 secs || 2461864 markings, 5915199 edges, 56300 markings/sec, 15 secs
lola: sara is running 20 secs || 2728594 markings, 7139150 edges, 53346 markings/sec, 20 secs
lola: sara is running 25 secs || 2962859 markings, 8199478 edges, 46853 markings/sec, 25 secs
lola: sara is running 30 secs || 3231561 markings, 9418247 edges, 53740 markings/sec, 30 secs
lola: sara is running 35 secs || 3502665 markings, 10691562 edges, 54221 markings/sec, 35 secs
lola: sara is running 40 secs || 3774623 markings, 11621720 edges, 54392 markings/sec, 40 secs
lola: sara is running 45 secs || 4030873 markings, 12706574 edges, 51250 markings/sec, 45 secs
lola: sara is running 50 secs || 4281414 markings, 13921058 edges, 50108 markings/sec, 50 secs
lola: sara is running 55 secs || 4533411 markings, 15162163 edges, 50399 markings/sec, 55 secs
lola: sara is running 60 secs || 4783515 markings, 16534924 edges, 50021 markings/sec, 60 secs
lola: sara is running 65 secs || 5016037 markings, 17931049 edges, 46504 markings/sec, 65 secs
lola: sara is running 70 secs || 5244971 markings, 19532053 edges, 45787 markings/sec, 70 secs
lola: sara is running 75 secs || 5513936 markings, 20927865 edges, 53793 markings/sec, 75 secs
lola: sara is running 80 secs || 5769040 markings, 22308196 edges, 51021 markings/sec, 80 secs
lola: sara is running 85 secs || 6021748 markings, 23573520 edges, 50542 markings/sec, 85 secs
lola: sara is running 90 secs || 6267382 markings, 24973611 edges, 49127 markings/sec, 90 secs
lola: sara is running 95 secs || 6496574 markings, 26574147 edges, 45838 markings/sec, 95 secs
lola: sara is running 100 secs || 6751749 markings, 27981947 edges, 51035 markings/sec, 100 secs
lola: sara is running 105 secs || 7003092 markings, 29342144 edges, 50269 markings/sec, 105 secs
lola: sara is running 110 secs || 7250012 markings, 30756958 edges, 49384 markings/sec, 110 secs
lola: sara is running 115 secs || 7490091 markings, 31980076 edges, 48016 markings/sec, 115 secs
lola: sara is running 120 secs || 7725787 markings, 33381128 edges, 47139 markings/sec, 120 secs
lola: sara is running 125 secs || 7947028 markings, 34956713 edges, 44248 markings/sec, 125 secs
lola: sara is running 130 secs || 8189561 markings, 36536924 edges, 48507 markings/sec, 130 secs
lola: sara is running 135 secs || 8426085 markings, 38026594 edges, 47305 markings/sec, 135 secs
lola: sara is running 140 secs || 8704677 markings, 39534517 edges, 55718 markings/sec, 140 secs
lola: sara is running 145 secs || 8941333 markings, 40789185 edges, 47331 markings/sec, 145 secs
lola: sara is running 150 secs || 9185993 markings, 42173036 edges, 48932 markings/sec, 150 secs
lola: sara is running 155 secs || 9424029 markings, 43575347 edges, 47607 markings/sec, 155 secs
lola: sara is running 160 secs || 9648545 markings, 45073255 edges, 44903 markings/sec, 160 secs
lola: sara is running 165 secs || 9934786 markings, 46286166 edges, 57248 markings/sec, 165 secs
lola: sara is running 170 secs || 10185656 markings, 47612223 edges, 50174 markings/sec, 170 secs
lola: sara is running 175 secs || 10451538 markings, 49051024 edges, 53176 markings/sec, 175 secs
lola: sara is running 180 secs || 10676496 markings, 50478943 edges, 44992 markings/sec, 180 secs
lola: sara is running 185 secs || 10911037 markings, 51976608 edges, 46908 markings/sec, 185 secs
lola: sara is running 190 secs || 11192380 markings, 53173113 edges, 56269 markings/sec, 190 secs
lola: sara is running 195 secs || 11465560 markings, 54429328 edges, 54636 markings/sec, 195 secs
lola: sara is running 200 secs || 11748461 markings, 55796004 edges, 56580 markings/sec, 200 secs
lola: sara is running 205 secs || 12011163 markings, 57210589 edges, 52540 markings/sec, 205 secs
lola: sara is running 210 secs || 12226205 markings, 58773666 edges, 43008 markings/sec, 210 secs
lola: sara is running 215 secs || 12460960 markings, 60238168 edges, 46951 markings/sec, 215 secs
lola: sara is running 220 secs || 12695426 markings, 61770965 edges, 46893 markings/sec, 220 secs
lola: sara is running 225 secs || 12906885 markings, 63352847 edges, 42292 markings/sec, 225 secs
lola: sara is running 230 secs || 13165573 markings, 64744783 edges, 51738 markings/sec, 230 secs
lola: sara is running 235 secs || 13478467 markings, 65981114 edges, 62579 markings/sec, 235 secs
lola: sara is running 240 secs || 13705577 markings, 67274039 edges, 45422 markings/sec, 240 secs
lola: sara is running 245 secs || 13955600 markings, 68627977 edges, 50005 markings/sec, 245 secs
lola: sara is running 250 secs || 14172114 markings, 69996829 edges, 43303 markings/sec, 250 secs
lola: sara is running 255 secs || 14401738 markings, 71443371 edges, 45925 markings/sec, 255 secs
lola: sara is running 260 secs || 14682038 markings, 72613034 edges, 56060 markings/sec, 260 secs
lola: sara is running 265 secs || 14918011 markings, 73897922 edges, 47195 markings/sec, 265 secs
lola: sara is running 270 secs || 15155562 markings, 75283477 edges, 47510 markings/sec, 270 secs
lola: sara is running 275 secs || 15399181 markings, 76669588 edges, 48724 markings/sec, 275 secs
lola: sara is running 280 secs || 15627599 markings, 78109986 edges, 45684 markings/sec, 280 secs
lola: sara is running 285 secs || 15867994 markings, 79501910 edges, 48079 markings/sec, 285 secs
lola: sara is running 290 secs || 16086503 markings, 80970520 edges, 43702 markings/sec, 290 secs
lola: sara is running 295 secs || 16305520 markings, 82483756 edges, 43803 markings/sec, 295 secs
lola: sara is running 300 secs || 16535609 markings, 83900708 edges, 46018 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no no unknown unknown unknown unknown unknown unknown yes unknown unknown unknown no
lola: memory consumption: 610484 KB
lola: time consumption: 1109 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((A28 + 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 ((((A28 + 1 <= A18)))))
lola: processed formula length: 28
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: (((A28 + 1 <= A18)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-8-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A1) AND (B19 <= A9))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A1) AND (B19 <= A9))))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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) AND (B19 <= A9))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 238142 markings, 1010003 edges, 47628 markings/sec, 0 secs
lola: sara is running 5 secs || 461545 markings, 2144592 edges, 44681 markings/sec, 5 secs
lola: sara is running 10 secs || 678264 markings, 3265902 edges, 43344 markings/sec, 10 secs
lola: sara is running 15 secs || 893264 markings, 4378704 edges, 43000 markings/sec, 15 secs
lola: sara is running 20 secs || 1110282 markings, 5549651 edges, 43404 markings/sec, 20 secs
lola: sara is running 25 secs || 1319021 markings, 6842089 edges, 41748 markings/sec, 25 secs
lola: sara is running 30 secs || 1549598 markings, 8123663 edges, 46115 markings/sec, 30 secs
lola: sara is running 35 secs || 1779071 markings, 9459600 edges, 45895 markings/sec, 35 secs
lola: sara is running 40 secs || 2012829 markings, 10451609 edges, 46752 markings/sec, 40 secs
lola: sara is running 45 secs || 2229222 markings, 11551931 edges, 43279 markings/sec, 45 secs
lola: sara is running 50 secs || 2445687 markings, 12696774 edges, 43293 markings/sec, 50 secs
lola: sara is running 55 secs || 2665232 markings, 13793993 edges, 43909 markings/sec, 55 secs
lola: sara is running 60 secs || 2869668 markings, 15025230 edges, 40887 markings/sec, 60 secs
lola: sara is running 65 secs || 3091342 markings, 16304826 edges, 44335 markings/sec, 65 secs
lola: sara is running 70 secs || 3313176 markings, 17558338 edges, 44367 markings/sec, 70 secs
lola: sara is running 75 secs || 3526864 markings, 18850062 edges, 42738 markings/sec, 75 secs
lola: sara is running 80 secs || 3729463 markings, 20101143 edges, 40520 markings/sec, 80 secs
lola: sara is running 85 secs || 3950454 markings, 21189798 edges, 44198 markings/sec, 85 secs
lola: sara is running 90 secs || 4157135 markings, 22292164 edges, 41336 markings/sec, 90 secs
lola: sara is running 95 secs || 4357897 markings, 23499196 edges, 40152 markings/sec, 95 secs
lola: sara is running 100 secs || 4553374 markings, 24823088 edges, 39095 markings/sec, 100 secs
lola: sara is running 105 secs || 4734438 markings, 26132058 edges, 36213 markings/sec, 105 secs
lola: sara is running 110 secs || 4910970 markings, 27569749 edges, 35306 markings/sec, 110 secs
lola: sara is running 115 secs || 5109102 markings, 28732159 edges, 39626 markings/sec, 115 secs
lola: sara is running 120 secs || 5308312 markings, 29991142 edges, 39842 markings/sec, 120 secs
lola: sara is running 125 secs || 5489550 markings, 31319652 edges, 36248 markings/sec, 125 secs
lola: sara is running 130 secs || 5680233 markings, 32574630 edges, 38137 markings/sec, 130 secs
lola: sara is running 135 secs || 5864304 markings, 33917517 edges, 36814 markings/sec, 135 secs
lola: sara is running 140 secs || 6051761 markings, 35210797 edges, 37491 markings/sec, 140 secs
lola: sara is running 145 secs || 6238903 markings, 36336056 edges, 37428 markings/sec, 145 secs
lola: sara is running 150 secs || 6416662 markings, 37681360 edges, 35552 markings/sec, 150 secs
lola: sara is running 155 secs || 6593453 markings, 39062320 edges, 35358 markings/sec, 155 secs
lola: sara is running 160 secs || 6774838 markings, 40249657 edges, 36277 markings/sec, 160 secs
lola: sara is running 165 secs || 6949452 markings, 41510224 edges, 34923 markings/sec, 165 secs
lola: sara is running 170 secs || 7120631 markings, 42815658 edges, 34236 markings/sec, 170 secs
lola: sara is running 175 secs || 7306539 markings, 44084514 edges, 37182 markings/sec, 175 secs
lola: sara is running 180 secs || 7521832 markings, 45277829 edges, 43059 markings/sec, 180 secs
lola: sara is running 185 secs || 7724734 markings, 46477149 edges, 40580 markings/sec, 185 secs
lola: sara is running 190 secs || 7919677 markings, 47827559 edges, 38989 markings/sec, 190 secs
lola: sara is running 195 secs || 8111412 markings, 49239433 edges, 38347 markings/sec, 195 secs
lola: sara is running 200 secs || 8300976 markings, 50655329 edges, 37913 markings/sec, 200 secs
lola: sara is running 205 secs || 8484596 markings, 52100821 edges, 36724 markings/sec, 205 secs
lola: sara is running 210 secs || 8671139 markings, 53592208 edges, 37309 markings/sec, 210 secs
lola: sara is running 215 secs || 8879800 markings, 54697107 edges, 41732 markings/sec, 215 secs
lola: sara is running 220 secs || 9077266 markings, 55961067 edges, 39493 markings/sec, 220 secs
lola: sara is running 225 secs || 9260693 markings, 57352674 edges, 36685 markings/sec, 225 secs
lola: sara is running 230 secs || 9461400 markings, 58557049 edges, 40141 markings/sec, 230 secs
lola: sara is running 235 secs || 9647925 markings, 59891947 edges, 37305 markings/sec, 235 secs
lola: sara is running 240 secs || 9839643 markings, 61158612 edges, 38344 markings/sec, 240 secs
lola: sara is running 245 secs || 10028789 markings, 62492629 edges, 37829 markings/sec, 245 secs
lola: sara is running 250 secs || 10212609 markings, 63701456 edges, 36764 markings/sec, 250 secs
lola: sara is running 255 secs || 10393154 markings, 65049472 edges, 36109 markings/sec, 255 secs
lola: sara is running 260 secs || 10600486 markings, 66253425 edges, 41466 markings/sec, 260 secs
lola: sara is running 265 secs || 10796926 markings, 67639060 edges, 39288 markings/sec, 265 secs
lola: sara is running 270 secs || 10984758 markings, 69087765 edges, 37566 markings/sec, 270 secs
lola: sara is running 275 secs || 11183982 markings, 70304109 edges, 39845 markings/sec, 275 secs
lola: sara is running 280 secs || 11384735 markings, 71525218 edges, 40151 markings/sec, 280 secs
lola: sara is running 285 secs || 11571389 markings, 72826755 edges, 37331 markings/sec, 285 secs
lola: sara is running 290 secs || 11750704 markings, 74240770 edges, 35863 markings/sec, 290 secs
lola: sara is running 295 secs || 11948649 markings, 75422357 edges, 39589 markings/sec, 295 secs
lola: sara is running 300 secs || 12132718 markings, 76758546 edges, 36814 markings/sec, 300 secs
lola: sara is running 305 secs || 12322582 markings, 78026483 edges, 37973 markings/sec, 305 secs
lola: sara is running 310 secs || 12505205 markings, 79368766 edges, 36525 markings/sec, 310 secs
lola: sara is running 315 secs || 12692250 markings, 80610449 edges, 37409 markings/sec, 315 secs
lola: sara is running 320 secs || 12888299 markings, 81793592 edges, 39210 markings/sec, 320 secs
lola: sara is running 325 secs || 13078160 markings, 83163895 edges, 37972 markings/sec, 325 secs
lola: sara is running 330 secs || 13256313 markings, 84554889 edges, 35631 markings/sec, 330 secs
lola: sara is running 335 secs || 13429471 markings, 86099447 edges, 34632 markings/sec, 335 secs
lola: sara is running 340 secs || 13612450 markings, 87401043 edges, 36596 markings/sec, 340 secs
lola: sara is running 345 secs || 13804433 markings, 88668128 edges, 38397 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no no unknown unknown unknown unknown unknown unknown yes yes unknown unknown no
lola: memory consumption: 512308 KB
lola: time consumption: 1460 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((A31 <= A21) OR (1 <= A21)) AND (A5 <= B27) 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 ((((A31 <= A21) OR (1 <= A21)) AND (A5 <= B27) AND (3 <= A2))))
lola: processed formula length: 69
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: (((A31 <= A21) OR (1 <= A21)) AND (A5 <= B27) AND (3 <= A2))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 251568 markings, 890474 edges, 50314 markings/sec, 0 secs
lola: sara is running 5 secs || 498877 markings, 1724284 edges, 49462 markings/sec, 5 secs
lola: sara is running 10 secs || 740531 markings, 2753743 edges, 48331 markings/sec, 10 secs
lola: sara is running 15 secs || 973402 markings, 3897481 edges, 46574 markings/sec, 15 secs
lola: sara is running 20 secs || 1207613 markings, 5052395 edges, 46842 markings/sec, 20 secs
lola: sara is running 25 secs || 1445780 markings, 5946345 edges, 47633 markings/sec, 25 secs
lola: sara is running 30 secs || 1677602 markings, 6931378 edges, 46364 markings/sec, 30 secs
lola: sara is running 35 secs || 1937262 markings, 7758834 edges, 51932 markings/sec, 35 secs
lola: sara is running 40 secs || 2176707 markings, 8640667 edges, 47889 markings/sec, 40 secs
lola: sara is running 45 secs || 2410296 markings, 9715954 edges, 46718 markings/sec, 45 secs
lola: sara is running 50 secs || 2651696 markings, 10795011 edges, 48280 markings/sec, 50 secs
lola: sara is running 55 secs || 2883976 markings, 11942720 edges, 46456 markings/sec, 55 secs
lola: sara is running 60 secs || 3108135 markings, 13093987 edges, 44832 markings/sec, 60 secs
lola: sara is running 65 secs || 3340010 markings, 13956292 edges, 46375 markings/sec, 65 secs
lola: sara is running 70 secs || 3565015 markings, 14755117 edges, 45001 markings/sec, 70 secs
lola: sara is running 75 secs || 3790755 markings, 15750891 edges, 45148 markings/sec, 75 secs
lola: sara is running 80 secs || 4008586 markings, 16824887 edges, 43566 markings/sec, 80 secs
lola: sara is running 85 secs || 4252655 markings, 17715528 edges, 48814 markings/sec, 85 secs
lola: sara is running 90 secs || 4492513 markings, 18681964 edges, 47972 markings/sec, 90 secs
lola: sara is running 95 secs || 4716932 markings, 19784430 edges, 44884 markings/sec, 95 secs
lola: sara is running 100 secs || 4934044 markings, 20646488 edges, 43422 markings/sec, 100 secs
lola: sara is running 105 secs || 5148668 markings, 21728120 edges, 42925 markings/sec, 105 secs
lola: sara is running 110 secs || 5368386 markings, 22937225 edges, 43944 markings/sec, 110 secs
lola: sara is running 115 secs || 5575592 markings, 24031969 edges, 41441 markings/sec, 115 secs
lola: sara is running 120 secs || 5789222 markings, 25182393 edges, 42726 markings/sec, 120 secs
lola: sara is running 125 secs || 6020732 markings, 26294334 edges, 46302 markings/sec, 125 secs
lola: sara is running 130 secs || 6232808 markings, 27501679 edges, 42415 markings/sec, 130 secs
lola: sara is running 135 secs || 6456275 markings, 28704789 edges, 44693 markings/sec, 135 secs
lola: sara is running 140 secs || 6680159 markings, 29853323 edges, 44777 markings/sec, 140 secs
lola: sara is running 145 secs || 6903393 markings, 30891253 edges, 44647 markings/sec, 145 secs
lola: sara is running 150 secs || 7119244 markings, 32161344 edges, 43170 markings/sec, 150 secs
lola: sara is running 155 secs || 7334019 markings, 33410186 edges, 42955 markings/sec, 155 secs
lola: sara is running 160 secs || 7544296 markings, 34453041 edges, 42055 markings/sec, 160 secs
lola: sara is running 165 secs || 7756294 markings, 35633108 edges, 42400 markings/sec, 165 secs
lola: sara is running 170 secs || 7959669 markings, 36926780 edges, 40675 markings/sec, 170 secs
lola: sara is running 175 secs || 8162707 markings, 38216802 edges, 40608 markings/sec, 175 secs
lola: sara is running 180 secs || 8372752 markings, 39605304 edges, 42009 markings/sec, 180 secs
lola: sara is running 185 secs || 8588596 markings, 40981924 edges, 43169 markings/sec, 185 secs
lola: sara is running 190 secs || 8792095 markings, 42315809 edges, 40700 markings/sec, 190 secs
lola: sara is running 195 secs || 9007113 markings, 43644265 edges, 43004 markings/sec, 195 secs
lola: sara is running 200 secs || 9237209 markings, 44601966 edges, 46019 markings/sec, 200 secs
lola: sara is running 205 secs || 9460964 markings, 45669281 edges, 44751 markings/sec, 205 secs
lola: sara is running 210 secs || 9677479 markings, 46812397 edges, 43303 markings/sec, 210 secs
lola: sara is running 215 secs || 9890559 markings, 47841533 edges, 42616 markings/sec, 215 secs
lola: sara is running 220 secs || 10095852 markings, 48859364 edges, 41059 markings/sec, 220 secs
lola: sara is running 225 secs || 10306066 markings, 49905110 edges, 42043 markings/sec, 225 secs
lola: sara is running 230 secs || 10508629 markings, 50979431 edges, 40513 markings/sec, 230 secs
lola: sara is running 235 secs || 10709826 markings, 52182350 edges, 40239 markings/sec, 235 secs
lola: sara is running 240 secs || 10918468 markings, 53405505 edges, 41728 markings/sec, 240 secs
lola: sara is running 245 secs || 11127064 markings, 54662924 edges, 41719 markings/sec, 245 secs
lola: sara is running 250 secs || 11322769 markings, 55892987 edges, 39141 markings/sec, 250 secs
lola: sara is running 255 secs || 11523619 markings, 57300988 edges, 40170 markings/sec, 255 secs
lola: sara is running 260 secs || 11734545 markings, 58496547 edges, 42185 markings/sec, 260 secs
lola: sara is running 265 secs || 11952983 markings, 59550648 edges, 43688 markings/sec, 265 secs
lola: sara is running 270 secs || 12163620 markings, 60607102 edges, 42127 markings/sec, 270 secs
lola: sara is running 275 secs || 12371727 markings, 61733483 edges, 41621 markings/sec, 275 secs
lola: sara is running 280 secs || 12592199 markings, 62729381 edges, 44094 markings/sec, 280 secs
lola: sara is running 285 secs || 12800028 markings, 63719630 edges, 41566 markings/sec, 285 secs
lola: sara is running 290 secs || 13005899 markings, 64889037 edges, 41174 markings/sec, 290 secs
lola: sara is running 295 secs || 13209523 markings, 66194438 edges, 40725 markings/sec, 295 secs
lola: sara is running 300 secs || 13423420 markings, 67258223 edges, 42779 markings/sec, 300 secs
lola: sara is running 305 secs || 13619404 markings, 68316197 edges, 39197 markings/sec, 305 secs
lola: sara is running 310 secs || 13814957 markings, 69523675 edges, 39111 markings/sec, 310 secs
lola: sara is running 315 secs || 14011103 markings, 70796029 edges, 39229 markings/sec, 315 secs
lola: sara is running 320 secs || 14209266 markings, 72074353 edges, 39633 markings/sec, 320 secs
lola: sara is running 325 secs || 14403650 markings, 73166260 edges, 38877 markings/sec, 325 secs
lola: sara is running 330 secs || 14596095 markings, 74367713 edges, 38489 markings/sec, 330 secs
lola: sara is running 335 secs || 14812344 markings, 75303183 edges, 43250 markings/sec, 335 secs
lola: sara is running 340 secs || 15041681 markings, 76251258 edges, 45867 markings/sec, 340 secs
lola: sara is running 345 secs || 15253314 markings, 77338292 edges, 42327 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no no unknown unknown unknown unknown unknown unknown yes yes unknown unknown no
lola: memory consumption: 563328 KB
lola: time consumption: 1811 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((3 <= A26) OR (3 <= A11) OR (A18 <= 1) OR (A9 <= A8))))
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 (((3 <= A26) OR (3 <= A11) OR (A18 <= 1) OR (A9 <= A8))))
lola: processed formula length: 65
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: ((A26 <= 2) AND (A11 <= 2) AND (2 <= A18) AND (A8 + 1 <= A9))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 270933 markings, 1102747 edges, 54187 markings/sec, 0 secs
lola: sara is running 5 secs || 515186 markings, 2214183 edges, 48851 markings/sec, 5 secs
lola: sara is running 10 secs || 755345 markings, 3266307 edges, 48032 markings/sec, 10 secs
lola: sara is running 15 secs || 986368 markings, 4473434 edges, 46205 markings/sec, 15 secs
lola: sara is running 20 secs || 1220864 markings, 5628254 edges, 46899 markings/sec, 20 secs
lola: sara is running 25 secs || 1445352 markings, 6759680 edges, 44898 markings/sec, 25 secs
lola: sara is running 30 secs || 1690999 markings, 7758762 edges, 49129 markings/sec, 30 secs
lola: sara is running 35 secs || 1918368 markings, 8959914 edges, 45474 markings/sec, 35 secs
lola: sara is running 40 secs || 2139835 markings, 10192321 edges, 44293 markings/sec, 40 secs
lola: sara is running 45 secs || 2369986 markings, 11331964 edges, 46030 markings/sec, 45 secs
lola: sara is running 50 secs || 2595324 markings, 12559671 edges, 45068 markings/sec, 50 secs
lola: sara is running 55 secs || 2809525 markings, 13810128 edges, 42840 markings/sec, 55 secs
lola: sara is running 60 secs || 2992872 markings, 15021530 edges, 36669 markings/sec, 60 secs
lola: sara is running 65 secs || 3176773 markings, 16230945 edges, 36780 markings/sec, 65 secs
lola: sara is running 70 secs || 3363379 markings, 17400464 edges, 37321 markings/sec, 70 secs
lola: sara is running 75 secs || 3552344 markings, 18563089 edges, 37793 markings/sec, 75 secs
lola: sara is running 80 secs || 3744929 markings, 19733701 edges, 38517 markings/sec, 80 secs
lola: sara is running 85 secs || 3923888 markings, 20955296 edges, 35792 markings/sec, 85 secs
lola: sara is running 90 secs || 4111250 markings, 22121746 edges, 37472 markings/sec, 90 secs
lola: sara is running 95 secs || 4299307 markings, 23312207 edges, 37611 markings/sec, 95 secs
lola: sara is running 100 secs || 4553683 markings, 24319932 edges, 50875 markings/sec, 100 secs
lola: sara is running 105 secs || 4787303 markings, 25501931 edges, 46724 markings/sec, 105 secs
lola: sara is running 110 secs || 4971826 markings, 26906159 edges, 36905 markings/sec, 110 secs
lola: sara is running 115 secs || 5160973 markings, 28227369 edges, 37829 markings/sec, 115 secs
lola: sara is running 120 secs || 5339085 markings, 29584934 edges, 35622 markings/sec, 120 secs
lola: sara is running 125 secs || 5520467 markings, 30935690 edges, 36276 markings/sec, 125 secs
lola: sara is running 130 secs || 5703055 markings, 32298285 edges, 36518 markings/sec, 130 secs
lola: sara is running 135 secs || 5879335 markings, 33682514 edges, 35256 markings/sec, 135 secs
lola: sara is running 140 secs || 6058765 markings, 35062576 edges, 35886 markings/sec, 140 secs
lola: sara is running 145 secs || 6256097 markings, 36398636 edges, 39466 markings/sec, 145 secs
lola: sara is running 150 secs || 6438591 markings, 37764222 edges, 36499 markings/sec, 150 secs
lola: sara is running 155 secs || 6663823 markings, 38805340 edges, 45046 markings/sec, 155 secs
lola: sara is running 160 secs || 6890054 markings, 39838741 edges, 45246 markings/sec, 160 secs
lola: sara is running 165 secs || 7122580 markings, 40914797 edges, 46505 markings/sec, 165 secs
lola: sara is running 170 secs || 7372007 markings, 41945158 edges, 49885 markings/sec, 170 secs
lola: sara is running 175 secs || 7617023 markings, 42971876 edges, 49003 markings/sec, 175 secs
lola: sara is running 180 secs || 7872748 markings, 44071406 edges, 51145 markings/sec, 180 secs
lola: sara is running 185 secs || 8101266 markings, 45277401 edges, 45704 markings/sec, 185 secs
lola: sara is running 190 secs || 8327066 markings, 46455601 edges, 45160 markings/sec, 190 secs
lola: sara is running 195 secs || 8538952 markings, 47699172 edges, 42377 markings/sec, 195 secs
lola: sara is running 200 secs || 8756031 markings, 48773281 edges, 43416 markings/sec, 200 secs
lola: sara is running 205 secs || 8988507 markings, 49991631 edges, 46495 markings/sec, 205 secs
lola: sara is running 210 secs || 9202171 markings, 51284843 edges, 42733 markings/sec, 210 secs
lola: sara is running 215 secs || 9411520 markings, 52678810 edges, 41870 markings/sec, 215 secs
lola: sara is running 220 secs || 9619080 markings, 53898006 edges, 41512 markings/sec, 220 secs
lola: sara is running 225 secs || 9836628 markings, 55129445 edges, 43510 markings/sec, 225 secs
lola: sara is running 230 secs || 10065133 markings, 56331419 edges, 45701 markings/sec, 230 secs
lola: sara is running 235 secs || 10278231 markings, 57702981 edges, 42620 markings/sec, 235 secs
lola: sara is running 240 secs || 10484559 markings, 59071469 edges, 41266 markings/sec, 240 secs
lola: sara is running 245 secs || 10694481 markings, 60505912 edges, 41984 markings/sec, 245 secs
lola: sara is running 250 secs || 10901392 markings, 61815185 edges, 41382 markings/sec, 250 secs
lola: sara is running 255 secs || 11118195 markings, 62847186 edges, 43361 markings/sec, 255 secs
lola: sara is running 260 secs || 11355464 markings, 63855445 edges, 47454 markings/sec, 260 secs
lola: sara is running 265 secs || 11595921 markings, 64976743 edges, 48091 markings/sec, 265 secs
lola: sara is running 270 secs || 11820145 markings, 66229853 edges, 44845 markings/sec, 270 secs
lola: sara is running 275 secs || 12044716 markings, 67373957 edges, 44914 markings/sec, 275 secs
lola: sara is running 280 secs || 12257377 markings, 68674394 edges, 42532 markings/sec, 280 secs
lola: sara is running 285 secs || 12460440 markings, 69965692 edges, 40613 markings/sec, 285 secs
lola: sara is running 290 secs || 12681054 markings, 71220264 edges, 44123 markings/sec, 290 secs
lola: sara is running 295 secs || 12889389 markings, 72595448 edges, 41667 markings/sec, 295 secs
lola: sara is running 300 secs || 13093042 markings, 73931978 edges, 40731 markings/sec, 300 secs
lola: sara is running 305 secs || 13323374 markings, 74975383 edges, 46066 markings/sec, 305 secs
lola: sara is running 310 secs || 13541996 markings, 76181122 edges, 43724 markings/sec, 310 secs
lola: sara is running 315 secs || 13756136 markings, 77461100 edges, 42828 markings/sec, 315 secs
lola: sara is running 320 secs || 13963975 markings, 78742446 edges, 41568 markings/sec, 320 secs
lola: sara is running 325 secs || 14167311 markings, 80080463 edges, 40667 markings/sec, 325 secs
lola: sara is running 330 secs || 14393934 markings, 81231343 edges, 45325 markings/sec, 330 secs
lola: sara is running 335 secs || 14607513 markings, 82508419 edges, 42716 markings/sec, 335 secs
lola: sara is running 340 secs || 14816603 markings, 83765180 edges, 41818 markings/sec, 340 secs
lola: sara is running 345 secs || 15025919 markings, 85013648 edges, 41863 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no no unknown unknown unknown unknown unknown unknown yes yes unknown unknown no
lola: memory consumption: 555184 KB
lola: time consumption: 2162 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A18 + 1 <= B23) OR ((A2 <= A21) AND (A27 <= A15)) OR (1 <= A2))))
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 (((A18 + 1 <= B23) OR ((A2 <= A21) AND (A27 <= A15)) OR (1 <= A2))))
lola: processed formula length: 75
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: ((B23 <= A18) AND ((A21 + 1 <= A2) OR (A15 + 1 <= A27)) AND (A2 <= 0))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-12-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola:
========================================FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((3 <= A23) AND (A14 <= A15) AND (A12 + 1 <= B9)) OR (1 <= A30))))
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 ((((3 <= A23) AND (A14 <= A15) AND (A12 + 1 <= B9)) OR (1 <= A30))))
lola: processed formula length: 74
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: (((A23 <= 2) OR (A15 + 1 <= A14) OR (B9 <= A12)) AND (A30 <= 0))
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-13-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 13 markings, 12 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A2) AND (2 <= A26) AND (A24 <= 2) AND ((B24 + 1 <= A1) OR ((A23 <= A5) AND (B19 <= A15))))))
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 <= A2) AND (2 <= A26) AND (A24 <= 2) AND ((B24 + 1 <= A1) OR ((A23 <= A5) AND (B19 <= A15))))))
lola: processed formula length: 106
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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 <= A2) AND (2 <= A26) AND (A24 <= 2) AND ((B24 + 1 <= A1) OR ((A23 <= A5) AND (B19 <= A15))))
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 244182 markings, 800996 edges, 48836 markings/sec, 0 secs
lola: sara is running 5 secs || 495076 markings, 1671873 edges, 50179 markings/sec, 5 secs
lola: sara is running 10 secs || 747764 markings, 2512289 edges, 50538 markings/sec, 10 secs
lola: sara is running 15 secs || 997327 markings, 3379723 edges, 49913 markings/sec, 15 secs
lola: sara is running 20 secs || 1245631 markings, 4228869 edges, 49661 markings/sec, 20 secs
lola: sara is running 25 secs || 1495383 markings, 5104347 edges, 49950 markings/sec, 25 secs
lola: sara is running 30 secs || 1750417 markings, 5964848 edges, 51007 markings/sec, 30 secs
lola: sara is running 35 secs || 2004346 markings, 6847103 edges, 50786 markings/sec, 35 secs
lola: sara is running 40 secs || 2257943 markings, 7747424 edges, 50719 markings/sec, 40 secs
lola: sara is running 45 secs || 2509174 markings, 8685775 edges, 50246 markings/sec, 45 secs
lola: sara is running 50 secs || 2757714 markings, 9584577 edges, 49708 markings/sec, 50 secs
lola: sara is running 55 secs || 3015641 markings, 10446282 edges, 51585 markings/sec, 55 secs
lola: sara is running 60 secs || 3271213 markings, 11352239 edges, 51114 markings/sec, 60 secs
lola: sara is running 65 secs || 3524997 markings, 12205609 edges, 50757 markings/sec, 65 secs
lola: sara is running 70 secs || 3779244 markings, 13097921 edges, 50849 markings/sec, 70 secs
lola: sara is running 75 secs || 4031794 markings, 14029903 edges, 50510 markings/sec, 75 secs
lola: sara is running 80 secs || 4279645 markings, 14881089 edges, 49570 markings/sec, 80 secs
lola: sara is running 85 secs || 4535369 markings, 15764149 edges, 51145 markings/sec, 85 secs
lola: sara is running 90 secs || 4786625 markings, 16693217 edges, 50251 markings/sec, 90 secs
lola: sara is running 95 secs || 5035327 markings, 17590212 edges, 49740 markings/sec, 95 secs
lola: sara is running 100 secs || 5284283 markings, 18512568 edges, 49791 markings/sec, 100 secs
lola: sara is running 105 secs || 5533442 markings, 19489510 edges, 49832 markings/sec, 105 secs
lola: sara is running 110 secs || 5774707 markings, 20389049 edges, 48253 markings/sec, 110 secs
lola: sara is running 115 secs || 5981913 markings, 21301613 edges, 41441 markings/sec, 115 secs
lola: sara is running 120 secs || 6230157 markings, 22196385 edges, 49649 markings/sec, 120 secs
lola: sara is running 125 secs || 6481201 markings, 23118596 edges, 50209 markings/sec, 125 secs
lola: sara is running 130 secs || 6728566 markings, 24037689 edges, 49473 markings/sec, 130 secs
lola: sara is running 135 secs || 6979592 markings, 24946391 edges, 50205 markings/sec, 135 secs
lola: sara is running 140 secs || 7226895 markings, 25891968 edges, 49461 markings/sec, 140 secs
lola: sara is running 145 secs || 7469868 markings, 26842756 edges, 48595 markings/sec, 145 secs
lola: sara is running 150 secs || 7719996 markings, 27788129 edges, 50026 markings/sec, 150 secs
lola: sara is running 155 secs || 7969051 markings, 28714769 edges, 49811 markings/sec, 155 secs
lola: sara is running 160 secs || 8217073 markings, 29626437 edges, 49604 markings/sec, 160 secs
lola: sara is running 165 secs || 8463644 markings, 30575841 edges, 49314 markings/sec, 165 secs
lola: sara is running 170 secs || 8707618 markings, 31547621 edges, 48795 markings/sec, 170 secs
lola: sara is running 175 secs || 8952290 markings, 32512712 edges, 48934 markings/sec, 175 secs
lola: sara is running 180 secs || 9194452 markings, 33447924 edges, 48432 markings/sec, 180 secs
lola: sara is running 185 secs || 9445077 markings, 34365364 edges, 50125 markings/sec, 185 secs
lola: sara is running 190 secs || 9691484 markings, 35333472 edges, 49281 markings/sec, 190 secs
lola: sara is running 195 secs || 9937441 markings, 36282772 edges, 49191 markings/sec, 195 secs
lola: sara is running 200 secs || 10188147 markings, 37212476 edges, 50141 markings/sec, 200 secs
lola: sara is running 205 secs || 10432657 markings, 38185438 edges, 48902 markings/sec, 205 secs
lola: sara is running 210 secs || 10674464 markings, 39161299 edges, 48361 markings/sec, 210 secs
lola: sara is running 215 secs || 10921213 markings, 40144397 edges, 49350 markings/sec, 215 secs
lola: sara is running 220 secs || 11166042 markings, 41112582 edges, 48966 markings/sec, 220 secs
lola: sara is running 225 secs || 11406995 markings, 42096485 edges, 48191 markings/sec, 225 secs
lola: sara is running 230 secs || 11655798 markings, 43042805 edges, 49761 markings/sec, 230 secs
lola: sara is running 235 secs || 11894483 markings, 43935711 edges, 47737 markings/sec, 235 secs
lola: sara is running 240 secs || 12133196 markings, 44923387 edges, 47743 markings/sec, 240 secs
lola: sara is running 245 secs || 12382220 markings, 45927769 edges, 49805 markings/sec, 245 secs
lola: sara is running 250 secs || 12641486 markings, 46790599 edges, 51853 markings/sec, 250 secs
lola: sara is running 255 secs || 12896539 markings, 47674948 edges, 51011 markings/sec, 255 secs
lola: sara is running 260 secs || 13144396 markings, 48569827 edges, 49571 markings/sec, 260 secs
lola: sara is running 265 secs || 13395232 markings, 49485819 edges, 50167 markings/sec, 265 secs
lola: sara is running 270 secs || 13643810 markings, 50429284 edges, 49716 markings/sec, 270 secs
lola: sara is running 275 secs || 13892046 markings, 51311032 edges, 49647 markings/sec, 275 secs
lola: sara is running 280 secs || 14145666 markings, 52196493 edges, 50724 markings/sec, 280 secs
lola: sara is running 285 secs || 14390793 markings, 53160873 edges, 49025 markings/sec, 285 secs
lola: sara is running 290 secs || 14637361 markings, 54075926 edges, 49314 markings/sec, 290 secs
lola: sara is running 295 secs || 14884811 markings, 55038207 edges, 49490 markings/sec, 295 secs
lola: sara is running 300 secs || 15130463 markings, 55966799 edges, 49130 markings/sec, 300 secs
lola: sara is running 305 secs || 15371684 markings, 56932971 edges, 48244 markings/sec, 305 secs
lola: sara is running 310 secs || 15625232 markings, 57813070 edges, 50710 markings/sec, 310 secs
lola: sara is running 315 secs || 15879146 markings, 58675187 edges, 50783 markings/sec, 315 secs
lola: sara is running 320 secs || 16129446 markings, 59548997 edges, 50060 markings/sec, 320 secs
lola: sara is running 325 secs || 16381265 markings, 60455790 edges, 50364 markings/sec, 325 secs
lola: sara is running 330 secs || 16630275 markings, 61381233 edges, 49802 markings/sec, 330 secs
lola: sara is running 335 secs || 16874577 markings, 62299986 edges, 48860 markings/sec, 335 secs
lola: sara is running 340 secs || 17101404 markings, 63246957 edges, 45365 markings/sec, 340 secs
lola: sara is running 345 secs || 17352053 markings, 64153006 edges, 50130 markings/sec, 345 secs
lola: sara is running 350 secs || 17597871 markings, 65105796 edges, 49164 markings/sec, 350 secs
lola: sara is running 355 secs || 17841400 markings, 66051748 edges, 48706 markings/sec, 355 secs
lola: sara is running 360 secs || 18085382 markings, 67029233 edges, 48796 markings/sec, 360 secs
lola: sara is running 365 secs || 18326399 markings, 68015844 edges, 48203 markings/sec, 365 secs
lola: sara is running 370 secs || 18567588 markings, 69021000 edges, 48238 markings/sec, 370 secs
lola: sara is running 375 secs || 18802947 markings, 69919986 edges, 47072 markings/sec, 375 secs
lola: sara is running 380 secs || 19056393 markings, 70800415 edges, 50689 markings/sec, 380 secs
lola: sara is running 385 secs || 19303588 markings, 71726846 edges, 49439 markings/sec, 385 secs
lola: sara is running 390 secs || 19550543 markings, 72636594 edges, 49391 markings/sec, 390 secs
lola: sara is running 395 secs || 19797670 markings, 73599620 edges, 49425 markings/sec, 395 secs
lola: sara is running 400 secs || 20042429 markings, 74525786 edges, 48952 markings/sec, 400 secs
lola: sara is running 405 secs || 20287085 markings, 75452213 edges, 48931 markings/sec, 405 secs
lola: sara is running 410 secs || 20534585 markings, 76390056 edges, 49500 markings/sec, 410 secs
lola: sara is running 415 secs || 20781512 markings, 77299365 edges, 49385 markings/sec, 415 secs
lola: sara is running 420 secs || 21029226 markings, 78222547 edges, 49543 markings/sec, 420 secs
lola: sara is running 425 secs || 21261458 markings, 79189998 edges, 46446 markings/sec, 425 secs
lola: sara is running 430 secs || 21507977 markings, 80138468 edges, 49304 markings/sec, 430 secs
lola: sara is running 435 secs || 21748285 markings, 81122141 edges, 48062 markings/sec, 435 secs
lola: sara is running 440 secs || 21986579 markings, 82085577 edges, 47659 markings/sec, 440 secs
lola: sara is running 445 secs || 22227674 markings, 83018065 edges, 48219 markings/sec, 445 secs
lola: sara is running 450 secs || 22473330 markings, 83963571 edges, 49131 markings/sec, 450 secs
lola: sara is running 455 secs || 22717802 markings, 84894569 edges, 48894 markings/sec, 455 secs
lola: sara is running 460 secs || 22958873 markings, 85887299 edges, 48214 markings/sec, 460 secs
lola: sara is running 465 secs || 23204513 markings, 86825063 edges, 49128 markings/sec, 465 secs
lola: sara is running 470 secs || 23441580 markings, 87821946 edges, 47413 markings/sec, 470 secs
lola: sara is running 475 secs || 23678397 markings, 88801314 edges, 47363 markings/sec, 475 secs
lola: sara is running 480 secs || 23917477 markings, 89789097 edges, 47816 markings/sec, 480 secs
lola: sara is running 485 secs || 24160769 markings, 90764690 edges, 48658 markings/sec, 485 secs
lola: sara is running 490 secs || 24399864 markings, 91772433 edges, 47819 markings/sec, 490 secs
lola: sara is running 495 secs || 24635209 markings, 92808946 edges, 47069 markings/sec, 495 secs
lola: sara is running 500 secs || 24867960 markings, 93861397 edges, 46550 markings/sec, 500 secs
lola: sara is running 505 secs || 25104169 markings, 94894263 edges, 47242 markings/sec, 505 secs
lola: sara is running 510 secs || 25336777 markings, 95910785 edges, 46522 markings/sec, 510 secs
lola: sara is running 515 secs || 25565623 markings, 96921710 edges, 45769 markings/sec, 515 secs
lola: sara is running 520 secs || 25796872 markings, 97908728 edges, 46250 markings/sec, 520 secs
lola: sara is running 525 secs || 26028616 markings, 98993750 edges, 46349 markings/sec, 525 secs
lola: sara is running 530 secs || 26280009 markings, 99939255 edges, 50279 markings/sec, 530 secs
lola: sara is running 535 secs || 26534717 markings, 100815327 edges, 50942 markings/sec, 535 secs
lola: sara is running 540 secs || 26784535 markings, 101705529 edges, 49964 markings/sec, 540 secs
lola: sara is running 545 secs || 27039115 markings, 102592506 edges, 50916 markings/sec, 545 secs
lola: sara is running 550 secs || 27288947 markings, 103513156 edges, 49966 markings/sec, 550 secs
lola: sara is running 555 secs || 27535472 markings, 104406569 edges, 49305 markings/sec, 555 secs
lola: sara is running 560 secs || 27788361 markings, 105301741 edges, 50578 markings/sec, 560 secs
lola: sara is running 565 secs || 28037748 markings, 106204963 edges, 49877 markings/sec, 565 secs
lola: sara is running 570 secs || 28284479 markings, 107118577 edges, 49346 markings/sec, 570 secs
lola: sara is running 575 secs || 28532810 markings, 108047134 edges, 49666 markings/sec, 575 secs
lola: sara is running 580 secs || 28778475 markings, 109012363 edges, 49133 markings/sec, 580 secs
lola: sara is running 585 secs || 29020376 markings, 109951361 edges, 48380 markings/sec, 585 secs
lola: sara is running 590 secs || 29271790 markings, 110862901 edges, 50283 markings/sec, 590 secs
lola: sara is running 595 secs || 29524677 markings, 111750511 edges, 50577 markings/sec, 595 secs
lola: sara is running 600 secs || 29774040 markings, 112655742 edges, 49873 markings/sec, 600 secs
lola: sara is running 605 secs || 30022373 markings, 113589561 edges, 49667 markings/sec, 605 secs
lola: sara is running 610 secs || 30271079 markings, 114522042 edges, 49741 markings/sec, 610 secs
lola: sara is running 615 secs || 30517979 markings, 115452466 edges, 49380 markings/sec, 615 secs
lola: sara is running 620 secs || 30761391 markings, 116365742 edges, 48682 markings/sec, 620 secs
lola: sara is running 625 secs || 31010992 markings, 117289430 edges, 49920 markings/sec, 625 secs
lola: sara is running 630 secs || 31256691 markings, 118254169 edges, 49140 markings/sec, 630 secs
lola: sara is running 635 secs || 31498933 markings, 119198548 edges, 48448 markings/sec, 635 secs
lola: sara is running 640 secs || 31742481 markings, 120155269 edges, 48710 markings/sec, 640 secs
lola: sara is running 645 secs || 31985523 markings, 121160023 edges, 48608 markings/sec, 645 secs
lola: sara is running 650 secs || 32221651 markings, 122132919 edges, 47226 markings/sec, 650 secs
lola: sara is running 655 secs || 32440292 markings, 123123780 edges, 43728 markings/sec, 655 secs
lola: sara is running 660 secs || 32637173 markings, 124107411 edges, 39376 markings/sec, 660 secs
lola: sara is running 665 secs || 32889796 markings, 125027000 edges, 50525 markings/sec, 665 secs
lola: sara is running 670 secs || 33137198 markings, 126001441 edges, 49480 markings/sec, 670 secs
lola: sara is running 675 secs || 33380897 markings, 126957374 edges, 48740 markings/sec, 675 secs
lola: sara is running 680 secs || 33630350 markings, 127896408 edges, 49891 markings/sec, 680 secs
lola: sara is running 685 secs || 33873400 markings, 128878098 edges, 48610 markings/sec, 685 secs
lola: sara is running 690 secs || 34114760 markings, 129869801 edges, 48272 markings/sec, 690 secs
lola: sara is running 695 secs || 34358836 markings, 130856535 edges, 48815 markings/sec, 695 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes no no unknown no unknown unknown unknown unknown yes yes unknown unknown no
lola: memory consumption: 1240396 KB
lola: time consumption: 2866 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A28 <= A16) OR (2 <= A29) OR ((A20 <= A7) AND (A8 <= A26)) OR ((A17 <= 2) AND (A15 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A28 <= A16) OR (2 <= A29) OR ((A20 <= A7) AND (A8 <= A26)) OR ((A17 <= 2) AND (A15 <= 2)))))
lola: processed formula length: 103
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: ((A16 + 1 <= A28) AND (A29 <= 1) AND ((A7 + 1 <= A20) OR (A26 + 1 <= A8)) AND ((3 <= A17) OR (3 <= A15)))
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 408673 markings, 955016 edges, 81735 markings/sec, 0 secs
lola: sara is running 5 secs || 786395 markings, 2152609 edges, 75544 markings/sec, 5 secs
lola: sara is running 10 secs || 1171311 markings, 3267259 edges, 76983 markings/sec, 10 secs
lola: sara is running 15 secs || 1555119 markings, 4298782 edges, 76762 markings/sec, 15 secs
lola: sara is running 20 secs || 1923229 markings, 5460968 edges, 73622 markings/sec, 20 secs
lola: sara is running 25 secs || 2270619 markings, 6567581 edges, 69478 markings/sec, 25 secs
lola: sara is running 30 secs || 2630518 markings, 7686897 edges, 71980 markings/sec, 30 secs
lola: sara is running 35 secs || 2999335 markings, 8678975 edges, 73763 markings/sec, 35 secs
lola: sara is running 40 secs || 3353293 markings, 9888047 edges, 70792 markings/sec, 40 secs
lola: sara is running 45 secs || 3712137 markings, 11126514 edges, 71769 markings/sec, 45 secs
lola: sara is running 50 secs || 4043389 markings, 12247914 edges, 66250 markings/sec, 50 secs
lola: sara is running 55 secs || 4369647 markings, 13302526 edges, 65252 markings/sec, 55 secs
lola: sara is running 60 secs || 4690929 markings, 14482591 edges, 64256 markings/sec, 60 secs
lola: sara is running 65 secs || 4997277 markings, 15698511 edges, 61270 markings/sec, 65 secs
lola: sara is running 70 secs || 5324014 markings, 16822842 edges, 65347 markings/sec, 70 secs
lola: sara is running 75 secs || 5641419 markings, 17941653 edges, 63481 markings/sec, 75 secs
lola: sara is running 80 secs || 5946122 markings, 19072361 edges, 60941 markings/sec, 80 secs
lola: sara is running 85 secs || 6249366 markings, 20191883 edges, 60649 markings/sec, 85 secs
lola: sara is running 90 secs || 6556314 markings, 21313706 edges, 61390 markings/sec, 90 secs
lola: sara is running 95 secs || 6824277 markings, 22531293 edges, 53593 markings/sec, 95 secs
lola: sara is running 100 secs || 7133777 markings, 23629331 edges, 61900 markings/sec, 100 secs
lola: sara is running 105 secs || 7468965 markings, 24640747 edges, 67038 markings/sec, 105 secs
lola: sara is running 110 secs || 7782963 markings, 25815729 edges, 62800 markings/sec, 110 secs
lola: sara is running 115 secs || 8100924 markings, 26900005 edges, 63592 markings/sec, 115 secs
lola: sara is running 120 secs || 8411788 markings, 28032723 edges, 62173 markings/sec, 120 secs
lola: sara is running 125 secs || 8703949 markings, 29068804 edges, 58432 markings/sec, 125 secs
lola: sara is running 130 secs || 9000314 markings, 30188455 edges, 59273 markings/sec, 130 secs
lola: sara is running 135 secs || 9324850 markings, 31214731 edges, 64907 markings/sec, 135 secs
lola: sara is running 140 secs || 9644133 markings, 32293280 edges, 63857 markings/sec, 140 secs
lola: sara is running 145 secs || 9971103 markings, 33331034 edges, 65394 markings/sec, 145 secs
lola: sara is running 150 secs || 10290776 markings, 34377862 edges, 63935 markings/sec, 150 secs
lola: sara is running 155 secs || 10596629 markings, 35549210 edges, 61171 markings/sec, 155 secs
lola: sara is running 160 secs || 10909624 markings, 36736699 edges, 62599 markings/sec, 160 secs
lola: sara is running 165 secs || 11210872 markings, 37992552 edges, 60250 markings/sec, 165 secs
lola: sara is running 170 secs || 11524178 markings, 39178105 edges, 62661 markings/sec, 170 secs
lola: sara is running 175 secs || 11828041 markings, 40442604 edges, 60773 markings/sec, 175 secs
lola: sara is running 180 secs || 12147721 markings, 41652778 edges, 63936 markings/sec, 180 secs
lola: sara is running 185 secs || 12526784 markings, 42590161 edges, 75813 markings/sec, 185 secs
lola: sara is running 190 secs || 12891814 markings, 43589600 edges, 73006 markings/sec, 190 secs
lola: sara is running 195 secs || 13242137 markings, 44654097 edges, 70065 markings/sec, 195 secs
lola: sara is running 200 secs || 13554782 markings, 45647562 edges, 62529 markings/sec, 200 secs
lola: sara is running 205 secs || 13868500 markings, 46671925 edges, 62744 markings/sec, 205 secs
lola: sara is running 210 secs || 14171994 markings, 47694678 edges, 60699 markings/sec, 210 secs
lola: sara is running 215 secs || 14477662 markings, 48770964 edges, 61134 markings/sec, 215 secs
lola: sara is running 220 secs || 14791239 markings, 49901019 edges, 62715 markings/sec, 220 secs
lola: sara is running 225 secs || 15112122 markings, 51009093 edges, 64177 markings/sec, 225 secs
lola: sara is running 230 secs || 15404266 markings, 51981857 edges, 58429 markings/sec, 230 secs
lola: sara is running 235 secs || 15713922 markings, 52993462 edges, 61931 markings/sec, 235 secs
lola: sara is running 240 secs || 16016161 markings, 54126997 edges, 60448 markings/sec, 240 secs
lola: sara is running 245 secs || 16326502 markings, 55317767 edges, 62068 markings/sec, 245 secs
lola: sara is running 250 secs || 16631725 markings, 56380184 edges, 61045 markings/sec, 250 secs
lola: sara is running 255 secs || 16920526 markings, 57573087 edges, 57760 markings/sec, 255 secs
lola: sara is running 260 secs || 17262844 markings, 58564775 edges, 68464 markings/sec, 260 secs
lola: sara is running 265 secs || 17600661 markings, 59533901 edges, 67563 markings/sec, 265 secs
lola: sara is running 270 secs || 17905793 markings, 60551772 edges, 61026 markings/sec, 270 secs
lola: sara is running 275 secs || 18220107 markings, 61601102 edges, 62863 markings/sec, 275 secs
lola: sara is running 280 secs || 18539070 markings, 62672150 edges, 63793 markings/sec, 280 secs
lola: sara is running 285 secs || 18860479 markings, 63626106 edges, 64282 markings/sec, 285 secs
lola: sara is running 290 secs || 19184946 markings, 64570325 edges, 64893 markings/sec, 290 secs
lola: sara is running 295 secs || 19491274 markings, 65643216 edges, 61266 markings/sec, 295 secs
lola: sara is running 300 secs || 19807633 markings, 66624573 edges, 63272 markings/sec, 300 secs
lola: sara is running 305 secs || 20066930 markings, 67522357 edges, 51859 markings/sec, 305 secs
lola: sara is running 310 secs || 20325205 markings, 68502207 edges, 51655 markings/sec, 310 secs
lola: sara is running 315 secs || 20583896 markings, 69429992 edges, 51738 markings/sec, 315 secs
lola: sara is running 320 secs || 20882438 markings, 70350253 edges, 59708 markings/sec, 320 secs
lola: sara is running 325 secs || 21268627 markings, 71236293 edges, 77238 markings/sec, 325 secs
lola: sara is running 330 secs || 21561271 markings, 72188990 edges, 58529 markings/sec, 330 secs
lola: sara is running 335 secs || 21859716 markings, 73271233 edges, 59689 markings/sec, 335 secs
lola: sara is running 340 secs || 22154391 markings, 74459978 edges, 58935 markings/sec, 340 secs
lola: sara is running 345 secs || 22413912 markings, 75569286 edges, 51904 markings/sec, 345 secs
lola: sara is running 350 secs || 22676980 markings, 76681544 edges, 52614 markings/sec, 350 secs
lola: sara is running 355 secs || 23007674 markings, 77750721 edges, 66139 markings/sec, 355 secs
lola: sara is running 360 secs || 23310983 markings, 78839894 edges, 60662 markings/sec, 360 secs
lola: sara is running 365 secs || 23615075 markings, 79984374 edges, 60818 markings/sec, 365 secs
lola: sara is running 370 secs || 23913004 markings, 81170088 edges, 59586 markings/sec, 370 secs
lola: sara is running 375 secs || 24186367 markings, 82275044 edges, 54673 markings/sec, 375 secs
lola: sara is running 380 secs || 24448476 markings, 83406130 edges, 52422 markings/sec, 380 secs
lola: sara is running 385 secs || 24739984 markings, 84494188 edges, 58302 markings/sec, 385 secs
lola: sara is running 390 secs || 25053719 markings, 85577321 edges, 62747 markings/sec, 390 secs
lola: sara is running 395 secs || 25346991 markings, 86818266 edges, 58654 markings/sec, 395 secs
lola: sara is running 400 secs || 25628471 markings, 88147432 edges, 56296 markings/sec, 400 secs
lola: sara is running 405 secs || 25895149 markings, 89407273 edges, 53336 markings/sec, 405 secs
lola: sara is running 410 secs || 26194536 markings, 90621817 edges, 59877 markings/sec, 410 secs
lola: sara is running 415 secs || 26524241 markings, 91751256 edges, 65941 markings/sec, 415 secs
lola: sara is running 420 secs || 26835960 markings, 92894448 edges, 62344 markings/sec, 420 secs
lola: sara is running 425 secs || 27127603 markings, 94072276 edges, 58329 markings/sec, 425 secs
lola: sara is running 430 secs || 27430316 markings, 95240800 edges, 60543 markings/sec, 430 secs
lola: sara is running 435 secs || 27738476 markings, 96457354 edges, 61632 markings/sec, 435 secs
lola: sara is running 440 secs || 28047853 markings, 97526902 edges, 61875 markings/sec, 440 secs
lola: sara is running 445 secs || 28349438 markings, 98704556 edges, 60317 markings/sec, 445 secs
lola: sara is running 450 secs || 28640007 markings, 99834801 edges, 58114 markings/sec, 450 secs
lola: sara is running 455 secs || 28891770 markings, 100937751 edges, 50353 markings/sec, 455 secs
lola: sara is running 460 secs || 29145514 markings, 102050854 edges, 50749 markings/sec, 460 secs
lola: sara is running 465 secs || 29476265 markings, 103108459 edges, 66150 markings/sec, 465 secs
lola: sara is running 470 secs || 29760372 markings, 104267629 edges, 56821 markings/sec, 470 secs
lola: sara is running 475 secs || 30052330 markings, 105575001 edges, 58392 markings/sec, 475 secs
lola: sara is running 480 secs || 30313398 markings, 106841568 edges, 52214 markings/sec, 480 secs
lola: sara is running 485 secs || 30604725 markings, 108067643 edges, 58265 markings/sec, 485 secs
lola: sara is running 490 secs || 30903375 markings, 109286161 edges, 59730 markings/sec, 490 secs
lola: sara is running 495 secs || 31200063 markings, 110596554 edges, 59338 markings/sec, 495 secs
lola: sara is running 500 secs || 31486197 markings, 111899568 edges, 57227 markings/sec, 500 secs
lola: sara is running 505 secs || 31748836 markings, 113149658 edges, 52528 markings/sec, 505 secs
lola: sara is running 510 secs || 32040327 markings, 114376540 edges, 58298 markings/sec, 510 secs
lola: sara is running 515 secs || 32315677 markings, 115664530 edges, 55070 markings/sec, 515 secs
lola: sara is running 520 secs || 32605032 markings, 117101310 edges, 57871 markings/sec, 520 secs
lola: sara is running 525 secs || 32872587 markings, 118488933 edges, 53511 markings/sec, 525 secs
lola: sara is running 530 secs || 33161946 markings, 119817717 edges, 57872 markings/sec, 530 secs
lola: sara is running 535 secs || 33465654 markings, 120941626 edges, 60742 markings/sec, 535 secs
lola: sara is running 540 secs || 33814579 markings, 121921127 edges, 69785 markings/sec, 540 secs
lola: sara is running 545 secs || 34164951 markings, 122955866 edges, 70074 markings/sec, 545 secs
lola: sara is running 550 secs || 34512489 markings, 123922924 edges, 69508 markings/sec, 550 secs
lola: sara is running 555 secs || 34848582 markings, 124967397 edges, 67219 markings/sec, 555 secs
lola: sara is running 560 secs || 35166386 markings, 126060500 edges, 63561 markings/sec, 560 secs
lola: sara is running 565 secs || 35485790 markings, 127115869 edges, 63881 markings/sec, 565 secs
lola: sara is running 570 secs || 35818580 markings, 128260674 edges, 66558 markings/sec, 570 secs
lola: sara is running 575 secs || 36131146 markings, 129478262 edges, 62513 markings/sec, 575 secs
lola: sara is running 580 secs || 36460271 markings, 130710891 edges, 65825 markings/sec, 580 secs
lola: sara is running 585 secs || 36799756 markings, 131888380 edges, 67897 markings/sec, 585 secs
lola: sara is running 590 secs || 37119048 markings, 133129242 edges, 63858 markings/sec, 590 secs
lola: sara is running 595 secs || 37449421 markings, 134441086 edges, 66075 markings/sec, 595 secs
lola: sara is running 600 secs || 37791016 markings, 135518712 edges, 68319 markings/sec, 600 secs
lola: sara is running 605 secs || 38107630 markings, 136620179 edges, 63323 markings/sec, 605 secs
lola: sara is running 610 secs || 38442204 markings, 137705289 edges, 66915 markings/sec, 610 secs
lola: sara is running 615 secs || 38782868 markings, 138698425 edges, 68133 markings/sec, 615 secs
lola: sara is running 620 secs || 39108345 markings, 139849735 edges, 65095 markings/sec, 620 secs
lola: sara is running 625 secs || 39431606 markings, 141070795 edges, 64652 markings/sec, 625 secs
lola: sara is running 630 secs || 39760178 markings, 142243145 edges, 65714 markings/sec, 630 secs
lola: sara is running 635 secs || 40083039 markings, 143523591 edges, 64572 markings/sec, 635 secs
lola: sara is running 640 secs || 40389563 markings, 144756112 edges, 61305 markings/sec, 640 secs
lola: sara is running 645 secs || 40685893 markings, 145775541 edges, 59266 markings/sec, 645 secs
lola: sara is running 650 secs || 40987940 markings, 146804790 edges, 60409 markings/sec, 650 secs
lola: sara is running 655 secs || 41280133 markings, 147923876 edges, 58439 markings/sec, 655 secs
lola: sara is running 660 secs || 41576421 markings, 149132860 edges, 59258 markings/sec, 660 secs
lola: sara is running 665 secs || 41872048 markings, 150293331 edges, 59125 markings/sec, 665 secs
lola: sara is running 670 secs || 42168397 markings, 151536836 edges, 59270 markings/sec, 670 secs
lola: sara is running 675 secs || 42470528 markings, 152694398 edges, 60426 markings/sec, 675 secs
lola: sara is running 680 secs || 42774103 markings, 153897299 edges, 60715 markings/sec, 680 secs
lola: sara is running 685 secs || 43082626 markings, 155025129 edges, 61705 markings/sec, 685 secs
lola: sara is running 690 secs || 43367347 markings, 156127793 edges, 56944 markings/sec, 690 secs
lola: sara is running 695 secs || 43655670 markings, 157289706 edges, 57665 markings/sec, 695 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no no unknown no unknown unknown unknown unknown yes yes unknown unknown no
lola:
preliminary result: no yes yes no no unknown no unknown unknown unknown unknown yes yes unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no no unknown no unknown unknown unknown unknown yes yes unknown unknown no
lola: memory consumption: 1568276 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no no unknown no unknown unknown unknown unknown yes yes unknown unknown no
lola: memory consumption: 1568360 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-17redondantChoiceL"
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-17redondantChoiceL.tgz
mv DNAwalker-PT-17redondantChoiceL 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-17redondantChoiceL, 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-152649735500341"
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 ;