About the Execution of LoLA for DLCshifumi-PT-2b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14966.780 | 3570918.00 | 3626318.00 | 7642.80 | TTFFTTT?FFT?TFT? | 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 896K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 729K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCshifumi-PT-2b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300165
=====================================================================
--------------------
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 DLCshifumi-PT-2b-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526698576439
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCshifumi-PT-2b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCshifumi-PT-2b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCshifumi-PT-2b @ 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: 5666/65536 symbol table entries, 573 collisions
lola: preprocessing...
lola: Size of bit vector: 2483
lola: finding significant places
lola: 2483 places, 3183 transitions, 2404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3873 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-2b-CTLFireability.task
lola: A (F (NOT(A (F (FIREABLE(t1628)))))) : E (G (E (X ((NOT FIREABLE(t1301) AND NOT FIREABLE(t2517)))))) : (NOT(NOT(((FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570)) OR A (F (FIREABLE(t1920)))))) OR A (F (A (X ((FIREABLE(t1164) AND FIREABLE(t1211))))))) : A (F (A (G ((FIREABLE(t37) AND FIREABLE(t2761) AND FIREABLE(t561) AND FIREABLE(t2661)))))) : E (X (E (F (E (G (FIREABLE(t2687))))))) : (((A ((FIREABLE(t2514) U FIREABLE(t421))) OR (E (F (FIREABLE(t2955))) OR A (F (FIREABLE(t1268))))) AND ((NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763)) OR (((FIREABLE(t1293) AND FIREABLE(t2858)) OR FIREABLE(t1247)) AND A (G (FIREABLE(t1832)))))) OR A (F (E (G ((FIREABLE(t734) OR FIREABLE(t2589))))))) : E (F (E (((FIREABLE(t3059) OR FIREABLE(t1)) U (FIREABLE(t2150) OR FIREABLE(t994)))))) : (E ((E (F (FIREABLE(t571))) U FIREABLE(t477))) OR A (X ((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982)))))) : A (F ((FIREABLE(t810) AND E (F (FIREABLE(t1101)))))) : A (F (FIREABLE(t464))) : E ((A (X (NOT FIREABLE(t2741))) U E (G ((FIREABLE(t1647) OR FIREABLE(t1830)))))) : A (F ((NOT FIREABLE(t44) AND FIREABLE(t2899)))) : NOT(A (F ((E (G (FIREABLE(t1987))) OR E (G (FIREABLE(t425))))))) : ((((E (X (FIREABLE(t1680))) OR A (F (FIREABLE(t944)))) OR A ((FIREABLE(t193) U FIREABLE(t1624)))) OR (FIREABLE(t2300) AND A (G ((FIREABLE(t3097) OR FIREABLE(t2187)))))) OR NOT(NOT(((FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227)) AND A (X (FIREABLE(t2416))))))) : NOT((FIREABLE(t919) OR NOT(((FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177)) OR E (F (FIREABLE(t1938))))))) : A ((E (F ((FIREABLE(t2402) AND FIREABLE(t2159)))) U FIREABLE(t207)))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X ((NOT FIREABLE(t1301) AND NOT FIREABLE(t2517))))))
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((NOT FIREABLE(t1301) AND NOT FIREABLE(t2517))))))
lola: processed formula length: 69
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 48 markings, 48 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570)) OR (A (F (FIREABLE(t1920))) OR A (F (A (X ((FIREABLE(t1164) AND FIREABLE(t1211))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t1920)))
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: NOT FIREABLE(t1920)
lola: processed formula length: 19
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 456 markings, 456 edges
lola: ========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570))
lola: processed formula length: 61
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X ((FIREABLE(t1164) AND FIREABLE(t1211))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U AX((FIREABLE(t1164) AND FIREABLE(t1211))))
lola: processed formula length: 51
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 48 markings, 48 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (E (G (FIREABLE(t2687)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX(E(TRUE U NOT(A(TRUE U NOT FIREABLE(t2687)))))
lola: processed formula length: 48
lola: 56 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 101981 markings, 222817 edges, 20396 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 178145 markings, 390763 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((E (F (FIREABLE(t571))) U FIREABLE(t477))) OR A (X ((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: (E(E(TRUE U FIREABLE(t571)) U FIREABLE(t477)) OR AX((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982)))))
lola: processed formula length: 156
lola: 55 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 155973 markings, 186569 edges, 31195 markings/sec, 0 secs
lola: 331707 markings, 398196 edges, 35147 markings/sec, 5 secs
lola: 507469 markings, 610451 edges, 35152 markings/sec, 10 secs
lola: 682826 markings, 822178 edges, 35071 markings/sec, 15 secs
lola: 857987 markings, 1034156 edges, 35032 markings/sec, 20 secs
lola: 1020719 markings, 1229102 edges, 32546 markings/sec, 25 secs
lola: 1190638 markings, 1431919 edges, 33984 markings/sec, 30 secs
lola: 1366499 markings, 1643741 edges, 35172 markings/sec, 35 secs
lola: 1542870 markings, 1854890 edges, 35274 markings/sec, 40 secs
lola: 1707884 markings, 2053702 edges, 33003 markings/sec, 45 secs
lola: 1884474 markings, 2265620 edges, 35318 markings/sec, 50 secs
lola: 2059727 markings, 2477265 edges, 35051 markings/sec, 55 secs
lola: 2222244 markings, 2672282 edges, 32503 markings/sec, 60 secs
lola: 2398596 markings, 2882763 edges, 35270 markings/sec, 65 secs
lola: 2564867 markings, 3081660 edges, 33254 markings/sec, 70 secs
lola: 2740110 markings, 3291683 edges, 35049 markings/sec, 75 secs
lola: 2905031 markings, 3489819 edges, 32984 markings/sec, 80 secs
lola: 3080473 markings, 3700820 edges, 35088 markings/sec, 85 secs
lola: 3253661 markings, 3910618 edges, 34638 markings/sec, 90 secs
lola: 3416353 markings, 4107889 edges, 32538 markings/sec, 95 secs
lola: 3577732 markings, 4304527 edges, 32276 markings/sec, 100 secs
lola: 3746185 markings, 4508003 edges, 33691 markings/sec, 105 secs
lola: 3920856 markings, 4717641 edges, 34934 markings/sec, 110 secs
lola: 4083717 markings, 4914485 edges, 32572 markings/sec, 115 secs
lola: 4257632 markings, 5123836 edges, 34783 markings/sec, 120 secs
lola: 4420198 markings, 5321085 edges, 32513 markings/sec, 125 secs
lola: 4595550 markings, 5532334 edges, 35070 markings/sec, 130 secs
lola: 4773592 markings, 5745190 edges, 35608 markings/sec, 135 secs
lola: 4946901 markings, 5954447 edges, 34662 markings/sec, 140 secs
lola: 5120406 markings, 6163553 edges, 34701 markings/sec, 145 secs
lola: 5285416 markings, 6362482 edges, 33002 markings/sec, 150 secs
lola: 5461611 markings, 6574661 edges, 35239 markings/sec, 155 secs
lola: 5635590 markings, 6783902 edges, 34796 markings/sec, 160 secs
lola: 5802871 markings, 6985656 edges, 33456 markings/sec, 165 secs
lola: 5977858 markings, 7196100 edges, 34997 markings/sec, 170 secs
lola: 6153344 markings, 7406172 edges, 35097 markings/sec, 175 secs
lola: 6329167 markings, 7616948 edges, 35165 markings/sec, 180 secs
lola: 6493766 markings, 7815069 edges, 32920 markings/sec, 185 secs
lola: 6669857 markings, 8025866 edges, 35218 markings/sec, 190 secs
lola: 6843223 markings, 8235264 edges, 34673 markings/sec, 195 secs
lola: 7006191 markings, 8432663 edges, 32594 markings/sec, 200 secs
lola: 7168740 markings, 8628994 edges, 32510 markings/sec, 205 secs
lola: 7344370 markings, 8839398 edges, 35126 markings/sec, 210 secs
lola: 7521584 markings, 9050600 edges, 35443 markings/sec, 215 secs
lola: 7697915 markings, 9261580 edges, 35266 markings/sec, 220 secs
lola: 7872449 markings, 9472198 edges, 34907 markings/sec, 225 secs
lola: 8044105 markings, 9680771 edges, 34331 markings/sec, 230 secs
lola: 8207916 markings, 9878076 edges, 32762 markings/sec, 235 secs
lola: 8381236 markings, 10087393 edges, 34664 markings/sec, 240 secs
lola: 8556488 markings, 10296689 edges, 35050 markings/sec, 245 secs
lola: 8720728 markings, 10494837 edges, 32848 markings/sec, 250 secs
lola: 8895876 markings, 10705412 edges, 35030 markings/sec, 255 secs
lola: 9057178 markings, 10900799 edges, 32260 markings/sec, 260 secs
lola: 9231959 markings, 11111796 edges, 34956 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1572700 KB
lola: time consumption: 282 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (X (NOT FIREABLE(t2741))) U E (G ((FIREABLE(t1647) OR FIREABLE(t1830))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(AX(NOT FIREABLE(t2741)) U NOT(A(TRUE U (NOT FIREABLE(t1647) AND NOT FIREABLE(t1830)))))
lola: processed formula length: 89
lola: 56 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 846 markings, 1628 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (FIREABLE(t1680))) OR (A (F (FIREABLE(t944))) OR (A ((FIREABLE(t193) U FIREABLE(t1624))) OR ((FIREABLE(t2300) AND A (G ((FIREABLE(t3097) OR FIREABLE(t2187))))) OR ((FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227)) AND A (X (FIREABLE(t2416))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t2300)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t2300)
lola: processed formula length: 15
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: ========================================
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227))
lola: processed formula length: 59
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t944)))
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: NOT FIREABLE(t944)
lola: processed formula length: 18
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 456 markings, 456 edges
lola: ========================================
lola: subprocess 8 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t193) U FIREABLE(t1624)))
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 ((FIREABLE(t193) U FIREABLE(t1624)))
lola: processed formula length: 38
lola: 56 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t2416)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(FIREABLE(t2416))
lola: processed formula length: 19
lola: 53 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 548 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (FIREABLE(t1680)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(FIREABLE(t1680))
lola: processed formula length: 19
lola: 53 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2150) OR FIREABLE(t994))))
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 ((FIREABLE(t2150) OR FIREABLE(t994))))
lola: processed formula length: 44
lola: 53 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: ========================================
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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 20 markings, 19 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t464)))
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: NOT FIREABLE(t464)
lola: processed formula length: 18
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 454 markings, 454 edges
FORMULA DLCshifumi-PT-2b-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t44) AND FIREABLE(t2899))))
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: (FIREABLE(t44) OR NOT FIREABLE(t2899))
lola: processed formula length: 39
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 455 markings, 455 edges
lola:
========================================FORMULA DLCshifumi-PT-2b-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (NOT FIREABLE(t1628)))))
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:300
lola: processed formula: A(TRUE U NOT(A(TRUE U FIREABLE(t1628))))
lola: processed formula length: 40
lola: 55 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 476 markings, 477 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 548 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t810) AND E (F (FIREABLE(t1101))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (FIREABLE(t810) AND E(TRUE U FIREABLE(t1101))))
lola: processed formula length: 56
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 476 markings, 476 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 657 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (F ((FIREABLE(t2402) AND FIREABLE(t2159)))) U FIREABLE(t207)))
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 (FIREABLE(t2402) AND FIREABLE(t2159))) U FIREABLE(t207))
lola: processed formula length: 67
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 168422 markings, 201001 edges, 33684 markings/sec, 0 secs
lola: 346621 markings, 414563 edges, 35640 markings/sec, 5 secs
lola: 523270 markings, 627899 edges, 35330 markings/sec, 10 secs
lola: 700218 markings, 841304 edges, 35390 markings/sec, 15 secs
lola: 878321 markings, 1054823 edges, 35621 markings/sec, 20 secs
lola: 1056794 markings, 1268007 edges, 35695 markings/sec, 25 secs
lola: 1233545 markings, 1480830 edges, 35350 markings/sec, 30 secs
lola: 1410537 markings, 1693464 edges, 35398 markings/sec, 35 secs
lola: 1586759 markings, 1905578 edges, 35244 markings/sec, 40 secs
lola: 1762203 markings, 2117502 edges, 35089 markings/sec, 45 secs
lola: 1936333 markings, 2329835 edges, 34826 markings/sec, 50 secs
lola: 2109836 markings, 2541766 edges, 34701 markings/sec, 55 secs
lola: 2285848 markings, 2753164 edges, 35202 markings/sec, 60 secs
lola: 2450933 markings, 2953150 edges, 33017 markings/sec, 65 secs
lola: 2623956 markings, 3162966 edges, 34605 markings/sec, 70 secs
lola: 2798688 markings, 3373674 edges, 34946 markings/sec, 75 secs
lola: 2972612 markings, 3583870 edges, 34785 markings/sec, 80 secs
lola: 3150182 markings, 3795753 edges, 35514 markings/sec, 85 secs
lola: 3325476 markings, 4006869 edges, 35059 markings/sec, 90 secs
lola: 3500092 markings, 4216622 edges, 34923 markings/sec, 95 secs
lola: 3675371 markings, 4427326 edges, 35056 markings/sec, 100 secs
lola: 3830603 markings, 4612908 edges, 31046 markings/sec, 105 secs
lola: 4007952 markings, 4825465 edges, 35470 markings/sec, 110 secs
lola: 4185170 markings, 5037379 edges, 35444 markings/sec, 115 secs
lola: 4360375 markings, 5248701 edges, 35041 markings/sec, 120 secs
lola: 4537300 markings, 5459920 edges, 35385 markings/sec, 125 secs
lola: 4712276 markings, 5671380 edges, 34995 markings/sec, 130 secs
lola: 4887152 markings, 5883032 edges, 34975 markings/sec, 135 secs
lola: 5063963 markings, 6094935 edges, 35362 markings/sec, 140 secs
lola: 5240306 markings, 6306322 edges, 35269 markings/sec, 145 secs
lola: 5415563 markings, 6517412 edges, 35051 markings/sec, 150 secs
lola: 5589808 markings, 6728564 edges, 34849 markings/sec, 155 secs
lola: 5765518 markings, 6939091 edges, 35142 markings/sec, 160 secs
lola: 5942668 markings, 7151043 edges, 35430 markings/sec, 165 secs
lola: 6117499 markings, 7361628 edges, 34966 markings/sec, 170 secs
lola: 6291752 markings, 7572456 edges, 34851 markings/sec, 175 secs
lola: 6465862 markings, 7782327 edges, 34822 markings/sec, 180 secs
lola: 6640829 markings, 7992664 edges, 34993 markings/sec, 185 secs
lola: 6815074 markings, 8202938 edges, 34849 markings/sec, 190 secs
lola: 6988407 markings, 8413536 edges, 34667 markings/sec, 195 secs
lola: 7163574 markings, 8623725 edges, 35033 markings/sec, 200 secs
lola: 7337635 markings, 8833693 edges, 34812 markings/sec, 205 secs
lola: 7511038 markings, 9043977 edges, 34681 markings/sec, 210 secs
lola: 7684571 markings, 9253444 edges, 34707 markings/sec, 215 secs
lola: 7858565 markings, 9463635 edges, 34799 markings/sec, 220 secs
lola: 8031748 markings, 9673358 edges, 34637 markings/sec, 225 secs
lola: 8204877 markings, 9883763 edges, 34626 markings/sec, 230 secs
lola: 8378342 markings, 10093398 edges, 34693 markings/sec, 235 secs
lola: 8550941 markings, 10302769 edges, 34520 markings/sec, 240 secs
lola: 8715329 markings, 10500604 edges, 32878 markings/sec, 245 secs
lola: 8884623 markings, 10706306 edges, 33859 markings/sec, 250 secs
lola: 9059944 markings, 10917024 edges, 35064 markings/sec, 255 secs
lola: 9233024 markings, 11127042 edges, 34616 markings/sec, 260 secs
lola: 9407500 markings, 11337107 edges, 34895 markings/sec, 265 secs
lola: 9580780 markings, 11546727 edges, 34656 markings/sec, 270 secs
lola: 9754906 markings, 11756715 edges, 34825 markings/sec, 275 secs
lola: 9928876 markings, 11966626 edges, 34794 markings/sec, 280 secs
lola: 10102954 markings, 12176459 edges, 34816 markings/sec, 285 secs
lola: 10275732 markings, 12386315 edges, 34556 markings/sec, 290 secs
lola: 10449827 markings, 12596104 edges, 34819 markings/sec, 295 secs
lola: 10623373 markings, 12805615 edges, 34709 markings/sec, 300 secs
lola: 10796579 markings, 13015320 edges, 34641 markings/sec, 305 secs
lola: 10970458 markings, 13225394 edges, 34776 markings/sec, 310 secs
lola: 11145294 markings, 13436140 edges, 34967 markings/sec, 315 secs
lola: 11317790 markings, 13645686 edges, 34499 markings/sec, 320 secs
lola: 11491653 markings, 13856143 edges, 34773 markings/sec, 325 secs
lola: 11664408 markings, 14065485 edges, 34551 markings/sec, 330 secs
lola: 11837547 markings, 14275492 edges, 34628 markings/sec, 335 secs
lola: 12009296 markings, 14484740 edges, 34350 markings/sec, 340 secs
lola: 12181045 markings, 14693150 edges, 34350 markings/sec, 345 secs
lola: 12353706 markings, 14902597 edges, 34532 markings/sec, 350 secs
lola: 12526166 markings, 15112319 edges, 34492 markings/sec, 355 secs
lola: 12699131 markings, 15322789 edges, 34593 markings/sec, 360 secs
lola: 12872694 markings, 15532967 edges, 34713 markings/sec, 365 secs
lola: 13045629 markings, 15743414 edges, 34587 markings/sec, 370 secs
lola: 13218431 markings, 15953289 edges, 34560 markings/sec, 375 secs
lola: 13390062 markings, 16164354 edges, 34326 markings/sec, 380 secs
lola: 13562162 markings, 16373190 edges, 34420 markings/sec, 385 secs
lola: 13735580 markings, 16583527 edges, 34684 markings/sec, 390 secs
lola: 13909942 markings, 16793951 edges, 34872 markings/sec, 395 secs
lola: 14084231 markings, 17004228 edges, 34858 markings/sec, 400 secs
lola: 14255941 markings, 17213009 edges, 34342 markings/sec, 405 secs
lola: 14429658 markings, 17423219 edges, 34743 markings/sec, 410 secs
lola: 14602890 markings, 17633982 edges, 34646 markings/sec, 415 secs
lola: 14774755 markings, 17843068 edges, 34373 markings/sec, 420 secs
lola: 14945556 markings, 18051351 edges, 34160 markings/sec, 425 secs
lola: 15119007 markings, 18261370 edges, 34690 markings/sec, 430 secs
lola: 15291390 markings, 18471210 edges, 34477 markings/sec, 435 secs
lola: 15464939 markings, 18680844 edges, 34710 markings/sec, 440 secs
lola: 15638433 markings, 18890941 edges, 34699 markings/sec, 445 secs
lola: 15810753 markings, 19100866 edges, 34464 markings/sec, 450 secs
lola: 15983503 markings, 19310159 edges, 34550 markings/sec, 455 secs
lola: 16155346 markings, 19519755 edges, 34369 markings/sec, 460 secs
lola: 16327474 markings, 19729337 edges, 34426 markings/sec, 465 secs
lola: 16501095 markings, 19938006 edges, 34724 markings/sec, 470 secs
lola: 16672579 markings, 20147394 edges, 34297 markings/sec, 475 secs
lola: 16843986 markings, 20356309 edges, 34281 markings/sec, 480 secs
lola: 17016150 markings, 20565966 edges, 34433 markings/sec, 485 secs
lola: 17189277 markings, 20775895 edges, 34625 markings/sec, 490 secs
lola: 17361444 markings, 20984594 edges, 34433 markings/sec, 495 secs
lola: 17535552 markings, 21194288 edges, 34822 markings/sec, 500 secs
lola: 17708530 markings, 21403044 edges, 34596 markings/sec, 505 secs
lola: 17881833 markings, 21612201 edges, 34661 markings/sec, 510 secs
lola: 18055099 markings, 21820723 edges, 34653 markings/sec, 515 secs
lola: 18227676 markings, 22029827 edges, 34515 markings/sec, 520 secs
lola: 18401394 markings, 22240231 edges, 34744 markings/sec, 525 secs
lola: 18574649 markings, 22450084 edges, 34651 markings/sec, 530 secs
lola: 18747790 markings, 22659430 edges, 34628 markings/sec, 535 secs
lola: 18920745 markings, 22868799 edges, 34591 markings/sec, 540 secs
lola: 19094664 markings, 23078401 edges, 34784 markings/sec, 545 secs
lola: 19266881 markings, 23286659 edges, 34443 markings/sec, 550 secs
lola: 19438314 markings, 23496288 edges, 34287 markings/sec, 555 secs
lola: 19611212 markings, 23705857 edges, 34580 markings/sec, 560 secs
lola: 19786091 markings, 23915727 edges, 34976 markings/sec, 565 secs
lola: 19958958 markings, 24124946 edges, 34573 markings/sec, 570 secs
lola: 20131869 markings, 24333658 edges, 34582 markings/sec, 575 secs
lola: 20304102 markings, 24543355 edges, 34447 markings/sec, 580 secs
lola: 20476461 markings, 24752651 edges, 34472 markings/sec, 585 secs
lola: 20648160 markings, 24961298 edges, 34340 markings/sec, 590 secs
lola: 20819692 markings, 25170059 edges, 34306 markings/sec, 595 secs
lola: 20991308 markings, 25378604 edges, 34323 markings/sec, 600 secs
lola: 21163788 markings, 25587307 edges, 34496 markings/sec, 605 secs
lola: 21335136 markings, 25795729 edges, 34270 markings/sec, 610 secs
lola: 21507598 markings, 26003831 edges, 34492 markings/sec, 615 secs
lola: 21679038 markings, 26211776 edges, 34288 markings/sec, 620 secs
lola: 21851349 markings, 26420886 edges, 34462 markings/sec, 625 secs
lola: 22024851 markings, 26630393 edges, 34700 markings/sec, 630 secs
lola: 22199135 markings, 26840354 edges, 34857 markings/sec, 635 secs
lola: 22371389 markings, 27048521 edges, 34451 markings/sec, 640 secs
lola: 22544244 markings, 27257027 edges, 34571 markings/sec, 645 secs
lola: 22715691 markings, 27465787 edges, 34289 markings/sec, 650 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes no unknown yes unknown yes unknown no no yes no unknown no unknown unknown
lola: memory consumption: 3828156 KB
lola: time consumption: 940 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 657 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (F (NOT FIREABLE(t1987))) AND A (F (NOT FIREABLE(t425))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U NOT FIREABLE(t1987))) OR NOT(A(TRUE U NOT FIREABLE(t425))))))
lola: processed formula length: 88
lola: 56 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 475 markings, 1425 edges
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 876 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t919) AND ((FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177)) OR E (F (FIREABLE(t1938)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 876 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177))
lola: processed formula length: 60
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: ========================================
lola: subprocess 14 will run for 1315 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t919)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t919)
lola: processed formula length: 18
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2630 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1938)))
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 (FIREABLE(t1938)))
lola: processed formula length: 23
lola: 53 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: FIREABLE(t1938)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-2b-CTLFireability-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 18 markings, 17 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1315 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((FIREABLE(t37) AND FIREABLE(t2761) AND FIREABLE(t561) AND FIREABLE(t2661))))))
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: (NOT FIREABLE(t37) OR NOT FIREABLE(t2761) OR NOT FIREABLE(t561) OR NOT FIREABLE(t2661))
lola: processed formula length: 90
lola: 54 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 449 markings, 449 edges
lola:
========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2630 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A ((FIREABLE(t2514) U FIREABLE(t421))) OR (E (F (FIREABLE(t2955))) OR A (F (FIREABLE(t1268))))) AND ((NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763)) OR (((FIREABLE(t1293) AND FIREABLE(t2858)) OR FIREABLE(t1247)) AND A (G (FIREABLE(t1832)))))) OR A (F (E (G ((FIREABLE(t734) OR FIREABLE(t2589)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2630 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t1293) AND FIREABLE(t2858)) OR FIREABLE(t1247))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t1293) AND FIREABLE(t2858)) OR FIREABLE(t1247))
lola: processed formula length: 59
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: ========================================
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: (NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763))
lola: processed formula length: 92
lola: 52 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2955)))
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 (FIREABLE(t2955)))
lola: processed formula length: 23
lola: 53 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: FIREABLE(t2955)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 103 markings, 102 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
FORMULA DLCshifumi-PT-2b-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: (E ((E (F (FIREABLE(t571))) U FIREABLE(t477))) OR A (X ((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: (E(E(TRUE U FIREABLE(t571)) U FIREABLE(t477)) OR AX((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982)))))
lola: processed formula length: 156
lola: 55 rewrites
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.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: 168837 markings, 202359 edges, 33767 markings/sec, 0 secs
lola: 336088 markings, 403530 edges, 33450 markings/sec, 5 secs
lola: 512182 markings, 615941 edges, 35219 markings/sec, 10 secs
lola: 674144 markings, 811525 edges, 32392 markings/sec, 15 secs
lola: 848085 markings, 1022487 edges, 34788 markings/sec, 20 secs
lola: 1011291 markings, 1217989 edges, 32641 markings/sec, 25 secs
lola: 1189341 markings, 1430364 edges, 35610 markings/sec, 30 secs
lola: 1366223 markings, 1643384 edges, 35376 markings/sec, 35 secs
lola: 1542039 markings, 1853894 edges, 35163 markings/sec, 40 secs
lola: 1705399 markings, 2050627 edges, 32672 markings/sec, 45 secs
lola: 1880751 markings, 2261210 edges, 35070 markings/sec, 50 secs
lola: 2043145 markings, 2456851 edges, 32479 markings/sec, 55 secs
lola: 2218803 markings, 2668044 edges, 35132 markings/sec, 60 secs
lola: 2396199 markings, 2879797 edges, 35479 markings/sec, 65 secs
lola: 2572671 markings, 3091323 edges, 35294 markings/sec, 70 secs
lola: 2748876 markings, 3302128 edges, 35241 markings/sec, 75 secs
lola: 2924471 markings, 3513553 edges, 35119 markings/sec, 80 secs
lola: 3099273 markings, 3723544 edges, 34960 markings/sec, 85 secs
lola: 3272490 markings, 3933243 edges, 34643 markings/sec, 90 secs
lola: 3444572 markings, 4142329 edges, 34416 markings/sec, 95 secs
lola: 3604906 markings, 4337490 edges, 32067 markings/sec, 100 secs
lola: 3779492 markings, 4548241 edges, 34917 markings/sec, 105 secs
lola: 3942174 markings, 4743589 edges, 32536 markings/sec, 110 secs
lola: 4116600 markings, 4954457 edges, 34885 markings/sec, 115 secs
lola: 4292232 markings, 5165521 edges, 35126 markings/sec, 120 secs
lola: 4466091 markings, 5375995 edges, 34772 markings/sec, 125 secs
lola: 4642098 markings, 5587678 edges, 35201 markings/sec, 130 secs
lola: 4806002 markings, 5784353 edges, 32781 markings/sec, 135 secs
lola: 4979704 markings, 5993412 edges, 34740 markings/sec, 140 secs
lola: 5145607 markings, 6194051 edges, 33181 markings/sec, 145 secs
lola: 5322126 markings, 6406363 edges, 35304 markings/sec, 150 secs
lola: 5496583 markings, 6616550 edges, 34891 markings/sec, 155 secs
lola: 5659538 markings, 6812815 edges, 32591 markings/sec, 160 secs
lola: 5835310 markings, 7024823 edges, 35154 markings/sec, 165 secs
lola: 6012014 markings, 7236866 edges, 35341 markings/sec, 170 secs
lola: 6188597 markings, 7448411 edges, 35317 markings/sec, 175 secs
lola: 6364087 markings, 7658722 edges, 35098 markings/sec, 180 secs
lola: 6526232 markings, 7854033 edges, 32429 markings/sec, 185 secs
lola: 6702823 markings, 8065016 edges, 35318 markings/sec, 190 secs
lola: 6877052 markings, 8276127 edges, 34846 markings/sec, 195 secs
lola: 7051330 markings, 8486960 edges, 34856 markings/sec, 200 secs
lola: 7226514 markings, 8697619 edges, 35037 markings/sec, 205 secs
lola: 7391763 markings, 8895346 edges, 33050 markings/sec, 210 secs
lola: 7564945 markings, 9102817 edges, 34636 markings/sec, 215 secs
lola: 7728075 markings, 9298596 edges, 32626 markings/sec, 220 secs
lola: 7903033 markings, 9509126 edges, 34992 markings/sec, 225 secs
lola: 8074629 markings, 9717617 edges, 34319 markings/sec, 230 secs
lola: 8249353 markings, 9927591 edges, 34945 markings/sec, 235 secs
lola: 8422693 markings, 10136647 edges, 34668 markings/sec, 240 secs
lola: 8585253 markings, 10331467 edges, 32512 markings/sec, 245 secs
lola: 8760495 markings, 10542713 edges, 35048 markings/sec, 250 secs
lola: 8934682 markings, 10752040 edges, 34837 markings/sec, 255 secs
lola: 9095670 markings, 10947542 edges, 32198 markings/sec, 260 secs
lola: 9270849 markings, 11158540 edges, 35036 markings/sec, 265 secs
lola: 9440002 markings, 11361203 edges, 33831 markings/sec, 270 secs
lola: 9613995 markings, 11571265 edges, 34799 markings/sec, 275 secs
lola: 9788504 markings, 11781539 edges, 34902 markings/sec, 280 secs
lola: 9961741 markings, 11989932 edges, 34647 markings/sec, 285 secs
lola: 10124637 markings, 12185682 edges, 32579 markings/sec, 290 secs
lola: 10299219 markings, 12395695 edges, 34916 markings/sec, 295 secs
lola: 10473341 markings, 12605896 edges, 34824 markings/sec, 300 secs
lola: 10648242 markings, 12816293 edges, 34980 markings/sec, 305 secs
lola: 10822375 markings, 13025733 edges, 34827 markings/sec, 310 secs
lola: 10984742 markings, 13221589 edges, 32473 markings/sec, 315 secs
lola: 11158596 markings, 13432777 edges, 34771 markings/sec, 320 secs
lola: 11333463 markings, 13643003 edges, 34973 markings/sec, 325 secs
lola: 11501033 markings, 13843674 edges, 33514 markings/sec, 330 secs
lola: 11676544 markings, 14054013 edges, 35102 markings/sec, 335 secs
lola: 11841929 markings, 14251737 edges, 33077 markings/sec, 340 secs
lola: 12016799 markings, 14461856 edges, 34974 markings/sec, 345 secs
lola: 12178911 markings, 14657331 edges, 32422 markings/sec, 350 secs
lola: 12354921 markings, 14868275 edges, 35202 markings/sec, 355 secs
lola: 12530090 markings, 15078045 edges, 35034 markings/sec, 360 secs
lola: 12684710 markings, 15264155 edges, 30924 markings/sec, 365 secs
lola: 12859187 markings, 15474599 edges, 34895 markings/sec, 370 secs
lola: 13033769 markings, 15685395 edges, 34916 markings/sec, 375 secs
lola: 13208140 markings, 15895935 edges, 34874 markings/sec, 380 secs
lola: 13381647 markings, 16105044 edges, 34701 markings/sec, 385 secs
lola: 13554776 markings, 16313425 edges, 34626 markings/sec, 390 secs
lola: 13727892 markings, 16520847 edges, 34623 markings/sec, 395 secs
lola: 13888630 markings, 16714462 edges, 32148 markings/sec, 400 secs
lola: 14050209 markings, 16911288 edges, 32316 markings/sec, 405 secs
lola: 14223765 markings, 17120377 edges, 34711 markings/sec, 410 secs
lola: 14389494 markings, 17320373 edges, 33146 markings/sec, 415 secs
lola: 14559970 markings, 17526803 edges, 34095 markings/sec, 420 secs
lola: 14727675 markings, 17729262 edges, 33541 markings/sec, 425 secs
lola: 14898236 markings, 17933652 edges, 34112 markings/sec, 430 secs
lola: 15060583 markings, 18129670 edges, 32469 markings/sec, 435 secs
lola: 15222993 markings, 18324804 edges, 32482 markings/sec, 440 secs
lola: 15395684 markings, 18533790 edges, 34538 markings/sec, 445 secs
lola: 15557392 markings, 18729379 edges, 32342 markings/sec, 450 secs
lola: 15729815 markings, 18937533 edges, 34485 markings/sec, 455 secs
lola: 15890679 markings, 19132294 edges, 32173 markings/sec, 460 secs
lola: 16051561 markings, 19326228 edges, 32176 markings/sec, 465 secs
lola: 16213000 markings, 19522147 edges, 32288 markings/sec, 470 secs
lola: 16386440 markings, 19731364 edges, 34688 markings/sec, 475 secs
lola: 16559616 markings, 19940062 edges, 34635 markings/sec, 480 secs
lola: 16721367 markings, 20136243 edges, 32350 markings/sec, 485 secs
lola: 16888440 markings, 20337331 edges, 33415 markings/sec, 490 secs
lola: 17056993 markings, 20540503 edges, 33711 markings/sec, 495 secs
lola: 17219896 markings, 20736696 edges, 32581 markings/sec, 500 secs
lola: 17389802 markings, 20941715 edges, 33981 markings/sec, 505 secs
lola: 17562533 markings, 21150564 edges, 34546 markings/sec, 510 secs
lola: 17724941 markings, 21345822 edges, 32482 markings/sec, 515 secs
lola: 17898399 markings, 21555113 edges, 34692 markings/sec, 520 secs
lola: 18059623 markings, 21750292 edges, 32245 markings/sec, 525 secs
lola: 18233128 markings, 21960359 edges, 34701 markings/sec, 530 secs
lola: 18393007 markings, 22153503 edges, 31976 markings/sec, 535 secs
lola: 18557230 markings, 22352317 edges, 32845 markings/sec, 540 secs
lola: 18730050 markings, 22561146 edges, 34564 markings/sec, 545 secs
lola: 18897224 markings, 22762360 edges, 33435 markings/sec, 550 secs
lola: 19065916 markings, 22966833 edges, 33738 markings/sec, 555 secs
lola: 19239079 markings, 23175713 edges, 34633 markings/sec, 560 secs
lola: 19403270 markings, 23373656 edges, 32838 markings/sec, 565 secs
lola: 19576536 markings, 23583770 edges, 34653 markings/sec, 570 secs
lola: 19751191 markings, 23793628 edges, 34931 markings/sec, 575 secs
lola: 19923612 markings, 24003124 edges, 34484 markings/sec, 580 secs
lola: 20098169 markings, 24213931 edges, 34911 markings/sec, 585 secs
lola: 20271646 markings, 24424295 edges, 34695 markings/sec, 590 secs
lola: 20443809 markings, 24633569 edges, 34433 markings/sec, 595 secs
lola: 20616678 markings, 24843695 edges, 34574 markings/sec, 600 secs
lola: 20791007 markings, 25053812 edges, 34866 markings/sec, 605 secs
lola: 20964482 markings, 25263721 edges, 34695 markings/sec, 610 secs
lola: 21137908 markings, 25474242 edges, 34685 markings/sec, 615 secs
lola: 21301258 markings, 25671654 edges, 32670 markings/sec, 620 secs
lola: 21475058 markings, 25881801 edges, 34760 markings/sec, 625 secs
lola: 21648720 markings, 26092125 edges, 34732 markings/sec, 630 secs
lola: 21822556 markings, 26302345 edges, 34767 markings/sec, 635 secs
lola: 21984694 markings, 26497011 edges, 32428 markings/sec, 640 secs
lola: 22148967 markings, 26694173 edges, 32855 markings/sec, 645 secs
lola: 22310833 markings, 26889964 edges, 32373 markings/sec, 650 secs
lola: 22481706 markings, 27096825 edges, 34175 markings/sec, 655 secs
lola: 22643862 markings, 27292192 edges, 32431 markings/sec, 660 secs
lola: 22818244 markings, 27501438 edges, 34876 markings/sec, 665 secs
lola: 22975136 markings, 27689948 edges, 31378 markings/sec, 670 secs
lola: 23142533 markings, 27892841 edges, 33479 markings/sec, 675 secs
lola: 23314597 markings, 28101765 edges, 34413 markings/sec, 680 secs
lola: 23489054 markings, 28310658 edges, 34891 markings/sec, 685 secs
lola: 23661011 markings, 28518910 edges, 34391 markings/sec, 690 secs
lola: 23832905 markings, 28728086 edges, 34379 markings/sec, 695 secs
lola: 24006976 markings, 28936835 edges, 34814 markings/sec, 700 secs
lola: 24178876 markings, 29146545 edges, 34380 markings/sec, 705 secs
lola: 24351014 markings, 29355119 edges, 34428 markings/sec, 710 secs
lola: 24522932 markings, 29563663 edges, 34384 markings/sec, 715 secs
lola: 24695337 markings, 29772385 edges, 34481 markings/sec, 720 secs
lola: 24858594 markings, 29970897 edges, 32651 markings/sec, 725 secs
lola: 25030519 markings, 30178781 edges, 34385 markings/sec, 730 secs
lola: 25202823 markings, 30385720 edges, 34461 markings/sec, 735 secs
lola: 25374000 markings, 30593673 edges, 34235 markings/sec, 740 secs
lola: 25536039 markings, 30791642 edges, 32408 markings/sec, 745 secs
lola: 25709089 markings, 30999972 edges, 34610 markings/sec, 750 secs
lola: 25882207 markings, 31209190 edges, 34624 markings/sec, 755 secs
lola: 26058044 markings, 31420199 edges, 35167 markings/sec, 760 secs
lola: 26234344 markings, 31631453 edges, 35260 markings/sec, 765 secs
lola: 26410765 markings, 31843794 edges, 35284 markings/sec, 770 secs
lola: 26584625 markings, 32053782 edges, 34772 markings/sec, 775 secs
lola: 26757918 markings, 32263647 edges, 34659 markings/sec, 780 secs
lola: 26933610 markings, 32474907 edges, 35138 markings/sec, 785 secs
lola: 27108256 markings, 32684510 edges, 34929 markings/sec, 790 secs
lola: 27282521 markings, 32894885 edges, 34853 markings/sec, 795 secs
lola: 27457863 markings, 33104769 edges, 35068 markings/sec, 800 secs
lola: 27633533 markings, 33315105 edges, 35134 markings/sec, 805 secs
lola: 27807800 markings, 33525071 edges, 34853 markings/sec, 810 secs
lola: 27982065 markings, 33735352 edges, 34853 markings/sec, 815 secs
lola: 28156008 markings, 33945081 edges, 34789 markings/sec, 820 secs
lola: 28332160 markings, 34155111 edges, 35230 markings/sec, 825 secs
lola: 28506599 markings, 34365413 edges, 34888 markings/sec, 830 secs
lola: 28681545 markings, 34575992 edges, 34989 markings/sec, 835 secs
lola: 28857674 markings, 34788326 edges, 35226 markings/sec, 840 secs
lola: 29032215 markings, 34999104 edges, 34908 markings/sec, 845 secs
lola: 29205410 markings, 35208394 edges, 34639 markings/sec, 850 secs
lola: 29379629 markings, 35417734 edges, 34844 markings/sec, 855 secs
lola: 29554302 markings, 35626697 edges, 34935 markings/sec, 860 secs
lola: 29728917 markings, 35836098 edges, 34923 markings/sec, 865 secs
lola: 29904158 markings, 36046388 edges, 35048 markings/sec, 870 secs
lola: 30079995 markings, 36257731 edges, 35167 markings/sec, 875 secs
lola: 30254698 markings, 36467610 edges, 34941 markings/sec, 880 secs
lola: 30428674 markings, 36677039 edges, 34795 markings/sec, 885 secs
lola: 30601968 markings, 36887041 edges, 34659 markings/sec, 890 secs
lola: 30778708 markings, 37099401 edges, 35348 markings/sec, 895 secs
lola: 30954069 markings, 37308864 edges, 35072 markings/sec, 900 secs
lola: 31127740 markings, 37517598 edges, 34734 markings/sec, 905 secs
lola: 31303442 markings, 37727826 edges, 35140 markings/sec, 910 secs
lola: 31476843 markings, 37936799 edges, 34680 markings/sec, 915 secs
lola: 31652233 markings, 38146144 edges, 35078 markings/sec, 920 secs
lola: 31826324 markings, 38355981 edges, 34818 markings/sec, 925 secs
lola: 32000515 markings, 38564766 edges, 34838 markings/sec, 930 secs
lola: 32173379 markings, 38772496 edges, 34573 markings/sec, 935 secs
lola: 32344953 markings, 38980555 edges, 34315 markings/sec, 940 secs
lola: 32517598 markings, 39189636 edges, 34529 markings/sec, 945 secs
lola: 32690176 markings, 39398401 edges, 34516 markings/sec, 950 secs
lola: 32864957 markings, 39608170 edges, 34956 markings/sec, 955 secs
lola: 33041106 markings, 39818477 edges, 35230 markings/sec, 960 secs
lola: 33215208 markings, 40028656 edges, 34820 markings/sec, 965 secs
lola: 33390084 markings, 40238985 edges, 34975 markings/sec, 970 secs
lola: 33565105 markings, 40449320 edges, 35004 markings/sec, 975 secs
lola: 33740663 markings, 40659350 edges, 35112 markings/sec, 980 secs
lola: 33915131 markings, 40869960 edges, 34894 markings/sec, 985 secs
lola: 34090182 markings, 41079988 edges, 35010 markings/sec, 990 secs
lola: 34265150 markings, 41290335 edges, 34994 markings/sec, 995 secs
lola: 34439486 markings, 41501059 edges, 34867 markings/sec, 1000 secs
lola: 34612997 markings, 41711845 edges, 34702 markings/sec, 1005 secs
lola: 34787259 markings, 41922739 edges, 34852 markings/sec, 1010 secs
lola: 34961488 markings, 42133078 edges, 34846 markings/sec, 1015 secs
lola: 35136535 markings, 42343210 edges, 35009 markings/sec, 1020 secs
lola: 35312631 markings, 42555131 edges, 35219 markings/sec, 1025 secs
lola: 35490207 markings, 42767554 edges, 35515 markings/sec, 1030 secs
lola: 35666565 markings, 42979858 edges, 35272 markings/sec, 1035 secs
lola: 35842315 markings, 43191632 edges, 35150 markings/sec, 1040 secs
lola: 36015574 markings, 43402274 edges, 34652 markings/sec, 1045 secs
lola: 36190579 markings, 43611978 edges, 35001 markings/sec, 1050 secs
lola: 36364512 markings, 43822541 edges, 34787 markings/sec, 1055 secs
lola: 36540963 markings, 44034044 edges, 35290 markings/sec, 1060 secs
lola: 36714701 markings, 44245103 edges, 34748 markings/sec, 1065 secs
lola: 36889430 markings, 44456516 edges, 34946 markings/sec, 1070 secs
lola: 37064198 markings, 44667328 edges, 34954 markings/sec, 1075 secs
lola: 37238855 markings, 44878232 edges, 34931 markings/sec, 1080 secs
lola: 37412534 markings, 45087721 edges, 34736 markings/sec, 1085 secs
lola: 37587357 markings, 45297926 edges, 34965 markings/sec, 1090 secs
lola: 37762877 markings, 45509326 edges, 35104 markings/sec, 1095 secs
lola: 37937742 markings, 45720143 edges, 34973 markings/sec, 1100 secs
lola: 38110303 markings, 45929854 edges, 34512 markings/sec, 1105 secs
lola: 38282562 markings, 46140573 edges, 34452 markings/sec, 1110 secs
lola: 38454739 markings, 46351303 edges, 34435 markings/sec, 1115 secs
lola: 38629472 markings, 46562181 edges, 34947 markings/sec, 1120 secs
lola: 38803744 markings, 46773130 edges, 34854 markings/sec, 1125 secs
lola: 38978821 markings, 46984504 edges, 35015 markings/sec, 1130 secs
lola: 39154522 markings, 47195084 edges, 35140 markings/sec, 1135 secs
lola: 39329631 markings, 47405343 edges, 35022 markings/sec, 1140 secs
lola: 39504159 markings, 47617004 edges, 34906 markings/sec, 1145 secs
lola: 39680025 markings, 47828696 edges, 35173 markings/sec, 1150 secs
lola: 39854796 markings, 48039640 edges, 34954 markings/sec, 1155 secs
lola: 40032082 markings, 48251047 edges, 35457 markings/sec, 1160 secs
lola: 40208117 markings, 48461891 edges, 35207 markings/sec, 1165 secs
lola: 40383337 markings, 48672405 edges, 35044 markings/sec, 1170 secs
lola: 40560649 markings, 48885283 edges, 35462 markings/sec, 1175 secs
lola: 40737281 markings, 49097590 edges, 35326 markings/sec, 1180 secs
lola: 40911934 markings, 49308632 edges, 34931 markings/sec, 1185 secs
lola: 41085813 markings, 49519656 edges, 34776 markings/sec, 1190 secs
lola: 41259459 markings, 49729927 edges, 34729 markings/sec, 1195 secs
lola: 41432140 markings, 49938915 edges, 34536 markings/sec, 1200 secs
lola: 41606827 markings, 50149691 edges, 34937 markings/sec, 1205 secs
lola: 41780857 markings, 50360576 edges, 34806 markings/sec, 1210 secs
lola: 41956830 markings, 50572809 edges, 35195 markings/sec, 1215 secs
lola: 42130051 markings, 50783739 edges, 34644 markings/sec, 1220 secs
lola: 42302943 markings, 50993228 edges, 34578 markings/sec, 1225 secs
lola: 42476793 markings, 51203204 edges, 34770 markings/sec, 1230 secs
lola: 42649521 markings, 51413139 edges, 34546 markings/sec, 1235 secs
lola: 42823803 markings, 51623800 edges, 34856 markings/sec, 1240 secs
lola: 42998048 markings, 51833853 edges, 34849 markings/sec, 1245 secs
lola: 43173234 markings, 52045213 edges, 35037 markings/sec, 1250 secs
lola: 43347215 markings, 52256382 edges, 34796 markings/sec, 1255 secs
lola: 43520765 markings, 52466745 edges, 34710 markings/sec, 1260 secs
lola: 43693378 markings, 52676569 edges, 34523 markings/sec, 1265 secs
lola: 43868061 markings, 52886803 edges, 34937 markings/sec, 1270 secs
lola: 44042387 markings, 53097383 edges, 34865 markings/sec, 1275 secs
lola: 44217573 markings, 53308022 edges, 35037 markings/sec, 1280 secs
lola: 44390823 markings, 53517934 edges, 34650 markings/sec, 1285 secs
lola: 44566382 markings, 53729641 edges, 35112 markings/sec, 1290 secs
lola: 44740393 markings, 53939611 edges, 34802 markings/sec, 1295 secs
lola: 44916280 markings, 54150156 edges, 35177 markings/sec, 1300 secs
lola: 45089140 markings, 54360456 edges, 34572 markings/sec, 1305 secs
lola: 45263202 markings, 54570573 edges, 34812 markings/sec, 1310 secs
lola: 45437238 markings, 54781031 edges, 34807 markings/sec, 1315 secs
lola: 45612052 markings, 54991690 edges, 34963 markings/sec, 1320 secs
lola: 45786694 markings, 55202573 edges, 34928 markings/sec, 1325 secs
lola: 45960580 markings, 55412112 edges, 34777 markings/sec, 1330 secs
lola: 46133862 markings, 55621038 edges, 34656 markings/sec, 1335 secs
lola: 46306657 markings, 55830374 edges, 34559 markings/sec, 1340 secs
lola: 46480826 markings, 56040298 edges, 34834 markings/sec, 1345 secs
lola: 46654429 markings, 56248891 edges, 34721 markings/sec, 1350 secs
lola: 46826908 markings, 56457559 edges, 34496 markings/sec, 1355 secs
lola: 46997324 markings, 56666239 edges, 34083 markings/sec, 1360 secs
lola: 47168901 markings, 56875880 edges, 34315 markings/sec, 1365 secs
lola: 47340985 markings, 57084630 edges, 34417 markings/sec, 1370 secs
lola: 47512905 markings, 57294103 edges, 34384 markings/sec, 1375 secs
lola: 47684825 markings, 57503310 edges, 34384 markings/sec, 1380 secs
lola: 47857468 markings, 57712937 edges, 34529 markings/sec, 1385 secs
lola: 48030932 markings, 57922073 edges, 34693 markings/sec, 1390 secs
lola: 48204467 markings, 58132147 edges, 34707 markings/sec, 1395 secs
lola: 48377153 markings, 58342136 edges, 34537 markings/sec, 1400 secs
lola: 48549389 markings, 58550909 edges, 34447 markings/sec, 1405 secs
lola: 48722392 markings, 58760980 edges, 34601 markings/sec, 1410 secs
lola: 48896486 markings, 58970297 edges, 34819 markings/sec, 1415 secs
lola: 49069716 markings, 59179493 edges, 34646 markings/sec, 1420 secs
lola: 49242885 markings, 59388413 edges, 34634 markings/sec, 1425 secs
lola: 49403230 markings, 59583660 edges, 32069 markings/sec, 1430 secs
lola: 49578028 markings, 59793379 edges, 34960 markings/sec, 1435 secs
lola: 49743913 markings, 59993769 edges, 33177 markings/sec, 1440 secs
lola: 49915324 markings, 60201297 edges, 34282 markings/sec, 1445 secs
lola: 50076472 markings, 60396580 edges, 32230 markings/sec, 1450 secs
lola: 50237833 markings, 60592184 edges, 32272 markings/sec, 1455 secs
lola: 50410402 markings, 60801592 edges, 34514 markings/sec, 1460 secs
lola: 50581308 markings, 61008819 edges, 34181 markings/sec, 1465 secs
lola: 50743891 markings, 61205510 edges, 32517 markings/sec, 1470 secs
lola: 50915112 markings, 61415626 edges, 34244 markings/sec, 1475 secs
lola: 51079845 markings, 61614284 edges, 32947 markings/sec, 1480 secs
lola: 51253238 markings, 61823810 edges, 34679 markings/sec, 1485 secs
lola: 51422709 markings, 62031442 edges, 33894 markings/sec, 1490 secs
lola: 51594148 markings, 62239080 edges, 34288 markings/sec, 1495 secs
lola: 51755462 markings, 62435996 edges, 32263 markings/sec, 1500 secs
lola: 51926176 markings, 62642878 edges, 34143 markings/sec, 1505 secs
lola: 52085050 markings, 62834946 edges, 31775 markings/sec, 1510 secs
lola: 52256630 markings, 63043367 edges, 34316 markings/sec, 1515 secs
lola: 52416989 markings, 63239677 edges, 32072 markings/sec, 1520 secs
lola: 52586838 markings, 63446961 edges, 33970 markings/sec, 1525 secs
lola: 52748926 markings, 63643549 edges, 32418 markings/sec, 1530 secs
lola: 52919772 markings, 63850785 edges, 34169 markings/sec, 1535 secs
lola: 53081403 markings, 64047318 edges, 32326 markings/sec, 1540 secs
lola: 53252333 markings, 64254749 edges, 34186 markings/sec, 1545 secs
lola: 53415400 markings, 64451489 edges, 32613 markings/sec, 1550 secs
lola: 53586687 markings, 64659435 edges, 34257 markings/sec, 1555 secs
lola: 53756226 markings, 64865309 edges, 33908 markings/sec, 1560 secs
lola: 53905488 markings, 65044784 edges, 29852 markings/sec, 1565 secs
lola: 54048893 markings, 65219608 edges, 28681 markings/sec, 1570 secs
lola: 54215150 markings, 65422810 edges, 33251 markings/sec, 1575 secs
lola: 54383874 markings, 65627113 edges, 33745 markings/sec, 1580 secs
lola: 54553334 markings, 65832675 edges, 33892 markings/sec, 1585 secs
lola: 54725613 markings, 66040945 edges, 34456 markings/sec, 1590 secs
lola: 54896239 markings, 66249034 edges, 34125 markings/sec, 1595 secs
lola: 55051795 markings, 66436705 edges, 31111 markings/sec, 1600 secs
lola: 55192892 markings, 66605930 edges, 28219 markings/sec, 1605 secs
lola: 55354388 markings, 66800287 edges, 32299 markings/sec, 1610 secs
lola: 55524420 markings, 67006791 edges, 34006 markings/sec, 1615 secs
lola: 55672486 markings, 67186483 edges, 29613 markings/sec, 1620 secs
lola: 55820572 markings, 67365574 edges, 29617 markings/sec, 1625 secs
lola: 55982033 markings, 67559654 edges, 32292 markings/sec, 1630 secs
lola: 56144323 markings, 67754567 edges, 32458 markings/sec, 1635 secs
lola: 56294395 markings, 67937419 edges, 30014 markings/sec, 1640 secs
lola: 56457802 markings, 68133910 edges, 32681 markings/sec, 1645 secs
lola: 56616378 markings, 68327694 edges, 31715 markings/sec, 1650 secs
lola: 56776576 markings, 68522042 edges, 32040 markings/sec, 1655 secs
lola: 56930546 markings, 68710049 edges, 30794 markings/sec, 1660 secs
lola: 57073279 markings, 68884149 edges, 28547 markings/sec, 1665 secs
lola: 57222637 markings, 69066672 edges, 29872 markings/sec, 1670 secs
lola: 57374689 markings, 69251370 edges, 30410 markings/sec, 1675 secs
lola: 57533401 markings, 69443913 edges, 31742 markings/sec, 1680 secs
lola: 57683067 markings, 69625431 edges, 29933 markings/sec, 1685 secs
lola: 57852278 markings, 69829652 edges, 33842 markings/sec, 1690 secs
lola: 57993854 markings, 70001519 edges, 28315 markings/sec, 1695 secs
lola: 58136557 markings, 70172274 edges, 28541 markings/sec, 1700 secs
lola: 58297256 markings, 70366332 edges, 32140 markings/sec, 1705 secs
lola: 58449529 markings, 70550707 edges, 30455 markings/sec, 1710 secs
lola: 58608396 markings, 70740540 edges, 31773 markings/sec, 1715 secs
lola: 58772723 markings, 70939014 edges, 32865 markings/sec, 1720 secs
lola: 58941507 markings, 71142836 edges, 33757 markings/sec, 1725 secs
lola: 59110536 markings, 71347187 edges, 33806 markings/sec, 1730 secs
lola: 59269485 markings, 71539889 edges, 31790 markings/sec, 1735 secs
lola: 59440090 markings, 71746615 edges, 34121 markings/sec, 1740 secs
lola: 59610658 markings, 71954278 edges, 34114 markings/sec, 1745 secs
lola: 59771629 markings, 72148924 edges, 32194 markings/sec, 1750 secs
lola: 59939909 markings, 72353548 edges, 33656 markings/sec, 1755 secs
lola: 60107491 markings, 72555911 edges, 33516 markings/sec, 1760 secs
lola: 60270013 markings, 72751117 edges, 32504 markings/sec, 1765 secs
lola: 60438766 markings, 72956628 edges, 33751 markings/sec, 1770 secs
lola: 60610622 markings, 73164111 edges, 34371 markings/sec, 1775 secs
lola: 60778229 markings, 73366154 edges, 33521 markings/sec, 1780 secs
lola: 60945460 markings, 73568880 edges, 33446 markings/sec, 1785 secs
lola: 61111060 markings, 73771645 edges, 33120 markings/sec, 1790 secs
lola: 61282597 markings, 73979485 edges, 34307 markings/sec, 1795 secs
lola: 61443458 markings, 74174090 edges, 32172 markings/sec, 1800 secs
lola: 61613415 markings, 74380257 edges, 33991 markings/sec, 1805 secs
lola: 61782337 markings, 74584619 edges, 33784 markings/sec, 1810 secs
lola: 61931707 markings, 74764053 edges, 29874 markings/sec, 1815 secs
lola: 62090220 markings, 74955742 edges, 31703 markings/sec, 1820 secs
lola: 62238535 markings, 75134911 edges, 29663 markings/sec, 1825 secs
lola: 62409001 markings, 75341724 edges, 34093 markings/sec, 1830 secs
lola: 62581125 markings, 75550199 edges, 34425 markings/sec, 1835 secs
lola: 62750237 markings, 75756536 edges, 33822 markings/sec, 1840 secs
lola: 62920638 markings, 75962494 edges, 34080 markings/sec, 1845 secs
lola: 63081676 markings, 76157880 edges, 32208 markings/sec, 1850 secs
lola: 63253473 markings, 76365888 edges, 34359 markings/sec, 1855 secs
lola: 63414175 markings, 76561099 edges, 32140 markings/sec, 1860 secs
lola: 63586706 markings, 76768563 edges, 34506 markings/sec, 1865 secs
lola: 63758995 markings, 76977479 edges, 34458 markings/sec, 1870 secs
lola: 63929987 markings, 77185712 edges, 34198 markings/sec, 1875 secs
lola: 64100746 markings, 77392775 edges, 34152 markings/sec, 1880 secs
lola: 64273631 markings, 77601602 edges, 34577 markings/sec, 1885 secs
lola: 64444792 markings, 77808611 edges, 34232 markings/sec, 1890 secs
lola: 64617652 markings, 78015968 edges, 34572 markings/sec, 1895 secs
lola: 64787992 markings, 78223219 edges, 34068 markings/sec, 1900 secs
lola: 64958769 markings, 78430424 edges, 34155 markings/sec, 1905 secs
lola: 65129271 markings, 78636051 edges, 34100 markings/sec, 1910 secs
lola: 65301574 markings, 78843701 edges, 34461 markings/sec, 1915 secs
lola: 65472384 markings, 79050380 edges, 34162 markings/sec, 1920 secs
lola: 65643305 markings, 79258286 edges, 34184 markings/sec, 1925 secs
lola: 65812484 markings, 79464138 edges, 33836 markings/sec, 1930 secs
lola: 65985477 markings, 79672748 edges, 34599 markings/sec, 1935 secs
lola: 66155592 markings, 79879822 edges, 34023 markings/sec, 1940 secs
lola: 66325821 markings, 80087055 edges, 34046 markings/sec, 1945 secs
lola: 66495661 markings, 80293601 edges, 33968 markings/sec, 1950 secs
lola: 66670204 markings, 80503032 edges, 34909 markings/sec, 1955 secs
lola: 66843669 markings, 80712794 edges, 34693 markings/sec, 1960 secs
lola: 67016654 markings, 80920908 edges, 34597 markings/sec, 1965 secs
lola: 67189021 markings, 81130039 edges, 34473 markings/sec, 1970 secs
lola: 67354458 markings, 81329542 edges, 33087 markings/sec, 1975 secs
lola: 67531110 markings, 81540036 edges, 35330 markings/sec, 1980 secs
lola: 67705524 markings, 81748770 edges, 34883 markings/sec, 1985 secs
lola: 67879295 markings, 81958515 edges, 34754 markings/sec, 1990 secs
lola: 68051710 markings, 82167472 edges, 34483 markings/sec, 1995 secs
lola: 68222968 markings, 82375350 edges, 34252 markings/sec, 2000 secs
lola: 68393066 markings, 82582684 edges, 34020 markings/sec, 2005 secs
lola: 68564169 markings, 82790682 edges, 34221 markings/sec, 2010 secs
lola: 68735834 markings, 82997841 edges, 34333 markings/sec, 2015 secs
lola: 68907847 markings, 83206715 edges, 34403 markings/sec, 2020 secs
lola: 69079369 markings, 83414613 edges, 34304 markings/sec, 2025 secs
lola: 69250756 markings, 83622247 edges, 34277 markings/sec, 2030 secs
lola: 69421858 markings, 83829225 edges, 34220 markings/sec, 2035 secs
lola: 69592745 markings, 84036147 edges, 34177 markings/sec, 2040 secs
lola: 69763242 markings, 84243362 edges, 34099 markings/sec, 2045 secs
lola: 69934950 markings, 84450669 edges, 34342 markings/sec, 2050 secs
lola: 70106731 markings, 84658860 edges, 34356 markings/sec, 2055 secs
lola: 70278799 markings, 84866081 edges, 34414 markings/sec, 2060 secs
lola: 70450802 markings, 85073241 edges, 34401 markings/sec, 2065 secs
lola: 70622598 markings, 85280834 edges, 34359 markings/sec, 2070 secs
lola: 70793815 markings, 85489516 edges, 34243 markings/sec, 2075 secs
lola: 70963945 markings, 85695479 edges, 34026 markings/sec, 2080 secs
lola: 71135249 markings, 85902971 edges, 34261 markings/sec, 2085 secs
lola: 71307682 markings, 86111128 edges, 34487 markings/sec, 2090 secs
lola: 71477794 markings, 86317011 edges, 34022 markings/sec, 2095 secs
lola: 71648389 markings, 86524050 edges, 34119 markings/sec, 2100 secs
lola: 71817700 markings, 86730926 edges, 33862 markings/sec, 2105 secs
lola: 71988385 markings, 86938772 edges, 34137 markings/sec, 2110 secs
lola: 72159699 markings, 87146001 edges, 34263 markings/sec, 2115 secs
lola: 72333102 markings, 87354876 edges, 34681 markings/sec, 2120 secs
lola: 72503727 markings, 87562648 edges, 34125 markings/sec, 2125 secs
lola: 72678348 markings, 87771703 edges, 34924 markings/sec, 2130 secs
lola: 72852698 markings, 87980492 edges, 34870 markings/sec, 2135 secs
lola: 73025816 markings, 88189368 edges, 34624 markings/sec, 2140 secs
lola: 73198621 markings, 88398281 edges, 34561 markings/sec, 2145 secs
lola: 73373359 markings, 88606842 edges, 34948 markings/sec, 2150 secs
lola: 73546799 markings, 88815863 edges, 34688 markings/sec, 2155 secs
lola: 73720859 markings, 89024624 edges, 34812 markings/sec, 2160 secs
lola: 73893533 markings, 89233032 edges, 34535 markings/sec, 2165 secs
lola: 74066727 markings, 89441747 edges, 34639 markings/sec, 2170 secs
lola: 74238739 markings, 89650109 edges, 34402 markings/sec, 2175 secs
lola: 74411897 markings, 89858586 edges, 34632 markings/sec, 2180 secs
lola: 74583748 markings, 90066564 edges, 34370 markings/sec, 2185 secs
lola: 74756331 markings, 90274538 edges, 34517 markings/sec, 2190 secs
lola: 74928627 markings, 90482802 edges, 34459 markings/sec, 2195 secs
lola: 75101709 markings, 90690921 edges, 34616 markings/sec, 2200 secs
lola: 75274242 markings, 90899112 edges, 34507 markings/sec, 2205 secs
lola: 75447937 markings, 91107420 edges, 34739 markings/sec, 2210 secs
lola: 75621407 markings, 91316053 edges, 34694 markings/sec, 2215 secs
lola: 75794655 markings, 91524390 edges, 34650 markings/sec, 2220 secs
lola: 75967300 markings, 91732885 edges, 34529 markings/sec, 2225 secs
lola: 76140061 markings, 91941542 edges, 34552 markings/sec, 2230 secs
lola: 76309616 markings, 92148361 edges, 33911 markings/sec, 2235 secs
lola: 76480834 markings, 92355317 edges, 34244 markings/sec, 2240 secs
lola: 76651972 markings, 92562615 edges, 34228 markings/sec, 2245 secs
lola: 76822764 markings, 92769981 edges, 34158 markings/sec, 2250 secs
lola: 76995555 markings, 92978661 edges, 34558 markings/sec, 2255 secs
lola: 77166899 markings, 93186449 edges, 34269 markings/sec, 2260 secs
lola: 77338660 markings, 93394255 edges, 34352 markings/sec, 2265 secs
lola: 77507559 markings, 93599869 edges, 33780 markings/sec, 2270 secs
lola: 77676408 markings, 93805867 edges, 33770 markings/sec, 2275 secs
lola: 77846998 markings, 94012984 edges, 34118 markings/sec, 2280 secs
lola: 78017211 markings, 94218313 edges, 34043 markings/sec, 2285 secs
lola: 78179259 markings, 94413879 edges, 32410 markings/sec, 2290 secs
lola: 78348882 markings, 94619606 edges, 33925 markings/sec, 2295 secs
lola: 78519476 markings, 94826202 edges, 34119 markings/sec, 2300 secs
lola: 78690205 markings, 95033005 edges, 34146 markings/sec, 2305 secs
lola: 78861061 markings, 95238774 edges, 34171 markings/sec, 2310 secs
lola: 79032613 markings, 95445987 edges, 34310 markings/sec, 2315 secs
lola: 79204217 markings, 95653079 edges, 34321 markings/sec, 2320 secs
lola: 79365858 markings, 95848345 edges, 32328 markings/sec, 2325 secs
lola: 79537601 markings, 96055466 edges, 34349 markings/sec, 2330 secs
lola: 79710787 markings, 96263328 edges, 34637 markings/sec, 2335 secs
lola: 79881494 markings, 96469968 edges, 34141 markings/sec, 2340 secs
lola: 80051501 markings, 96675492 edges, 34001 markings/sec, 2345 secs
lola: 80222258 markings, 96882510 edges, 34151 markings/sec, 2350 secs
lola: 80392137 markings, 97088172 edges, 33976 markings/sec, 2355 secs
lola: 80561842 markings, 97294785 edges, 33941 markings/sec, 2360 secs
lola: 80731801 markings, 97501438 edges, 33992 markings/sec, 2365 secs
lola: 80901085 markings, 97707266 edges, 33857 markings/sec, 2370 secs
lola: 81071941 markings, 97913737 edges, 34171 markings/sec, 2375 secs
lola: 81241853 markings, 98120752 edges, 33982 markings/sec, 2380 secs
lola: 81414146 markings, 98328864 edges, 34459 markings/sec, 2385 secs
lola: 81583584 markings, 98535003 edges, 33888 markings/sec, 2390 secs
lola: 81754352 markings, 98741358 edges, 34154 markings/sec, 2395 secs
lola: 81926240 markings, 98948194 edges, 34378 markings/sec, 2400 secs
lola: 82097163 markings, 99155519 edges, 34185 markings/sec, 2405 secs
lola: 82267305 markings, 99362142 edges, 34028 markings/sec, 2410 secs
lola: 82438283 markings, 99569299 edges, 34196 markings/sec, 2415 secs
lola: 82609529 markings, 99776311 edges, 34249 markings/sec, 2420 secs
lola: 82779468 markings, 99982294 edges, 33988 markings/sec, 2425 secs
lola: 82949025 markings, 100189043 edges, 33911 markings/sec, 2430 secs
lola: 83120228 markings, 100395132 edges, 34241 markings/sec, 2435 secs
lola: 83291848 markings, 100600770 edges, 34324 markings/sec, 2440 secs
lola: 83462341 markings, 100804675 edges, 34099 markings/sec, 2445 secs
lola: 83634398 markings, 101010714 edges, 34411 markings/sec, 2450 secs
lola: 83804472 markings, 101216134 edges, 34015 markings/sec, 2455 secs
lola: 83975171 markings, 101422181 edges, 34140 markings/sec, 2460 secs
lola: 84146319 markings, 101626176 edges, 34230 markings/sec, 2465 secs
lola: 84304139 markings, 101816195 edges, 31564 markings/sec, 2470 secs
lola: 84473715 markings, 102020542 edges, 33915 markings/sec, 2475 secs
lola: 84643592 markings, 102227267 edges, 33975 markings/sec, 2480 secs
lola: 84813314 markings, 102432360 edges, 33944 markings/sec, 2485 secs
lola: 84981580 markings, 102637131 edges, 33653 markings/sec, 2490 secs
lola: 85151262 markings, 102841798 edges, 33936 markings/sec, 2495 secs
lola: 85321223 markings, 103046175 edges, 33992 markings/sec, 2500 secs
lola: 85491228 markings, 103250394 edges, 34001 markings/sec, 2505 secs
lola: 85660717 markings, 103454890 edges, 33898 markings/sec, 2510 secs
lola: 85831340 markings, 103658185 edges, 34125 markings/sec, 2515 secs
lola: 86000947 markings, 103861750 edges, 33921 markings/sec, 2520 secs
lola: 86169718 markings, 104064202 edges, 33754 markings/sec, 2525 secs
lola: 86339481 markings, 104267512 edges, 33953 markings/sec, 2530 secs
lola: 86507376 markings, 104471909 edges, 33579 markings/sec, 2535 secs
lola: 86675715 markings, 104674507 edges, 33668 markings/sec, 2540 secs
lola: 86845034 markings, 104878337 edges, 33864 markings/sec, 2545 secs
lola: 87012871 markings, 105081687 edges, 33567 markings/sec, 2550 secs
lola: 87181103 markings, 105285360 edges, 33646 markings/sec, 2555 secs
lola: 87351502 markings, 105489553 edges, 34080 markings/sec, 2560 secs
lola: 87520259 markings, 105693708 edges, 33751 markings/sec, 2565 secs
lola: 87688545 markings, 105896992 edges, 33657 markings/sec, 2570 secs
lola: 87856795 markings, 106099418 edges, 33650 markings/sec, 2575 secs
lola: 88026993 markings, 106304160 edges, 34040 markings/sec, 2580 secs
lola: 88196887 markings, 106508741 edges, 33979 markings/sec, 2585 secs
lola: 88368807 markings, 106715074 edges, 34384 markings/sec, 2590 secs
lola: 88539800 markings, 106921398 edges, 34199 markings/sec, 2595 secs
lola: 88710271 markings, 107126391 edges, 34094 markings/sec, 2600 secs
lola: 88880312 markings, 107331545 edges, 34008 markings/sec, 2605 secs
lola: 89052738 markings, 107538599 edges, 34485 markings/sec, 2610 secs
lola: 89222928 markings, 107744059 edges, 34038 markings/sec, 2615 secs
lola: 89395179 markings, 107949811 edges, 34450 markings/sec, 2620 secs
lola: 89566266 markings, 108154990 edges, 34217 markings/sec, 2625 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no no yes yes yes unknown no no yes no yes no yes unknown
lola:
preliminary result: yes yes no no yes yes yes unknown no no yes no yes no yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no no yes yes yes unknown no no yes no yes no yes unknown
lola: memory consumption: 18552 KB
lola: time consumption: 3570 seconds
BK_STOP 1526702147357
--------------------
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="DLCshifumi-PT-2b"
export BK_EXAMINATION="CTLFireability"
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/DLCshifumi-PT-2b.tgz
mv DLCshifumi-PT-2b 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 DLCshifumi-PT-2b, examination is CTLFireability"
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-152649735300165"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 ;