About the Execution of LoLA for DNAwalker-PT-05track28LR
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7203.800 | 3600000.00 | 12078329.00 | 2972.90 | F?TTFFTTTFTF?FFF | 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 272K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-05track28LR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400257
=====================================================================
--------------------
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-05track28LR-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526765946956
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-05track28LR Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-05track28LR formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-05track28LR @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1088
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: always true
lola: LP says that atomic proposition is always false: (3 <= B10)
lola: LP says that atomic proposition is always false: (3 <= B23)
lola: LP says that atomic proposition is always false: (3 <= B24)
lola: LP says that atomic proposition is always false: (3 <= B24)
lola: LP says that atomic proposition is always false: (2 <= B23)
lola: E (F (((A3 <= 0) AND (A8 <= 2) AND (3 <= A3)))) : E (F (((3 <= A18) AND (A22 <= 0)))) : E (F (((A26 <= A4) AND (B9 <= A24) AND ((3 <= A3) OR (B24 <= A2)) AND (2 <= A23)))) : E (F (((A20 + 1 <= A17) AND (A26 + 1 <= B10) AND (A19 <= 2)))) : A (G ((((A13 <= A27) AND (1 <= A10)) OR (A24 <= A7)))) : A (G (((3 <= A16) OR (1 <= A27) OR (A13 <= B10) OR (3 <= A24)))) : A (G (TRUE)) : E (F (((A23 <= 0) AND (A17 + 1 <= A12) AND (A14 <= 0)))) : E (F (((A21 <= 0) AND (A9 <= 1) AND (A18 <= A21)))) : E (F (())) : A (G (TRUE)) : A (G ((A24 <= 1))) : E (F ((((A20 <= A26) OR (1 <= A10) OR (A24 <= 2)) AND (3 <= A7)))) : E (F (())) : A (G ((A23 <= A22))) : E (F (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 195 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A24 <= 1)))
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 ((A24 <= 1)))
lola: processed formula length: 18
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (2 <= A24)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-5-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7 markings, 6 edges
lola: ========================================
lola: state equation: calling and running sara
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A3 <= 0) AND (A8 <= 2) AND (3 <= A3))))
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 (((A3 <= 0) AND (A8 <= 2) AND (3 <= A3))))
lola: processed formula length: 47
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A3 <= 0) AND (A8 <= 2) AND (3 <= A3))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-5-0.sara.
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A23 <= A22)))
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 ((A23 <= A22)))
lola: processed formula length: 20
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (A22 + 1 <= A23)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7 markings, 6 edges
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
========================================
lola: ...considering subproblem: E (F (((3 <= A18) AND (A22 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A18) AND (A22 <= 0))))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((3 <= A18) AND (A22 <= 0))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 555143 markings, 1855386 edges, 111029 markings/sec, 0 secs
lola: sara is running 5 secs || 1107938 markings, 3633260 edges, 110559 markings/sec, 5 secs
lola: sara is running 10 secs || 1641271 markings, 5637212 edges, 106667 markings/sec, 10 secs
lola: sara is running 15 secs || 2163764 markings, 7713508 edges, 104499 markings/sec, 15 secs
lola: sara is running 20 secs || 2724221 markings, 9338419 edges, 112091 markings/sec, 20 secs
lola: sara is running 25 secs || 3264893 markings, 11430708 edges, 108134 markings/sec, 25 secs
lola: sara is running 30 secs || 3791563 markings, 13274037 edges, 105334 markings/sec, 30 secs
lola: sara is running 35 secs || 4341830 markings, 15072830 edges, 110053 markings/sec, 35 secs
lola: sara is running 40 secs || 4887071 markings, 16562530 edges, 109048 markings/sec, 40 secs
lola: sara is running 45 secs || 5412486 markings, 18507348 edges, 105083 markings/sec, 45 secs
lola: sara is running 50 secs || 5937816 markings, 20543035 edges, 105066 markings/sec, 50 secs
lola: sara is running 55 secs || 6430017 markings, 22656544 edges, 98440 markings/sec, 55 secs
lola: sara is running 60 secs || 6983922 markings, 24441475 edges, 110781 markings/sec, 60 secs
lola: sara is running 65 secs || 7524034 markings, 26354454 edges, 108022 markings/sec, 65 secs
lola: sara is running 70 secs || 8046453 markings, 28378071 edges, 104484 markings/sec, 70 secs
lola: sara is running 75 secs || 8546079 markings, 30207859 edges, 99925 markings/sec, 75 secs
lola: sara is running 80 secs || 9019755 markings, 32127900 edges, 94735 markings/sec, 80 secs
lola: sara is running 85 secs || 9610264 markings, 33464500 edges, 118102 markings/sec, 85 secs
lola: sara is running 90 secs || 10115504 markings, 34873743 edges, 101048 markings/sec, 90 secs
lola: sara is running 95 secs || 10692281 markings, 36568677 edges, 115355 markings/sec, 95 secs
lola: sara is running 100 secs || 11224574 markings, 38434337 edges, 106459 markings/sec, 100 secs
lola: sara is running 105 secs || 11755991 markings, 40422113 edges, 106283 markings/sec, 105 secs
lola: sara is running 110 secs || 12263981 markings, 42470678 edges, 101598 markings/sec, 110 secs
lola: sara is running 115 secs || 12793633 markings, 44432077 edges, 105930 markings/sec, 115 secs
lola: sara is running 120 secs || 13275966 markings, 46491882 edges, 96467 markings/sec, 120 secs
lola: sara is running 125 secs || 13759929 markings, 48773224 edges, 96793 markings/sec, 125 secs
lola: sara is running 130 secs || 14302207 markings, 50558578 edges, 108456 markings/sec, 130 secs
lola: sara is running 135 secs || 14823502 markings, 52040892 edges, 104259 markings/sec, 135 secs
lola: sara is running 140 secs || 15318913 markings, 53897430 edges, 99082 markings/sec, 140 secs
lola: sara is running 145 secs || 15817557 markings, 55956435 edges, 99729 markings/sec, 145 secs
lola: sara is running 150 secs || 16305980 markings, 57928967 edges, 97685 markings/sec, 150 secs
lola: sara is running 155 secs || 16764137 markings, 60234742 edges, 91631 markings/sec, 155 secs
lola: sara is running 160 secs || 17326172 markings, 61731487 edges, 112407 markings/sec, 160 secs
lola: sara is running 165 secs || 17848386 markings, 63692753 edges, 104443 markings/sec, 165 secs
lola: sara is running 170 secs || 18447002 markings, 65517656 edges, 119723 markings/sec, 170 secs
lola: sara is running 175 secs || 19019088 markings, 66828172 edges, 114417 markings/sec, 175 secs
lola: sara is running 180 secs || 19592549 markings, 68250168 edges, 114692 markings/sec, 180 secs
lola: sara is running 185 secs || 20143494 markings, 69625804 edges, 110189 markings/sec, 185 secs
lola: sara is running 190 secs || 20647297 markings, 71003603 edges, 100761 markings/sec, 190 secs
lola: sara is running 195 secs || 21212149 markings, 72434373 edges, 112970 markings/sec, 195 secs
lola: sara is running 200 secs || 21739215 markings, 74297597 edges, 105413 markings/sec, 200 secs
lola: sara is running 205 secs || 22243400 markings, 76144549 edges, 100837 markings/sec, 205 secs
lola: sara is running 210 secs || 22786532 markings, 78009658 edges, 108626 markings/sec, 210 secs
lola: sara is running 215 secs || 23277744 markings, 79813177 edges, 98242 markings/sec, 215 secs
lola: sara is running 220 secs || 23810389 markings, 81875532 edges, 106529 markings/sec, 220 secs
lola: sara is running 225 secs || 24332501 markings, 83752106 edges, 104422 markings/sec, 225 secs
lola: sara is running 230 secs || 24834409 markings, 85818155 edges, 100382 markings/sec, 230 secs
lola: sara is running 235 secs || 25348888 markings, 88082820 edges, 102896 markings/sec, 235 secs
lola: sara is running 240 secs || 25872641 markings, 89878554 edges, 104751 markings/sec, 240 secs
lola: sara is running 245 secs || 26347398 markings, 91719159 edges, 94951 markings/sec, 245 secs
lola: sara is running 250 secs || 26854378 markings, 93720485 edges, 101396 markings/sec, 250 secs
lola: sara is running 255 secs || 27326579 markings, 95922579 edges, 94440 markings/sec, 255 secs
lola: sara is running 260 secs || 27800935 markings, 98173984 edges, 94871 markings/sec, 260 secs
lola: sara is running 265 secs || 28267375 markings, 100489954 edges, 93288 markings/sec, 265 secs
lola: sara is running 270 secs || 28815511 markings, 102373372 edges, 109627 markings/sec, 270 secs
lola: sara is running 275 secs || 29355926 markings, 103742236 edges, 108083 markings/sec, 275 secs
lola: sara is running 280 secs || 29876262 markings, 105143641 edges, 104067 markings/sec, 280 secs
lola: sara is running 285 secs || 30417951 markings, 106916053 edges, 108338 markings/sec, 285 secs
lola: sara is running 290 secs || 30940258 markings, 108766301 edges, 104461 markings/sec, 290 secs
lola: sara is running 295 secs || 31461130 markings, 110733977 edges, 104174 markings/sec, 295 secs
lola: sara is running 300 secs || 31957368 markings, 112729493 edges, 99248 markings/sec, 300 secs
lola: sara is running 305 secs || 32481250 markings, 114746838 edges, 104776 markings/sec, 305 secs
lola: sara is running 310 secs || 32955043 markings, 116679786 edges, 94759 markings/sec, 310 secs
lola: sara is running 315 secs || 33426241 markings, 118916056 edges, 94240 markings/sec, 315 secs
lola: sara is running 320 secs || 33945405 markings, 121171839 edges, 103833 markings/sec, 320 secs
lola: sara is running 325 secs || 34510232 markings, 122622716 edges, 112965 markings/sec, 325 secs
lola: sara is running 330 secs || 35073106 markings, 124355158 edges, 112575 markings/sec, 330 secs
lola: sara is running 335 secs || 35631508 markings, 126381636 edges, 111680 markings/sec, 335 secs
lola: sara is running 340 secs || 36140156 markings, 128431165 edges, 101730 markings/sec, 340 secs
lola: sara is running 345 secs || 36633056 markings, 130180353 edges, 98580 markings/sec, 345 secs
lola: sara is running 350 secs || 37092751 markings, 132215855 edges, 91939 markings/sec, 350 secs
lola: sara is running 355 secs || 37582849 markings, 133755989 edges, 98020 markings/sec, 355 secs
lola: sara is running 360 secs || 38047700 markings, 135723352 edges, 92970 markings/sec, 360 secs
lola: sara is running 365 secs || 38479937 markings, 137822331 edges, 86447 markings/sec, 365 secs
lola: sara is running 370 secs || 38954202 markings, 139635647 edges, 94853 markings/sec, 370 secs
lola: sara is running 375 secs || 39614484 markings, 141215599 edges, 132056 markings/sec, 375 secs
lola: sara is running 380 secs || 40259197 markings, 142484371 edges, 128943 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown yes unknown unknown no yes no unknown no no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown unknown yes unknown unknown no yes no unknown no no no
lola: memory consumption: 1459452 KB
lola: time consumption: 835 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A21 <= 0) AND (A9 <= 1) AND (A18 <= A21))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A21 <= 0) AND (A9 <= 1) AND (A18 <= A21))))
lola: processed formula length: 51
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A21 <= 0) AND (A9 <= 1) AND (A18 <= A21))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A23 <= 0) AND (A17 + 1 <= A12) AND (A14 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A23 <= 0) AND (A17 + 1 <= A12) AND (A14 <= 0))))
lola: processed formula length: 56
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A23 <= 0) AND (A17 + 1 <= A12) AND (A14 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 601 markings, 888 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((A20 <= A26) OR (1 <= A10) OR (A24 <= 2)) AND (3 <= A7))))
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 ((((A20 <= A26) OR (1 <= A10) OR (A24 <= 2)) AND (3 <= A7))))
lola: processed formula length: 68
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((A20 <= A26) OR (1 <= A10) OR (A24 <= 2)) AND (3 <= A7))
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 677841 markings, 1580703 edges, 135568 markings/sec, 0 secs
lola: sara is running 5 secs || 1263658 markings, 3324324 edges, 117163 markings/sec, 5 secs
lola: sara is running 10 secs || 1785801 markings, 5329149 edges, 104429 markings/sec, 10 secs
lola: sara is running 15 secs || 2312330 markings, 7357421 edges, 105306 markings/sec, 15 secs
lola: sara is running 20 secs || 2768796 markings, 9629047 edges, 91293 markings/sec, 20 secs
lola: sara is running 25 secs || 3204567 markings, 11661358 edges, 87154 markings/sec, 25 secs
lola: sara is running 30 secs || 3712030 markings, 13279019 edges, 101493 markings/sec, 30 secs
lola: sara is running 35 secs || 4152693 markings, 15204908 edges, 88133 markings/sec, 35 secs
lola: sara is running 40 secs || 4571305 markings, 17177966 edges, 83722 markings/sec, 40 secs
lola: sara is running 45 secs || 5009088 markings, 19055353 edges, 87557 markings/sec, 45 secs
lola: sara is running 50 secs || 5418325 markings, 21058766 edges, 81847 markings/sec, 50 secs
lola: sara is running 55 secs || 5852266 markings, 22819609 edges, 86788 markings/sec, 55 secs
lola: sara is running 60 secs || 6275399 markings, 24838816 edges, 84627 markings/sec, 60 secs
lola: sara is running 65 secs || 6662985 markings, 26925131 edges, 77517 markings/sec, 65 secs
lola: sara is running 70 secs || 7067208 markings, 28945960 edges, 80845 markings/sec, 70 secs
lola: sara is running 75 secs || 7510946 markings, 30669685 edges, 88748 markings/sec, 75 secs
lola: sara is running 80 secs || 7915592 markings, 32652812 edges, 80929 markings/sec, 80 secs
lola: sara is running 85 secs || 8306374 markings, 34815190 edges, 78156 markings/sec, 85 secs
lola: sara is running 90 secs || 8711512 markings, 36764216 edges, 81028 markings/sec, 90 secs
lola: sara is running 95 secs || 9107629 markings, 38657504 edges, 79223 markings/sec, 95 secs
lola: sara is running 100 secs || 9571910 markings, 40576616 edges, 92856 markings/sec, 100 secs
lola: sara is running 105 secs || 10073948 markings, 42312843 edges, 100408 markings/sec, 105 secs
lola: sara is running 110 secs || 10546959 markings, 44295442 edges, 94602 markings/sec, 110 secs
lola: sara is running 115 secs || 10977076 markings, 46380764 edges, 86023 markings/sec, 115 secs
lola: sara is running 120 secs || 11372548 markings, 48307888 edges, 79094 markings/sec, 120 secs
lola: sara is running 125 secs || 11773340 markings, 50265739 edges, 80158 markings/sec, 125 secs
lola: sara is running 130 secs || 12223478 markings, 51989281 edges, 90028 markings/sec, 130 secs
lola: sara is running 135 secs || 12633695 markings, 53986800 edges, 82043 markings/sec, 135 secs
lola: sara is running 140 secs || 13044848 markings, 56073667 edges, 82231 markings/sec, 140 secs
lola: sara is running 145 secs || 13422602 markings, 58216003 edges, 75551 markings/sec, 145 secs
lola: sara is running 150 secs || 13834631 markings, 60163063 edges, 82406 markings/sec, 150 secs
lola: sara is running 155 secs || 14227247 markings, 62209240 edges, 78523 markings/sec, 155 secs
lola: sara is running 160 secs || 14710823 markings, 63878928 edges, 96715 markings/sec, 160 secs
lola: sara is running 165 secs || 15130165 markings, 65768840 edges, 83868 markings/sec, 165 secs
lola: sara is running 170 secs || 15548428 markings, 67653385 edges, 83653 markings/sec, 170 secs
lola: sara is running 175 secs || 16024872 markings, 69381888 edges, 95289 markings/sec, 175 secs
lola: sara is running 180 secs || 16440680 markings, 71265029 edges, 83162 markings/sec, 180 secs
lola: sara is running 185 secs || 16893298 markings, 73175539 edges, 90524 markings/sec, 185 secs
lola: sara is running 190 secs || 17384210 markings, 74804378 edges, 98182 markings/sec, 190 secs
lola: sara is running 195 secs || 17827521 markings, 76448790 edges, 88662 markings/sec, 195 secs
lola: sara is running 200 secs || 18285976 markings, 78453395 edges, 91691 markings/sec, 200 secs
lola: sara is running 205 secs || 18697437 markings, 80379767 edges, 82292 markings/sec, 205 secs
lola: sara is running 210 secs || 19102476 markings, 82330716 edges, 81008 markings/sec, 210 secs
lola: sara is running 215 secs || 19553923 markings, 83928815 edges, 90289 markings/sec, 215 secs
lola: sara is running 220 secs || 19967519 markings, 85970079 edges, 82719 markings/sec, 220 secs
lola: sara is running 225 secs || 20392725 markings, 87908056 edges, 85041 markings/sec, 225 secs
lola: sara is running 230 secs || 20782690 markings, 90088749 edges, 77993 markings/sec, 230 secs
lola: sara is running 235 secs || 21164121 markings, 92395252 edges, 76286 markings/sec, 235 secs
lola: sara is running 240 secs || 21538286 markings, 94659772 edges, 74833 markings/sec, 240 secs
lola: sara is running 245 secs || 21937364 markings, 96838114 edges, 79816 markings/sec, 245 secs
lola: sara is running 250 secs || 22349135 markings, 98822543 edges, 82354 markings/sec, 250 secs
lola: sara is running 255 secs || 22733686 markings, 100958324 edges, 76910 markings/sec, 255 secs
lola: sara is running 260 secs || 23090196 markings, 102982163 edges, 71302 markings/sec, 260 secs
lola: sara is running 265 secs || 23432351 markings, 104978828 edges, 68431 markings/sec, 265 secs
lola: sara is running 270 secs || 23816961 markings, 107055750 edges, 76922 markings/sec, 270 secs
lola: sara is running 275 secs || 24186944 markings, 109219508 edges, 73997 markings/sec, 275 secs
lola: sara is running 280 secs || 24549910 markings, 111128127 edges, 72593 markings/sec, 280 secs
lola: sara is running 285 secs || 25036229 markings, 112819921 edges, 97264 markings/sec, 285 secs
lola: sara is running 290 secs || 25502309 markings, 114460873 edges, 93216 markings/sec, 290 secs
lola: sara is running 295 secs || 25959398 markings, 116019621 edges, 91418 markings/sec, 295 secs
lola: sara is running 300 secs || 26426887 markings, 117610953 edges, 93498 markings/sec, 300 secs
lola: sara is running 305 secs || 26902199 markings, 118959125 edges, 95062 markings/sec, 305 secs
lola: sara is running 310 secs || 27344434 markings, 120442086 edges, 88447 markings/sec, 310 secs
lola: sara is running 315 secs || 27801545 markings, 121999020 edges, 91422 markings/sec, 315 secs
lola: sara is running 320 secs || 28253189 markings, 123836371 edges, 90329 markings/sec, 320 secs
lola: sara is running 325 secs || 28688389 markings, 125695527 edges, 87040 markings/sec, 325 secs
lola: sara is running 330 secs || 29086096 markings, 127593765 edges, 79541 markings/sec, 330 secs
lola: sara is running 335 secs || 29486149 markings, 129505625 edges, 80011 markings/sec, 335 secs
lola: sara is running 340 secs || 29888335 markings, 131831206 edges, 80437 markings/sec, 340 secs
lola: sara is running 345 secs || 30263784 markings, 133720502 edges, 75090 markings/sec, 345 secs
lola: sara is running 350 secs || 30693189 markings, 135566897 edges, 85881 markings/sec, 350 secs
lola: sara is running 355 secs || 31143454 markings, 137415265 edges, 90053 markings/sec, 355 secs
lola: sara is running 360 secs || 31593315 markings, 139193704 edges, 89972 markings/sec, 360 secs
lola: sara is running 365 secs || 31986158 markings, 140860538 edges, 78569 markings/sec, 365 secs
lola: sara is running 370 secs || 32390540 markings, 142538613 edges, 80876 markings/sec, 370 secs
lola: sara is running 375 secs || 32778174 markings, 144280097 edges, 77527 markings/sec, 375 secs
lola: sara is running 380 secs || 33163771 markings, 146158002 edges, 77119 markings/sec, 380 secs
lola: sara is running 385 secs || 33588910 markings, 147927216 edges, 85028 markings/sec, 385 secs
lola: sara is running 390 secs || 33987144 markings, 149683887 edges, 79647 markings/sec, 390 secs
lola: sara is running 395 secs || 34350213 markings, 151466805 edges, 72614 markings/sec, 395 secs
lola: sara is running 400 secs || 34718281 markings, 153185506 edges, 73614 markings/sec, 400 secs
lola: sara is running 405 secs || 35174755 markings, 154807614 edges, 91295 markings/sec, 405 secs
lola: sara is running 410 secs || 35656474 markings, 156473936 edges, 96344 markings/sec, 410 secs
lola: sara is running 415 secs || 36124943 markings, 157936975 edges, 93694 markings/sec, 415 secs
lola: sara is running 420 secs || 36575301 markings, 159715333 edges, 90072 markings/sec, 420 secs
lola: sara is running 425 secs || 37022215 markings, 161659953 edges, 89383 markings/sec, 425 secs
lola: sara is running 430 secs || 37418972 markings, 163621065 edges, 79351 markings/sec, 430 secs
lola: sara is running 435 secs || 37800325 markings, 165687755 edges, 76271 markings/sec, 435 secs
lola: sara is running 440 secs || 38200069 markings, 167384174 edges, 79949 markings/sec, 440 secs
lola: sara is running 445 secs || 38590584 markings, 169208032 edges, 78103 markings/sec, 445 secs
lola: sara is running 450 secs || 38988226 markings, 171063390 edges, 79528 markings/sec, 450 secs
lola: sara is running 455 secs || 39380438 markings, 172858262 edges, 78442 markings/sec, 455 secs
lola: sara is running 460 secs || 39762161 markings, 174664978 edges, 76345 markings/sec, 460 secs
lola: sara is running 465 secs || 40185740 markings, 176439181 edges, 84716 markings/sec, 465 secs
lola: sara is running 470 secs || 40617009 markings, 178169648 edges, 86254 markings/sec, 470 secs
lola: sara is running 475 secs || 41025005 markings, 179923331 edges, 81599 markings/sec, 475 secs
lola: sara is running 480 secs || 41414150 markings, 181719977 edges, 77829 markings/sec, 480 secs
lola: sara is running 485 secs || 41785797 markings, 183417480 edges, 74329 markings/sec, 485 secs
lola: sara is running 490 secs || 42185231 markings, 185146860 edges, 79887 markings/sec, 490 secs
lola: sara is running 495 secs || 42647236 markings, 186855375 edges, 92401 markings/sec, 495 secs
lola: sara is running 500 secs || 43062817 markings, 188949735 edges, 83116 markings/sec, 500 secs
lola: sara is running 505 secs || 43451721 markings, 190792202 edges, 77781 markings/sec, 505 secs
lola: sara is running 510 secs || 43898413 markings, 192453473 edges, 89338 markings/sec, 510 secs
lola: sara is running 515 secs || 44285026 markings, 194245138 edges, 77323 markings/sec, 515 secs
lola: sara is running 520 secs || 44668208 markings, 196085507 edges, 76636 markings/sec, 520 secs
lola: sara is running 525 secs || 45045883 markings, 197965703 edges, 75535 markings/sec, 525 secs
lola: sara is running 530 secs || 45485440 markings, 199542684 edges, 87911 markings/sec, 530 secs
lola: sara is running 535 secs || 45909838 markings, 201186491 edges, 84880 markings/sec, 535 secs
lola: sara is running 540 secs || 46304704 markings, 203214496 edges, 78973 markings/sec, 540 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown yes yes yes no yes no unknown no no no
lola: memory consumption: 1653704 KB
lola: time consumption: 1381 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 547 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A20 + 1 <= A17) AND (A26 + 1 <= B10) AND (A19 <= 2))))
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 (((A20 + 1 <= A17) AND (A26 + 1 <= B10) AND (A19 <= 2))))
lola: processed formula length: 62
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A20 + 1 <= A17) AND (A26 + 1 <= B10) AND (A19 <= 2))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 13 markings, 12 edges
lola:
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-12-0.sara
lola: subprocess 13 will run for 729 seconds at most (--localtimelimit=0)
lola: ========================================
lola: lola: ...considering subproblem: A (G ((((A13 <= A27) AND (1 <= A10)) OR (A24 <= A7))))
lola: ========================================lola:
lola: state equation: calling and running sara
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 <= A27) AND (1 <= A10)) OR (A24 <= A7))))
lola: processed formula length: 55
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((A27 + 1 <= A13) OR (A10 <= 0)) AND (A7 + 1 <= A24))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-13-0.sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-12-0.sara.
lola: lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1094 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((3 <= A16) OR (1 <= A27) OR (A13 <= B10) OR (3 <= A24))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((3 <= A16) OR (1 <= A27) OR (A13 <= B10) OR (3 <= A24))))
lola: processed formula length: 67
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A16 <= 2) AND (A27 <= 0) AND (B10 + 1 <= A13) AND (A24 <= 2))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-14-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A26 <= A4) AND (B9 <= A24) AND ((3 <= A3) OR (B24 <= A2)) AND (2 <= A23))))
lola: ========================================sara: place or transition ordering is non-deterministic
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 (((A26 <= A4) AND (B9 <= A24) AND ((3 <= A3) OR (B24 <= A2)) AND (2 <= A23))))
lola: processed formula length: 84
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A26 <= A4) AND (B9 <= A24) AND ((3 <= A3) OR (B24 <= A2)) AND (2 <= A23))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: ========================================
FORMULA DNAwalker-PT-05track28LR-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A18) AND (A22 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A18) AND (A22 <= 0))))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-05track28LR-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((3 <= A18) AND (A22 <= 0))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 549014 markings, 1833703 edges, 109803 markings/sec, 0 secs
lola: sara is running 5 secs || 1097644 markings, 3589116 edges, 109726 markings/sec, 5 secs
lola: sara is running 10 secs || 1621806 markings, 5560607 edges, 104832 markings/sec, 10 secs
lola: sara is running 15 secs || 2129402 markings, 7642176 edges, 101519 markings/sec, 15 secs
lola: sara is running 20 secs || 2689928 markings, 9209947 edges, 112105 markings/sec, 20 secs
lola: sara is running 25 secs || 3221902 markings, 11236985 edges, 106395 markings/sec, 25 secs
lola: sara is running 30 secs || 3742790 markings, 13094233 edges, 104178 markings/sec, 30 secs
lola: sara is running 35 secs || 4267300 markings, 14909521 edges, 104902 markings/sec, 35 secs
lola: sara is running 40 secs || 4821295 markings, 16340360 edges, 110799 markings/sec, 40 secs
lola: sara is running 45 secs || 5341758 markings, 18219357 edges, 104093 markings/sec, 45 secs
lola: sara is running 50 secs || 5859546 markings, 20271772 edges, 103558 markings/sec, 50 secs
lola: sara is running 55 secs || 6353048 markings, 22262356 edges, 98700 markings/sec, 55 secs
lola: sara is running 60 secs || 6861760 markings, 24169105 edges, 101742 markings/sec, 60 secs
lola: sara is running 65 secs || 7423325 markings, 25920629 edges, 112313 markings/sec, 65 secs
lola: sara is running 70 secs || 7928105 markings, 27997538 edges, 100956 markings/sec, 70 secs
lola: sara is running 75 secs || 8436243 markings, 29754084 edges, 101628 markings/sec, 75 secs
lola: sara is running 80 secs || 8875636 markings, 31679306 edges, 87879 markings/sec, 80 secs
lola: sara is running 85 secs || 9473727 markings, 33112924 edges, 119618 markings/sec, 85 secs
lola: sara is running 90 secs || 9988009 markings, 34493302 edges, 102856 markings/sec, 90 secs
lola: sara is running 95 secs || 10542562 markings, 36014646 edges, 110911 markings/sec, 95 secs
lola: sara is running 100 secs || 11061250 markings, 37867023 edges, 103738 markings/sec, 100 secs
lola: sara is running 105 secs || 11569033 markings, 39806439 edges, 101557 markings/sec, 105 secs
lola: sara is running 110 secs || 12090468 markings, 41685985 edges, 104287 markings/sec, 110 secs
lola: sara is running 115 secs || 12612954 markings, 43765849 edges, 104497 markings/sec, 115 secs
lola: sara is running 120 secs || 13095912 markings, 45641801 edges, 96592 markings/sec, 120 secs
lola: sara is running 125 secs || 13567275 markings, 47868645 edges, 94273 markings/sec, 125 secs
lola: sara is running 130 secs || 14056141 markings, 49963928 edges, 97773 markings/sec, 130 secs
lola: sara is running 135 secs || 14579977 markings, 51332815 edges, 104767 markings/sec, 135 secs
lola: sara is running 140 secs || 15095427 markings, 53066662 edges, 103090 markings/sec, 140 secs
lola: sara is running 145 secs || 15588333 markings, 54962546 edges, 98581 markings/sec, 145 secs
lola: sara is running 150 secs || 16074237 markings, 56966507 edges, 97181 markings/sec, 150 secs
lola: sara is running 155 secs || 16530610 markings, 59042245 edges, 91275 markings/sec, 155 secs
lola: sara is running 160 secs || 17024804 markings, 60904479 edges, 98839 markings/sec, 160 secs
lola: sara is running 165 secs || 17566673 markings, 62600088 edges, 108374 markings/sec, 165 secs
lola: sara is running 170 secs || 18067432 markings, 64589059 edges, 100152 markings/sec, 170 secs
lola: sara is running 175 secs || 18675415 markings, 66006674 edges, 121597 markings/sec, 175 secs
lola: sara is running 180 secs || 19249629 markings, 67402546 edges, 114843 markings/sec, 180 secs
lola: sara is running 185 secs || 19813292 markings, 68770067 edges, 112733 markings/sec, 185 secs
lola: sara is running 190 secs || 20338271 markings, 70151302 edges, 104996 markings/sec, 190 secs
lola: sara is running 195 secs || 20831453 markings, 71506752 edges, 98636 markings/sec, 195 secs
lola: sara is running 200 secs || 21392306 markings, 73067079 edges, 112171 markings/sec, 200 secs
lola: sara is running 205 secs || 21908058 markings, 74915156 edges, 103150 markings/sec, 205 secs
lola: sara is running 210 secs || 22434184 markings, 76766931 edges, 105225 markings/sec, 210 secs
lola: sara is running 215 secs || 22937375 markings, 78555966 edges, 100638 markings/sec, 215 secs
lola: sara is running 220 secs || 23430060 markings, 80477205 edges, 98537 markings/sec, 220 secs
lola: sara is running 225 secs || 23957838 markings, 82401976 edges, 105556 markings/sec, 225 secs
lola: sara is running 230 secs || 24454781 markings, 84238542 edges, 99389 markings/sec, 230 secs
lola: sara is running 235 secs || 24965655 markings, 86378642 edges, 102175 markings/sec, 235 secs
lola: sara is running 240 secs || 25477526 markings, 88465648 edges, 102374 markings/sec, 240 secs
lola: sara is running 245 secs || 25982123 markings, 90246322 edges, 100919 markings/sec, 245 secs
lola: sara is running 250 secs || 26448924 markings, 92058631 edges, 93360 markings/sec, 250 secs
lola: sara is running 255 secs || 26926719 markings, 94064259 edges, 95559 markings/sec, 255 secs
lola: sara is running 260 secs || 27378491 markings, 96157173 edges, 90354 markings/sec, 260 secs
lola: sara is running 265 secs || 27827909 markings, 98311355 edges, 89884 markings/sec, 265 secs
lola: sara is running 270 secs || 28276492 markings, 100534795 edges, 89717 markings/sec, 270 secs
lola: sara is running 275 secs || 28799768 markings, 102340566 edges, 104655 markings/sec, 275 secs
lola: sara is running 280 secs || 29324131 markings, 103650633 edges, 104873 markings/sec, 280 secs
lola: sara is running 285 secs || 29811715 markings, 104998231 edges, 97517 markings/sec, 285 secs
lola: sara is running 290 secs || 30349598 markings, 106634736 edges, 107577 markings/sec, 290 secs
lola: sara is running 295 secs || 30832594 markings, 108405741 edges, 96599 markings/sec, 295 secs
lola: sara is running 300 secs || 31329075 markings, 110272202 edges, 99296 markings/sec, 300 secs
lola: sara is running 305 secs || 31811719 markings, 112052631 edges, 96529 markings/sec, 305 secs
lola: sara is running 310 secs || 32300845 markings, 114123943 edges, 97825 markings/sec, 310 secs
lola: sara is running 315 secs || 32754504 markings, 115872304 edges, 90732 markings/sec, 315 secs
lola: sara is running 320 secs || 33224134 markings, 117940385 edges, 93926 markings/sec, 320 secs
lola: sara is running 325 secs || 33668576 markings, 120104598 edges, 88888 markings/sec, 325 secs
lola: sara is running 330 secs || 34212452 markings, 121876451 edges, 108775 markings/sec, 330 secs
lola: sara is running 335 secs || 34761204 markings, 123269362 edges, 109750 markings/sec, 335 secs
lola: sara is running 340 secs || 35287115 markings, 125099336 edges, 105182 markings/sec, 340 secs
lola: sara is running 345 secs || 35802257 markings, 127035402 edges, 103028 markings/sec, 345 secs
lola: sara is running 350 secs || 36287164 markings, 129115440 edges, 96981 markings/sec, 350 secs
lola: sara is running 355 secs || 36755747 markings, 130681244 edges, 93717 markings/sec, 355 secs
lola: sara is running 360 secs || 37182943 markings, 132506405 edges, 85439 markings/sec, 360 secs
lola: sara is running 365 secs || 37655276 markings, 134046889 edges, 94467 markings/sec, 365 secs
lola: sara is running 370 secs || 38092494 markings, 135938233 edges, 87444 markings/sec, 370 secs
lola: sara is running 375 secs || 38511909 markings, 137930201 edges, 83883 markings/sec, 375 secs
lola: sara is running 380 secs || 38966025 markings, 139695693 edges, 90823 markings/sec, 380 secs
lola: sara is running 385 secs || 39602010 markings, 141191292 edges, 127197 markings/sec, 385 secs
lola: sara is running 390 secs || 40222725 markings, 142408288 edges, 124143 markings/sec, 390 secs
lola: sara is running 395 secs || 40779654 markings, 143718545 edges, 111386 markings/sec, 395 secs
lola: sara is running 400 secs || 41392638 markings, 145048329 edges, 122597 markings/sec, 400 secs
lola: sara is running 405 secs || 41895377 markings, 146364510 edges, 100548 markings/sec, 405 secs
lola: sara is running 410 secs || 42421274 markings, 147710177 edges, 105179 markings/sec, 410 secs
lola: sara is running 415 secs || 42884866 markings, 149062147 edges, 92718 markings/sec, 415 secs
lola: sara is running 420 secs || 43391546 markings, 150386187 edges, 101336 markings/sec, 420 secs
lola: sara is running 425 secs || 43862658 markings, 151698802 edges, 94222 markings/sec, 425 secs
lola: sara is running 430 secs || 44340871 markings, 152989542 edges, 95643 markings/sec, 430 secs
lola: sara is running 435 secs || 44840712 markings, 154298427 edges, 99968 markings/sec, 435 secs
lola: sara is running 440 secs || 45415588 markings, 156000791 edges, 114975 markings/sec, 440 secs
lola: sara is running 445 secs || 45937919 markings, 157801237 edges, 104466 markings/sec, 445 secs
lola: sara is running 450 secs || 46402300 markings, 159572677 edges, 92876 markings/sec, 450 secs
lola: sara is running 455 secs || 46850531 markings, 161327526 edges, 89646 markings/sec, 455 secs
lola: sara is running 460 secs || 47421400 markings, 163130573 edges, 114174 markings/sec, 460 secs
lola: sara is running 465 secs || 47928261 markings, 164871197 edges, 101372 markings/sec, 465 secs
lola: sara is running 470 secs || 48386108 markings, 166562501 edges, 91569 markings/sec, 470 secs
lola: sara is running 475 secs || 48860365 markings, 168270367 edges, 94851 markings/sec, 475 secs
lola: sara is running 480 secs || 49360266 markings, 170239343 edges, 99980 markings/sec, 480 secs
lola: sara is running 485 secs || 49852320 markings, 172289152 edges, 98411 markings/sec, 485 secs
lola: sara is running 490 secs || 50387219 markings, 174079739 edges, 106980 markings/sec, 490 secs
lola: sara is running 495 secs || 50899994 markings, 175844050 edges, 102555 markings/sec, 495 secs
lola: sara is running 500 secs || 51342412 markings, 177585903 edges, 88484 markings/sec, 500 secs
lola: sara is running 505 secs || 51839276 markings, 179455170 edges, 99373 markings/sec, 505 secs
lola: sara is running 510 secs || 52323763 markings, 181633755 edges, 96897 markings/sec, 510 secs
lola: sara is running 515 secs || 52789991 markings, 183771266 edges, 93246 markings/sec, 515 secs
lola: sara is running 520 secs || 53323178 markings, 185843827 edges, 106637 markings/sec, 520 secs
lola: sara is running 525 secs || 53846422 markings, 187547799 edges, 104649 markings/sec, 525 secs
lola: sara is running 530 secs || 54348835 markings, 189296082 edges, 100483 markings/sec, 530 secs
lola: sara is running 535 secs || 54793033 markings, 191056743 edges, 88840 markings/sec, 535 secs
lola: sara is running 540 secs || 55230484 markings, 192800883 edges, 87490 markings/sec, 540 secs
lola: sara is running 545 secs || 55667640 markings, 194524264 edges, 87431 markings/sec, 545 secs
lola: sara is running 550 secs || 56170485 markings, 196621113 edges, 100569 markings/sec, 550 secs
lola: sara is running 555 secs || 56589502 markings, 198718763 edges, 83803 markings/sec, 555 secs
lola: sara is running 560 secs || 57075003 markings, 200795471 edges, 97100 markings/sec, 560 secs
lola: sara is running 565 secs || 57502638 markings, 202856378 edges, 85527 markings/sec, 565 secs
lola: sara is running 570 secs || 57965807 markings, 205109227 edges, 92634 markings/sec, 570 secs
lola: sara is running 575 secs || 58433606 markings, 207234969 edges, 93560 markings/sec, 575 secs
lola: sara is running 580 secs || 58870851 markings, 209456745 edges, 87449 markings/sec, 580 secs
lola: sara is running 585 secs || 59289337 markings, 211838448 edges, 83697 markings/sec, 585 secs
lola: sara is running 590 secs || 59907084 markings, 213436597 edges, 123549 markings/sec, 590 secs
lola: sara is running 595 secs || 60490983 markings, 214879504 edges, 116780 markings/sec, 595 secs
lola: sara is running 600 secs || 61078168 markings, 216235196 edges, 117437 markings/sec, 600 secs
lola: sara is running 605 secs || 61641792 markings, 217560336 edges, 112725 markings/sec, 605 secs
lola: sara is running 610 secs || 62196408 markings, 218883759 edges, 110923 markings/sec, 610 secs
lola: sara is running 615 secs || 62726004 markings, 220620978 edges, 105919 markings/sec, 615 secs
lola: sara is running 620 secs || 63310533 markings, 222444653 edges, 116906 markings/sec, 620 secs
lola: sara is running 625 secs || 63873576 markings, 224385643 edges, 112609 markings/sec, 625 secs
lola: sara is running 630 secs || 64419553 markings, 226201821 edges, 109195 markings/sec, 630 secs
lola: sara is running 635 secs || 64943928 markings, 228144683 edges, 104875 markings/sec, 635 secs
lola: sara is running 640 secs || 65482547 markings, 230134244 edges, 107724 markings/sec, 640 secs
lola: sara is running 645 secs || 66020488 markings, 231946954 edges, 107588 markings/sec, 645 secs
lola: sara is running 650 secs || 66513725 markings, 233723531 edges, 98647 markings/sec, 650 secs
lola: sara is running 655 secs || 67031917 markings, 235834345 edges, 103638 markings/sec, 655 secs
lola: sara is running 660 secs || 67522685 markings, 237994330 edges, 98154 markings/sec, 660 secs
lola: sara is running 665 secs || 67939010 markings, 239735471 edges, 83265 markings/sec, 665 secs
lola: sara is running 670 secs || 68437059 markings, 241226232 edges, 99610 markings/sec, 670 secs
lola: sara is running 675 secs || 68918697 markings, 242980843 edges, 96328 markings/sec, 675 secs
lola: sara is running 680 secs || 69383955 markings, 244952418 edges, 93052 markings/sec, 680 secs
lola: sara is running 685 secs || 69929312 markings, 247004338 edges, 109071 markings/sec, 685 secs
lola: sara is running 690 secs || 70631723 markings, 248671065 edges, 140482 markings/sec, 690 secs
lola: sara is running 695 secs || 71250576 markings, 250375460 edges, 123771 markings/sec, 695 secs
lola: sara is running 700 secs || 71878645 markings, 252329619 edges, 125614 markings/sec, 700 secs
lola: sara is running 705 secs || 72488717 markings, 254301158 edges, 122014 markings/sec, 705 secs
lola: sara is running 710 secs || 73145120 markings, 256128839 edges, 131281 markings/sec, 710 secs
lola: sara is running 715 secs || 73792007 markings, 258089836 edges, 129377 markings/sec, 715 secs
lola: sara is running 720 secs || 74426517 markings, 259684633 edges, 126902 markings/sec, 720 secs
lola: sara is running 725 secs || 75012117 markings, 261556237 edges, 117120 markings/sec, 725 secs
lola: sara is running 730 secs || 75627121 markings, 263436142 edges, 123001 markings/sec, 730 secs
lola: sara is running 735 secs || 76213514 markings, 265337127 edges, 117279 markings/sec, 735 secs
lola: sara is running 740 secs || 76712580 markings, 267031206 edges, 99813 markings/sec, 740 secs
lola: sara is running 745 secs || 77118290 markings, 268542477 edges, 81142 markings/sec, 745 secs
lola: sara is running 750 secs || 77505698 markings, 270148433 edges, 77482 markings/sec, 750 secs
lola: sara is running 755 secs || 77857777 markings, 272065602 edges, 70416 markings/sec, 755 secs
lola: sara is running 760 secs || 78227420 markings, 273740172 edges, 73929 markings/sec, 760 secs
lola: sara is running 765 secs || 78640843 markings, 275579164 edges, 82685 markings/sec, 765 secs
lola: sara is running 770 secs || 79039447 markings, 277149388 edges, 79721 markings/sec, 770 secs
lola: sara is running 775 secs || 79430906 markings, 278784900 edges, 78292 markings/sec, 775 secs
lola: sara is running 780 secs || 79774060 markings, 280749654 edges, 68631 markings/sec, 780 secs
lola: sara is running 785 secs || 80276789 markings, 282444559 edges, 100546 markings/sec, 785 secs
lola: sara is running 790 secs || 80698750 markings, 284415693 edges, 84392 markings/sec, 790 secs
lola: sara is running 795 secs || 81125546 markings, 286235578 edges, 85359 markings/sec, 795 secs
lola: sara is running 800 secs || 81654157 markings, 287883399 edges, 105722 markings/sec, 800 secs
lola: sara is running 805 secs || 82109955 markings, 289461536 edges, 91160 markings/sec, 805 secs
lola: sara is running 810 secs || 82575781 markings, 291000275 edges, 93165 markings/sec, 810 secs
lola: sara is running 815 secs || 83056207 markings, 292536812 edges, 96085 markings/sec, 815 secs
lola: sara is running 820 secs || 83550993 markings, 294130904 edges, 98957 markings/sec, 820 secs
lola: sara is running 825 secs || 84013635 markings, 296024127 edges, 92528 markings/sec, 825 secs
lola: sara is running 830 secs || 84484480 markings, 297869921 edges, 94169 markings/sec, 830 secs
lola: sara is running 835 secs || 84986663 markings, 299915060 edges, 100437 markings/sec, 835 secs
lola: sara is running 840 secs || 85370179 markings, 301871705 edges, 76703 markings/sec, 840 secs
lola: sara is running 845 secs || 85806909 markings, 303804379 edges, 87346 markings/sec, 845 secs
lola: sara is running 850 secs || 86219908 markings, 305953603 edges, 82600 markings/sec, 850 secs
lola: sara is running 855 secs || 86641652 markings, 308110586 edges, 84349 markings/sec, 855 secs
lola: sara is running 860 secs || 87164655 markings, 309681123 edges, 104601 markings/sec, 860 secs
lola: sara is running 865 secs || 87628989 markings, 311387455 edges, 92867 markings/sec, 865 secs
lola: sara is running 870 secs || 88077438 markings, 313351443 edges, 89690 markings/sec, 870 secs
lola: sara is running 875 secs || 88483921 markings, 315433250 edges, 81297 markings/sec, 875 secs
lola: sara is running 880 secs || 88950797 markings, 317175540 edges, 93375 markings/sec, 880 secs
lola: sara is running 885 secs || 89377841 markings, 319027386 edges, 85409 markings/sec, 885 secs
lola: sara is running 890 secs || 89793289 markings, 320903890 edges, 83090 markings/sec, 890 secs
lola: sara is running 895 secs || 90342912 markings, 322600955 edges, 109925 markings/sec, 895 secs
lola: sara is running 900 secs || 90994694 markings, 324064430 edges, 130356 markings/sec, 900 secs
lola: sara is running 905 secs || 91623169 markings, 325543486 edges, 125695 markings/sec, 905 secs
lola: sara is running 910 secs || 92212296 markings, 327109559 edges, 117825 markings/sec, 910 secs
lola: sara is running 915 secs || 92823282 markings, 328639719 edges, 122197 markings/sec, 915 secs
lola: sara is running 920 secs || 93435160 markings, 330089169 edges, 122376 markings/sec, 920 secs
lola: sara is running 925 secs || 94023110 markings, 331380162 edges, 117590 markings/sec, 925 secs
lola: sara is running 930 secs || 94591560 markings, 332864513 edges, 113690 markings/sec, 930 secs
lola: sara is running 935 secs || 95014332 markings, 334224994 edges, 84554 markings/sec, 935 secs
lola: sara is running 940 secs || 95435365 markings, 335590635 edges, 84207 markings/sec, 940 secs
lola: sara is running 945 secs || 95830923 markings, 336988264 edges, 79112 markings/sec, 945 secs
lola: sara is running 950 secs || 96222101 markings, 338374623 edges, 78236 markings/sec, 950 secs
lola: sara is running 955 secs || 96635993 markings, 339755521 edges, 82778 markings/sec, 955 secs
lola: sara is running 960 secs || 97085551 markings, 341177601 edges, 89912 markings/sec, 960 secs
lola: sara is running 965 secs || 97602337 markings, 342695509 edges, 103357 markings/sec, 965 secs
lola: sara is running 970 secs || 98168221 markings, 344190456 edges, 113177 markings/sec, 970 secs
lola: sara is running 975 secs || 98740018 markings, 345608573 edges, 114359 markings/sec, 975 secs
lola: sara is running 980 secs || 99141376 markings, 346929457 edges, 80272 markings/sec, 980 secs
lola: sara is running 985 secs || 99578761 markings, 348289363 edges, 87477 markings/sec, 985 secs
lola: sara is running 990 secs || 100064832 markings, 349801762 edges, 97214 markings/sec, 990 secs
lola: sara is running 995 secs || 100527363 markings, 351315881 edges, 92506 markings/sec, 995 secs
lola: sara is running 1000 secs || 100945802 markings, 352745064 edges, 83688 markings/sec, 1000 secs
lola: sara is running 1005 secs || 101416040 markings, 354320266 edges, 94048 markings/sec, 1005 secs
lola: sara is running 1010 secs || 101897531 markings, 355741593 edges, 96298 markings/sec, 1010 secs
lola: sara is running 1015 secs || 102388643 markings, 357179813 edges, 98222 markings/sec, 1015 secs
lola: sara is running 1020 secs || 102873912 markings, 358714856 edges, 97054 markings/sec, 1020 secs
lola: sara is running 1025 secs || 103312484 markings, 360534367 edges, 87714 markings/sec, 1025 secs
lola: sara is running 1030 secs || 103772513 markings, 362102350 edges, 92006 markings/sec, 1030 secs
lola: sara is running 1035 secs || 104236663 markings, 363655431 edges, 92830 markings/sec, 1035 secs
lola: sara is running 1040 secs || 104715501 markings, 365180351 edges, 95768 markings/sec, 1040 secs
lola: sara is running 1045 secs || 105172620 markings, 366793636 edges, 91424 markings/sec, 1045 secs
lola: sara is running 1050 secs || 105651253 markings, 368431246 edges, 95727 markings/sec, 1050 secs
lola: sara is running 1055 secs || 106228221 markings, 370039169 edges, 115394 markings/sec, 1055 secs
lola: sara is running 1060 secs || 106901936 markings, 371434544 edges, 134743 markings/sec, 1060 secs
lola: sara is running 1065 secs || 107387408 markings, 372657020 edges, 97094 markings/sec, 1065 secs
lola: sara is running 1070 secs || 107930912 markings, 373980456 edges, 108701 markings/sec, 1070 secs
lola: sara is running 1075 secs || 108425253 markings, 375331216 edges, 98868 markings/sec, 1075 secs
lola: sara is running 1080 secs || 108945990 markings, 376713632 edges, 104147 markings/sec, 1080 secs
lola: sara is running 1085 secs || 109324063 markings, 378069649 edges, 75615 markings/sec, 1085 secs
lola: sara is running 1090 secs || 109782534 markings, 379433921 edges, 91694 markings/sec, 1090 secs
lola: sara is running 1095 secs || 110190965 markings, 380811145 edges, 81686 markings/sec, 1095 secs
lola: sara is running 1100 secs || 110707853 markings, 382234782 edges, 103378 markings/sec, 1100 secs
lola: sara is running 1105 secs || 111227178 markings, 383681939 edges, 103865 markings/sec, 1105 secs
lola: sara is running 1110 secs || 111803880 markings, 385089511 edges, 115340 markings/sec, 1110 secs
lola: sara is running 1115 secs || 112246059 markings, 386428230 edges, 88436 markings/sec, 1115 secs
lola: sara is running 1120 secs || 112677739 markings, 387824961 edges, 86336 markings/sec, 1120 secs
lola: sara is running 1125 secs || 113166101 markings, 389278808 edges, 97672 markings/sec, 1125 secs
lola: sara is running 1130 secs || 113653830 markings, 390745401 edges, 97546 markings/sec, 1130 secs
lola: sara is running 1135 secs || 114209625 markings, 392163219 edges, 111159 markings/sec, 1135 secs
lola: sara is running 1140 secs || 114651513 markings, 393524057 edges, 88378 markings/sec, 1140 secs
lola: sara is running 1145 secs || 115097498 markings, 394937905 edges, 89197 markings/sec, 1145 secs
lola: sara is running 1150 secs || 115552283 markings, 396388716 edges, 90957 markings/sec, 1150 secs
lola: sara is running 1155 secs || 116020875 markings, 397840209 edges, 93718 markings/sec, 1155 secs
lola: sara is running 1160 secs || 116486885 markings, 399300825 edges, 93202 markings/sec, 1160 secs
lola: sara is running 1165 secs || 116992246 markings, 400890368 edges, 101072 markings/sec, 1165 secs
lola: sara is running 1170 secs || 117462336 markings, 402622630 edges, 94018 markings/sec, 1170 secs
lola: sara is running 1175 secs || 117895832 markings, 404397581 edges, 86699 markings/sec, 1175 secs
lola: sara is running 1180 secs || 118340747 markings, 406233820 edges, 88983 markings/sec, 1180 secs
lola: sara is running 1185 secs || 118825754 markings, 407972208 edges, 97001 markings/sec, 1185 secs
lola: sara is running 1190 secs || 119259193 markings, 409617424 edges, 86688 markings/sec, 1190 secs
lola: sara is running 1195 secs || 119610659 markings, 411148156 edges, 70293 markings/sec, 1195 secs
lola: sara is running 1200 secs || 119963382 markings, 412696679 edges, 70545 markings/sec, 1200 secs
lola: sara is running 1205 secs || 120383190 markings, 414432495 edges, 83962 markings/sec, 1205 secs
lola: sara is running 1210 secs || 120837781 markings, 416021233 edges, 90918 markings/sec, 1210 secs
lola: sara is running 1215 secs || 121344380 markings, 417692330 edges, 101320 markings/sec, 1215 secs
lola: sara is running 1220 secs || 121760366 markings, 419361978 edges, 83197 markings/sec, 1220 secs
lola: sara is running 1225 secs || 122211649 markings, 421111529 edges, 90257 markings/sec, 1225 secs
lola: sara is running 1230 secs || 122680087 markings, 423025227 edges, 93688 markings/sec, 1230 secs
lola: sara is running 1235 secs || 123103154 markings, 424728547 edges, 84613 markings/sec, 1235 secs
lola: sara is running 1240 secs || 123534401 markings, 426448503 edges, 86249 markings/sec, 1240 secs
lola: sara is running 1245 secs || 123982770 markings, 428483990 edges, 89674 markings/sec, 1245 secs
lola: sara is running 1250 secs || 124403890 markings, 430228681 edges, 84224 markings/sec, 1250 secs
lola: sara is running 1255 secs || 124823392 markings, 432013429 edges, 83900 markings/sec, 1255 secs
lola: sara is running 1260 secs || 125247020 markings, 433932082 edges, 84726 markings/sec, 1260 secs
lola: sara is running 1265 secs || 125761743 markings, 435733131 edges, 102945 markings/sec, 1265 secs
lola: sara is running 1270 secs || 126149265 markings, 437380972 edges, 77504 markings/sec, 1270 secs
lola: sara is running 1275 secs || 126620151 markings, 439113547 edges, 94177 markings/sec, 1275 secs
lola: sara is running 1280 secs || 127064912 markings, 440856057 edges, 88952 markings/sec, 1280 secs
lola: sara is running 1285 secs || 127484254 markings, 442584175 edges, 83868 markings/sec, 1285 secs
lola: sara is running 1290 secs || 127910724 markings, 444282815 edges, 85294 markings/sec, 1290 secs
lola: sara is running 1295 secs || 128340571 markings, 445999147 edges, 85969 markings/sec, 1295 secs
lola: sara is running 1300 secs || 128764666 markings, 447724177 edges, 84819 markings/sec, 1300 secs
lola: sara is running 1305 secs || 129194443 markings, 449424782 edges, 85955 markings/sec, 1305 secs
lola: sara is running 1310 secs || 129627359 markings, 451436937 edges, 86583 markings/sec, 1310 secs
lola: sara is running 1315 secs || 130068792 markings, 453539887 edges, 88287 markings/sec, 1315 secs
lola: sara is running 1320 secs || 130502788 markings, 455642960 edges, 86799 markings/sec, 1320 secs
lola: sara is running 1325 secs || 131090824 markings, 457363180 edges, 117607 markings/sec, 1325 secs
lola: sara is running 1330 secs || 131597002 markings, 459111931 edges, 101236 markings/sec, 1330 secs
lola: sara is running 1335 secs || 132119491 markings, 460780208 edges, 104498 markings/sec, 1335 secs
lola: sara is running 1340 secs || 132605629 markings, 462600322 edges, 97228 markings/sec, 1340 secs
lola: sara is running 1345 secs || 132957413 markings, 464361213 edges, 70357 markings/sec, 1345 secs
lola: sara is running 1350 secs || 133287355 markings, 466095745 edges, 65988 markings/sec, 1350 secs
lola: sara is running 1355 secs || 133638983 markings, 467821033 edges, 70326 markings/sec, 1355 secs
lola: sara is running 1360 secs || 134033347 markings, 469526607 edges, 78873 markings/sec, 1360 secs
lola: sara is running 1365 secs || 134496768 markings, 471318761 edges, 92684 markings/sec, 1365 secs
lola: sara is running 1370 secs || 134925954 markings, 472976693 edges, 85837 markings/sec, 1370 secs
lola: sara is running 1375 secs || 135319615 markings, 474745088 edges, 78732 markings/sec, 1375 secs
lola: sara is running 1380 secs || 135629882 markings, 476499297 edges, 62053 markings/sec, 1380 secs
lola: sara is running 1385 secs || 136033585 markings, 478290763 edges, 80741 markings/sec, 1385 secs
lola: sara is running 1390 secs || 136449453 markings, 480015542 edges, 83174 markings/sec, 1390 secs
lola: sara is running 1395 secs || 136848343 markings, 481954311 edges, 79778 markings/sec, 1395 secs
lola: sara is running 1400 secs || 137233736 markings, 483772534 edges, 77079 markings/sec, 1400 secs
lola: sara is running 1405 secs || 137633908 markings, 485630314 edges, 80034 markings/sec, 1405 secs
lola: sara is running 1410 secs || 138076526 markings, 487484714 edges, 88524 markings/sec, 1410 secs
lola: sara is running 1415 secs || 138594173 markings, 489150508 edges, 103529 markings/sec, 1415 secs
lola: sara is running 1420 secs || 139025253 markings, 490799467 edges, 86216 markings/sec, 1420 secs
lola: sara is running 1425 secs || 139447215 markings, 492485744 edges, 84392 markings/sec, 1425 secs
lola: sara is running 1430 secs || 139779978 markings, 494187178 edges, 66553 markings/sec, 1430 secs
lola: sara is running 1435 secs || 140166553 markings, 495881927 edges, 77315 markings/sec, 1435 secs
lola: sara is running 1440 secs || 140613069 markings, 497597130 edges, 89303 markings/sec, 1440 secs
lola: sara is running 1445 secs || 141020974 markings, 499303019 edges, 81581 markings/sec, 1445 secs
lola: sara is running 1450 secs || 141417451 markings, 501059184 edges, 79295 markings/sec, 1450 secs
lola: sara is running 1455 secs || 141852503 markings, 502768969 edges, 87010 markings/sec, 1455 secs
lola: sara is running 1460 secs || 142243843 markings, 504476918 edges, 78268 markings/sec, 1460 secs
lola: sara is running 1465 secs || 142618596 markings, 506218867 edges, 74951 markings/sec, 1465 secs
lola: sara is running 1470 secs || 143007962 markings, 507966013 edges, 77873 markings/sec, 1470 secs
lola: sara is running 1475 secs || 143435788 markings, 509864980 edges, 85565 markings/sec, 1475 secs
lola: sara is running 1480 secs || 143802370 markings, 511877559 edges, 73316 markings/sec, 1480 secs
lola: sara is running 1485 secs || 144230600 markings, 513861443 edges, 85646 markings/sec, 1485 secs
lola: sara is running 1490 secs || 144586865 markings, 515876916 edges, 71253 markings/sec, 1490 secs
lola: sara is running 1495 secs || 144991768 markings, 517860554 edges, 80981 markings/sec, 1495 secs
lola: sara is running 1500 secs || 145426654 markings, 519844703 edges, 86977 markings/sec, 1500 secs
lola: sara is running 1505 secs || 145825468 markings, 521965703 edges, 79763 markings/sec, 1505 secs
lola: sara is running 1510 secs || 146207402 markings, 523997070 edges, 76387 markings/sec, 1510 secs
lola: sara is running 1515 secs || 146605140 markings, 526156954 edges, 79548 markings/sec, 1515 secs
lola: sara is running 1520 secs || 146975490 markings, 528197989 edges, 74070 markings/sec, 1520 secs
lola: sara is running 1525 secs || 147398852 markings, 530301803 edges, 84672 markings/sec, 1525 secs
lola: sara is running 1530 secs || 147778386 markings, 532308504 edges, 75907 markings/sec, 1530 secs
lola: sara is running 1535 secs || 148164330 markings, 534348996 edges, 77189 markings/sec, 1535 secs
lola: sara is running 1540 secs || 148538588 markings, 536328805 edges, 74852 markings/sec, 1540 secs
lola: sara is running 1545 secs || 148925673 markings, 538344601 edges, 77417 markings/sec, 1545 secs
lola: sara is running 1550 secs || 149312113 markings, 540508788 edges, 77288 markings/sec, 1550 secs
lola: sara is running 1555 secs || 149734635 markings, 542794091 edges, 84504 markings/sec, 1555 secs
lola: sara is running 1560 secs || 150314575 markings, 544466808 edges, 115988 markings/sec, 1560 secs
lola: sara is running 1565 secs || 150860740 markings, 546130451 edges, 109233 markings/sec, 1565 secs
lola: sara is running 1570 secs || 151201478 markings, 547788868 edges, 68148 markings/sec, 1570 secs
lola: sara is running 1575 secs || 151550568 markings, 549417797 edges, 69818 markings/sec, 1575 secs
lola: sara is running 1580 secs || 152043367 markings, 551078203 edges, 98560 markings/sec, 1580 secs
lola: sara is running 1585 secs || 152403692 markings, 552719202 edges, 72065 markings/sec, 1585 secs
lola: sara is running 1590 secs || 152818846 markings, 554375835 edges, 83031 markings/sec, 1590 secs
lola: sara is running 1595 secs || 153247745 markings, 556065490 edges, 85780 markings/sec, 1595 secs
lola: sara is running 1600 secs || 153812556 markings, 557753903 edges, 112962 markings/sec, 1600 secs
lola: sara is running 1605 secs || 154205602 markings, 559418319 edges, 78609 markings/sec, 1605 secs
lola: sara is running 1610 secs || 154584688 markings, 561072193 edges, 75817 markings/sec, 1610 secs
lola: sara is running 1615 secs || 155052413 markings, 562771336 edges, 93545 markings/sec, 1615 secs
lola: sara is running 1620 secs || 155461259 markings, 564460096 edges, 81769 markings/sec, 1620 secs
lola: sara is running 1625 secs || 155881837 markings, 566180089 edges, 84116 markings/sec, 1625 secs
lola: sara is running 1630 secs || 156282236 markings, 567877484 edges, 80080 markings/sec, 1630 secs
lola: sara is running 1635 secs || 156764583 markings, 569738676 edges, 96469 markings/sec, 1635 secs
lola: sara is running 1640 secs || 157173562 markings, 571748001 edges, 81796 markings/sec, 1640 secs
lola: sara is running 1645 secs || 157613128 markings, 573761629 edges, 87913 markings/sec, 1645 secs
lola: sara is running 1650 secs || 158029691 markings, 575749470 edges, 83313 markings/sec, 1650 secs
lola: sara is running 1655 secs || 158539624 markings, 577718641 edges, 101987 markings/sec, 1655 secs
lola: sara is running 1660 secs || 158911070 markings, 579760908 edges, 74289 markings/sec, 1660 secs
lola: sara is running 1665 secs || 159288765 markings, 581658293 edges, 75539 markings/sec, 1665 secs
lola: sara is running 1670 secs || 159619728 markings, 583528462 edges, 66193 markings/sec, 1670 secs
lola: sara is running 1675 secs || 160038082 markings, 585392450 edges, 83671 markings/sec, 1675 secs
lola: sara is running 1680 secs || 160399340 markings, 587297542 edges, 72252 markings/sec, 1680 secs
lola: sara is running 1685 secs || 160771178 markings, 589179516 edges, 74368 markings/sec, 1685 secs
lola: sara is running 1690 secs || 161138518 markings, 591066343 edges, 73468 markings/sec, 1690 secs
lola: sara is running 1695 secs || 161502332 markings, 593131458 edges, 72763 markings/sec, 1695 secs
lola: sara is running 1700 secs || 161883199 markings, 595307954 edges, 76173 markings/sec, 1700 secs
lola: sara is running 1705 secs || 162242063 markings, 597500847 edges, 71773 markings/sec, 1705 secs
lola: sara is running 1710 secs || 162714543 markings, 599672406 edges, 94496 markings/sec, 1710 secs
lola: sara is running 1715 secs || 163165916 markings, 601671089 edges, 90275 markings/sec, 1715 secs
lola: sara is running 1720 secs || 163557724 markings, 603589446 edges, 78362 markings/sec, 1720 secs
lola: sara is running 1725 secs || 163901002 markings, 605761999 edges, 68656 markings/sec, 1725 secs
lola: sara is running 1730 secs || 164320753 markings, 607867751 edges, 83950 markings/sec, 1730 secs
lola: sara is running 1735 secs || 164692874 markings, 609946550 edges, 74424 markings/sec, 1735 secs
lola: sara is running 1740 secs || 165063521 markings, 611854556 edges, 74129 markings/sec, 1740 secs
lola: sara is running 1745 secs || 165452980 markings, 614162895 edges, 77892 markings/sec, 1745 secs
lola: sara is running 1750 secs || 165854103 markings, 615895891 edges, 80225 markings/sec, 1750 secs
lola: sara is running 1755 secs || 166228754 markings, 617392991 edges, 74930 markings/sec, 1755 secs
lola: sara is running 1760 secs || 166582140 markings, 618933893 edges, 70677 markings/sec, 1760 secs
lola: sara is running 1765 secs || 166924610 markings, 620720688 edges, 68494 markings/sec, 1765 secs
lola: sara is running 1770 secs || 167273528 markings, 622635731 edges, 69784 markings/sec, 1770 secs
lola: sara is running 1775 secs || 167609739 markings, 624411589 edges, 67242 markings/sec, 1775 secs
lola: sara is running 1780 secs || 167931732 markings, 626437229 edges, 64399 markings/sec, 1780 secs
lola: sara is running 1785 secs || 168440715 markings, 628498885 edges, 101797 markings/sec, 1785 secs
lola: sara is running 1790 secs || 169045745 markings, 630427139 edges, 121006 markings/sec, 1790 secs
lola: sara is running 1795 secs || 169596816 markings, 632146626 edges, 110214 markings/sec, 1795 secs
lola: sara is running 1800 secs || 170127852 markings, 634157359 edges, 106207 markings/sec, 1800 secs
lola: sara is running 1805 secs || 170696641 markings, 636218850 edges, 113758 markings/sec, 1805 secs
lola: sara is running 1810 secs || 171258492 markings, 638275494 edges, 112370 markings/sec, 1810 secs
lola: sara is running 1815 secs || 171793263 markings, 640136594 edges, 106954 markings/sec, 1815 secs
lola: sara is running 1820 secs || 172380835 markings, 642185327 edges, 117514 markings/sec, 1820 secs
lola: sara is running 1825 secs || 172912091 markings, 643951074 edges, 106251 markings/sec, 1825 secs
lola: sara is running 1830 secs || 173454946 markings, 646033373 edges, 108571 markings/sec, 1830 secs
lola: sara is running 1835 secs || 173994729 markings, 647909233 edges, 107957 markings/sec, 1835 secs
lola: sara is running 1840 secs || 174546805 markings, 649960601 edges, 110415 markings/sec, 1840 secs
lola: sara is running 1845 secs || 175005109 markings, 651550104 edges, 91661 markings/sec, 1845 secs
lola: sara is running 1850 secs || 175477490 markings, 653244791 edges, 94476 markings/sec, 1850 secs
lola: sara is running 1855 secs || 175852238 markings, 654740806 edges, 74950 markings/sec, 1855 secs
lola: sara is running 1860 secs || 176287556 markings, 656472965 edges, 87064 markings/sec, 1860 secs
lola: sara is running 1865 secs || 176669743 markings, 658484326 edges, 76437 markings/sec, 1865 secs
lola: sara is running 1870 secs || 177043218 markings, 660455997 edges, 74695 markings/sec, 1870 secs
lola: sara is running 1875 secs || 177461773 markings, 662097567 edges, 83711 markings/sec, 1875 secs
lola: sara is running 1880 secs || 177886287 markings, 663988621 edges, 84903 markings/sec, 1880 secs
lola: sara is running 1885 secs || 178274235 markings, 665784317 edges, 77590 markings/sec, 1885 secs
lola: sara is running 1890 secs || 178665543 markings, 667432600 edges, 78262 markings/sec, 1890 secs
lola: sara is running 1895 secs || 179025003 markings, 669133440 edges, 71892 markings/sec, 1895 secs
lola: sara is running 1900 secs || 179338792 markings, 671076926 edges, 62758 markings/sec, 1900 secs
lola: sara is running 1905 secs || 179795339 markings, 672829441 edges, 91309 markings/sec, 1905 secs
lola: sara is running 1910 secs || 180242782 markings, 674591252 edges, 89489 markings/sec, 1910 secs
lola: sara is running 1915 secs || 180702411 markings, 676600146 edges, 91926 markings/sec, 1915 secs
lola: sara is running 1920 secs || 181131838 markings, 678712015 edges, 85885 markings/sec, 1920 secs
lola: sara is running 1925 secs || 181533660 markings, 680840266 edges, 80364 markings/sec, 1925 secs
lola: sara is running 1930 secs || 181967440 markings, 682758094 edges, 86756 markings/sec, 1930 secs
lola: sara is running 1935 secs || 182434253 markings, 684866485 edges, 93363 markings/sec, 1935 secs
lola: sara is running 1940 secs || 182833546 markings, 686969363 edges, 79859 markings/sec, 1940 secs
lola: sara is running 1945 secs || 183293251 markings, 688756719 edges, 91941 markings/sec, 1945 secs
lola: sara is running 1950 secs || 183819653 markings, 690462348 edges, 105280 markings/sec, 1950 secs
lola: sara is running 1955 secs || 184216383 markings, 691978827 edges, 79346 markings/sec, 1955 secs
lola: sara is running 1960 secs || 184606684 markings, 693530526 edges, 78060 markings/sec, 1960 secs
lola: sara is running 1965 secs || 185021238 markings, 695235001 edges, 82911 markings/sec, 1965 secs
lola: sara is running 1970 secs || 185462240 markings, 696938859 edges, 88200 markings/sec, 1970 secs
lola: sara is running 1975 secs || 185829049 markings, 698581858 edges, 73362 markings/sec, 1975 secs
lola: sara is running 1980 secs || 186279028 markings, 700159416 edges, 89996 markings/sec, 1980 secs
lola: sara is running 1985 secs || 186705524 markings, 701789327 edges, 85299 markings/sec, 1985 secs
lola: sara is running 1990 secs || 187128386 markings, 703504401 edges, 84572 markings/sec, 1990 secs
lola: sara is running 1995 secs || 187523255 markings, 705180050 edges, 78974 markings/sec, 1995 secs
lola: sara is running 2000 secs || 187906402 markings, 706844783 edges, 76629 markings/sec, 2000 secs
lola: sara is running 2005 secs || 188306242 markings, 708507569 edges, 79968 markings/sec, 2005 secs
lola: sara is running 2010 secs || 188698387 markings, 710166389 edges, 78429 markings/sec, 2010 secs
lola: sara is running 2015 secs || 189091211 markings, 711831869 edges, 78565 markings/sec, 2015 secs
lola: sara is running 2020 secs || 189510505 markings, 713751823 edges, 83859 markings/sec, 2020 secs
lola: sara is running 2025 secs || 189907729 markings, 715791326 edges, 79445 markings/sec, 2025 secs
lola: sara is running 2030 secs || 190305750 markings, 717823092 edges, 79604 markings/sec, 2030 secs
lola: sara is running 2035 secs || 190714641 markings, 719716703 edges, 81778 markings/sec, 2035 secs
lola: sara is running 2040 secs || 191158752 markings, 721514286 edges, 88822 markings/sec, 2040 secs
lola: sara is running 2045 secs || 191589561 markings, 723260690 edges, 86162 markings/sec, 2045 secs
lola: sara is running 2050 secs || 192004103 markings, 725147978 edges, 82908 markings/sec, 2050 secs
lola: sara is running 2055 secs || 192445625 markings, 726953551 edges, 88304 markings/sec, 2055 secs
lola: sara is running 2060 secs || 192854850 markings, 728724152 edges, 81845 markings/sec, 2060 secs
lola: sara is running 2065 secs || 193256955 markings, 730544069 edges, 80421 markings/sec, 2065 secs
lola: sara is running 2070 secs || 193634670 markings, 732226605 edges, 75543 markings/sec, 2070 secs
lola: sara is running 2075 secs || 194024452 markings, 733902861 edges, 77956 markings/sec, 2075 secs
lola: sara is running 2080 secs || 194438946 markings, 735797391 edges, 82899 markings/sec, 2080 secs
lola: sara is running 2085 secs || 194873207 markings, 737719119 edges, 86852 markings/sec, 2085 secs
lola: sara is running 2090 secs || 195259041 markings, 739636421 edges, 77167 markings/sec, 2090 secs
lola: sara is running 2095 secs || 195628714 markings, 741565081 edges, 73935 markings/sec, 2095 secs
lola: sara is running 2100 secs || 195998793 markings, 743490360 edges, 74016 markings/sec, 2100 secs
lola: sara is running 2105 secs || 196389301 markings, 745567223 edges, 78102 markings/sec, 2105 secs
lola: sara is running 2110 secs || 196760182 markings, 747731355 edges, 74176 markings/sec, 2110 secs
lola: sara is running 2115 secs || 197194696 markings, 749745274 edges, 86903 markings/sec, 2115 secs
lola: sara is running 2120 secs || 197583509 markings, 751766683 edges, 77763 markings/sec, 2120 secs
lola: sara is running 2125 secs || 197948497 markings, 753736864 edges, 72998 markings/sec, 2125 secs
lola: sara is running 2130 secs || 198379468 markings, 755796319 edges, 86194 markings/sec, 2130 secs
lola: sara is running 2135 secs || 198825776 markings, 757848387 edges, 89262 markings/sec, 2135 secs
lola: sara is running 2140 secs || 199204900 markings, 759839171 edges, 75825 markings/sec, 2140 secs
lola: sara is running 2145 secs || 199597040 markings, 761889545 edges, 78428 markings/sec, 2145 secs
lola: sara is running 2150 secs || 200001498 markings, 764092828 edges, 80892 markings/sec, 2150 secs
lola: sara is running 2155 secs || 200393035 markings, 766091411 edges, 78307 markings/sec, 2155 secs
lola: sara is running 2160 secs || 200803543 markings, 768151036 edges, 82102 markings/sec, 2160 secs
lola: sara is running 2165 secs || 201202123 markings, 770154754 edges, 79716 markings/sec, 2165 secs
lola: sara is running 2170 secs || 201590342 markings, 772190560 edges, 77644 markings/sec, 2170 secs
lola: sara is running 2175 secs || 201961121 markings, 774183475 edges, 74156 markings/sec, 2175 secs
lola: sara is running 2180 secs || 202360480 markings, 776392977 edges, 79872 markings/sec, 2180 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown yes yes no no yes yes yes no yes no unknown no no no
lola:
preliminary result: no unknown yes yes no no yes yes yes no yes no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes yes no no yes yes yes no yes no unknown no no no
lola: memory consumption: 7144280 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes yes no no yes yes yes no yes no unknown no no no
lola: memory consumption: 7145124 KB
lola: time consumption: 3569 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-05track28LR"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-05track28LR.tgz
mv DNAwalker-PT-05track28LR 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-05track28LR, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400257"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;