About the Execution of LoLA for DNAwalker-PT-17redondantChoiceL
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
6844.080 | 3600000.00 | 8055289.00 | 8373.90 | ?TFTT?T?FFFFTFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 19 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 211K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-17redondantChoiceL, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500339
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-00
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-01
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-02
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-03
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-04
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-05
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-06
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-07
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-08
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-09
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-10
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-11
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-12
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-13
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-14
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526869682736
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-17redondantChoiceL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-17redondantChoiceL formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DNAwalker-PT-17redondantChoiceL @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 533/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 1376
lola: finding significant places
lola: 43 places, 490 transitions, 43 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 284 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= B18)
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (2 <= B19)
lola: A (G ((A13 <= 2))) : (A ((((A17 <= A2) OR (A19 <= A15)) U ((3 <= A26) AND (1 <= A8)))) OR (E (X ((A5 <= 2))) AND A (G (TRUE)))) : A (F (A (F ((2 <= A17))))) : A (F ((A (F ((2 <= A29))) OR E (G ((B18 <= A14)))))) : E (G (E (X (((3 <= A26) OR (1 <= A16)))))) : E (((1 <= A30) U A (G ((2 <= A9))))) : A (X (A (F ((A2 <= A15))))) : (NOT(A (G (((A26 <= A28) OR (A20 <= A32))))) AND (A (X (())) AND E (X (((B10 <= A2) OR (3 <= A5)))))) : A (F ((B20 + 1 <= A9))) : NOT(((A (X ((1 <= A6))) AND E (G ((1 <= A7)))) AND (((B26 <= A11) OR (1 <= A14) OR (A9 + 1 <= B20)) OR A (G ((B21 <= B9)))))) : NOT((A (G (())) OR (E (F ((A4 <= A22))) AND ((B20 + 1 <= B27) AND (A1 + 1 <= A15))))) : (A (((A7 <= 2) U (B26 + 1 <= A19))) AND (((A14 <= 2) AND (A21 <= A4) AND (B21 + 1 <= A5)) OR E (G ((A9 <= 2))))) : E (G (E (G (((A3 <= B23) OR (3 <= A26)))))) : A (F (A (X (((3 <= A18) OR (B26 <= A23)))))) : (E (G (E (F ((A27 <= A15))))) AND NOT(A (G ((B10 <= A11))))) : E (G (((1 <= A13) OR (A15 <= 1))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:136
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:315
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 195 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X (((3 <= A26) OR (1 <= A16))))))
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(((3 <= A26) OR (1 <= A16))))))
lola: processed formula length: 51
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 15 markings, 15 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((A2 <= A15)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A15 + 1 <= A2)
lola: processed formula length: 15
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate eventually occurs from all successors.
lola: 2047 markings, 2046 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((A28 + 1 <= A26) AND (A32 + 1 <= A20)))) AND E (X (((B10 <= A2) OR (3 <= A5)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A28 + 1 <= A26) AND (A32 + 1 <= A20))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A28 + 1 <= A26) AND (A32 + 1 <= A20))))
lola: processed formula length: 47
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A28 + 1 <= A26) AND (A32 + 1 <= A20))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-CTLCardinality-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-CTLCardinality-3-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 208153 markings, 687078 edges, 41631 markings/sec, 0 secs
lola: sara is running 5 secs || 401533 markings, 1589929 edges, 38676 markings/sec, 5 secs
lola: sara is running 10 secs || 607014 markings, 2496493 edges, 41096 markings/sec, 10 secs
lola: sara is running 15 secs || 811821 markings, 3433794 edges, 40961 markings/sec, 15 secs
lola: sara is running 20 secs || 1015767 markings, 4429372 edges, 40789 markings/sec, 20 secs
lola: sara is running 25 secs || 1213894 markings, 5387045 edges, 39625 markings/sec, 25 secs
lola: sara is running 30 secs || 1409934 markings, 6438559 edges, 39208 markings/sec, 30 secs
lola: sara is running 35 secs || 1610668 markings, 7439304 edges, 40147 markings/sec, 35 secs
lola: sara is running 40 secs || 1804856 markings, 8528957 edges, 38838 markings/sec, 40 secs
lola: sara is running 45 secs || 1996876 markings, 9546580 edges, 38404 markings/sec, 45 secs
lola: sara is running 50 secs || 2187852 markings, 10612997 edges, 38195 markings/sec, 50 secs
lola: sara is running 55 secs || 2372138 markings, 11775490 edges, 36857 markings/sec, 55 secs
lola: sara is running 60 secs || 2567343 markings, 12880537 edges, 39041 markings/sec, 60 secs
lola: sara is running 65 secs || 2766223 markings, 13962180 edges, 39776 markings/sec, 65 secs
lola: sara is running 70 secs || 2960752 markings, 15106940 edges, 38906 markings/sec, 70 secs
lola: sara is running 75 secs || 3150442 markings, 16398198 edges, 37938 markings/sec, 75 secs
lola: sara is running 80 secs || 3349699 markings, 17516381 edges, 39851 markings/sec, 80 secs
lola: sara is running 85 secs || 3539925 markings, 18784470 edges, 38045 markings/sec, 85 secs
lola: sara is running 90 secs || 3758881 markings, 19737693 edges, 43791 markings/sec, 90 secs
lola: sara is running 95 secs || 3979623 markings, 20567426 edges, 44148 markings/sec, 95 secs
lola: sara is running 100 secs || 4191590 markings, 21404706 edges, 42393 markings/sec, 100 secs
lola: sara is running 105 secs || 4387955 markings, 22336550 edges, 39273 markings/sec, 105 secs
lola: sara is running 110 secs || 4584800 markings, 23327213 edges, 39369 markings/sec, 110 secs
lola: sara is running 115 secs || 4777120 markings, 24449198 edges, 38464 markings/sec, 115 secs
lola: sara is running 120 secs || 4969451 markings, 25472623 edges, 38466 markings/sec, 120 secs
lola: sara is running 125 secs || 5149760 markings, 26509068 edges, 36062 markings/sec, 125 secs
lola: sara is running 130 secs || 5339757 markings, 27483661 edges, 37999 markings/sec, 130 secs
lola: sara is running 135 secs || 5531221 markings, 28492931 edges, 38293 markings/sec, 135 secs
lola: sara is running 140 secs || 5717807 markings, 29575196 edges, 37317 markings/sec, 140 secs
lola: sara is running 145 secs || 5898835 markings, 30640273 edges, 36206 markings/sec, 145 secs
lola: sara is running 150 secs || 6077626 markings, 31739285 edges, 35758 markings/sec, 150 secs
lola: sara is running 155 secs || 6257597 markings, 32896349 edges, 35994 markings/sec, 155 secs
lola: sara is running 160 secs || 6434406 markings, 34017227 edges, 35362 markings/sec, 160 secs
lola: sara is running 165 secs || 6606196 markings, 35152214 edges, 34358 markings/sec, 165 secs
lola: sara is running 170 secs || 6817389 markings, 36027468 edges, 42239 markings/sec, 170 secs
lola: sara is running 175 secs || 7039161 markings, 36754843 edges, 44354 markings/sec, 175 secs
lola: sara is running 180 secs || 7252704 markings, 37520764 edges, 42709 markings/sec, 180 secs
lola: sara is running 185 secs || 7451814 markings, 38347892 edges, 39822 markings/sec, 185 secs
lola: sara is running 190 secs || 7646174 markings, 39254015 edges, 38872 markings/sec, 190 secs
lola: sara is running 195 secs || 7831734 markings, 40150076 edges, 37112 markings/sec, 195 secs
lola: sara is running 200 secs || 8033062 markings, 41244895 edges, 40266 markings/sec, 200 secs
lola: sara is running 205 secs || 8235117 markings, 42096094 edges, 40411 markings/sec, 205 secs
lola: sara is running 210 secs || 8435214 markings, 42976378 edges, 40019 markings/sec, 210 secs
lola: sara is running 215 secs || 8630608 markings, 44021202 edges, 39079 markings/sec, 215 secs
lola: sara is running 220 secs || 8845876 markings, 44796402 edges, 43054 markings/sec, 220 secs
lola: sara is running 225 secs || 9034615 markings, 45663194 edges, 37748 markings/sec, 225 secs
lola: sara is running 230 secs || 9223136 markings, 46648116 edges, 37704 markings/sec, 230 secs
lola: sara is running 235 secs || 9419745 markings, 47588674 edges, 39322 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes unknown yes unknown unknown unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes unknown yes unknown unknown unknown no unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes unknown yes unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 356364 KB
lola: time consumption: 677 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown yes unknown yes unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 356364 KB
lola: time consumption: 677 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X ((A6 <= 0))) OR (A (F ((A7 <= 0))) OR (((A11 + 1 <= B26) AND (A14 <= 0) AND (B20 <= A9)) AND E (F ((B9 + 1 <= B21))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A11 + 1 <= B26) AND (A14 <= 0) AND (B20 <= A9))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((A11 + 1 <= B26) AND (A14 <= 0) AND (B20 <= A9))
lola: processed formula length: 49
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: processed formula with 3 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 5 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A7 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (1 <= A7)
lola: processed formula length: 9
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 17 markings, 17 edges
lola: ========================================
lola: subprocess 6 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A6 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX((A6 <= 0))
lola: processed formula length: 13
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 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 DNAwalker-PT-17redondantChoiceL-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((((A17 <= A2) OR (A19 <= A15)) U ((3 <= A26) AND (1 <= A8)))) OR E (X ((A5 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((A17 <= A2) OR (A19 <= A15)) U ((3 <= A26) AND (1 <= A8))))
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 ((((A17 <= A2) OR (A19 <= A15)) U ((3 <= A26) AND (1 <= A8))))
lola: processed formula length: 65
lola: 38 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 15 markings, 15 edges
lola: ========================================
lola: subprocess 6 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A5 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX((A5 <= 2))
lola: processed formula length: 13
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X (((3 <= A18) OR (B26 <= A23))))))
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(((3 <= A18) OR (B26 <= A23))))
lola: processed formula length: 43
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 26 markings, 26 edges
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A13 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((A13 <= 2)))
lola: processed formula length: 18
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (3 <= A13)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-CTLCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 232259 markings, 1252101 edges, 46452 markings/sec, 0 secs
lola: sara is running 5 secs || 452124 markings, 2539768 edges, 43973 markings/sec, 5 secs
lola: sara is running 10 secs || 657116 markings, 3808755 edges, 40998 markings/sec, 10 secs
lola: sara is running 15 secs || 860765 markings, 5145111 edges, 40730 markings/sec, 15 secs
lola: sara is running 20 secs || 1078803 markings, 6404818 edges, 43608 markings/sec, 20 secs
lola: sara is running 25 secs || 1287180 markings, 7729601 edges, 41675 markings/sec, 25 secs
lola: sara is running 30 secs || 1486874 markings, 8982871 edges, 39939 markings/sec, 30 secs
lola: sara is running 35 secs || 1688219 markings, 10297692 edges, 40269 markings/sec, 35 secs
lola: sara is running 40 secs || 1902171 markings, 11673184 edges, 42790 markings/sec, 40 secs
lola: sara is running 45 secs || 2114658 markings, 13031106 edges, 42497 markings/sec, 45 secs
lola: sara is running 50 secs || 2330653 markings, 14279904 edges, 43199 markings/sec, 50 secs
lola: sara is running 55 secs || 2539447 markings, 15478288 edges, 41759 markings/sec, 55 secs
lola: sara is running 60 secs || 2750169 markings, 16733161 edges, 42144 markings/sec, 60 secs
lola: sara is running 65 secs || 2957947 markings, 18021812 edges, 41556 markings/sec, 65 secs
lola: sara is running 70 secs || 3163731 markings, 18988971 edges, 41157 markings/sec, 70 secs
lola: sara is running 75 secs || 3360482 markings, 20178249 edges, 39350 markings/sec, 75 secs
lola: sara is running 80 secs || 3553538 markings, 21471139 edges, 38611 markings/sec, 80 secs
lola: sara is running 85 secs || 3747322 markings, 22805807 edges, 38757 markings/sec, 85 secs
lola: sara is running 90 secs || 3937483 markings, 24202637 edges, 38032 markings/sec, 90 secs
lola: sara is running 95 secs || 4123164 markings, 25763319 edges, 37136 markings/sec, 95 secs
lola: sara is running 100 secs || 4335388 markings, 27193545 edges, 42445 markings/sec, 100 secs
lola: sara is running 105 secs || 4532223 markings, 28654394 edges, 39367 markings/sec, 105 secs
lola: sara is running 110 secs || 4729896 markings, 30082184 edges, 39535 markings/sec, 110 secs
lola: sara is running 115 secs || 4928003 markings, 31571670 edges, 39621 markings/sec, 115 secs
lola: sara is running 120 secs || 5135795 markings, 32972625 edges, 41558 markings/sec, 120 secs
lola: sara is running 125 secs || 5334468 markings, 34400909 edges, 39735 markings/sec, 125 secs
lola: sara is running 130 secs || 5528392 markings, 35690490 edges, 38785 markings/sec, 130 secs
lola: sara is running 135 secs || 5717739 markings, 37173136 edges, 37869 markings/sec, 135 secs
lola: sara is running 140 secs || 5924233 markings, 38636107 edges, 41299 markings/sec, 140 secs
lola: sara is running 145 secs || 6144564 markings, 39984141 edges, 44066 markings/sec, 145 secs
lola: sara is running 150 secs || 6347075 markings, 41215551 edges, 40502 markings/sec, 150 secs
lola: sara is running 155 secs || 6539519 markings, 42485636 edges, 38489 markings/sec, 155 secs
lola: sara is running 160 secs || 6724942 markings, 43869475 edges, 37085 markings/sec, 160 secs
lola: sara is running 165 secs || 6931653 markings, 45201794 edges, 41342 markings/sec, 165 secs
lola: sara is running 170 secs || 7138434 markings, 46552627 edges, 41356 markings/sec, 170 secs
lola: sara is running 175 secs || 7346024 markings, 47921570 edges, 41518 markings/sec, 175 secs
lola: sara is running 180 secs || 7543860 markings, 49212160 edges, 39567 markings/sec, 180 secs
lola: sara is running 185 secs || 7729543 markings, 50623666 edges, 37137 markings/sec, 185 secs
lola: sara is running 190 secs || 7937946 markings, 51874943 edges, 41681 markings/sec, 190 secs
lola: sara is running 195 secs || 8143939 markings, 53215067 edges, 41199 markings/sec, 195 secs
lola: sara is running 200 secs || 8348436 markings, 54503700 edges, 40899 markings/sec, 200 secs
lola: sara is running 205 secs || 8545293 markings, 55858128 edges, 39371 markings/sec, 205 secs
lola: sara is running 210 secs || 8750137 markings, 57090363 edges, 40969 markings/sec, 210 secs
lola: sara is running 215 secs || 8948617 markings, 58495178 edges, 39696 markings/sec, 215 secs
lola: sara is running 220 secs || 9143034 markings, 59927303 edges, 38883 markings/sec, 220 secs
lola: sara is running 225 secs || 9358440 markings, 61218795 edges, 43081 markings/sec, 225 secs
lola: sara is running 230 secs || 9566430 markings, 62624598 edges, 41598 markings/sec, 230 secs
lola: sara is running 235 secs || 9777834 markings, 63849266 edges, 42281 markings/sec, 235 secs
lola: sara is running 240 secs || 9979018 markings, 65154219 edges, 40237 markings/sec, 240 secs
lola: sara is running 245 secs || 10166529 markings, 66550091 edges, 37502 markings/sec, 245 secs
lola: sara is running 250 secs || 10378389 markings, 67828926 edges, 42372 markings/sec, 250 secs
lola: sara is running 255 secs || 10582144 markings, 69192930 edges, 40751 markings/sec, 255 secs
lola: sara is running 260 secs || 10785664 markings, 70461378 edges, 40704 markings/sec, 260 secs
lola: sara is running 265 secs || 10978697 markings, 71736168 edges, 38607 markings/sec, 265 secs
lola: sara is running 270 secs || 11171577 markings, 73074034 edges, 38576 markings/sec, 270 secs
lola: sara is running 275 secs || 11368801 markings, 74412393 edges, 39445 markings/sec, 275 secs
lola: sara is running 280 secs || 11571441 markings, 75715526 edges, 40528 markings/sec, 280 secs
lola: sara is running 285 secs || 11760134 markings, 77117924 edges, 37739 markings/sec, 285 secs
lola: sara is running 290 secs || 11944691 markings, 78504145 edges, 36911 markings/sec, 290 secs
lola: sara is running 295 secs || 12142551 markings, 79781337 edges, 39572 markings/sec, 295 secs
lola: sara is running 300 secs || 12325165 markings, 81087410 edges, 36523 markings/sec, 300 secs
lola: sara is running 305 secs || 12497923 markings, 82455862 edges, 34552 markings/sec, 305 secs
lola: sara is running 310 secs || 12684238 markings, 83576705 edges, 37263 markings/sec, 310 secs
lola: sara is running 315 secs || 12880913 markings, 84767185 edges, 39335 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown yes unknown yes unknown unknown no no unknown unknown no unknown unknown
lola: memory consumption: 477824 KB
lola: time consumption: 998 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((2 <= A17)))
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: (A17 <= 1)
lola: processed formula length: 10
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19 markings, 19 edges
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((B20 + 1 <= A9)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A9 <= B20)
lola: processed formula length: 11
lola: 36 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 15 markings, 15 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((1 <= A13) OR (A15 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((1 <= A13) OR (A15 <= 1))))
lola: processed formula length: 35
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 19 markings, 19 edges
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 11 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((A3 <= B23) OR (3 <= A26))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((A3 <= B23) OR (3 <= A26))))
lola: processed formula length: 36
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 14 markings, 14 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 643 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((1 <= A30) U A (G ((2 <= A9)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((1 <= A30) U NOT(E(TRUE U (A9 <= 1))))
lola: processed formula length: 40
lola: 37 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 917110 markings, 2846642 edges, 183422 markings/sec, 0 secs
lola: 1774235 markings, 5832289 edges, 171425 markings/sec, 5 secs
lola: 2607459 markings, 8902567 edges, 166645 markings/sec, 10 secs
lola: 3450239 markings, 11906119 edges, 168556 markings/sec, 15 secs
lola: 4316621 markings, 14912560 edges, 173276 markings/sec, 20 secs
lola: 5142693 markings, 17822701 edges, 165214 markings/sec, 25 secs
lola: 5914738 markings, 20682335 edges, 154409 markings/sec, 30 secs
lola: 6673698 markings, 23784586 edges, 151792 markings/sec, 35 secs
lola: 7405193 markings, 26870242 edges, 146299 markings/sec, 40 secs
lola: 8161576 markings, 29854256 edges, 151277 markings/sec, 45 secs
lola: 8937561 markings, 32756759 edges, 155197 markings/sec, 50 secs
lola: 9599998 markings, 35830794 edges, 132487 markings/sec, 55 secs
lola: 10293514 markings, 38922067 edges, 138703 markings/sec, 60 secs
lola: 11097620 markings, 41903715 edges, 160821 markings/sec, 65 secs
lola: 11894396 markings, 44933660 edges, 159355 markings/sec, 70 secs
lola: 12624143 markings, 47986987 edges, 145949 markings/sec, 75 secs
lola: 13330155 markings, 51039541 edges, 141202 markings/sec, 80 secs
lola: 13989711 markings, 54093269 edges, 131911 markings/sec, 85 secs
lola: 14700663 markings, 57142131 edges, 142190 markings/sec, 90 secs
lola: 15401597 markings, 60265384 edges, 140187 markings/sec, 95 secs
lola: 16108680 markings, 63377851 edges, 141417 markings/sec, 100 secs
lola: 16820256 markings, 66462439 edges, 142315 markings/sec, 105 secs
lola: 17530946 markings, 69573461 edges, 142138 markings/sec, 110 secs
lola: 18219970 markings, 72669575 edges, 137805 markings/sec, 115 secs
lola: 18917440 markings, 75789789 edges, 139494 markings/sec, 120 secs
lola: 19622508 markings, 78857105 edges, 141014 markings/sec, 125 secs
lola: 20318290 markings, 81900028 edges, 139156 markings/sec, 130 secs
lola: 21006673 markings, 85071940 edges, 137677 markings/sec, 135 secs
lola: 21786871 markings, 88316998 edges, 156040 markings/sec, 140 secs
lola: 22555180 markings, 91529887 edges, 153662 markings/sec, 145 secs
lola: 23308190 markings, 94701816 edges, 150602 markings/sec, 150 secs
lola: 24042177 markings, 97816511 edges, 146797 markings/sec, 155 secs
lola: 24807751 markings, 100896780 edges, 153115 markings/sec, 160 secs
lola: 25570778 markings, 103944719 edges, 152605 markings/sec, 165 secs
lola: 26328360 markings, 107036033 edges, 151516 markings/sec, 170 secs
lola: 27131978 markings, 110037011 edges, 160724 markings/sec, 175 secs
lola: 27878967 markings, 113104496 edges, 149398 markings/sec, 180 secs
lola: 28675117 markings, 116115273 edges, 159230 markings/sec, 185 secs
lola: 29455206 markings, 119140014 edges, 156018 markings/sec, 190 secs
lola: 30206197 markings, 122140810 edges, 150198 markings/sec, 195 secs
lola: 30971789 markings, 125138760 edges, 153118 markings/sec, 200 secs
lola: 31725447 markings, 128158085 edges, 150732 markings/sec, 205 secs
lola: 32465785 markings, 131154237 edges, 148068 markings/sec, 210 secs
lola: 33265950 markings, 134096870 edges, 160033 markings/sec, 215 secs
lola: 33985350 markings, 137080870 edges, 143880 markings/sec, 220 secs
lola: 34743220 markings, 140042929 edges, 151574 markings/sec, 225 secs
lola: 35560649 markings, 142914367 edges, 163486 markings/sec, 230 secs
lola: 36306788 markings, 145853755 edges, 149228 markings/sec, 235 secs
lola: 37024761 markings, 148833333 edges, 143595 markings/sec, 240 secs
lola: 37726152 markings, 151867662 edges, 140278 markings/sec, 245 secs
lola: 38438519 markings, 154942401 edges, 142473 markings/sec, 250 secs
lola: 39146797 markings, 158005036 edges, 141656 markings/sec, 255 secs
lola: 39800332 markings, 160949579 edges, 130707 markings/sec, 260 secs
lola: 40458431 markings, 164071532 edges, 131620 markings/sec, 265 secs
lola: 41161115 markings, 167219036 edges, 140537 markings/sec, 270 secs
lola: 41830557 markings, 170412228 edges, 133888 markings/sec, 275 secs
lola: 42536543 markings, 173435731 edges, 141197 markings/sec, 280 secs
lola: 43184667 markings, 176602416 edges, 129625 markings/sec, 285 secs
lola: 43950869 markings, 179534473 edges, 153240 markings/sec, 290 secs
lola: 44646704 markings, 182420918 edges, 139167 markings/sec, 295 secs
lola: 45306109 markings, 185228082 edges, 131881 markings/sec, 300 secs
lola: 46039545 markings, 188164354 edges, 146687 markings/sec, 305 secs
lola: 46746734 markings, 191151652 edges, 141438 markings/sec, 310 secs
lola: 47455988 markings, 193989092 edges, 141851 markings/sec, 315 secs
lola: 48147338 markings, 196957438 edges, 138270 markings/sec, 320 secs
lola: 48855502 markings, 199888735 edges, 141633 markings/sec, 325 secs
lola: 49633605 markings, 202920052 edges, 155621 markings/sec, 330 secs
lola: 50379538 markings, 206068004 edges, 149187 markings/sec, 335 secs
lola: 51082674 markings, 209225422 edges, 140627 markings/sec, 340 secs
lola: 51817703 markings, 212022150 edges, 147006 markings/sec, 345 secs
lola: 52504211 markings, 215001531 edges, 137302 markings/sec, 350 secs
lola: 53114007 markings, 217924611 edges, 121959 markings/sec, 355 secs
lola: 53884569 markings, 220969254 edges, 154112 markings/sec, 360 secs
lola: 54610195 markings, 224051560 edges, 145125 markings/sec, 365 secs
lola: 55309801 markings, 227303120 edges, 139921 markings/sec, 370 secs
lola: 56017874 markings, 230320554 edges, 141615 markings/sec, 375 secs
lola: 56697697 markings, 233229722 edges, 135965 markings/sec, 380 secs
lola: 57530303 markings, 236178711 edges, 166521 markings/sec, 385 secs
lola: 58293356 markings, 239134113 edges, 152611 markings/sec, 390 secs
lola: 59016773 markings, 242100344 edges, 144683 markings/sec, 395 secs
lola: 59717439 markings, 245105699 edges, 140133 markings/sec, 400 secs
lola: 60439153 markings, 248105760 edges, 144343 markings/sec, 405 secs
lola: 61162515 markings, 251071155 edges, 144672 markings/sec, 410 secs
lola: 61878246 markings, 253846283 edges, 143146 markings/sec, 415 secs
lola: 62566966 markings, 256583156 edges, 137744 markings/sec, 420 secs
lola: 63206501 markings, 259423527 edges, 127907 markings/sec, 425 secs
lola: 63778240 markings, 261833213 edges, 114348 markings/sec, 430 secs
lola: 64428806 markings, 264873971 edges, 130113 markings/sec, 435 secs
lola: 65088734 markings, 267924642 edges, 131986 markings/sec, 440 secs
lola: 65749999 markings, 270976290 edges, 132253 markings/sec, 445 secs
lola: 66350425 markings, 273891090 edges, 120085 markings/sec, 450 secs
lola: 66938799 markings, 276763281 edges, 117675 markings/sec, 455 secs
lola: 67520100 markings, 279674335 edges, 116260 markings/sec, 460 secs
lola: 68117016 markings, 282427972 edges, 119383 markings/sec, 465 secs
lola: 68711077 markings, 285333254 edges, 118812 markings/sec, 470 secs
lola: 69425110 markings, 288300293 edges, 142807 markings/sec, 475 secs
lola: 70302442 markings, 291176191 edges, 175466 markings/sec, 480 secs
lola: 71132243 markings, 294100447 edges, 165960 markings/sec, 485 secs
lola: 71898905 markings, 296987831 edges, 153332 markings/sec, 490 secs
lola: 72665455 markings, 299801201 edges, 153310 markings/sec, 495 secs
lola: 73379965 markings, 302659873 edges, 142902 markings/sec, 500 secs
lola: 74049219 markings, 305584406 edges, 133851 markings/sec, 505 secs
lola: 74836378 markings, 308534203 edges, 157432 markings/sec, 510 secs
lola: 75522424 markings, 311432876 edges, 137209 markings/sec, 515 secs
lola: 76173888 markings, 314135894 edges, 130293 markings/sec, 520 secs
lola: 76876328 markings, 317032866 edges, 140488 markings/sec, 525 secs
lola: 77574206 markings, 319900066 edges, 139576 markings/sec, 530 secs
lola: 78204586 markings, 322815197 edges, 126076 markings/sec, 535 secs
lola: 78862086 markings, 325667860 edges, 131500 markings/sec, 540 secs
lola: 79535317 markings, 328460234 edges, 134646 markings/sec, 545 secs
lola: 80157751 markings, 331356934 edges, 124487 markings/sec, 550 secs
lola: 80780912 markings, 334229398 edges, 124632 markings/sec, 555 secs
lola: 81380420 markings, 337207132 edges, 119902 markings/sec, 560 secs
lola: 81974731 markings, 340125698 edges, 118862 markings/sec, 565 secs
lola: 82772682 markings, 343009362 edges, 159590 markings/sec, 570 secs
lola: 83463905 markings, 345849353 edges, 138245 markings/sec, 575 secs
lola: 84179557 markings, 348731249 edges, 143130 markings/sec, 580 secs
lola: 84844150 markings, 351548678 edges, 132919 markings/sec, 585 secs
lola: 85505649 markings, 354272148 edges, 132300 markings/sec, 590 secs
lola: 86155085 markings, 357018679 edges, 129887 markings/sec, 595 secs
lola: 86771026 markings, 359804700 edges, 123188 markings/sec, 600 secs
lola: 87319486 markings, 362682405 edges, 109692 markings/sec, 605 secs
lola: 88020606 markings, 365719090 edges, 140224 markings/sec, 610 secs
lola: 88685605 markings, 368673621 edges, 133000 markings/sec, 615 secs
lola: 89279833 markings, 371664219 edges, 118846 markings/sec, 620 secs
lola: 89900787 markings, 374543120 edges, 124191 markings/sec, 625 secs
lola: 90463814 markings, 377285628 edges, 112605 markings/sec, 630 secs
lola: 91091118 markings, 380193263 edges, 125461 markings/sec, 635 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no unknown yes unknown yes unknown no no no unknown yes no unknown yes
lola: memory consumption: 6813160 KB
lola: time consumption: 1641 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 643 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F ((2 <= A29))) OR E (G ((B18 <= A14))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (A(TRUE U (2 <= A29)) OR NOT(A(TRUE U (A14 + 1 <= B18)))))
lola: processed formula length: 67
lola: 38 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 15 markings, 32 edges
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 964 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (E (F ((A27 <= A15))))) AND E (F ((A11 + 1 <= B10))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 964 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A11 + 1 <= B10)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((A11 + 1 <= B10)))
lola: processed formula length: 24
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (A11 + 1 <= B10)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-CTLCardinality-14-0.sara.
lola: lola: ========================================
subprocess 15 will run for 1929 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((A27 <= A15)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: (A27 <= A15)
lola: processed formula length: 12
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 15 markings, 15 edges
lola: lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
========================================
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1929 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((A7 <= 2) U (B26 + 1 <= A19))) AND (((A14 <= 2) AND (A21 <= A4) AND (B21 + 1 <= A5)) OR E (G ((A9 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1929 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A14 <= 2) AND (A21 <= A4) AND (B21 + 1 <= A5))
lola: sara: ========================================
lola: SUBTASK
lola: checking initial satisfaction
place or transition ordering is non-deterministic
lola: processed formula: ((A14 <= 2) AND (A21 <= A4) AND (B21 + 1 <= A5))
lola: processed formula length: 48
lola: 34 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: processed formula with 3 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: A (((A7 <= 2) U (B26 + 1 <= A19)))
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 (((A7 <= 2) U (B26 + 1 <= A19)))
lola: processed formula length: 34
lola: 38 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 14 markings, 14 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================
FORMULA DNAwalker-PT-17redondantChoiceL-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: (E (F (((A28 + 1 <= A26) AND (A32 + 1 <= A20)))) AND E (X (((B10 <= A2) OR (3 <= A5)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (F (((A28 + 1 <= A26) AND (A32 + 1 <= A20))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A28 + 1 <= A26) AND (A32 + 1 <= A20))))
lola: processed formula length: 47
lola: 35 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A28 + 1 <= A26) AND (A32 + 1 <= A20))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-CTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-CTLCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 221061 markings, 742545 edges, 44212 markings/sec, 0 secs
lola: sara is running 5 secs || 419482 markings, 1667759 edges, 39684 markings/sec, 5 secs
lola: sara is running 10 secs || 633035 markings, 2615143 edges, 42711 markings/sec, 10 secs
lola: sara is running 15 secs || 841029 markings, 3565847 edges, 41599 markings/sec, 15 secs
lola: sara is running 20 secs || 1045086 markings, 4530968 edges, 40811 markings/sec, 20 secs
lola: sara is running 25 secs || 1234740 markings, 5505041 edges, 37931 markings/sec, 25 secs
lola: sara is running 30 secs || 1427731 markings, 6524370 edges, 38598 markings/sec, 30 secs
lola: sara is running 35 secs || 1624833 markings, 7515880 edges, 39420 markings/sec, 35 secs
lola: sara is running 40 secs || 1816071 markings, 8580276 edges, 38248 markings/sec, 40 secs
lola: sara is running 45 secs || 2004305 markings, 9586186 edges, 37647 markings/sec, 45 secs
lola: sara is running 50 secs || 2191274 markings, 10633580 edges, 37394 markings/sec, 50 secs
lola: sara is running 55 secs || 2371837 markings, 11773937 edges, 36113 markings/sec, 55 secs
lola: sara is running 60 secs || 2563236 markings, 12855378 edges, 38280 markings/sec, 60 secs
lola: sara is running 65 secs || 2757986 markings, 13921828 edges, 38950 markings/sec, 65 secs
lola: sara is running 70 secs || 2951416 markings, 15035661 edges, 38686 markings/sec, 70 secs
lola: sara is running 75 secs || 3136231 markings, 16311483 edges, 36963 markings/sec, 75 secs
lola: sara is running 80 secs || 3329953 markings, 17420001 edges, 38744 markings/sec, 80 secs
lola: sara is running 85 secs || 3516541 markings, 18653152 edges, 37318 markings/sec, 85 secs
lola: sara is running 90 secs || 3731503 markings, 19641793 edges, 42992 markings/sec, 90 secs
lola: sara is running 95 secs || 3946936 markings, 20424279 edges, 43087 markings/sec, 95 secs
lola: sara is running 100 secs || 4159739 markings, 21260698 edges, 42561 markings/sec, 100 secs
lola: sara is running 105 secs || 4351824 markings, 22161931 edges, 38417 markings/sec, 105 secs
lola: sara is running 110 secs || 4544448 markings, 23117801 edges, 38525 markings/sec, 110 secs
lola: sara is running 115 secs || 4734979 markings, 24201012 edges, 38106 markings/sec, 115 secs
lola: sara is running 120 secs || 4924830 markings, 25231351 edges, 37970 markings/sec, 120 secs
lola: sara is running 125 secs || 5101152 markings, 26223479 edges, 35264 markings/sec, 125 secs
lola: sara is running 130 secs || 5279066 markings, 27199559 edges, 35583 markings/sec, 130 secs
lola: sara is running 135 secs || 5462411 markings, 28130648 edges, 36669 markings/sec, 135 secs
lola: sara is running 140 secs || 5644370 markings, 29162858 edges, 36392 markings/sec, 140 secs
lola: sara is running 145 secs || 5822185 markings, 30179766 edges, 35563 markings/sec, 145 secs
lola: sara is running 150 secs || 5990510 markings, 31235505 edges, 33665 markings/sec, 150 secs
lola: sara is running 155 secs || 6167905 markings, 32274968 edges, 35479 markings/sec, 155 secs
lola: sara is running 160 secs || 6341215 markings, 33419793 edges, 34662 markings/sec, 160 secs
lola: sara is running 165 secs || 6510206 markings, 34516330 edges, 33798 markings/sec, 165 secs
lola: sara is running 170 secs || 6675414 markings, 35624755 edges, 33042 markings/sec, 170 secs
lola: sara is running 175 secs || 6902277 markings, 36304456 edges, 45373 markings/sec, 175 secs
lola: sara is running 180 secs || 7119274 markings, 37004024 edges, 43399 markings/sec, 180 secs
lola: sara is running 185 secs || 7321270 markings, 37791640 edges, 40399 markings/sec, 185 secs
lola: sara is running 190 secs || 7515798 markings, 38627272 edges, 38906 markings/sec, 190 secs
lola: sara is running 195 secs || 7704944 markings, 39519099 edges, 37829 markings/sec, 195 secs
lola: sara is running 200 secs || 7885303 markings, 40455420 edges, 36072 markings/sec, 200 secs
lola: sara is running 205 secs || 8087826 markings, 41471135 edges, 40505 markings/sec, 205 secs
lola: sara is running 210 secs || 8284202 markings, 42308851 edges, 39275 markings/sec, 210 secs
lola: sara is running 215 secs || 8480044 markings, 43205029 edges, 39168 markings/sec, 215 secs
lola: sara is running 220 secs || 8678416 markings, 44176598 edges, 39674 markings/sec, 220 secs
lola: sara is running 225 secs || 8881937 markings, 44943069 edges, 40704 markings/sec, 225 secs
lola: sara is running 230 secs || 9064245 markings, 45819862 edges, 36462 markings/sec, 230 secs
lola: sara is running 235 secs || 9249861 markings, 46782165 edges, 37123 markings/sec, 235 secs
lola: sara is running 240 secs || 9443394 markings, 47718476 edges, 38707 markings/sec, 240 secs
lola: sara is running 245 secs || 9639891 markings, 48557575 edges, 39299 markings/sec, 245 secs
lola: sara is running 250 secs || 9817255 markings, 49510251 edges, 35473 markings/sec, 250 secs
lola: sara is running 255 secs || 10006892 markings, 50495402 edges, 37927 markings/sec, 255 secs
lola: sara is running 260 secs || 10192528 markings, 51551796 edges, 37127 markings/sec, 260 secs
lola: sara is running 265 secs || 10366563 markings, 52519541 edges, 34807 markings/sec, 265 secs
lola: sara is running 270 secs || 10537393 markings, 53463747 edges, 34166 markings/sec, 270 secs
lola: sara is running 275 secs || 10724543 markings, 54338813 edges, 37430 markings/sec, 275 secs
lola: sara is running 280 secs || 10912400 markings, 55249254 edges, 37571 markings/sec, 280 secs
lola: sara is running 285 secs || 11095049 markings, 56190891 edges, 36530 markings/sec, 285 secs
lola: sara is running 290 secs || 11276888 markings, 57189576 edges, 36368 markings/sec, 290 secs
lola: sara is running 295 secs || 11460840 markings, 58178613 edges, 36790 markings/sec, 295 secs
lola: sara is running 300 secs || 11639377 markings, 59205070 edges, 35707 markings/sec, 300 secs
lola: sara is running 305 secs || 11815328 markings, 60323704 edges, 35190 markings/sec, 305 secs
lola: sara is running 310 secs || 12004160 markings, 61485189 edges, 37766 markings/sec, 310 secs
lola: sara is running 315 secs || 12203198 markings, 62499208 edges, 39808 markings/sec, 315 secs
lola: sara is running 320 secs || 12394614 markings, 63498037 edges, 38283 markings/sec, 320 secs
lola: sara is running 325 secs || 12575019 markings, 64500202 edges, 36081 markings/sec, 325 secs
lola: sara is running 330 secs || 12756176 markings, 65659781 edges, 36231 markings/sec, 330 secs
lola: sara is running 335 secs || 12931768 markings, 66889126 edges, 35118 markings/sec, 335 secs
lola: sara is running 340 secs || 13121248 markings, 67825533 edges, 37896 markings/sec, 340 secs
lola: sara is running 345 secs || 13300551 markings, 68805777 edges, 35861 markings/sec, 345 secs
lola: sara is running 350 secs || 13478173 markings, 69856065 edges, 35524 markings/sec, 350 secs
lola: sara is running 355 secs || 13663359 markings, 70909589 edges, 37037 markings/sec, 355 secs
lola: sara is running 360 secs || 13841443 markings, 72068593 edges, 35617 markings/sec, 360 secs
lola: sara is running 365 secs || 14021388 markings, 73216115 edges, 35989 markings/sec, 365 secs
lola: sara is running 370 secs || 14203997 markings, 74179463 edges, 36522 markings/sec, 370 secs
lola: sara is running 375 secs || 14376195 markings, 75171194 edges, 34440 markings/sec, 375 secs
lola: sara is running 380 secs || 14545416 markings, 76234278 edges, 33844 markings/sec, 380 secs
lola: sara is running 385 secs || 14723419 markings, 77278565 edges, 35601 markings/sec, 385 secs
lola: sara is running 390 secs || 14937856 markings, 78109592 edges, 42887 markings/sec, 390 secs
lola: sara is running 395 secs || 15132885 markings, 78961697 edges, 39006 markings/sec, 395 secs
lola: sara is running 400 secs || 15328200 markings, 79915308 edges, 39063 markings/sec, 400 secs
lola: sara is running 405 secs || 15523935 markings, 80892679 edges, 39147 markings/sec, 405 secs
lola: sara is running 410 secs || 15718635 markings, 81782718 edges, 38940 markings/sec, 410 secs
lola: sara is running 415 secs || 15911789 markings, 82752508 edges, 38631 markings/sec, 415 secs
lola: sara is running 420 secs || 16094736 markings, 83668990 edges, 36589 markings/sec, 420 secs
lola: sara is running 425 secs || 16267629 markings, 84660048 edges, 34579 markings/sec, 425 secs
lola: sara is running 430 secs || 16458281 markings, 85594036 edges, 38130 markings/sec, 430 secs
lola: sara is running 435 secs || 16642137 markings, 86609456 edges, 36771 markings/sec, 435 secs
lola: sara is running 440 secs || 16825371 markings, 87611723 edges, 36647 markings/sec, 440 secs
lola: sara is running 445 secs || 17001890 markings, 88581722 edges, 35304 markings/sec, 445 secs
lola: sara is running 450 secs || 17180684 markings, 89598980 edges, 35759 markings/sec, 450 secs
lola: sara is running 455 secs || 17352117 markings, 90717200 edges, 34287 markings/sec, 455 secs
lola: sara is running 460 secs || 17528387 markings, 91731108 edges, 35254 markings/sec, 460 secs
lola: sara is running 465 secs || 17711989 markings, 92788309 edges, 36720 markings/sec, 465 secs
lola: sara is running 470 secs || 17889006 markings, 93800221 edges, 35403 markings/sec, 470 secs
lola: sara is running 475 secs || 18065574 markings, 94950734 edges, 35314 markings/sec, 475 secs
lola: sara is running 480 secs || 18233312 markings, 96158387 edges, 33548 markings/sec, 480 secs
lola: sara is running 485 secs || 18415152 markings, 97210543 edges, 36368 markings/sec, 485 secs
lola: sara is running 490 secs || 18589067 markings, 98386446 edges, 34783 markings/sec, 490 secs
lola: sara is running 495 secs || 18765315 markings, 99552449 edges, 35250 markings/sec, 495 secs
lola: sara is running 500 secs || 18920423 markings, 100772532 edges, 31022 markings/sec, 500 secs
lola: sara is running 505 secs || 19110368 markings, 101511114 edges, 37989 markings/sec, 505 secs
lola: sara is running 510 secs || 19302287 markings, 102379840 edges, 38384 markings/sec, 510 secs
lola: sara is running 515 secs || 19483041 markings, 103231008 edges, 36151 markings/sec, 515 secs
lola: sara is running 520 secs || 19651897 markings, 104131205 edges, 33771 markings/sec, 520 secs
lola: sara is running 525 secs || 19830134 markings, 105047058 edges, 35647 markings/sec, 525 secs
lola: sara is running 530 secs || 20012864 markings, 106012374 edges, 36546 markings/sec, 530 secs
lola: sara is running 535 secs || 20192529 markings, 107095448 edges, 35933 markings/sec, 535 secs
lola: sara is running 540 secs || 20371100 markings, 108091497 edges, 35714 markings/sec, 540 secs
lola: sara is running 545 secs || 20539857 markings, 109095285 edges, 33751 markings/sec, 545 secs
lola: sara is running 550 secs || 20708408 markings, 110081540 edges, 33710 markings/sec, 550 secs
lola: sara is running 555 secs || 20881121 markings, 110997750 edges, 34543 markings/sec, 555 secs
lola: sara is running 560 secs || 21060901 markings, 112005287 edges, 35956 markings/sec, 560 secs
lola: sara is running 565 secs || 21232728 markings, 113014653 edges, 34365 markings/sec, 565 secs
lola: sara is running 570 secs || 21397578 markings, 114038542 edges, 32970 markings/sec, 570 secs
lola: sara is running 575 secs || 21558468 markings, 115082518 edges, 32178 markings/sec, 575 secs
lola: sara is running 580 secs || 21729156 markings, 116174901 edges, 34138 markings/sec, 580 secs
lola: sara is running 585 secs || 21894005 markings, 117284356 edges, 32970 markings/sec, 585 secs
lola: sara is running 590 secs || 22053598 markings, 118346376 edges, 31919 markings/sec, 590 secs
lola: sara is running 595 secs || 22209542 markings, 119427263 edges, 31189 markings/sec, 595 secs
lola: sara is running 600 secs || 22402888 markings, 120204196 edges, 38669 markings/sec, 600 secs
lola: sara is running 605 secs || 22595134 markings, 120914082 edges, 38449 markings/sec, 605 secs
lola: sara is running 610 secs || 22777092 markings, 121735773 edges, 36392 markings/sec, 610 secs
lola: sara is running 615 secs || 22967661 markings, 122533363 edges, 38114 markings/sec, 615 secs
lola: sara is running 620 secs || 23151578 markings, 123378014 edges, 36783 markings/sec, 620 secs
lola: sara is running 625 secs || 23338023 markings, 124134618 edges, 37289 markings/sec, 625 secs
lola: sara is running 630 secs || 23517099 markings, 124952447 edges, 35815 markings/sec, 630 secs
lola: sara is running 635 secs || 23694467 markings, 125742038 edges, 35474 markings/sec, 635 secs
lola: sara is running 640 secs || 23875185 markings, 126665275 edges, 36144 markings/sec, 640 secs
lola: sara is running 645 secs || 24045737 markings, 127556865 edges, 34110 markings/sec, 645 secs
lola: sara is running 650 secs || 24217617 markings, 128384523 edges, 34376 markings/sec, 650 secs
lola: sara is running 655 secs || 24400188 markings, 129260589 edges, 36514 markings/sec, 655 secs
lola: sara is running 660 secs || 24577975 markings, 130218212 edges, 35557 markings/sec, 660 secs
lola: sara is running 665 secs || 24765760 markings, 131253420 edges, 37557 markings/sec, 665 secs
lola: sara is running 670 secs || 24946089 markings, 132162908 edges, 36066 markings/sec, 670 secs
lola: sara is running 675 secs || 25123988 markings, 133088085 edges, 35580 markings/sec, 675 secs
lola: sara is running 680 secs || 25295551 markings, 134130241 edges, 34313 markings/sec, 680 secs
lola: sara is running 685 secs || 25470008 markings, 135070576 edges, 34891 markings/sec, 685 secs
lola: sara is running 690 secs || 25649797 markings, 136007023 edges, 35958 markings/sec, 690 secs
lola: sara is running 695 secs || 25820564 markings, 136964482 edges, 34153 markings/sec, 695 secs
lola: sara is running 700 secs || 25989690 markings, 137939373 edges, 33825 markings/sec, 700 secs
lola: sara is running 705 secs || 26164401 markings, 138974959 edges, 34942 markings/sec, 705 secs
lola: sara is running 710 secs || 26334905 markings, 140001687 edges, 34101 markings/sec, 710 secs
lola: sara is running 715 secs || 26503811 markings, 140924271 edges, 33781 markings/sec, 715 secs
lola: sara is running 720 secs || 26685589 markings, 141797673 edges, 36356 markings/sec, 720 secs
lola: sara is running 725 secs || 26862424 markings, 142670048 edges, 35367 markings/sec, 725 secs
lola: sara is running 730 secs || 27032020 markings, 143647504 edges, 33919 markings/sec, 730 secs
lola: sara is running 735 secs || 27214801 markings, 144645474 edges, 36556 markings/sec, 735 secs
lola: sara is running 740 secs || 27387643 markings, 145561735 edges, 34568 markings/sec, 740 secs
lola: sara is running 745 secs || 27557504 markings, 146529879 edges, 33972 markings/sec, 745 secs
lola: sara is running 750 secs || 27727963 markings, 147479887 edges, 34092 markings/sec, 750 secs
lola: sara is running 755 secs || 27898975 markings, 148469869 edges, 34202 markings/sec, 755 secs
lola: sara is running 760 secs || 28062877 markings, 149435000 edges, 32780 markings/sec, 760 secs
lola: sara is running 765 secs || 28232640 markings, 150521197 edges, 33953 markings/sec, 765 secs
lola: sara is running 770 secs || 28397138 markings, 151551100 edges, 32900 markings/sec, 770 secs
lola: sara is running 775 secs || 28557769 markings, 152515702 edges, 32126 markings/sec, 775 secs
lola: sara is running 780 secs || 28730762 markings, 153597155 edges, 34599 markings/sec, 780 secs
lola: sara is running 785 secs || 28901380 markings, 154572459 edges, 34124 markings/sec, 785 secs
lola: sara is running 790 secs || 29064007 markings, 155669011 edges, 32525 markings/sec, 790 secs
lola: sara is running 795 secs || 29228018 markings, 156696868 edges, 32802 markings/sec, 795 secs
lola: sara is running 800 secs || 29389149 markings, 157800881 edges, 32226 markings/sec, 800 secs
lola: sara is running 805 secs || 29550622 markings, 158812765 edges, 32295 markings/sec, 805 secs
lola: sara is running 810 secs || 29712484 markings, 159878184 edges, 32372 markings/sec, 810 secs
lola: sara is running 815 secs || 29865930 markings, 160983779 edges, 30689 markings/sec, 815 secs
lola: sara is running 820 secs || 30019942 markings, 162042377 edges, 30802 markings/sec, 820 secs
lola: sara is running 825 secs || 30173715 markings, 163130022 edges, 30755 markings/sec, 825 secs
lola: sara is running 830 secs || 30375596 markings, 164063000 edges, 40376 markings/sec, 830 secs
lola: sara is running 835 secs || 30566738 markings, 165019219 edges, 38228 markings/sec, 835 secs
lola: sara is running 840 secs || 30755606 markings, 165985531 edges, 37774 markings/sec, 840 secs
lola: sara is running 845 secs || 30918794 markings, 167041435 edges, 32638 markings/sec, 845 secs
lola: sara is running 850 secs || 31113198 markings, 167907312 edges, 38881 markings/sec, 850 secs
lola: sara is running 855 secs || 31311463 markings, 168695535 edges, 39653 markings/sec, 855 secs
lola: sara is running 860 secs || 31500985 markings, 169516892 edges, 37904 markings/sec, 860 secs
lola: sara is running 865 secs || 31687262 markings, 170396782 edges, 37255 markings/sec, 865 secs
lola: sara is running 870 secs || 31869746 markings, 171359845 edges, 36497 markings/sec, 870 secs
lola: sara is running 875 secs || 32059383 markings, 172215307 edges, 37927 markings/sec, 875 secs
lola: sara is running 880 secs || 32249405 markings, 173111045 edges, 38004 markings/sec, 880 secs
lola: sara is running 885 secs || 32430642 markings, 174183527 edges, 36247 markings/sec, 885 secs
lola: sara is running 890 secs || 32621449 markings, 174966611 edges, 38161 markings/sec, 890 secs
lola: sara is running 895 secs || 32798887 markings, 175825039 edges, 35488 markings/sec, 895 secs
lola: sara is running 900 secs || 32982471 markings, 176743088 edges, 36717 markings/sec, 900 secs
lola: sara is running 905 secs || 33164563 markings, 177663682 edges, 36418 markings/sec, 905 secs
lola: sara is running 910 secs || 33337200 markings, 178582877 edges, 34527 markings/sec, 910 secs
lola: sara is running 915 secs || 33510084 markings, 179630168 edges, 34577 markings/sec, 915 secs
lola: sara is running 920 secs || 33680483 markings, 180568516 edges, 34080 markings/sec, 920 secs
lola: sara is running 925 secs || 33850055 markings, 181508282 edges, 33914 markings/sec, 925 secs
lola: sara is running 930 secs || 34019162 markings, 182501921 edges, 33821 markings/sec, 930 secs
lola: sara is running 935 secs || 34194772 markings, 183502956 edges, 35122 markings/sec, 935 secs
lola: sara is running 940 secs || 34381047 markings, 184483740 edges, 37255 markings/sec, 940 secs
lola: sara is running 945 secs || 34559124 markings, 185539835 edges, 35615 markings/sec, 945 secs
lola: sara is running 950 secs || 34738850 markings, 186626712 edges, 35945 markings/sec, 950 secs
lola: sara is running 955 secs || 34914484 markings, 187754759 edges, 35127 markings/sec, 955 secs
lola: sara is running 960 secs || 35087884 markings, 188893256 edges, 34680 markings/sec, 960 secs
lola: sara is running 965 secs || 35268367 markings, 189867031 edges, 36097 markings/sec, 965 secs
lola: sara is running 970 secs || 35440050 markings, 190870676 edges, 34337 markings/sec, 970 secs
lola: sara is running 975 secs || 35610659 markings, 191937596 edges, 34122 markings/sec, 975 secs
lola: sara is running 980 secs || 35792103 markings, 192893435 edges, 36289 markings/sec, 980 secs
lola: sara is running 985 secs || 35972446 markings, 193895547 edges, 36069 markings/sec, 985 secs
lola: sara is running 990 secs || 36144140 markings, 194948219 edges, 34339 markings/sec, 990 secs
lola: sara is running 995 secs || 36318206 markings, 195940011 edges, 34813 markings/sec, 995 secs
lola: sara is running 1000 secs || 36485148 markings, 196905611 edges, 33388 markings/sec, 1000 secs
lola: sara is running 1005 secs || 36653422 markings, 198016255 edges, 33655 markings/sec, 1005 secs
lola: sara is running 1010 secs || 36817421 markings, 199067248 edges, 32800 markings/sec, 1010 secs
lola: sara is running 1015 secs || 36990683 markings, 200080119 edges, 34652 markings/sec, 1015 secs
lola: sara is running 1020 secs || 37171148 markings, 201120173 edges, 36093 markings/sec, 1020 secs
lola: sara is running 1025 secs || 37348737 markings, 202161275 edges, 35518 markings/sec, 1025 secs
lola: sara is running 1030 secs || 37523629 markings, 203193418 edges, 34978 markings/sec, 1030 secs
lola: sara is running 1035 secs || 37703253 markings, 204216536 edges, 35925 markings/sec, 1035 secs
lola: sara is running 1040 secs || 37871911 markings, 205378899 edges, 33732 markings/sec, 1040 secs
lola: sara is running 1045 secs || 38037755 markings, 206579672 edges, 33169 markings/sec, 1045 secs
lola: sara is running 1050 secs || 38206792 markings, 207790480 edges, 33807 markings/sec, 1050 secs
lola: sara is running 1055 secs || 38382700 markings, 208887811 edges, 35182 markings/sec, 1055 secs
lola: sara is running 1060 secs || 38561280 markings, 209919225 edges, 35716 markings/sec, 1060 secs
lola: sara is running 1065 secs || 38731939 markings, 211067727 edges, 34132 markings/sec, 1065 secs
lola: sara is running 1070 secs || 38899563 markings, 212281770 edges, 33525 markings/sec, 1070 secs
lola: sara is running 1075 secs || 39072030 markings, 213372056 edges, 34493 markings/sec, 1075 secs
lola: sara is running 1080 secs || 39270157 markings, 214134365 edges, 39625 markings/sec, 1080 secs
lola: sara is running 1085 secs || 39449997 markings, 214978378 edges, 35968 markings/sec, 1085 secs
lola: sara is running 1090 secs || 39628727 markings, 215924947 edges, 35746 markings/sec, 1090 secs
lola: sara is running 1095 secs || 39817495 markings, 216809689 edges, 37754 markings/sec, 1095 secs
lola: sara is running 1100 secs || 40000847 markings, 217764632 edges, 36670 markings/sec, 1100 secs
lola: sara is running 1105 secs || 40171973 markings, 218675079 edges, 34225 markings/sec, 1105 secs
lola: sara is running 1110 secs || 40354210 markings, 219597754 edges, 36447 markings/sec, 1110 secs
lola: sara is running 1115 secs || 40519798 markings, 220580473 edges, 33118 markings/sec, 1115 secs
lola: sara is running 1120 secs || 40685016 markings, 221544489 edges, 33044 markings/sec, 1120 secs
lola: sara is running 1125 secs || 40856730 markings, 222504124 edges, 34343 markings/sec, 1125 secs
lola: sara is running 1130 secs || 41036505 markings, 223479184 edges, 35955 markings/sec, 1130 secs
lola: sara is running 1135 secs || 41208403 markings, 224485567 edges, 34380 markings/sec, 1135 secs
lola: sara is running 1140 secs || 41380211 markings, 225531314 edges, 34362 markings/sec, 1140 secs
lola: sara is running 1145 secs || 41554292 markings, 226609032 edges, 34816 markings/sec, 1145 secs
lola: sara is running 1150 secs || 41723730 markings, 227775450 edges, 33888 markings/sec, 1150 secs
lola: sara is running 1155 secs || 41886269 markings, 228977973 edges, 32508 markings/sec, 1155 secs
lola: sara is running 1160 secs || 42040469 markings, 230217388 edges, 30840 markings/sec, 1160 secs
lola: sara is running 1165 secs || 42215797 markings, 231181912 edges, 35066 markings/sec, 1165 secs
lola: sara is running 1170 secs || 42382296 markings, 232142939 edges, 33300 markings/sec, 1170 secs
lola: sara is running 1175 secs || 42545385 markings, 233186891 edges, 32618 markings/sec, 1175 secs
lola: sara is running 1180 secs || 42708663 markings, 234239765 edges, 32656 markings/sec, 1180 secs
lola: sara is running 1185 secs || 42888796 markings, 235035180 edges, 36027 markings/sec, 1185 secs
lola: sara is running 1190 secs || 43066024 markings, 235854841 edges, 35446 markings/sec, 1190 secs
lola: sara is running 1195 secs || 43237401 markings, 236716477 edges, 34275 markings/sec, 1195 secs
lola: sara is running 1200 secs || 43404589 markings, 237573749 edges, 33438 markings/sec, 1200 secs
lola: sara is running 1205 secs || 43561976 markings, 238454248 edges, 31477 markings/sec, 1205 secs
lola: sara is running 1210 secs || 43735599 markings, 239370701 edges, 34725 markings/sec, 1210 secs
lola: sara is running 1215 secs || 43910397 markings, 240342445 edges, 34960 markings/sec, 1215 secs
lola: sara is running 1220 secs || 44080827 markings, 241442266 edges, 34086 markings/sec, 1220 secs
lola: sara is running 1225 secs || 44251969 markings, 242411138 edges, 34228 markings/sec, 1225 secs
lola: sara is running 1230 secs || 44415272 markings, 243417229 edges, 32661 markings/sec, 1230 secs
lola: sara is running 1235 secs || 44571189 markings, 244401343 edges, 31183 markings/sec, 1235 secs
lola: sara is running 1240 secs || 44741199 markings, 245319747 edges, 34002 markings/sec, 1240 secs
lola: sara is running 1245 secs || 44907999 markings, 246290043 edges, 33360 markings/sec, 1245 secs
lola: sara is running 1250 secs || 45074298 markings, 247334545 edges, 33260 markings/sec, 1250 secs
lola: sara is running 1255 secs || 45236558 markings, 248300273 edges, 32452 markings/sec, 1255 secs
lola: sara is running 1260 secs || 45391697 markings, 249294732 edges, 31028 markings/sec, 1260 secs
lola: sara is running 1265 secs || 45545444 markings, 250315172 edges, 30749 markings/sec, 1265 secs
lola: sara is running 1270 secs || 45708907 markings, 251371340 edges, 32693 markings/sec, 1270 secs
lola: sara is running 1275 secs || 45865714 markings, 252496471 edges, 31361 markings/sec, 1275 secs
lola: sara is running 1280 secs || 46018431 markings, 253539603 edges, 30543 markings/sec, 1280 secs
lola: sara is running 1285 secs || 46168707 markings, 254623325 edges, 30055 markings/sec, 1285 secs
lola: sara is running 1290 secs || 46320502 markings, 255639077 edges, 30359 markings/sec, 1290 secs
lola: sara is running 1295 secs || 46495008 markings, 256287251 edges, 34901 markings/sec, 1295 secs
lola: sara is running 1300 secs || 46674332 markings, 256961530 edges, 35865 markings/sec, 1300 secs
lola: sara is running 1305 secs || 46851037 markings, 257618838 edges, 35341 markings/sec, 1305 secs
lola: sara is running 1310 secs || 47033409 markings, 258308088 edges, 36474 markings/sec, 1310 secs
lola: sara is running 1315 secs || 47227193 markings, 259044526 edges, 38757 markings/sec, 1315 secs
lola: sara is running 1320 secs || 47417717 markings, 259812327 edges, 38105 markings/sec, 1320 secs
lola: sara is running 1325 secs || 47600724 markings, 260543072 edges, 36601 markings/sec, 1325 secs
lola: sara is running 1330 secs || 47784457 markings, 261365330 edges, 36747 markings/sec, 1330 secs
lola: sara is running 1335 secs || 47968936 markings, 262080497 edges, 36896 markings/sec, 1335 secs
lola: sara is running 1340 secs || 48157996 markings, 262952325 edges, 37812 markings/sec, 1340 secs
lola: sara is running 1345 secs || 48344082 markings, 263842969 edges, 37217 markings/sec, 1345 secs
lola: sara is running 1350 secs || 48524595 markings, 264702496 edges, 36103 markings/sec, 1350 secs
lola: sara is running 1355 secs || 48707823 markings, 265523003 edges, 36646 markings/sec, 1355 secs
lola: sara is running 1360 secs || 48884596 markings, 266366387 edges, 35355 markings/sec, 1360 secs
lola: sara is running 1365 secs || 49056886 markings, 267218148 edges, 34458 markings/sec, 1365 secs
lola: sara is running 1370 secs || 49227619 markings, 268226238 edges, 34147 markings/sec, 1370 secs
lola: sara is running 1375 secs || 49412315 markings, 269240783 edges, 36939 markings/sec, 1375 secs
lola: sara is running 1380 secs || 49596378 markings, 270196550 edges, 36813 markings/sec, 1380 secs
lola: sara is running 1385 secs || 49776764 markings, 270967838 edges, 36077 markings/sec, 1385 secs
lola: sara is running 1390 secs || 49963353 markings, 271781353 edges, 37318 markings/sec, 1390 secs
lola: sara is running 1395 secs || 50150253 markings, 272616084 edges, 37380 markings/sec, 1395 secs
lola: sara is running 1400 secs || 50336765 markings, 273437583 edges, 37302 markings/sec, 1400 secs
lola: sara is running 1405 secs || 50507049 markings, 274407326 edges, 34057 markings/sec, 1405 secs
lola: sara is running 1410 secs || 50677619 markings, 275440552 edges, 34114 markings/sec, 1410 secs
lola: sara is running 1415 secs || 50856934 markings, 276336770 edges, 35863 markings/sec, 1415 secs
lola: sara is running 1420 secs || 51045809 markings, 277080168 edges, 37775 markings/sec, 1420 secs
lola: sara is running 1425 secs || 51226181 markings, 277811529 edges, 36074 markings/sec, 1425 secs
lola: sara is running 1430 secs || 51401109 markings, 278574123 edges, 34986 markings/sec, 1430 secs
lola: sara is running 1435 secs || 51573983 markings, 279346000 edges, 34575 markings/sec, 1435 secs
lola: sara is running 1440 secs || 51747191 markings, 280172087 edges, 34642 markings/sec, 1440 secs
lola: sara is running 1445 secs || 51917211 markings, 281065633 edges, 34004 markings/sec, 1445 secs
lola: sara is running 1450 secs || 52088187 markings, 281981747 edges, 34195 markings/sec, 1450 secs
lola: sara is running 1455 secs || 52262349 markings, 282928630 edges, 34832 markings/sec, 1455 secs
lola: sara is running 1460 secs || 52447051 markings, 283750494 edges, 36940 markings/sec, 1460 secs
lola: sara is running 1465 secs || 52624498 markings, 284672711 edges, 35489 markings/sec, 1465 secs
lola: sara is running 1470 secs || 52807371 markings, 285632538 edges, 36575 markings/sec, 1470 secs
lola: sara is running 1475 secs || 52991038 markings, 286435911 edges, 36733 markings/sec, 1475 secs
lola: sara is running 1480 secs || 53165749 markings, 287281555 edges, 34942 markings/sec, 1480 secs
lola: sara is running 1485 secs || 53335498 markings, 288148401 edges, 33950 markings/sec, 1485 secs
lola: sara is running 1490 secs || 53501788 markings, 289069344 edges, 33258 markings/sec, 1490 secs
lola: sara is running 1495 secs || 53673067 markings, 290006836 edges, 34256 markings/sec, 1495 secs
lola: sara is running 1500 secs || 53848963 markings, 291000412 edges, 35179 markings/sec, 1500 secs
lola: sara is running 1505 secs || 54022954 markings, 291955712 edges, 34798 markings/sec, 1505 secs
lola: sara is running 1510 secs || 54200684 markings, 292930316 edges, 35546 markings/sec, 1510 secs
lola: sara is running 1515 secs || 54376014 markings, 293956993 edges, 35066 markings/sec, 1515 secs
lola: sara is running 1520 secs || 54548787 markings, 294960799 edges, 34555 markings/sec, 1520 secs
lola: sara is running 1525 secs || 54714231 markings, 296059049 edges, 33089 markings/sec, 1525 secs
lola: sara is running 1530 secs || 54878412 markings, 297030538 edges, 32836 markings/sec, 1530 secs
lola: sara is running 1535 secs || 55044209 markings, 297982357 edges, 33159 markings/sec, 1535 secs
lola: sara is running 1540 secs || 55208498 markings, 298876499 edges, 32858 markings/sec, 1540 secs
lola: sara is running 1545 secs || 55373245 markings, 299790651 edges, 32949 markings/sec, 1545 secs
lola: sara is running 1550 secs || 55543787 markings, 300667746 edges, 34108 markings/sec, 1550 secs
lola: sara is running 1555 secs || 55707993 markings, 301779837 edges, 32841 markings/sec, 1555 secs
lola: sara is running 1560 secs || 55899184 markings, 302725419 edges, 38238 markings/sec, 1560 secs
lola: sara is running 1565 secs || 56085241 markings, 303681661 edges, 37211 markings/sec, 1565 secs
lola: sara is running 1570 secs || 56265554 markings, 304720054 edges, 36063 markings/sec, 1570 secs
lola: sara is running 1575 secs || 56451133 markings, 305715364 edges, 37116 markings/sec, 1575 secs
lola: sara is running 1580 secs || 56634139 markings, 306718731 edges, 36601 markings/sec, 1580 secs
lola: sara is running 1585 secs || 56808194 markings, 307874582 edges, 34811 markings/sec, 1585 secs
lola: sara is running 1590 secs || 56992071 markings, 308843261 edges, 36775 markings/sec, 1590 secs
lola: sara is running 1595 secs || 57173745 markings, 309785998 edges, 36335 markings/sec, 1595 secs
lola: sara is running 1600 secs || 57347809 markings, 310782575 edges, 34813 markings/sec, 1600 secs
lola: sara is running 1605 secs || 57521822 markings, 311789078 edges, 34803 markings/sec, 1605 secs
lola: sara is running 1610 secs || 57706309 markings, 312735508 edges, 36897 markings/sec, 1610 secs
lola: sara is running 1615 secs || 57889299 markings, 313670322 edges, 36598 markings/sec, 1615 secs
lola: sara is running 1620 secs || 58066343 markings, 314702918 edges, 35409 markings/sec, 1620 secs
lola: sara is running 1625 secs || 58244750 markings, 315645460 edges, 35681 markings/sec, 1625 secs
lola: sara is running 1630 secs || 58418867 markings, 316614260 edges, 34823 markings/sec, 1630 secs
lola: sara is running 1635 secs || 58588804 markings, 317589014 edges, 33987 markings/sec, 1635 secs
lola: sara is running 1640 secs || 58762632 markings, 318629348 edges, 34766 markings/sec, 1640 secs
lola: sara is running 1645 secs || 58928439 markings, 319715805 edges, 33161 markings/sec, 1645 secs
lola: sara is running 1650 secs || 59098357 markings, 320728759 edges, 33984 markings/sec, 1650 secs
lola: sara is running 1655 secs || 59287282 markings, 321732186 edges, 37785 markings/sec, 1655 secs
lola: sara is running 1660 secs || 59470678 markings, 322709253 edges, 36679 markings/sec, 1660 secs
lola: sara is running 1665 secs || 59651228 markings, 323725520 edges, 36110 markings/sec, 1665 secs
lola: sara is running 1670 secs || 59825023 markings, 324816606 edges, 34759 markings/sec, 1670 secs
lola: sara is running 1675 secs || 59994126 markings, 325997030 edges, 33821 markings/sec, 1675 secs
lola: sara is running 1680 secs || 60163484 markings, 327154099 edges, 33872 markings/sec, 1680 secs
lola: sara is running 1685 secs || 60348678 markings, 328121687 edges, 37039 markings/sec, 1685 secs
lola: sara is running 1690 secs || 60523657 markings, 329203546 edges, 34996 markings/sec, 1690 secs
lola: sara is running 1695 secs || 60696717 markings, 330369485 edges, 34612 markings/sec, 1695 secs
lola: sara is running 1700 secs || 60878702 markings, 331426345 edges, 36397 markings/sec, 1700 secs
lola: sara is running 1705 secs || 61032033 markings, 332556716 edges, 30666 markings/sec, 1705 secs
lola: sara is running 1710 secs || 61194133 markings, 333569635 edges, 32420 markings/sec, 1710 secs
lola: sara is running 1715 secs || 61378700 markings, 334505053 edges, 36913 markings/sec, 1715 secs
lola: sara is running 1720 secs || 61554507 markings, 335457368 edges, 35161 markings/sec, 1720 secs
lola: sara is running 1725 secs || 61726648 markings, 336487078 edges, 34428 markings/sec, 1725 secs
lola: sara is running 1730 secs || 61900848 markings, 337512720 edges, 34840 markings/sec, 1730 secs
lola: sara is running 1735 secs || 62077660 markings, 338521216 edges, 35362 markings/sec, 1735 secs
lola: sara is running 1740 secs || 62249023 markings, 339625034 edges, 34273 markings/sec, 1740 secs
lola: sara is running 1745 secs || 62415154 markings, 340795726 edges, 33226 markings/sec, 1745 secs
lola: sara is running 1750 secs || 62573428 markings, 342015371 edges, 31655 markings/sec, 1750 secs
lola: sara is running 1755 secs || 62744564 markings, 343009062 edges, 34227 markings/sec, 1755 secs
lola: sara is running 1760 secs || 62915273 markings, 343945284 edges, 34142 markings/sec, 1760 secs
lola: sara is running 1765 secs || 63075124 markings, 344912448 edges, 31970 markings/sec, 1765 secs
lola: sara is running 1770 secs || 63237293 markings, 345919241 edges, 32434 markings/sec, 1770 secs
lola: sara is running 1775 secs || 63400041 markings, 346930466 edges, 32550 markings/sec, 1775 secs
lola: sara is running 1780 secs || 63571179 markings, 347835238 edges, 34228 markings/sec, 1780 secs
lola: sara is running 1785 secs || 63739563 markings, 348762065 edges, 33677 markings/sec, 1785 secs
lola: sara is running 1790 secs || 63906840 markings, 349734442 edges, 33455 markings/sec, 1790 secs
lola: sara is running 1795 secs || 64070607 markings, 350742108 edges, 32753 markings/sec, 1795 secs
lola: sara is running 1800 secs || 64236939 markings, 351702685 edges, 33266 markings/sec, 1800 secs
lola: sara is running 1805 secs || 64393375 markings, 352681797 edges, 31287 markings/sec, 1805 secs
lola: sara is running 1810 secs || 64549881 markings, 353666229 edges, 31301 markings/sec, 1810 secs
lola: sara is running 1815 secs || 64711678 markings, 354686279 edges, 32359 markings/sec, 1815 secs
lola: sara is running 1820 secs || 64868256 markings, 355779794 edges, 31316 markings/sec, 1820 secs
lola: sara is running 1825 secs || 65018949 markings, 356821796 edges, 30139 markings/sec, 1825 secs
lola: sara is running 1830 secs || 65166409 markings, 357914401 edges, 29492 markings/sec, 1830 secs
lola: sara is running 1835 secs || 65315669 markings, 358952072 edges, 29852 markings/sec, 1835 secs
lola: sara is running 1840 secs || 65499143 markings, 359877356 edges, 36695 markings/sec, 1840 secs
lola: sara is running 1845 secs || 65698939 markings, 360805008 edges, 39959 markings/sec, 1845 secs
lola: sara is running 1850 secs || 65905016 markings, 361604923 edges, 41215 markings/sec, 1850 secs
lola: sara is running 1855 secs || 66104282 markings, 362363665 edges, 39853 markings/sec, 1855 secs
lola: sara is running 1860 secs || 66298345 markings, 363094747 edges, 38813 markings/sec, 1860 secs
lola: sara is running 1865 secs || 66482643 markings, 363929109 edges, 36860 markings/sec, 1865 secs
lola: sara is running 1870 secs || 66662261 markings, 364817641 edges, 35924 markings/sec, 1870 secs
lola: sara is running 1875 secs || 66836254 markings, 365672352 edges, 34799 markings/sec, 1875 secs
lola: sara is running 1880 secs || 67016431 markings, 366669583 edges, 36035 markings/sec, 1880 secs
lola: sara is running 1885 secs || 67203899 markings, 367592356 edges, 37494 markings/sec, 1885 secs
lola: sara is running 1890 secs || 67385509 markings, 368473988 edges, 36322 markings/sec, 1890 secs
lola: sara is running 1895 secs || 67562461 markings, 369532680 edges, 35390 markings/sec, 1895 secs
lola: sara is running 1900 secs || 67753712 markings, 370325702 edges, 38250 markings/sec, 1900 secs
lola: sara is running 1905 secs || 67932312 markings, 371154750 edges, 35720 markings/sec, 1905 secs
lola: sara is running 1910 secs || 68106782 markings, 372086692 edges, 34894 markings/sec, 1910 secs
lola: sara is running 1915 secs || 68283711 markings, 373011505 edges, 35386 markings/sec, 1915 secs
lola: sara is running 1920 secs || 68466635 markings, 373954399 edges, 36585 markings/sec, 1920 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no yes yes unknown yes unknown no no no no yes no yes yes
lola:
preliminary result: unknown yes no yes yes unknown yes unknown no no no no yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes yes unknown yes unknown no no no no yes no yes yes
lola: memory consumption: 2435736 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 2435736 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes yes unknown yes unknown no no no no yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes yes unknown yes unknown no no no no yes no yes yes
lola: memory consumption: 2436040 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-17redondantChoiceL"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-17redondantChoiceL.tgz
mv DNAwalker-PT-17redondantChoiceL execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-17redondantChoiceL, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500339"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;