About the Execution of LoLA for DNAwalker-PT-04track28LL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.100 | 3600000.00 | 4537049.00 | 18937.00 | ?FFT?FFTFTT?TTFF | 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 268K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-04track28LL, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400248
=====================================================================
--------------------
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-04track28LL-CTLCardinality-00
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-01
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-02
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-03
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-04
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-05
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-06
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-07
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-08
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-09
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-10
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-11
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-12
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-13
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-14
FORMULA_NAME DNAwalker-PT-04track28LL-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526755100506
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-04track28LL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-04track28LL formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DNAwalker-PT-04track28LL @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1088
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-04track28LL-CTLCardinality.task
lola: always true
lola: always true
lola: LP says that atomic proposition is always false: (2 <= B18)
lola: LP says that atomic proposition is always false: (3 <= B19)
lola: always true
lola: ((A (F ((A24 <= A8))) AND E (((A5 <= B9) U (A26 <= A18)))) AND E (G (((2 <= A9) OR (2 <= A16) OR ((A28 <= A25)))))) : A ((((A8 <= A28) OR (1 <= A16) OR (A24 <= B18)) U A (F ((3 <= A9))))) : A (F ((3 <= A6))) : A (F (E (G (((A19 <= A18)))))) : A (G ((E (F ((2 <= A1))) OR A (F ((A26 <= B26)))))) : A (F (A (G ((A6 + 1 <= A12))))) : ((1 <= B27) AND A (G (E (F ((A24 <= B19)))))) : (E (G ((((1 <= A3) OR (A9 <= A3)) AND ((2 <= A28) OR (A18 <= A19))))) AND E (G ((A8 <= B18)))) : A (F (((3 <= A20) AND (B9 <= A2)))) : E (G (E (X (((A20 <= B9) OR (A20 <= A23)))))) : E (G (E (F (((A17 <= A28) AND (A15 <= A12)))))) : (E (F ((3 <= A12))) OR E (F (A (G ((B26 <= B10)))))) : A (F (((A1 + 1 <= A5)))) : A ((((B18 <= B27) OR (A8 <= A28)) U (A1 <= A12))) : A ((E (F ((1 <= A4))) U ((A13 <= B9) AND (1 <= A1) AND (A8 + 1 <= A26)))) : NOT(A (G (A (F (TRUE)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 199 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: 8 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X (((A20 <= B9) OR (A20 <= A23))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(EX(((A20 <= B9) OR (A20 <= A23))))))
lola: processed formula length: 54
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((3 <= A9)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A9 <= 2)
lola: processed formula length: 9
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 11 markings, 11 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((3 <= A6)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A6 <= 2)
lola: processed formula length: 9
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((A1 + 1 <= A5))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((A5 <= A1))
lola: processed formula length: 12
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 127 markings, 126 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((3 <= A20) AND (B9 <= A2))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((A20 <= 2) OR (A2 + 1 <= B9))
lola: processed formula length: 31
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 11 markings, 11 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (((A19 <= A18))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U ((A18 + 1 <= A19)))))
lola: processed formula length: 43
lola: 11 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 35 markings, 36 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (F ((1 <= A4))) U ((A13 <= B9) AND (1 <= A1) AND (A8 + 1 <= A26))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(E(TRUE U (1 <= A4)) U ((A13 <= B9) AND (1 <= A1) AND (A8 + 1 <= A26)))
lola: processed formula length: 72
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 26 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 398 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((2 <= A1))) OR A (F ((A26 <= B26))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U (2 <= A1))) AND NOT(A(TRUE U (A26 <= B26))))))
lola: processed formula length: 73
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1270572 markings, 3889879 edges, 254114 markings/sec, 0 secs
lola: 2413890 markings, 7812335 edges, 228664 markings/sec, 5 secs
lola: 3526637 markings, 11621931 edges, 222549 markings/sec, 10 secs
lola: 4612120 markings, 15411118 edges, 217097 markings/sec, 15 secs
lola: 5564689 markings, 19940679 edges, 190514 markings/sec, 20 secs
lola: 6486868 markings, 24583851 edges, 184436 markings/sec, 25 secs
lola: 7356620 markings, 29194533 edges, 173950 markings/sec, 30 secs
lola: 8205340 markings, 33748825 edges, 169744 markings/sec, 35 secs
lola: 8923403 markings, 38580417 edges, 143613 markings/sec, 40 secs
lola: 9760541 markings, 42935128 edges, 167428 markings/sec, 45 secs
lola: 10571815 markings, 47207856 edges, 162255 markings/sec, 50 secs
lola: 11286251 markings, 52074351 edges, 142887 markings/sec, 55 secs
lola: 11951113 markings, 56955403 edges, 132972 markings/sec, 60 secs
lola: 12804297 markings, 61677823 edges, 170637 markings/sec, 65 secs
lola: 13708015 markings, 66249706 edges, 180744 markings/sec, 70 secs
lola: 14531313 markings, 70809309 edges, 164660 markings/sec, 75 secs
lola: 15240414 markings, 75589823 edges, 141820 markings/sec, 80 secs
lola: 15909955 markings, 80293121 edges, 133908 markings/sec, 85 secs
lola: 16546024 markings, 85175117 edges, 127214 markings/sec, 90 secs
lola: 17221020 markings, 89979912 edges, 134999 markings/sec, 95 secs
lola: 17773195 markings, 94970152 edges, 110435 markings/sec, 100 secs
lola: 18698208 markings, 99598323 edges, 185003 markings/sec, 105 secs
lola: 19580636 markings, 104138430 edges, 176486 markings/sec, 110 secs
lola: 20400359 markings, 108687969 edges, 163945 markings/sec, 115 secs
lola: 21101394 markings, 113439312 edges, 140207 markings/sec, 120 secs
lola: 21763826 markings, 118121728 edges, 132486 markings/sec, 125 secs
lola: 22374835 markings, 122930346 edges, 122202 markings/sec, 130 secs
lola: 23061609 markings, 127690147 edges, 137355 markings/sec, 135 secs
lola: 23647618 markings, 132566157 edges, 117202 markings/sec, 140 secs
lola: 24273839 markings, 137433043 edges, 125244 markings/sec, 145 secs
lola: 24969779 markings, 142131255 edges, 139188 markings/sec, 150 secs
lola: 25587468 markings, 146914916 edges, 123538 markings/sec, 155 secs
lola: 26138704 markings, 151644169 edges, 110247 markings/sec, 160 secs
lola: 26684380 markings, 156521785 edges, 109135 markings/sec, 165 secs
lola: 27185921 markings, 161436483 edges, 100308 markings/sec, 170 secs
lola: 28236302 markings, 165871212 edges, 210076 markings/sec, 175 secs
lola: 29302440 markings, 169946060 edges, 213228 markings/sec, 180 secs
lola: 30300646 markings, 173682394 edges, 199641 markings/sec, 185 secs
lola: 31213024 markings, 177923009 edges, 182476 markings/sec, 190 secs
lola: 32185087 markings, 182122627 edges, 194413 markings/sec, 195 secs
lola: 33136968 markings, 186136564 edges, 190376 markings/sec, 200 secs
lola: 34098597 markings, 190047542 edges, 192326 markings/sec, 205 secs
lola: 35004060 markings, 194248709 edges, 181093 markings/sec, 210 secs
lola: 35918120 markings, 198238678 edges, 182812 markings/sec, 215 secs
lola: 36876265 markings, 202012068 edges, 191629 markings/sec, 220 secs
lola: 37773363 markings, 206005246 edges, 179420 markings/sec, 225 secs
lola: 38629056 markings, 210254547 edges, 171139 markings/sec, 230 secs
lola: 39512584 markings, 214156937 edges, 176706 markings/sec, 235 secs
lola: 40376693 markings, 218404038 edges, 172822 markings/sec, 240 secs
lola: 41135505 markings, 222548943 edges, 151762 markings/sec, 245 secs
lola: 41908443 markings, 227095973 edges, 154588 markings/sec, 250 secs
lola: 42680812 markings, 231518039 edges, 154474 markings/sec, 255 secs
lola: 43447579 markings, 235884543 edges, 153353 markings/sec, 260 secs
lola: 44176865 markings, 240302579 edges, 145857 markings/sec, 265 secs
lola: 44929889 markings, 244847126 edges, 150605 markings/sec, 270 secs
lola: 45701071 markings, 249187682 edges, 154236 markings/sec, 275 secs
lola: 46437727 markings, 253511890 edges, 147331 markings/sec, 280 secs
lola: 47121419 markings, 258003284 edges, 136738 markings/sec, 285 secs
lola: 47874250 markings, 262310417 edges, 150566 markings/sec, 290 secs
lola: 48575788 markings, 266683249 edges, 140308 markings/sec, 295 secs
lola: 49225388 markings, 271173417 edges, 129920 markings/sec, 300 secs
lola: 49911858 markings, 275513746 edges, 137294 markings/sec, 305 secs
lola: 50600373 markings, 279851132 edges, 137703 markings/sec, 310 secs
lola: 51234157 markings, 284280654 edges, 126757 markings/sec, 315 secs
lola: 51829404 markings, 288819329 edges, 119049 markings/sec, 320 secs
lola: 52410367 markings, 293376237 edges, 116193 markings/sec, 325 secs
lola: 53005475 markings, 297914186 edges, 119022 markings/sec, 330 secs
lola: 53750940 markings, 302136513 edges, 149093 markings/sec, 335 secs
lola: 54424545 markings, 306505563 edges, 134721 markings/sec, 340 secs
lola: 55130684 markings, 310791187 edges, 141228 markings/sec, 345 secs
lola: 55873770 markings, 314972410 edges, 148617 markings/sec, 350 secs
lola: 56552846 markings, 319432092 edges, 135815 markings/sec, 355 secs
lola: 57249004 markings, 323771637 edges, 139232 markings/sec, 360 secs
lola: 57937874 markings, 327967700 edges, 137774 markings/sec, 365 secs
lola: 58565642 markings, 332677504 edges, 125554 markings/sec, 370 secs
lola: 59177727 markings, 337304872 edges, 122417 markings/sec, 375 secs
lola: 59793446 markings, 341917560 edges, 123144 markings/sec, 380 secs
lola: 60393075 markings, 346572894 edges, 119926 markings/sec, 385 secs
lola: 60947573 markings, 351324202 edges, 110900 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes unknown unknown unknown unknown no yes unknown unknown yes unknown no no
lola: memory consumption: 4571768 KB
lola: time consumption: 783 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 398 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((A6 + 1 <= A12)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A12 <= A6)
lola: processed formula length: 11
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((B18 <= B27) OR (A8 <= A28)) U (A1 <= A12)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((((B18 <= B27) OR (A8 <= A28)) U (A1 <= A12)))
lola: processed formula length: 50
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: Predicate Phi holds until Predicate Psi on all paths.
lola: 127 markings, 126 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= B27) AND A (G (E (F ((A24 <= B19))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= B27)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= B27)
lola: processed formula length: 10
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: processed formula with 1 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: ========================================
lola: subprocess 12 will run for 696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((A24 <= B19)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (A24 <= B19)
lola: processed formula length: 12
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 1006236 markings, 3135527 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola:
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 695 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (((A17 <= A28) AND (A15 <= A12))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: ((A17 <= A28) AND (A15 <= A12))
lola: processed formula length: 31
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 927 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((3 <= A12))) OR E (F (A (G ((B26 <= B10))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 927 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A12)))
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 <= A12)))
lola: processed formula length: 18
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.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 <= A12)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-04track28LL-CTLCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-04track28LL-CTLCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 811667 markings, 1712698 edges, 162333 markings/sec, 0 secs
lola: sara is running 5 secs || 1566606 markings, 3698633 edges, 150988 markings/sec, 5 secs
lola: sara is running 10 secs || 2264162 markings, 5544006 edges, 139511 markings/sec, 10 secs
lola: sara is running 15 secs || 2762529 markings, 7145042 edges, 99673 markings/sec, 15 secs
lola: sara is running 20 secs || 3246756 markings, 8697561 edges, 96845 markings/sec, 20 secs
lola: sara is running 25 secs || 3741433 markings, 10241887 edges, 98935 markings/sec, 25 secs
lola: sara is running 30 secs || 4216101 markings, 11802793 edges, 94934 markings/sec, 30 secs
lola: sara is running 35 secs || 4689729 markings, 13387716 edges, 94726 markings/sec, 35 secs
lola: sara is running 40 secs || 5173434 markings, 14957572 edges, 96741 markings/sec, 40 secs
lola: sara is running 45 secs || 5649930 markings, 16504788 edges, 95299 markings/sec, 45 secs
lola: sara is running 50 secs || 6117904 markings, 18090853 edges, 93595 markings/sec, 50 secs
lola: sara is running 55 secs || 6735402 markings, 19806972 edges, 123500 markings/sec, 55 secs
lola: sara is running 60 secs || 7448433 markings, 21631024 edges, 142606 markings/sec, 60 secs
lola: sara is running 65 secs || 8133369 markings, 23372452 edges, 136987 markings/sec, 65 secs
lola: sara is running 70 secs || 8810174 markings, 25092059 edges, 135361 markings/sec, 70 secs
lola: sara is running 75 secs || 9413355 markings, 27269216 edges, 120636 markings/sec, 75 secs
lola: sara is running 80 secs || 9967050 markings, 29345470 edges, 110739 markings/sec, 80 secs
lola: sara is running 85 secs || 10646886 markings, 31249855 edges, 135967 markings/sec, 85 secs
lola: sara is running 90 secs || 11329493 markings, 32979837 edges, 136521 markings/sec, 90 secs
lola: sara is running 95 secs || 11904125 markings, 35066853 edges, 114926 markings/sec, 95 secs
lola: sara is running 100 secs || 12588178 markings, 36940710 edges, 136811 markings/sec, 100 secs
lola: sara is running 105 secs || 13128090 markings, 38687244 edges, 107982 markings/sec, 105 secs
lola: sara is running 110 secs || 13546787 markings, 40279741 edges, 83739 markings/sec, 110 secs
lola: sara is running 115 secs || 14026837 markings, 41914640 edges, 96010 markings/sec, 115 secs
lola: sara is running 120 secs || 14614930 markings, 43468689 edges, 117619 markings/sec, 120 secs
lola: sara is running 125 secs || 15115552 markings, 45328795 edges, 100124 markings/sec, 125 secs
lola: sara is running 130 secs || 15716170 markings, 47025615 edges, 120124 markings/sec, 130 secs
lola: sara is running 135 secs || 16250369 markings, 48734990 edges, 106840 markings/sec, 135 secs
lola: sara is running 140 secs || 16700998 markings, 50405379 edges, 90126 markings/sec, 140 secs
lola: sara is running 145 secs || 17099814 markings, 52074339 edges, 79763 markings/sec, 145 secs
lola: sara is running 150 secs || 17695956 markings, 53774300 edges, 119228 markings/sec, 150 secs
lola: sara is running 155 secs || 18285980 markings, 55353689 edges, 118005 markings/sec, 155 secs
lola: sara is running 160 secs || 18839809 markings, 57102816 edges, 110766 markings/sec, 160 secs
lola: sara is running 165 secs || 19406459 markings, 58864053 edges, 113330 markings/sec, 165 secs
lola: sara is running 170 secs || 19976994 markings, 60520574 edges, 114107 markings/sec, 170 secs
lola: sara is running 175 secs || 20543170 markings, 62166050 edges, 113235 markings/sec, 175 secs
lola: sara is running 180 secs || 21019121 markings, 63804769 edges, 95190 markings/sec, 180 secs
lola: sara is running 185 secs || 21567156 markings, 65448261 edges, 109607 markings/sec, 185 secs
lola: sara is running 190 secs || 22081989 markings, 67073293 edges, 102967 markings/sec, 190 secs
lola: sara is running 195 secs || 22637716 markings, 68763304 edges, 111145 markings/sec, 195 secs
lola: sara is running 200 secs || 23163914 markings, 70689321 edges, 105240 markings/sec, 200 secs
lola: sara is running 205 secs || 23662202 markings, 72703002 edges, 99658 markings/sec, 205 secs
lola: sara is running 210 secs || 24146212 markings, 74777361 edges, 96802 markings/sec, 210 secs
lola: sara is running 215 secs || 24615027 markings, 76809855 edges, 93763 markings/sec, 215 secs
lola: sara is running 220 secs || 25069489 markings, 78801566 edges, 90892 markings/sec, 220 secs
lola: sara is running 225 secs || 25536720 markings, 80822257 edges, 93446 markings/sec, 225 secs
lola: sara is running 230 secs || 26014830 markings, 82646631 edges, 95622 markings/sec, 230 secs
lola: sara is running 235 secs || 26616506 markings, 84358874 edges, 120335 markings/sec, 235 secs
lola: sara is running 240 secs || 27229589 markings, 86050278 edges, 122617 markings/sec, 240 secs
lola: sara is running 245 secs || 27747406 markings, 87695150 edges, 103563 markings/sec, 245 secs
lola: sara is running 250 secs || 28310448 markings, 89375852 edges, 112608 markings/sec, 250 secs
lola: sara is running 255 secs || 28846772 markings, 91173925 edges, 107265 markings/sec, 255 secs
lola: sara is running 260 secs || 29368566 markings, 93232131 edges, 104359 markings/sec, 260 secs
lola: sara is running 265 secs || 29831245 markings, 95257586 edges, 92536 markings/sec, 265 secs
lola: sara is running 270 secs || 30270971 markings, 97209558 edges, 87945 markings/sec, 270 secs
lola: sara is running 275 secs || 30815504 markings, 98862365 edges, 108907 markings/sec, 275 secs
lola: sara is running 280 secs || 31382549 markings, 100498442 edges, 113409 markings/sec, 280 secs
lola: sara is running 285 secs || 31881017 markings, 102382512 edges, 99694 markings/sec, 285 secs
lola: sara is running 290 secs || 32353780 markings, 104384819 edges, 94553 markings/sec, 290 secs
lola: sara is running 295 secs || 32908116 markings, 106117842 edges, 110867 markings/sec, 295 secs
lola: sara is running 300 secs || 33453846 markings, 107900052 edges, 109146 markings/sec, 300 secs
lola: sara is running 305 secs || 33982574 markings, 109717080 edges, 105746 markings/sec, 305 secs
lola: sara is running 310 secs || 34553306 markings, 111541349 edges, 114146 markings/sec, 310 secs
lola: sara is running 315 secs || 35160584 markings, 113121845 edges, 121456 markings/sec, 315 secs
lola: sara is running 320 secs || 35718342 markings, 115084732 edges, 111552 markings/sec, 320 secs
lola: sara is running 325 secs || 36239879 markings, 117191392 edges, 104307 markings/sec, 325 secs
lola: sara is running 330 secs || 36615074 markings, 118988148 edges, 75039 markings/sec, 330 secs
lola: sara is running 335 secs || 36979159 markings, 120815291 edges, 72817 markings/sec, 335 secs
lola: sara is running 340 secs || 37344355 markings, 122634411 edges, 73039 markings/sec, 340 secs
lola: sara is running 345 secs || 37709601 markings, 124499926 edges, 73049 markings/sec, 345 secs
lola: sara is running 350 secs || 38073068 markings, 126341169 edges, 72693 markings/sec, 350 secs
lola: sara is running 355 secs || 38436138 markings, 128103707 edges, 72614 markings/sec, 355 secs
lola: sara is running 360 secs || 38794984 markings, 129893646 edges, 71769 markings/sec, 360 secs
lola: sara is running 365 secs || 39147088 markings, 131677262 edges, 70421 markings/sec, 365 secs
lola: sara is running 370 secs || 39499459 markings, 133505189 edges, 70474 markings/sec, 370 secs
lola: sara is running 375 secs || 39867770 markings, 135204245 edges, 73662 markings/sec, 375 secs
lola: sara is running 380 secs || 40233754 markings, 136951385 edges, 73197 markings/sec, 380 secs
lola: sara is running 385 secs || 40596399 markings, 138751144 edges, 72529 markings/sec, 385 secs
lola: sara is running 390 secs || 40955386 markings, 140536518 edges, 71797 markings/sec, 390 secs
lola: sara is running 395 secs || 41313015 markings, 142252496 edges, 71526 markings/sec, 395 secs
lola: sara is running 400 secs || 41665374 markings, 144033879 edges, 70472 markings/sec, 400 secs
lola: sara is running 405 secs || 42017151 markings, 145779592 edges, 70355 markings/sec, 405 secs
lola: sara is running 410 secs || 42376680 markings, 147563870 edges, 71906 markings/sec, 410 secs
lola: sara is running 415 secs || 42737622 markings, 149276458 edges, 72188 markings/sec, 415 secs
lola: sara is running 420 secs || 43102336 markings, 151003971 edges, 72943 markings/sec, 420 secs
lola: sara is running 425 secs || 43704310 markings, 152398470 edges, 120395 markings/sec, 425 secs
lola: sara is running 430 secs || 44198599 markings, 153858638 edges, 98858 markings/sec, 430 secs
lola: sara is running 435 secs || 44609045 markings, 155386188 edges, 82089 markings/sec, 435 secs
lola: sara is running 440 secs || 45020240 markings, 156904671 edges, 82239 markings/sec, 440 secs
lola: sara is running 445 secs || 45426692 markings, 158451435 edges, 81290 markings/sec, 445 secs
lola: sara is running 450 secs || 45829259 markings, 159986545 edges, 80513 markings/sec, 450 secs
lola: sara is running 455 secs || 46229649 markings, 161521841 edges, 80078 markings/sec, 455 secs
lola: sara is running 460 secs || 46770567 markings, 163085360 edges, 108184 markings/sec, 460 secs
lola: sara is running 465 secs || 47393413 markings, 164693006 edges, 124569 markings/sec, 465 secs
lola: sara is running 470 secs || 47968264 markings, 166257445 edges, 114970 markings/sec, 470 secs
lola: sara is running 475 secs || 48454230 markings, 167574481 edges, 97193 markings/sec, 475 secs
lola: sara is running 480 secs || 49011056 markings, 169132011 edges, 111365 markings/sec, 480 secs
lola: sara is running 485 secs || 49602542 markings, 170824995 edges, 118297 markings/sec, 485 secs
lola: sara is running 490 secs || 50221810 markings, 172564050 edges, 123854 markings/sec, 490 secs
lola: sara is running 495 secs || 50803846 markings, 174249924 edges, 116407 markings/sec, 495 secs
lola: sara is running 500 secs || 51393424 markings, 175957838 edges, 117916 markings/sec, 500 secs
lola: sara is running 505 secs || 51958506 markings, 177620749 edges, 113016 markings/sec, 505 secs
lola: sara is running 510 secs || 52498637 markings, 179241708 edges, 108026 markings/sec, 510 secs
lola: sara is running 515 secs || 53034396 markings, 180843519 edges, 107152 markings/sec, 515 secs
lola: sara is running 520 secs || 53565640 markings, 182441149 edges, 106249 markings/sec, 520 secs
lola: sara is running 525 secs || 54107994 markings, 184175676 edges, 108471 markings/sec, 525 secs
lola: sara is running 530 secs || 54605838 markings, 186144328 edges, 99569 markings/sec, 530 secs
lola: sara is running 535 secs || 55101605 markings, 188088780 edges, 99153 markings/sec, 535 secs
lola: sara is running 540 secs || 55597215 markings, 189987735 edges, 99122 markings/sec, 540 secs
lola: sara is running 545 secs || 56092692 markings, 191626215 edges, 99095 markings/sec, 545 secs
lola: sara is running 550 secs || 56652508 markings, 193315434 edges, 111963 markings/sec, 550 secs
lola: sara is running 555 secs || 57246764 markings, 195013053 edges, 118851 markings/sec, 555 secs
lola: sara is running 560 secs || 57787740 markings, 196703250 edges, 108195 markings/sec, 560 secs
lola: sara is running 565 secs || 58327218 markings, 198414171 edges, 107896 markings/sec, 565 secs
lola: sara is running 570 secs || 58928707 markings, 200139322 edges, 120298 markings/sec, 570 secs
lola: sara is running 575 secs || 59487286 markings, 201880251 edges, 111716 markings/sec, 575 secs
lola: sara is running 580 secs || 60030162 markings, 203488416 edges, 108575 markings/sec, 580 secs
lola: sara is running 585 secs || 60551991 markings, 205204242 edges, 104366 markings/sec, 585 secs
lola: sara is running 590 secs || 61031069 markings, 207075057 edges, 95816 markings/sec, 590 secs
lola: sara is running 595 secs || 61537728 markings, 208575285 edges, 101332 markings/sec, 595 secs
lola: sara is running 600 secs || 61909653 markings, 210237193 edges, 74385 markings/sec, 600 secs
lola: sara is running 605 secs || 62276201 markings, 211865103 edges, 73310 markings/sec, 605 secs
lola: sara is running 610 secs || 62640105 markings, 213512311 edges, 72781 markings/sec, 610 secs
lola: sara is running 615 secs || 62999747 markings, 215147451 edges, 71928 markings/sec, 615 secs
lola: sara is running 620 secs || 63516013 markings, 216770588 edges, 103253 markings/sec, 620 secs
lola: sara is running 625 secs || 64037501 markings, 218392534 edges, 104298 markings/sec, 625 secs
lola: sara is running 630 secs || 64500000 markings, 220021164 edges, 92500 markings/sec, 630 secs
lola: sara is running 635 secs || 64997328 markings, 221685090 edges, 99466 markings/sec, 635 secs
lola: sara is running 640 secs || 65557302 markings, 223400816 edges, 111995 markings/sec, 640 secs
lola: sara is running 645 secs || 66056961 markings, 225089217 edges, 99932 markings/sec, 645 secs
lola: sara is running 650 secs || 66604372 markings, 226840146 edges, 109482 markings/sec, 650 secs
lola: sara is running 655 secs || 67168618 markings, 228551279 edges, 112849 markings/sec, 655 secs
lola: sara is running 660 secs || 67662767 markings, 230209352 edges, 98830 markings/sec, 660 secs
lola: sara is running 665 secs || 68029813 markings, 231880249 edges, 73409 markings/sec, 665 secs
lola: sara is running 670 secs || 68400569 markings, 233534189 edges, 74151 markings/sec, 670 secs
lola: sara is running 675 secs || 68863821 markings, 235190658 edges, 92650 markings/sec, 675 secs
lola: sara is running 680 secs || 69417590 markings, 236905336 edges, 110754 markings/sec, 680 secs
lola: sara is running 685 secs || 69984794 markings, 238622782 edges, 113441 markings/sec, 685 secs
lola: sara is running 690 secs || 70495438 markings, 240282398 edges, 102129 markings/sec, 690 secs
lola: sara is running 695 secs || 70904852 markings, 241978640 edges, 81883 markings/sec, 695 secs
lola: sara is running 700 secs || 71326538 markings, 243670593 edges, 84337 markings/sec, 700 secs
lola: sara is running 705 secs || 71755241 markings, 245392114 edges, 85741 markings/sec, 705 secs
lola: sara is running 710 secs || 72218271 markings, 247096268 edges, 92606 markings/sec, 710 secs
lola: sara is running 715 secs || 72687987 markings, 248809076 edges, 93943 markings/sec, 715 secs
lola: sara is running 720 secs || 73236956 markings, 250523729 edges, 109794 markings/sec, 720 secs
lola: sara is running 725 secs || 73758558 markings, 252327747 edges, 104320 markings/sec, 725 secs
lola: sara is running 730 secs || 74254044 markings, 254122183 edges, 99097 markings/sec, 730 secs
lola: sara is running 735 secs || 74653998 markings, 256063024 edges, 79991 markings/sec, 735 secs
lola: sara is running 740 secs || 74999732 markings, 258024423 edges, 69147 markings/sec, 740 secs
lola: sara is running 745 secs || 75343045 markings, 260014898 edges, 68663 markings/sec, 745 secs
lola: sara is running 750 secs || 75750617 markings, 261988365 edges, 81514 markings/sec, 750 secs
lola: sara is running 755 secs || 76276436 markings, 263939188 edges, 105164 markings/sec, 755 secs
lola: sara is running 760 secs || 76745197 markings, 265816399 edges, 93752 markings/sec, 760 secs
lola: sara is running 765 secs || 77176746 markings, 267633213 edges, 86310 markings/sec, 765 secs
lola: sara is running 770 secs || 77694456 markings, 269676814 edges, 103542 markings/sec, 770 secs
lola: sara is running 775 secs || 78186871 markings, 271644985 edges, 98483 markings/sec, 775 secs
lola: sara is running 780 secs || 78661030 markings, 273590060 edges, 94832 markings/sec, 780 secs
lola: sara is running 785 secs || 79121418 markings, 275530281 edges, 92078 markings/sec, 785 secs
lola: sara is running 790 secs || 79575831 markings, 277667627 edges, 90883 markings/sec, 790 secs
lola: sara is running 795 secs || 80013804 markings, 279858237 edges, 87595 markings/sec, 795 secs
lola: sara is running 800 secs || 80466166 markings, 281869907 edges, 90472 markings/sec, 800 secs
lola: sara is running 805 secs || 80930450 markings, 283890987 edges, 92857 markings/sec, 805 secs
lola: sara is running 810 secs || 81415774 markings, 285920704 edges, 97065 markings/sec, 810 secs
lola: sara is running 815 secs || 81910615 markings, 287952181 edges, 98968 markings/sec, 815 secs
lola: sara is running 820 secs || 82379355 markings, 289891225 edges, 93748 markings/sec, 820 secs
lola: sara is running 825 secs || 82805101 markings, 291944236 edges, 85149 markings/sec, 825 secs
lola: sara is running 830 secs || 83149562 markings, 293953328 edges, 68892 markings/sec, 830 secs
lola: sara is running 835 secs || 83465299 markings, 295994505 edges, 63147 markings/sec, 835 secs
lola: sara is running 840 secs || 83834892 markings, 297995384 edges, 73919 markings/sec, 840 secs
lola: sara is running 845 secs || 84275367 markings, 299951907 edges, 88095 markings/sec, 845 secs
lola: sara is running 850 secs || 84681931 markings, 301961842 edges, 81313 markings/sec, 850 secs
lola: sara is running 855 secs || 85134538 markings, 303988283 edges, 90521 markings/sec, 855 secs
lola: sara is running 860 secs || 85619608 markings, 306009871 edges, 97014 markings/sec, 860 secs
lola: sara is running 865 secs || 86027519 markings, 308045644 edges, 81582 markings/sec, 865 secs
lola: sara is running 870 secs || 86369310 markings, 310112832 edges, 68358 markings/sec, 870 secs
lola: sara is running 875 secs || 86796634 markings, 312126132 edges, 85465 markings/sec, 875 secs
lola: sara is running 880 secs || 87263398 markings, 314150499 edges, 93353 markings/sec, 880 secs
lola: sara is running 885 secs || 87647259 markings, 316165724 edges, 76772 markings/sec, 885 secs
lola: sara is running 890 secs || 87990640 markings, 318217926 edges, 68676 markings/sec, 890 secs
lola: sara is running 895 secs || 88401699 markings, 320258764 edges, 82212 markings/sec, 895 secs
lola: sara is running 900 secs || 88853323 markings, 322320405 edges, 90325 markings/sec, 900 secs
lola: sara is running 905 secs || 89432049 markings, 324495008 edges, 115745 markings/sec, 905 secs
lola: sara is running 910 secs || 89917431 markings, 326427542 edges, 97076 markings/sec, 910 secs
lola: sara is running 915 secs || 90322380 markings, 328184127 edges, 80990 markings/sec, 915 secs
lola: sara is running 920 secs || 90719247 markings, 329938907 edges, 79373 markings/sec, 920 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes unknown no no unknown no yes yes unknown yes yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no yes unknown no no unknown no yes yes unknown yes yes no no
lola: memory consumption: 3219432 KB
lola: time consumption: 1715 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no yes unknown no no unknown no yes yes unknown yes yes no no
lola: memory consumption: 3219604 KB
lola: time consumption: 1715 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 927 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((((1 <= A3) OR (A9 <= A3)) AND ((2 <= A28) OR (A18 <= A19))))) AND E (G ((A8 <= B18))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 927 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A8 <= B18)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((A8 <= B18)))
lola: processed formula length: 19
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 15 markings, 15 edges
lola: ========================================
lola: subprocess 15 will run for 1855 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((1 <= A3) OR (A9 <= A3)) AND ((2 <= A28) OR (A18 <= A19)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((((1 <= A3) OR (A9 <= A3)) AND ((2 <= A28) OR (A18 <= A19)))))
lola: processed formula length: 70
lola: 8 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 13 markings, 13 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1855 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((A24 <= A8))) AND (E (((A5 <= B9) U (A26 <= A18))) AND E (G (((2 <= A9) OR (2 <= A16) OR ((A28 <= A25)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1855 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A24 <= A8)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A8 + 1 <= A24)
lola: processed formula length: 15
lola: 10 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A5 <= B9) U (A26 <= A18)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((A5 <= B9) U (A26 <= A18)))
lola: processed formula length: 31
lola: 11 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (A26 <= A18)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-04track28LL-CTLCardinality-17-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((2 <= A1))) OR A (F ((A26 <= B26))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U (2 <= A1))) AND NOT(A(TRUE U (A26 <= B26))))))
lola: processed formula length: 73
lola: 12 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1188601 markings, 3594269 edges, 237720 markings/sec, 0 secs
lola: 2315452 markings, 7491087 edges, 225370 markings/sec, 5 secs
lola: 3426167 markings, 11240688 edges, 222143 markings/sec, 10 secs
lola: 4468511 markings, 14905192 edges, 208469 markings/sec, 15 secs
lola: 5332725 markings, 18763598 edges, 172843 markings/sec, 20 secs
lola: 6170356 markings, 23104024 edges, 167526 markings/sec, 25 secs
lola: 7066072 markings, 27655630 edges, 179143 markings/sec, 30 secs
lola: 7921755 markings, 32218119 edges, 171137 markings/sec, 35 secs
lola: 8690304 markings, 36920242 edges, 153710 markings/sec, 40 secs
lola: 9472767 markings, 41434889 edges, 156493 markings/sec, 45 secs
lola: 10281595 markings, 45674999 edges, 161766 markings/sec, 50 secs
lola: 11001558 markings, 50034541 edges, 143993 markings/sec, 55 secs
lola: 11678250 markings, 54897269 edges, 135338 markings/sec, 60 secs
lola: 12365302 markings, 59513118 edges, 137410 markings/sec, 65 secs
lola: 13279575 markings, 64067875 edges, 182855 markings/sec, 70 secs
lola: 14157524 markings, 68602994 edges, 175590 markings/sec, 75 secs
lola: 14901605 markings, 73322148 edges, 148816 markings/sec, 80 secs
lola: 15554545 markings, 77787286 edges, 130588 markings/sec, 85 secs
lola: 16166567 markings, 82322390 edges, 122404 markings/sec, 90 secs
lola: 16810667 markings, 86992255 edges, 128820 markings/sec, 95 secs
lola: 17439243 markings, 91885573 edges, 125715 markings/sec, 100 secs
lola: 18140398 markings, 96809989 edges, 140231 markings/sec, 105 secs
lola: 19044158 markings, 101354784 edges, 180752 markings/sec, 110 secs
lola: 19917085 markings, 105892686 edges, 174585 markings/sec, 115 secs
lola: 20670938 markings, 110541410 edges, 150771 markings/sec, 120 secs
lola: 21359241 markings, 115254865 edges, 137661 markings/sec, 125 secs
lola: 22017560 markings, 119937097 edges, 131664 markings/sec, 130 secs
lola: 22647448 markings, 124810960 edges, 125978 markings/sec, 135 secs
lola: 23309124 markings, 129578714 edges, 132335 markings/sec, 140 secs
lola: 23857660 markings, 134492420 edges, 109707 markings/sec, 145 secs
lola: 24552819 markings, 139299344 edges, 139032 markings/sec, 150 secs
lola: 25235751 markings, 143989717 edges, 136586 markings/sec, 155 secs
lola: 25812651 markings, 148803799 edges, 115380 markings/sec, 160 secs
lola: 26341413 markings, 153624184 edges, 105752 markings/sec, 165 secs
lola: 26879598 markings, 158312738 edges, 107637 markings/sec, 170 secs
lola: 27567384 markings, 163055898 edges, 137557 markings/sec, 175 secs
lola: 28618163 markings, 167259121 edges, 210156 markings/sec, 180 secs
lola: 29625286 markings, 171141326 edges, 201425 markings/sec, 185 secs
lola: 30580255 markings, 174981948 edges, 190994 markings/sec, 190 secs
lola: 31510230 markings, 179080641 edges, 185995 markings/sec, 195 secs
lola: 32444699 markings, 183268825 edges, 186894 markings/sec, 200 secs
lola: 33383020 markings, 187040192 edges, 187664 markings/sec, 205 secs
lola: 34253455 markings, 190868798 edges, 174087 markings/sec, 210 secs
lola: 35162256 markings, 194921352 edges, 181760 markings/sec, 215 secs
lola: 36059137 markings, 198841930 edges, 179376 markings/sec, 220 secs
lola: 36991543 markings, 202451558 edges, 186481 markings/sec, 225 secs
lola: 37847181 markings, 206411186 edges, 171128 markings/sec, 230 secs
lola: 38690724 markings, 210557512 edges, 168709 markings/sec, 235 secs
lola: 39566680 markings, 214449587 edges, 175191 markings/sec, 240 secs
lola: 40401689 markings, 218567654 edges, 167002 markings/sec, 245 secs
lola: 41113148 markings, 222426980 edges, 142292 markings/sec, 250 secs
lola: 41836306 markings, 226679100 edges, 144632 markings/sec, 255 secs
lola: 42561160 markings, 230832759 edges, 144971 markings/sec, 260 secs
lola: 43270476 markings, 234934747 edges, 141863 markings/sec, 265 secs
lola: 43970295 markings, 239074325 edges, 139964 markings/sec, 270 secs
lola: 44646482 markings, 243070893 edges, 135237 markings/sec, 275 secs
lola: 45376226 markings, 247448648 edges, 145949 markings/sec, 280 secs
lola: 46130710 markings, 251576090 edges, 150897 markings/sec, 285 secs
lola: 46823166 markings, 256102601 edges, 138491 markings/sec, 290 secs
lola: 47545358 markings, 260442904 edges, 144438 markings/sec, 295 secs
lola: 48298697 markings, 264721702 edges, 150668 markings/sec, 300 secs
lola: 48920256 markings, 269202663 edges, 124312 markings/sec, 305 secs
lola: 49608967 markings, 273596495 edges, 137742 markings/sec, 310 secs
lola: 50292478 markings, 277916802 edges, 136702 markings/sec, 315 secs
lola: 50964662 markings, 282384933 edges, 134437 markings/sec, 320 secs
lola: 51559652 markings, 286808004 edges, 118998 markings/sec, 325 secs
lola: 52161229 markings, 291264972 edges, 120315 markings/sec, 330 secs
lola: 52723563 markings, 295818668 edges, 112467 markings/sec, 335 secs
lola: 53387129 markings, 299976037 edges, 132713 markings/sec, 340 secs
lola: 54089178 markings, 304511084 edges, 140410 markings/sec, 345 secs
lola: 54762445 markings, 308571737 edges, 134653 markings/sec, 350 secs
lola: 55436309 markings, 312573848 edges, 134773 markings/sec, 355 secs
lola: 56160680 markings, 316587719 edges, 144874 markings/sec, 360 secs
lola: 56825877 markings, 321140307 edges, 133039 markings/sec, 365 secs
lola: 57508818 markings, 325331149 edges, 136588 markings/sec, 370 secs
lola: 58164624 markings, 329570076 edges, 131161 markings/sec, 375 secs
lola: 58743448 markings, 334010291 edges, 115765 markings/sec, 380 secs
lola: 59323214 markings, 338400542 edges, 115953 markings/sec, 385 secs
lola: 59925247 markings, 342905213 edges, 120407 markings/sec, 390 secs
lola: 60502562 markings, 347582976 edges, 115463 markings/sec, 395 secs
lola: 61064534 markings, 352270215 edges, 112394 markings/sec, 400 secs
lola: 61629696 markings, 356819928 edges, 113032 markings/sec, 405 secs
lola: 62177819 markings, 361477467 edges, 109625 markings/sec, 410 secs
lola: 62667416 markings, 366245286 edges, 97919 markings/sec, 415 secs
lola: 63452132 markings, 370916936 edges, 156943 markings/sec, 420 secs
lola: 64206015 markings, 375207484 edges, 150777 markings/sec, 425 secs
lola: 64953741 markings, 379645671 edges, 149545 markings/sec, 430 secs
lola: 65683813 markings, 384062996 edges, 146014 markings/sec, 435 secs
lola: 66395800 markings, 388479676 edges, 142397 markings/sec, 440 secs
lola: 67114523 markings, 392802134 edges, 143745 markings/sec, 445 secs
lola: 67828977 markings, 397129570 edges, 142891 markings/sec, 450 secs
lola: 68507461 markings, 401472862 edges, 135697 markings/sec, 455 secs
lola: 69175459 markings, 405942727 edges, 133600 markings/sec, 460 secs
lola: 69765002 markings, 410334874 edges, 117909 markings/sec, 465 secs
lola: 70370590 markings, 414831906 edges, 121118 markings/sec, 470 secs
lola: 70954076 markings, 419269587 edges, 116697 markings/sec, 475 secs
lola: 71559609 markings, 423852605 edges, 121107 markings/sec, 480 secs
lola: 72128900 markings, 428330889 edges, 113858 markings/sec, 485 secs
lola: 72716333 markings, 432764978 edges, 117487 markings/sec, 490 secs
lola: 73251834 markings, 437293843 edges, 107100 markings/sec, 495 secs
lola: 73801923 markings, 441733314 edges, 110018 markings/sec, 500 secs
lola: 74300782 markings, 446110678 edges, 99772 markings/sec, 505 secs
lola: 74790634 markings, 450719976 edges, 97970 markings/sec, 510 secs
lola: 75363401 markings, 455357383 edges, 114553 markings/sec, 515 secs
lola: 75947619 markings, 460026432 edges, 116844 markings/sec, 520 secs
lola: 76554913 markings, 464565989 edges, 121459 markings/sec, 525 secs
lola: 77121653 markings, 469192269 edges, 113348 markings/sec, 530 secs
lola: 77665346 markings, 473815951 edges, 108739 markings/sec, 535 secs
lola: 78173772 markings, 478485449 edges, 101685 markings/sec, 540 secs
lola: 78658276 markings, 483216157 edges, 96901 markings/sec, 545 secs
lola: 79140107 markings, 487903565 edges, 96366 markings/sec, 550 secs
lola: 79592316 markings, 492765084 edges, 90442 markings/sec, 555 secs
lola: 80392316 markings, 497487378 edges, 160000 markings/sec, 560 secs
lola: 81156830 markings, 501846946 edges, 152903 markings/sec, 565 secs
lola: 81897594 markings, 506357707 edges, 148153 markings/sec, 570 secs
lola: 82626244 markings, 510855317 edges, 145730 markings/sec, 575 secs
lola: 83352969 markings, 515303367 edges, 145345 markings/sec, 580 secs
lola: 84074243 markings, 519710588 edges, 144255 markings/sec, 585 secs
lola: 84826721 markings, 524018226 edges, 150496 markings/sec, 590 secs
lola: 85488762 markings, 528517654 edges, 132408 markings/sec, 595 secs
lola: 86183338 markings, 532840576 edges, 138915 markings/sec, 600 secs
lola: 86796432 markings, 537321132 edges, 122619 markings/sec, 605 secs
lola: 87406750 markings, 541843748 edges, 122064 markings/sec, 610 secs
lola: 88000625 markings, 546323677 edges, 118775 markings/sec, 615 secs
lola: 88577828 markings, 550882736 edges, 115441 markings/sec, 620 secs
lola: 89177635 markings, 555358603 edges, 119961 markings/sec, 625 secs
lola: 89736505 markings, 559878575 edges, 111774 markings/sec, 630 secs
lola: 90321903 markings, 564298317 edges, 117080 markings/sec, 635 secs
lola: 90848020 markings, 568824870 edges, 105223 markings/sec, 640 secs
lola: 91395431 markings, 573263052 edges, 109482 markings/sec, 645 secs
lola: 91921485 markings, 577778760 edges, 105211 markings/sec, 650 secs
lola: 92406138 markings, 582373842 edges, 96931 markings/sec, 655 secs
lola: 92939199 markings, 586998989 edges, 106612 markings/sec, 660 secs
lola: 93523480 markings, 591667236 edges, 116856 markings/sec, 665 secs
lola: 94113235 markings, 596170063 edges, 117951 markings/sec, 670 secs
lola: 94680728 markings, 600760319 edges, 113499 markings/sec, 675 secs
lola: 95247724 markings, 605213292 edges, 113399 markings/sec, 680 secs
lola: 95763787 markings, 609890533 edges, 103213 markings/sec, 685 secs
lola: 96263176 markings, 614542129 edges, 99878 markings/sec, 690 secs
lola: 96731448 markings, 619233630 edges, 93654 markings/sec, 695 secs
lola: 97200653 markings, 623833726 edges, 93841 markings/sec, 700 secs
lola: 97643545 markings, 628645774 edges, 88578 markings/sec, 705 secs
lola: 98267296 markings, 633328674 edges, 124750 markings/sec, 710 secs
lola: 98843794 markings, 637772033 edges, 115300 markings/sec, 715 secs
lola: 99432317 markings, 642210893 edges, 117705 markings/sec, 720 secs
lola: 99999857 markings, 646685842 edges, 113508 markings/sec, 725 secs
lola: 100574013 markings, 651067428 edges, 114831 markings/sec, 730 secs
lola: 101113532 markings, 655469524 edges, 107904 markings/sec, 735 secs
lola: 101629534 markings, 659978198 edges, 103200 markings/sec, 740 secs
lola: 102126431 markings, 664476454 edges, 99379 markings/sec, 745 secs
lola: 102615665 markings, 669038215 edges, 97847 markings/sec, 750 secs
lola: 103088897 markings, 673502756 edges, 94646 markings/sec, 755 secs
lola: 103555661 markings, 677969109 edges, 93353 markings/sec, 760 secs
lola: 104008915 markings, 682432165 edges, 90651 markings/sec, 765 secs
lola: 104440799 markings, 686977598 edges, 86377 markings/sec, 770 secs
lola: 104893962 markings, 691600985 edges, 90633 markings/sec, 775 secs
lola: 105382032 markings, 696194438 edges, 97614 markings/sec, 780 secs
lola: 105857879 markings, 700746080 edges, 95169 markings/sec, 785 secs
lola: 106308505 markings, 705331987 edges, 90125 markings/sec, 790 secs
lola: 106725352 markings, 709980427 edges, 83369 markings/sec, 795 secs
lola: 107128478 markings, 714615257 edges, 80625 markings/sec, 800 secs
lola: 107946065 markings, 718843447 edges, 163517 markings/sec, 805 secs
lola: 108839934 markings, 723141980 edges, 178774 markings/sec, 810 secs
lola: 109626131 markings, 727690475 edges, 157239 markings/sec, 815 secs
lola: 110329202 markings, 732473732 edges, 140614 markings/sec, 820 secs
lola: 111119504 markings, 737169531 edges, 158060 markings/sec, 825 secs
lola: 111761170 markings, 742025151 edges, 128333 markings/sec, 830 secs
lola: 112638036 markings, 746362152 edges, 175373 markings/sec, 835 secs
lola: 113601321 markings, 750428682 edges, 192657 markings/sec, 840 secs
lola: 114450103 markings, 754507388 edges, 169756 markings/sec, 845 secs
lola: 115202187 markings, 758748480 edges, 150417 markings/sec, 850 secs
lola: 115920295 markings, 763239454 edges, 143622 markings/sec, 855 secs
lola: 116567975 markings, 767727454 edges, 129536 markings/sec, 860 secs
lola: 117245853 markings, 772101363 edges, 135576 markings/sec, 865 secs
lola: 117834985 markings, 776782326 edges, 117826 markings/sec, 870 secs
lola: 118613050 markings, 781319351 edges, 155613 markings/sec, 875 secs
lola: 119255577 markings, 785844762 edges, 128505 markings/sec, 880 secs
lola: 119811223 markings, 790428841 edges, 111129 markings/sec, 885 secs
lola: 120370031 markings, 795121505 edges, 111762 markings/sec, 890 secs
lola: 121076811 markings, 799778103 edges, 141356 markings/sec, 895 secs
lola: 121783455 markings, 804310238 edges, 141329 markings/sec, 900 secs
lola: 122378767 markings, 808844128 edges, 119062 markings/sec, 905 secs
lola: 122928494 markings, 813454431 edges, 109945 markings/sec, 910 secs
lola: 123441744 markings, 818153998 edges, 102650 markings/sec, 915 secs
lola: 124035584 markings, 822729642 edges, 118768 markings/sec, 920 secs
lola: 124519329 markings, 827297862 edges, 96749 markings/sec, 925 secs
lola: 125020811 markings, 831889550 edges, 100296 markings/sec, 930 secs
lola: 125899165 markings, 835932372 edges, 175671 markings/sec, 935 secs
lola: 126625010 markings, 840443446 edges, 145169 markings/sec, 940 secs
lola: 127246596 markings, 844975093 edges, 124317 markings/sec, 945 secs
lola: 128176621 markings, 848964750 edges, 186005 markings/sec, 950 secs
lola: 128934005 markings, 853061648 edges, 151477 markings/sec, 955 secs
lola: 129592343 markings, 857409224 edges, 131668 markings/sec, 960 secs
lola: 130208419 markings, 861824806 edges, 123215 markings/sec, 965 secs
lola: 130903016 markings, 866189633 edges, 138919 markings/sec, 970 secs
lola: 131458778 markings, 870668906 edges, 111152 markings/sec, 975 secs
lola: 132108826 markings, 875133795 edges, 130010 markings/sec, 980 secs
lola: 132685759 markings, 879537802 edges, 115387 markings/sec, 985 secs
lola: 133215337 markings, 884082792 edges, 105916 markings/sec, 990 secs
lola: 133710665 markings, 888513763 edges, 99066 markings/sec, 995 secs
lola: 134415757 markings, 892827129 edges, 141018 markings/sec, 1000 secs
lola: 135102292 markings, 897177949 edges, 137307 markings/sec, 1005 secs
lola: 135773842 markings, 901513558 edges, 134310 markings/sec, 1010 secs
lola: 136489730 markings, 905760838 edges, 143178 markings/sec, 1015 secs
lola: 137130798 markings, 910090782 edges, 128214 markings/sec, 1020 secs
lola: 137692512 markings, 914516336 edges, 112343 markings/sec, 1025 secs
lola: 138430067 markings, 918592524 edges, 147511 markings/sec, 1030 secs
lola: 139183070 markings, 922662374 edges, 150601 markings/sec, 1035 secs
lola: 139846690 markings, 927053265 edges, 132724 markings/sec, 1040 secs
lola: 140513176 markings, 931387768 edges, 133297 markings/sec, 1045 secs
lola: 141057527 markings, 935782488 edges, 108870 markings/sec, 1050 secs
lola: 141866690 markings, 939694360 edges, 161833 markings/sec, 1055 secs
lola: 142786964 markings, 943497106 edges, 184055 markings/sec, 1060 secs
lola: 143489712 markings, 947509746 edges, 140550 markings/sec, 1065 secs
lola: 144206058 markings, 951616854 edges, 143269 markings/sec, 1070 secs
lola: 144793868 markings, 955945625 edges, 117562 markings/sec, 1075 secs
lola: 145447529 markings, 959871714 edges, 130732 markings/sec, 1080 secs
lola: 146035356 markings, 964151346 edges, 117565 markings/sec, 1085 secs
lola: 146725804 markings, 968401956 edges, 138090 markings/sec, 1090 secs
lola: 147304520 markings, 972780145 edges, 115743 markings/sec, 1095 secs
lola: 147836737 markings, 977131747 edges, 106443 markings/sec, 1100 secs
lola: 148371103 markings, 981471960 edges, 106873 markings/sec, 1105 secs
lola: 148989372 markings, 985731038 edges, 123654 markings/sec, 1110 secs
lola: 149638287 markings, 990037072 edges, 129783 markings/sec, 1115 secs
lola: 150205606 markings, 994327322 edges, 113464 markings/sec, 1120 secs
lola: 150726210 markings, 998659956 edges, 104121 markings/sec, 1125 secs
lola: 151214618 markings, 1003030666 edges, 97682 markings/sec, 1130 secs
lola: 151767534 markings, 1007338202 edges, 110583 markings/sec, 1135 secs
lola: 152235359 markings, 1011687548 edges, 93565 markings/sec, 1140 secs
lola: 152676135 markings, 1016018982 edges, 88155 markings/sec, 1145 secs
lola: 153347003 markings, 1020585016 edges, 134174 markings/sec, 1150 secs
lola: 154077221 markings, 1025144109 edges, 146044 markings/sec, 1155 secs
lola: 154690163 markings, 1029791912 edges, 122588 markings/sec, 1160 secs
lola: 155361956 markings, 1034167446 edges, 134359 markings/sec, 1165 secs
lola: 156067186 markings, 1038619913 edges, 141046 markings/sec, 1170 secs
lola: 156719706 markings, 1043117431 edges, 130504 markings/sec, 1175 secs
lola: 157413213 markings, 1047581323 edges, 138701 markings/sec, 1180 secs
lola: 158019430 markings, 1052095198 edges, 121243 markings/sec, 1185 secs
lola: 158597227 markings, 1056512950 edges, 115559 markings/sec, 1190 secs
lola: 159242638 markings, 1060775901 edges, 129082 markings/sec, 1195 secs
lola: 160052085 markings, 1064813902 edges, 161889 markings/sec, 1200 secs
lola: 160710126 markings, 1068973282 edges, 131608 markings/sec, 1205 secs
lola: 161340046 markings, 1073180022 edges, 125984 markings/sec, 1210 secs
lola: 162021647 markings, 1077311327 edges, 136320 markings/sec, 1215 secs
lola: 162680008 markings, 1081510106 edges, 131672 markings/sec, 1220 secs
lola: 163274896 markings, 1086039392 edges, 118978 markings/sec, 1225 secs
lola: 163904159 markings, 1090664307 edges, 125853 markings/sec, 1230 secs
lola: 164577750 markings, 1095287136 edges, 134718 markings/sec, 1235 secs
lola: 165217413 markings, 1099928246 edges, 127933 markings/sec, 1240 secs
lola: 165870325 markings, 1104637977 edges, 130582 markings/sec, 1245 secs
lola: 166545498 markings, 1109347182 edges, 135035 markings/sec, 1250 secs
lola: 167346590 markings, 1113400891 edges, 160218 markings/sec, 1255 secs
lola: 168013034 markings, 1117600667 edges, 133289 markings/sec, 1260 secs
lola: 168623863 markings, 1121919550 edges, 122166 markings/sec, 1265 secs
lola: 169264243 markings, 1126149277 edges, 128076 markings/sec, 1270 secs
lola: 169970119 markings, 1130274348 edges, 141175 markings/sec, 1275 secs
lola: 170690911 markings, 1134129319 edges, 144158 markings/sec, 1280 secs
lola: 171318247 markings, 1138043326 edges, 125467 markings/sec, 1285 secs
lola: 171921943 markings, 1142132788 edges, 120739 markings/sec, 1290 secs
lola: 172471940 markings, 1146398301 edges, 109999 markings/sec, 1295 secs
lola: 173040764 markings, 1150625352 edges, 113765 markings/sec, 1300 secs
lola: 173590337 markings, 1154840633 edges, 109915 markings/sec, 1305 secs
lola: 174098195 markings, 1159118182 edges, 101572 markings/sec, 1310 secs
lola: 174552295 markings, 1163471781 edges, 90820 markings/sec, 1315 secs
lola: 175170354 markings, 1167948787 edges, 123612 markings/sec, 1320 secs
lola: 175801526 markings, 1172475752 edges, 126234 markings/sec, 1325 secs
lola: 176442857 markings, 1176622069 edges, 128266 markings/sec, 1330 secs
lola: 176974043 markings, 1180925263 edges, 106237 markings/sec, 1335 secs
lola: 177736730 markings, 1184754206 edges, 152537 markings/sec, 1340 secs
lola: 178363510 markings, 1188648205 edges, 125356 markings/sec, 1345 secs
lola: 178923102 markings, 1192752952 edges, 111918 markings/sec, 1350 secs
lola: 179498987 markings, 1196809546 edges, 115177 markings/sec, 1355 secs
lola: 179982268 markings, 1200962787 edges, 96656 markings/sec, 1360 secs
lola: 180661183 markings, 1205179150 edges, 135783 markings/sec, 1365 secs
lola: 181399823 markings, 1208889205 edges, 147728 markings/sec, 1370 secs
lola: 182070689 markings, 1212684046 edges, 134173 markings/sec, 1375 secs
lola: 182663092 markings, 1216532981 edges, 118481 markings/sec, 1380 secs
lola: 183240674 markings, 1220535176 edges, 115516 markings/sec, 1385 secs
lola: 183794135 markings, 1224682898 edges, 110692 markings/sec, 1390 secs
lola: 184283967 markings, 1228926333 edges, 97966 markings/sec, 1395 secs
lola: 184888098 markings, 1232989616 edges, 120826 markings/sec, 1400 secs
lola: 185394041 markings, 1237064587 edges, 101189 markings/sec, 1405 secs
lola: 185885074 markings, 1241246023 edges, 98207 markings/sec, 1410 secs
lola: 186336580 markings, 1245473827 edges, 90301 markings/sec, 1415 secs
lola: 186871788 markings, 1249883340 edges, 107042 markings/sec, 1420 secs
lola: 187492510 markings, 1254427898 edges, 124144 markings/sec, 1425 secs
lola: 188117944 markings, 1259000450 edges, 125087 markings/sec, 1430 secs
lola: 188733609 markings, 1263434635 edges, 123133 markings/sec, 1435 secs
lola: 189495296 markings, 1267345013 edges, 152337 markings/sec, 1440 secs
lola: 190128924 markings, 1271266597 edges, 126726 markings/sec, 1445 secs
lola: 190701116 markings, 1275355476 edges, 114438 markings/sec, 1450 secs
lola: 191253021 markings, 1279400265 edges, 110381 markings/sec, 1455 secs
lola: 191870180 markings, 1283572724 edges, 123432 markings/sec, 1460 secs
lola: 192620593 markings, 1287086644 edges, 150083 markings/sec, 1465 secs
lola: 193205413 markings, 1290752630 edges, 116964 markings/sec, 1470 secs
lola: 193767298 markings, 1294404412 edges, 112377 markings/sec, 1475 secs
lola: 194329831 markings, 1298352882 edges, 112507 markings/sec, 1480 secs
lola: 194824305 markings, 1302431063 edges, 98895 markings/sec, 1485 secs
lola: 195399130 markings, 1306541537 edges, 114965 markings/sec, 1490 secs
lola: 195901455 markings, 1310629361 edges, 100465 markings/sec, 1495 secs
lola: 196392502 markings, 1314818938 edges, 98209 markings/sec, 1500 secs
lola: 196828409 markings, 1319076528 edges, 87181 markings/sec, 1505 secs
lola: 197482599 markings, 1323371453 edges, 130838 markings/sec, 1510 secs
lola: 198057279 markings, 1327802319 edges, 114936 markings/sec, 1515 secs
lola: 198674149 markings, 1332137236 edges, 123374 markings/sec, 1520 secs
lola: 199294318 markings, 1336501543 edges, 124034 markings/sec, 1525 secs
lola: 199926051 markings, 1340595538 edges, 126347 markings/sec, 1530 secs
lola: 200452872 markings, 1344546943 edges, 105364 markings/sec, 1535 secs
lola: 200928677 markings, 1348598262 edges, 95161 markings/sec, 1540 secs
lola: 201547820 markings, 1353068072 edges, 123829 markings/sec, 1545 secs
lola: 202188878 markings, 1357182991 edges, 128212 markings/sec, 1550 secs
lola: 202731908 markings, 1361386229 edges, 108606 markings/sec, 1555 secs
lola: 203303388 markings, 1365529018 edges, 114296 markings/sec, 1560 secs
lola: 204090355 markings, 1369139754 edges, 157393 markings/sec, 1565 secs
lola: 204706850 markings, 1372911539 edges, 123299 markings/sec, 1570 secs
lola: 205283294 markings, 1376761873 edges, 115289 markings/sec, 1575 secs
lola: 205824852 markings, 1380815503 edges, 108312 markings/sec, 1580 secs
lola: 206417605 markings, 1384843840 edges, 118551 markings/sec, 1585 secs
lola: 206904854 markings, 1388804843 edges, 97450 markings/sec, 1590 secs
lola: 207385704 markings, 1392959985 edges, 96170 markings/sec, 1595 secs
lola: 208178598 markings, 1396732046 edges, 158579 markings/sec, 1600 secs
lola: 208920933 markings, 1400700995 edges, 148467 markings/sec, 1605 secs
lola: 209563249 markings, 1404687849 edges, 128463 markings/sec, 1610 secs
lola: 210219655 markings, 1408897170 edges, 131281 markings/sec, 1615 secs
lola: 210776785 markings, 1413151741 edges, 111426 markings/sec, 1620 secs
lola: 211414786 markings, 1417305652 edges, 127600 markings/sec, 1625 secs
lola: 211949497 markings, 1421476916 edges, 106942 markings/sec, 1630 secs
lola: 212448448 markings, 1425606085 edges, 99790 markings/sec, 1635 secs
lola: 213101760 markings, 1429457284 edges, 130662 markings/sec, 1640 secs
lola: 213998844 markings, 1432960950 edges, 179417 markings/sec, 1645 secs
lola: 214817271 markings, 1436345083 edges, 163685 markings/sec, 1650 secs
lola: 215571509 markings, 1440117932 edges, 150848 markings/sec, 1655 secs
lola: 216260323 markings, 1444115495 edges, 137763 markings/sec, 1660 secs
lola: 216892059 markings, 1447744283 edges, 126347 markings/sec, 1665 secs
lola: 217306798 markings, 1450086408 edges, 82948 markings/sec, 1670 secs
lola: 217311866 markings, 1450118096 edges, 1014 markings/sec, 1675 secs
lola: 217313432 markings, 1450127889 edges, 313 markings/sec, 1680 secs
lola: 217320325 markings, 1450167936 edges, 1379 markings/sec, 1685 secs
lola: 217327143 markings, 1450207425 edges, 1364 markings/sec, 1690 secs
lola: 217329766 markings, 1450222568 edges, 525 markings/sec, 1695 secs
lola: 217335667 markings, 1450256808 edges, 1180 markings/sec, 1700 secs
lola: 217339839 markings, 1450280763 edges, 834 markings/sec, 1705 secs
lola: 217346845 markings, 1450321452 edges, 1401 markings/sec, 1710 secs
lola: 217351231 markings, 1450348516 edges, 877 markings/sec, 1715 secs
lola: 217367063 markings, 1450450039 edges, 3166 markings/sec, 1720 secs
lola: 217370165 markings, 1450469886 edges, 620 markings/sec, 1725 secs
lola: 217374747 markings, 1450499261 edges, 916 markings/sec, 1730 secs
lola: 217378016 markings, 1450520258 edges, 654 markings/sec, 1735 secs
lola: 217382943 markings, 1450551831 edges, 985 markings/sec, 1740 secs
lola: 217388505 markings, 1450585855 edges, 1112 markings/sec, 1745 secs
lola: 217395478 markings, 1450628976 edges, 1395 markings/sec, 1750 secs
lola: 217404185 markings, 1450683129 edges, 1741 markings/sec, 1755 secs
lola: 217417004 markings, 1450762358 edges, 2564 markings/sec, 1760 secs
lola: 217418351 markings, 1450770972 edges, 269 markings/sec, 1765 secs
lola: 217426317 markings, 1450820530 edges, 1593 markings/sec, 1770 secs
lola: 217434798 markings, 1450872761 edges, 1696 markings/sec, 1775 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DNAwalker-PT-04track28LL-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: (E (F ((3 <= A12))) OR E (F (A (G ((B26 <= B10))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A12)))
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 <= A12)))
lola: processed formula length: 18
lola: 9 rewrites
lola: closed formula file DNAwalker-PT-04track28LL-CTLCardinality.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 <= A12)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-04track28LL-CTLCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-04track28LL-CTLCardinality-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 737792 markings, 1484476 edges, 147558 markings/sec, 0 secs
lola: sara is running 5 secs || 1468510 markings, 3388058 edges, 146144 markings/sec, 5 secs
lola: sara is running 10 secs || 2176454 markings, 5214634 edges, 141589 markings/sec, 10 secs
lola: sara is running 15 secs || 2641898 markings, 6762788 edges, 93089 markings/sec, 15 secs
lola: sara is running 20 secs || 3112203 markings, 8262649 edges, 94061 markings/sec, 20 secs
lola: sara is running 25 secs || 3583064 markings, 9760359 edges, 94172 markings/sec, 25 secs
lola: sara is running 30 secs || 4033847 markings, 11236780 edges, 90157 markings/sec, 30 secs
lola: sara is running 35 secs || 4487744 markings, 12690106 edges, 90779 markings/sec, 35 secs
lola: sara is running 40 secs || 4946409 markings, 14216429 edges, 91733 markings/sec, 40 secs
lola: sara is running 45 secs || 5401565 markings, 15717980 edges, 91031 markings/sec, 45 secs
lola: sara is running 50 secs || 5851303 markings, 17205731 edges, 89948 markings/sec, 50 secs
lola: sara is running 55 secs || 6295821 markings, 18765253 edges, 88904 markings/sec, 55 secs
lola: sara is running 60 secs || 7009772 markings, 20586334 edges, 142790 markings/sec, 60 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no yes unknown no no yes no yes yes unknown yes yes no no
lola:
preliminary result: unknown no no yes unknown no no yes no yes yes unknown yes yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no yes unknown no no yes no yes yes unknown yes yes no no
lola: memory consumption: 271468 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 271468 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no yes unknown no no yes no yes yes unknown yes yes no no
lola: memory consumption: 271848 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-04track28LL"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-04track28LL.tgz
mv DNAwalker-PT-04track28LL 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-04track28LL, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400248"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;