About the Execution of LoLA for DNAwalker-PT-14ringLRLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10449.140 | 3570760.00 | 4629292.00 | 7958.70 | ??FFFF?FFFF??F?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K 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 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K 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 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-14ringLRLarge, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500319
=====================================================================
--------------------
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-14ringLRLarge-CTLFireability-00
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-01
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-02
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-03
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-04
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-05
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-06
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-07
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-08
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-09
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-10
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-11
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-12
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-13
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-14
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526840906032
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-14ringLRLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-14ringLRLarge formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DNAwalker-PT-14ringLRLarge @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: (A (G ((NOT FIREABLE(t11_13) OR NOT FIREABLE(t15_13) OR (FIREABLE(t8_1) AND (FIREABLE(t18_19) OR FIREABLE(t26_27)))))) OR FIREABLE(t27_4)) : A (X (E (F (FIREABLE(t1_16))))) : A (F ((A ((FIREABLE(t2_3) U FIREABLE(t12_8))) OR (FIREABLE(t6_8) AND FIREABLE(t17_20) AND FIREABLE(tb3) AND (FIREABLE(t8_4) OR FIREABLE(t15_11) OR NOT FIREABLE(t3_26)))))) : A (G (((NOT FIREABLE(tb26) AND NOT FIREABLE(t14_2) AND (NOT FIREABLE(t15_18) OR NOT FIREABLE(t20_22))) OR A (F ((FIREABLE(t15_14) AND FIREABLE(tAb13))))))) : A (X ((A (G ((FIREABLE(t19_20) AND FIREABLE(t5_2)))) OR A (F ((FIREABLE(t20_22) AND FIREABLE(t4_26))))))) : (FIREABLE(t16_9) OR E (X (E ((FIREABLE(t10_8) U FIREABLE(t26_22)))))) : (((E (G ((FIREABLE(t3_2) AND FIREABLE(t10_8)))) AND FIREABLE(t19_20)) OR NOT(NOT(A (F (FIREABLE(t7_1)))))) OR A (G ((NOT FIREABLE(t8_7) OR NOT FIREABLE(t13_11) OR FIREABLE(t23_19))))) : ((FIREABLE(t14_10) OR (FIREABLE(t1_22) AND E (G (NOT FIREABLE(tAb14))))) OR (A (F (FIREABLE(t20_21))) OR (((NOT FIREABLE(t1_21) OR NOT FIREABLE(t2_21)) AND FIREABLE(t13_16)) AND NOT(E (X (FIREABLE(t27_26))))))) : (E (G (A (F ((FIREABLE(t17_14) OR FIREABLE(t13_18)))))) OR A (G (NOT FIREABLE(t20_22)))) : A (F (((A (G (FIREABLE(t27_26))) AND E (G (FIREABLE(t19_15)))) AND (FIREABLE(t1_3) OR (NOT FIREABLE(t21_25) AND NOT FIREABLE(t5_7)))))) : A (F ((E ((FIREABLE(t15_11) U FIREABLE(t26_22))) AND A (G (NOT FIREABLE(t20_17)))))) : E (G (((NOT FIREABLE(t11_16) OR NOT FIREABLE(t4_1) OR FIREABLE(t2_14)) AND E (F (FIREABLE(t6_7)))))) : E (F (A ((FIREABLE(t16_18) U (FIREABLE(t6_9) AND FIREABLE(t24_21)))))) : A (G (A (X (A (F (FIREABLE(t2_1))))))) : E (F (FIREABLE(t6_1))) : E (F (E (G (FIREABLE(t25_21)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F (FIREABLE(t1_16)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U FIREABLE(t1_16)))
lola: processed formula length: 29
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 955237 markings, 3368371 edges, 191047 markings/sec, 0 secs
lola: 1863526 markings, 6842331 edges, 181658 markings/sec, 5 secs
lola: 2756273 markings, 9985376 edges, 178549 markings/sec, 10 secs
lola: 3518287 markings, 13688738 edges, 152403 markings/sec, 15 secs
lola: 4183419 markings, 17275539 edges, 133026 markings/sec, 20 secs
lola: 4887823 markings, 21030707 edges, 140881 markings/sec, 25 secs
lola: 5548011 markings, 24550135 edges, 132038 markings/sec, 30 secs
lola: 6130003 markings, 28452004 edges, 116398 markings/sec, 35 secs
lola: 6829860 markings, 32054103 edges, 139971 markings/sec, 40 secs
lola: 7483526 markings, 35833629 edges, 130733 markings/sec, 45 secs
lola: 8088677 markings, 39325615 edges, 121030 markings/sec, 50 secs
lola: 8604830 markings, 43175320 edges, 103231 markings/sec, 55 secs
lola: 9159312 markings, 47042109 edges, 110896 markings/sec, 60 secs
lola: 9630051 markings, 50872127 edges, 94148 markings/sec, 65 secs
lola: 10365360 markings, 55085779 edges, 147062 markings/sec, 70 secs
lola: 11037185 markings, 58949194 edges, 134365 markings/sec, 75 secs
lola: 11615587 markings, 63085777 edges, 115680 markings/sec, 80 secs
lola: 12146513 markings, 67202451 edges, 106185 markings/sec, 85 secs
lola: 12759642 markings, 71115991 edges, 122626 markings/sec, 90 secs
lola: 13289812 markings, 75218322 edges, 106034 markings/sec, 95 secs
lola: 13768790 markings, 79278783 edges, 95796 markings/sec, 100 secs
lola: 14453434 markings, 83320151 edges, 136929 markings/sec, 105 secs
lola: 15276459 markings, 86817919 edges, 164605 markings/sec, 110 secs
lola: 16022442 markings, 90325863 edges, 149197 markings/sec, 115 secs
lola: 16776854 markings, 93704048 edges, 150882 markings/sec, 120 secs
lola: 17526395 markings, 97006194 edges, 149908 markings/sec, 125 secs
lola: 18229625 markings, 100196303 edges, 140646 markings/sec, 130 secs
lola: 18916459 markings, 103409079 edges, 137367 markings/sec, 135 secs
lola: 19697126 markings, 107656741 edges, 156133 markings/sec, 140 secs
lola: 20393462 markings, 111708858 edges, 139267 markings/sec, 145 secs
lola: 21066285 markings, 115561037 edges, 134565 markings/sec, 150 secs
lola: 21697401 markings, 119018647 edges, 126223 markings/sec, 155 secs
lola: 22342890 markings, 122811130 edges, 129098 markings/sec, 160 secs
lola: 22929902 markings, 126491640 edges, 117402 markings/sec, 165 secs
lola: 23501624 markings, 130052576 edges, 114344 markings/sec, 170 secs
lola: 24019090 markings, 133364404 edges, 103493 markings/sec, 175 secs
lola: 24591620 markings, 137325352 edges, 114506 markings/sec, 180 secs
lola: 25139651 markings, 141455970 edges, 109606 markings/sec, 185 secs
lola: 25629757 markings, 145048777 edges, 98021 markings/sec, 190 secs
lola: 26262918 markings, 148827720 edges, 126632 markings/sec, 195 secs
lola: 26849282 markings, 152449721 edges, 117273 markings/sec, 200 secs
lola: 27395620 markings, 155823560 edges, 109268 markings/sec, 205 secs
lola: 27930365 markings, 159306836 edges, 106949 markings/sec, 210 secs
lola: 28503145 markings, 163508524 edges, 114556 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2114816 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((A (G ((FIREABLE(t19_20) AND FIREABLE(t5_2)))) OR A (F ((FIREABLE(t20_22) AND FIREABLE(t4_26)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: AX((NOT(E(TRUE U (NOT FIREABLE(t19_20) OR NOT FIREABLE(t5_2)))) OR A(TRUE U (FIREABLE(t20_22) AND FIREABLE(t4_26)))))
lola: processed formula length: 118
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 12 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t16_9) OR E (X (E ((FIREABLE(t10_8) U FIREABLE(t26_22))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t16_9)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t16_9)
lola: processed formula length: 15
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E ((FIREABLE(t10_8) U FIREABLE(t26_22)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(E(FIREABLE(t10_8) U FIREABLE(t26_22)))
lola: processed formula length: 41
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 7076 markings, 9263 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t14_10) OR ((FIREABLE(t1_22) AND E (G (NOT FIREABLE(tAb14)))) OR (A (F (FIREABLE(t20_21))) OR (((NOT FIREABLE(t1_21) OR NOT FIREABLE(t2_21)) AND FIREABLE(t13_16)) AND A (X (NOT FIREABLE(t27_26)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t1_21) OR NOT FIREABLE(t2_21)) AND FIREABLE(t13_16))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((NOT FIREABLE(t1_21) OR NOT FIREABLE(t2_21)) AND FIREABLE(t13_16))
lola: processed formula length: 68
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t1_22)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t1_22)
lola: processed formula length: 15
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t14_10)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t14_10)
lola: processed formula length: 16
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t20_21)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t20_21)
lola: processed formula length: 20
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 9 markings, 9 edges
lola: ========================================
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(tAb14)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(tAb14)))
lola: processed formula length: 27
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (A (F (FIREABLE(t2_1)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(NOT(E(TRUE U NOT(A(TRUE U FIREABLE(t2_1))))))
lola: processed formula length: 48
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 12 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t6_1)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t6_1)))
lola: processed formula length: 22
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t6_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-CTLFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-CTLFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 374845 markings, 1179912 edges, 74969 markings/sec, 0 secs
lola: sara is running 5 secs || 778423 markings, 2428302 edges, 80716 markings/sec, 5 secs
lola: sara is running 10 secs || 1153451 markings, 3977224 edges, 75006 markings/sec, 10 secs
lola: sara is running 15 secs || 1542433 markings, 5638734 edges, 77796 markings/sec, 15 secs
lola: sara is running 20 secs || 1922565 markings, 7398685 edges, 76026 markings/sec, 20 secs
lola: sara is running 25 secs || 2277844 markings, 8863712 edges, 71056 markings/sec, 25 secs
lola: sara is running 30 secs || 2598417 markings, 10530824 edges, 64115 markings/sec, 30 secs
lola: sara is running 35 secs || 2900553 markings, 12305065 edges, 60427 markings/sec, 35 secs
lola: sara is running 40 secs || 3211905 markings, 13882404 edges, 62270 markings/sec, 40 secs
lola: sara is running 45 secs || 3506098 markings, 15642024 edges, 58839 markings/sec, 45 secs
lola: sara is running 50 secs || 3799903 markings, 17296510 edges, 58761 markings/sec, 50 secs
lola: sara is running 55 secs || 4084469 markings, 18898693 edges, 56913 markings/sec, 55 secs
lola: sara is running 60 secs || 4433571 markings, 20299917 edges, 69820 markings/sec, 60 secs
lola: sara is running 65 secs || 4736438 markings, 22000190 edges, 60573 markings/sec, 65 secs
lola: sara is running 70 secs || 5054713 markings, 23626643 edges, 63655 markings/sec, 70 secs
lola: sara is running 75 secs || 5351279 markings, 25178531 edges, 59313 markings/sec, 75 secs
lola: sara is running 80 secs || 5646629 markings, 26775134 edges, 59070 markings/sec, 80 secs
lola: sara is running 85 secs || 5924489 markings, 28428036 edges, 55572 markings/sec, 85 secs
lola: sara is running 90 secs || 6204116 markings, 30075041 edges, 55925 markings/sec, 90 secs
lola: sara is running 95 secs || 6485497 markings, 31730773 edges, 56276 markings/sec, 95 secs
lola: sara is running 100 secs || 6779983 markings, 33315034 edges, 58897 markings/sec, 100 secs
lola: sara is running 105 secs || 7078342 markings, 34729346 edges, 59672 markings/sec, 105 secs
lola: sara is running 110 secs || 7364046 markings, 36443458 edges, 57141 markings/sec, 110 secs
lola: sara is running 115 secs || 7657020 markings, 38223337 edges, 58595 markings/sec, 115 secs
lola: sara is running 120 secs || 7936773 markings, 39969393 edges, 55951 markings/sec, 120 secs
lola: sara is running 125 secs || 8229781 markings, 41732756 edges, 58602 markings/sec, 125 secs
lola: sara is running 130 secs || 8600860 markings, 43481095 edges, 74216 markings/sec, 130 secs
lola: sara is running 135 secs || 8939000 markings, 45287176 edges, 67628 markings/sec, 135 secs
lola: sara is running 140 secs || 9248327 markings, 47070369 edges, 61865 markings/sec, 140 secs
lola: sara is running 145 secs || 9540161 markings, 49025881 edges, 58367 markings/sec, 145 secs
lola: sara is running 150 secs || 9820607 markings, 50917535 edges, 56089 markings/sec, 150 secs
lola: sara is running 155 secs || 10120814 markings, 52724377 edges, 60041 markings/sec, 155 secs
lola: sara is running 160 secs || 10418953 markings, 54720256 edges, 59628 markings/sec, 160 secs
lola: sara is running 165 secs || 10771271 markings, 56218112 edges, 70464 markings/sec, 165 secs
lola: sara is running 170 secs || 11111692 markings, 57696037 edges, 68084 markings/sec, 170 secs
lola: sara is running 175 secs || 11436483 markings, 59164272 edges, 64958 markings/sec, 175 secs
lola: sara is running 180 secs || 11796679 markings, 60712774 edges, 72039 markings/sec, 180 secs
lola: sara is running 185 secs || 12154651 markings, 62391327 edges, 71594 markings/sec, 185 secs
lola: sara is running 190 secs || 12502486 markings, 63826434 edges, 69567 markings/sec, 190 secs
lola: sara is running 195 secs || 12845375 markings, 65279686 edges, 68578 markings/sec, 195 secs
lola: sara is running 200 secs || 13192909 markings, 66731648 edges, 69507 markings/sec, 200 secs
lola: sara is running 205 secs || 13514600 markings, 68368221 edges, 64338 markings/sec, 205 secs
lola: sara is running 210 secs || 13827278 markings, 70052913 edges, 62536 markings/sec, 210 secs
lola: sara is running 215 secs || 14151212 markings, 71820475 edges, 64787 markings/sec, 215 secs
lola: sara is running 220 secs || 14457675 markings, 73738672 edges, 61293 markings/sec, 220 secs
lola: sara is running 225 secs || 14776756 markings, 75518890 edges, 63816 markings/sec, 225 secs
lola: sara is running 230 secs || 15109214 markings, 77346453 edges, 66492 markings/sec, 230 secs
lola: sara is running 235 secs || 15440362 markings, 79102158 edges, 66230 markings/sec, 235 secs
lola: sara is running 240 secs || 15768043 markings, 80839248 edges, 65536 markings/sec, 240 secs
lola: sara is running 245 secs || 16076964 markings, 82784594 edges, 61784 markings/sec, 245 secs
lola: sara is running 250 secs || 16388544 markings, 84687222 edges, 62316 markings/sec, 250 secs
lola: sara is running 255 secs || 16741788 markings, 86484362 edges, 70649 markings/sec, 255 secs
lola: sara is running 260 secs || 17084420 markings, 88211767 edges, 68526 markings/sec, 260 secs
lola: sara is running 265 secs || 17419733 markings, 89917667 edges, 67063 markings/sec, 265 secs
lola: sara is running 270 secs || 17736995 markings, 91871772 edges, 63452 markings/sec, 270 secs
lola: sara is running 275 secs || 18060124 markings, 93875216 edges, 64626 markings/sec, 275 secs
lola: sara is running 280 secs || 18358610 markings, 95870925 edges, 59697 markings/sec, 280 secs
lola: sara is running 285 secs || 18695457 markings, 97547903 edges, 67369 markings/sec, 285 secs
lola: sara is running 290 secs || 19033458 markings, 99226217 edges, 67600 markings/sec, 290 secs
lola: sara is running 295 secs || 19358013 markings, 101063270 edges, 64911 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no no unknown no unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 681212 KB
lola: time consumption: 527 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(t25_21)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(t25_21)
lola: processed formula length: 16
lola: 14 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 376166 markings, 967584 edges, 75233 markings/sec, 0 secs
lola: 682611 markings, 1996845 edges, 61289 markings/sec, 5 secs
lola: 1006848 markings, 3042320 edges, 64847 markings/sec, 10 secs
lola: 1297774 markings, 4092196 edges, 58185 markings/sec, 15 secs
lola: 1594010 markings, 5213573 edges, 59247 markings/sec, 20 secs
lola: 1927546 markings, 6349901 edges, 66707 markings/sec, 25 secs
lola: 2224634 markings, 7497871 edges, 59418 markings/sec, 30 secs
lola: 2522124 markings, 8557054 edges, 59498 markings/sec, 35 secs
lola: 2807531 markings, 9569621 edges, 57081 markings/sec, 40 secs
lola: 3072763 markings, 10762705 edges, 53046 markings/sec, 45 secs
lola: 3342123 markings, 11967004 edges, 53872 markings/sec, 50 secs
lola: 3606271 markings, 13172490 edges, 52830 markings/sec, 55 secs
lola: 3863788 markings, 14326702 edges, 51503 markings/sec, 60 secs
lola: 4118544 markings, 15440211 edges, 50951 markings/sec, 65 secs
lola: 4367967 markings, 16544951 edges, 49885 markings/sec, 70 secs
lola: 4630072 markings, 17683409 edges, 52421 markings/sec, 75 secs
lola: 4890995 markings, 18803294 edges, 52185 markings/sec, 80 secs
lola: 5148146 markings, 19934480 edges, 51430 markings/sec, 85 secs
lola: 5416975 markings, 21076342 edges, 53766 markings/sec, 90 secs
lola: 5701263 markings, 22114575 edges, 56858 markings/sec, 95 secs
lola: 5975980 markings, 23234355 edges, 54943 markings/sec, 100 secs
lola: 6235047 markings, 24338211 edges, 51813 markings/sec, 105 secs
lola: 6481825 markings, 25684785 edges, 49356 markings/sec, 110 secs
lola: 6729398 markings, 27089229 edges, 49515 markings/sec, 115 secs
lola: 6972644 markings, 28481322 edges, 48649 markings/sec, 120 secs
lola: 7220543 markings, 29878890 edges, 49580 markings/sec, 125 secs
lola: 7476924 markings, 31214508 edges, 51276 markings/sec, 130 secs
lola: 7759016 markings, 32553812 edges, 56418 markings/sec, 135 secs
lola: 8063879 markings, 33964540 edges, 60973 markings/sec, 140 secs
lola: 8356647 markings, 35352747 edges, 58554 markings/sec, 145 secs
lola: 8628975 markings, 36761719 edges, 54466 markings/sec, 150 secs
lola: 8896668 markings, 38191636 edges, 53539 markings/sec, 155 secs
lola: 9166628 markings, 39643398 edges, 53992 markings/sec, 160 secs
lola: 9440620 markings, 41066331 edges, 54798 markings/sec, 165 secs
lola: 9707134 markings, 42506445 edges, 53303 markings/sec, 170 secs
lola: 9986775 markings, 43899166 edges, 55928 markings/sec, 175 secs
lola: 10288198 markings, 45321741 edges, 60285 markings/sec, 180 secs
lola: 10565151 markings, 46741471 edges, 55391 markings/sec, 185 secs
lola: 10860093 markings, 48150496 edges, 58988 markings/sec, 190 secs
lola: 11116849 markings, 49592941 edges, 51351 markings/sec, 195 secs
lola: 11381912 markings, 50948229 edges, 53013 markings/sec, 200 secs
lola: 11628070 markings, 52346708 edges, 49232 markings/sec, 205 secs
lola: 11858013 markings, 53689968 edges, 45989 markings/sec, 210 secs
lola: 12082240 markings, 55036986 edges, 44845 markings/sec, 215 secs
lola: 12315986 markings, 56432983 edges, 46749 markings/sec, 220 secs
lola: 12553980 markings, 57846174 edges, 47599 markings/sec, 225 secs
lola: 12807524 markings, 59225556 edges, 50709 markings/sec, 230 secs
lola: 13057088 markings, 60602163 edges, 49913 markings/sec, 235 secs
lola: 13289872 markings, 62201411 edges, 46557 markings/sec, 240 secs
lola: 13519856 markings, 63824601 edges, 45997 markings/sec, 245 secs
lola: 13765545 markings, 65419451 edges, 49138 markings/sec, 250 secs
lola: 14041220 markings, 67040598 edges, 55135 markings/sec, 255 secs
lola: 14269908 markings, 68576140 edges, 45738 markings/sec, 260 secs
lola: 14521364 markings, 70287045 edges, 50291 markings/sec, 265 secs
lola: 14775561 markings, 71966988 edges, 50839 markings/sec, 270 secs
lola: 15072500 markings, 73477403 edges, 59388 markings/sec, 275 secs
lola: 15350253 markings, 74848019 edges, 55551 markings/sec, 280 secs
lola: 15659513 markings, 76236056 edges, 61852 markings/sec, 285 secs
lola: 15924796 markings, 77590052 edges, 53057 markings/sec, 290 secs
lola: 16182879 markings, 78993402 edges, 51617 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no no unknown no unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 693232 KB
lola: time consumption: 831 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((FIREABLE(t16_18) U (FIREABLE(t6_9) AND FIREABLE(t24_21))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U A(FIREABLE(t16_18) U (FIREABLE(t6_9) AND FIREABLE(t24_21))))
lola: processed formula length: 69
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 863062 markings, 3866142 edges, 172612 markings/sec, 0 secs
lola: 1671534 markings, 7826072 edges, 161694 markings/sec, 5 secs
lola: 2474905 markings, 11523181 edges, 160674 markings/sec, 10 secs
lola: 3227883 markings, 15403097 edges, 150596 markings/sec, 15 secs
lola: 3855680 markings, 19464907 edges, 125559 markings/sec, 20 secs
lola: 4460293 markings, 23289593 edges, 120923 markings/sec, 25 secs
lola: 5102265 markings, 27384523 edges, 128394 markings/sec, 30 secs
lola: 5692478 markings, 31128575 edges, 118043 markings/sec, 35 secs
lola: 6201651 markings, 35276712 edges, 101835 markings/sec, 40 secs
lola: 6859595 markings, 39215655 edges, 131589 markings/sec, 45 secs
lola: 7452253 markings, 43252293 edges, 118532 markings/sec, 50 secs
lola: 8001723 markings, 46877847 edges, 109894 markings/sec, 55 secs
lola: 8498364 markings, 51046580 edges, 99328 markings/sec, 60 secs
lola: 9003578 markings, 55074120 edges, 101043 markings/sec, 65 secs
lola: 9456272 markings, 58893952 edges, 90539 markings/sec, 70 secs
lola: 9997470 markings, 63211468 edges, 108240 markings/sec, 75 secs
lola: 10651056 markings, 67431566 edges, 130717 markings/sec, 80 secs
lola: 11221089 markings, 71708469 edges, 114007 markings/sec, 85 secs
lola: 11741873 markings, 75948357 edges, 104157 markings/sec, 90 secs
lola: 12213288 markings, 80088259 edges, 94283 markings/sec, 95 secs
lola: 12772917 markings, 84225262 edges, 111926 markings/sec, 100 secs
lola: 13255159 markings, 88400446 edges, 96448 markings/sec, 105 secs
lola: 13701555 markings, 92618422 edges, 89279 markings/sec, 110 secs
lola: 14248337 markings, 96885577 edges, 109356 markings/sec, 115 secs
lola: 14991417 markings, 100821607 edges, 148616 markings/sec, 120 secs
lola: 15665809 markings, 104644153 edges, 134878 markings/sec, 125 secs
lola: 16341486 markings, 108380866 edges, 135135 markings/sec, 130 secs
lola: 17006149 markings, 112070048 edges, 132933 markings/sec, 135 secs
lola: 17669877 markings, 115655447 edges, 132746 markings/sec, 140 secs
lola: 18294566 markings, 119137292 edges, 124938 markings/sec, 145 secs
lola: 18910105 markings, 122651675 edges, 123108 markings/sec, 150 secs
lola: 19608338 markings, 127200952 edges, 139647 markings/sec, 155 secs
lola: 20222407 markings, 131373031 edges, 122814 markings/sec, 160 secs
lola: 20834365 markings, 135505010 edges, 122392 markings/sec, 165 secs
lola: 21408339 markings, 139242702 edges, 114795 markings/sec, 170 secs
lola: 21975388 markings, 142928983 edges, 113410 markings/sec, 175 secs
lola: 22546612 markings, 147015619 edges, 114245 markings/sec, 180 secs
lola: 23079369 markings, 150957411 edges, 106551 markings/sec, 185 secs
lola: 23593703 markings, 154684800 edges, 102867 markings/sec, 190 secs
lola: 24068931 markings, 158222967 edges, 95046 markings/sec, 195 secs
lola: 24594446 markings, 162407508 edges, 105103 markings/sec, 200 secs
lola: 25093794 markings, 166682170 edges, 99870 markings/sec, 205 secs
lola: 25546922 markings, 170471986 edges, 90626 markings/sec, 210 secs
lola: 26110834 markings, 174481953 edges, 112782 markings/sec, 215 secs
lola: 26660145 markings, 178454037 edges, 109862 markings/sec, 220 secs
lola: 27187966 markings, 182223982 edges, 105564 markings/sec, 225 secs
lola: 27665507 markings, 185747524 edges, 95508 markings/sec, 230 secs
lola: 28189720 markings, 189877889 edges, 104843 markings/sec, 235 secs
lola: 28693036 markings, 194174375 edges, 100663 markings/sec, 240 secs
lola: 29141630 markings, 197895048 edges, 89719 markings/sec, 245 secs
lola: 29620974 markings, 202073714 edges, 95869 markings/sec, 250 secs
lola: 30028130 markings, 205730901 edges, 81431 markings/sec, 255 secs
lola: 30457470 markings, 209892256 edges, 85868 markings/sec, 260 secs
lola: 30873571 markings, 213795062 edges, 83220 markings/sec, 265 secs
lola: 31442192 markings, 217463238 edges, 113724 markings/sec, 270 secs
lola: 31985544 markings, 221682045 edges, 108670 markings/sec, 275 secs
lola: 32500002 markings, 225502106 edges, 102892 markings/sec, 280 secs
lola: 32965143 markings, 228978686 edges, 93028 markings/sec, 285 secs
lola: 33419402 markings, 232445358 edges, 90852 markings/sec, 290 secs
lola: 33935759 markings, 236256193 edges, 103271 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no no unknown no unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 2517356 KB
lola: time consumption: 1135 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(t11_16) OR NOT FIREABLE(t4_1) OR FIREABLE(t2_14)) AND E (F (FIREABLE(t6_7))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U ((FIREABLE(t11_16) AND FIREABLE(t4_1) AND NOT FIREABLE(t2_14)) OR NOT(E(TRUE U FIREABLE(t6_7))))))
lola: processed formula length: 111
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 811206 markings, 3170037 edges, 162241 markings/sec, 0 secs
lola: 1568424 markings, 6497928 edges, 151444 markings/sec, 5 secs
lola: 2284496 markings, 9533583 edges, 143214 markings/sec, 10 secs
lola: 2934512 markings, 12265500 edges, 130003 markings/sec, 15 secs
lola: 3629860 markings, 16218510 edges, 139070 markings/sec, 20 secs
lola: 4220010 markings, 19730124 edges, 118030 markings/sec, 25 secs
lola: 4891048 markings, 23589607 edges, 134208 markings/sec, 30 secs
lola: 5493423 markings, 27122929 edges, 120475 markings/sec, 35 secs
lola: 6027035 markings, 30830937 edges, 106722 markings/sec, 40 secs
lola: 6531717 markings, 33950033 edges, 100936 markings/sec, 45 secs
lola: 7158229 markings, 37771037 edges, 125302 markings/sec, 50 secs
lola: 7653554 markings, 40792160 edges, 99065 markings/sec, 55 secs
lola: 8160067 markings, 44170133 edges, 101303 markings/sec, 60 secs
lola: 8612994 markings, 47802747 edges, 90585 markings/sec, 65 secs
lola: 9118375 markings, 51575838 edges, 101076 markings/sec, 70 secs
lola: 9548311 markings, 55206834 edges, 85987 markings/sec, 75 secs
lola: 10091679 markings, 58971517 edges, 108674 markings/sec, 80 secs
lola: 10676466 markings, 62427635 edges, 116957 markings/sec, 85 secs
lola: 11204363 markings, 66162238 edges, 105579 markings/sec, 90 secs
lola: 11691465 markings, 69906484 edges, 97420 markings/sec, 95 secs
lola: 12124968 markings, 73524820 edges, 86701 markings/sec, 100 secs
lola: 12583354 markings, 76755264 edges, 91677 markings/sec, 105 secs
lola: 13033415 markings, 80317406 edges, 90012 markings/sec, 110 secs
lola: 13431254 markings, 83921042 edges, 79568 markings/sec, 115 secs
lola: 13819733 markings, 87520335 edges, 77696 markings/sec, 120 secs
lola: 14409982 markings, 91201925 edges, 118050 markings/sec, 125 secs
lola: 15048143 markings, 94331277 edges, 127632 markings/sec, 130 secs
lola: 15694805 markings, 97687032 edges, 129332 markings/sec, 135 secs
lola: 16292765 markings, 100808126 edges, 119592 markings/sec, 140 secs
lola: 16905373 markings, 104009751 edges, 122522 markings/sec, 145 secs
lola: 17496257 markings, 106973857 edges, 118177 markings/sec, 150 secs
lola: 18026983 markings, 109774130 edges, 106145 markings/sec, 155 secs
lola: 18553274 markings, 112609142 edges, 105258 markings/sec, 160 secs
lola: 19146694 markings, 115916831 edges, 118684 markings/sec, 165 secs
lola: 19773285 markings, 119652071 edges, 125318 markings/sec, 170 secs
lola: 20389178 markings, 123621532 edges, 123179 markings/sec, 175 secs
lola: 20977332 markings, 127323643 edges, 117631 markings/sec, 180 secs
lola: 21481507 markings, 130409300 edges, 100835 markings/sec, 185 secs
lola: 21985736 markings, 133514688 edges, 100846 markings/sec, 190 secs
lola: 22584651 markings, 137457927 edges, 119783 markings/sec, 195 secs
lola: 23135529 markings, 141279661 edges, 110176 markings/sec, 200 secs
lola: 23638213 markings, 144736643 edges, 100537 markings/sec, 205 secs
lola: 24089445 markings, 147941972 edges, 90246 markings/sec, 210 secs
lola: 24601754 markings, 151787185 edges, 102462 markings/sec, 215 secs
lola: 25088604 markings, 155721513 edges, 97370 markings/sec, 220 secs
lola: 25506894 markings, 159040847 edges, 83658 markings/sec, 225 secs
lola: 26062781 markings, 162801841 edges, 111177 markings/sec, 230 secs
lola: 26608780 markings, 166476857 edges, 109200 markings/sec, 235 secs
lola: 27142599 markings, 170029560 edges, 106764 markings/sec, 240 secs
lola: 27594458 markings, 173185696 edges, 90372 markings/sec, 245 secs
lola: 28103463 markings, 176942693 edges, 101801 markings/sec, 250 secs
lola: 28590258 markings, 180755496 edges, 97359 markings/sec, 255 secs
lola: 29008580 markings, 184096846 edges, 83664 markings/sec, 260 secs
lola: 29470713 markings, 187797645 edges, 92427 markings/sec, 265 secs
lola: 29920812 markings, 191642638 edges, 90020 markings/sec, 270 secs
lola: 30331670 markings, 195318413 edges, 82172 markings/sec, 275 secs
lola: 30719619 markings, 199080958 edges, 77590 markings/sec, 280 secs
lola: 31154481 markings, 201921437 edges, 86972 markings/sec, 285 secs
lola: 31706464 markings, 205549692 edges, 110397 markings/sec, 290 secs
lola: 32219916 markings, 209329879 edges, 102690 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no no unknown no unknown unknown unknown unknown unknown no unknown unknown
lola: memory consumption: 2407176 KB
lola: time consumption: 1439 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(tb26) AND NOT FIREABLE(t14_2) AND (NOT FIREABLE(t15_18) OR NOT FIREABLE(t20_22))) OR A (F ((FIREABLE(t15_14) AND FIREABLE(tAb13)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U ((FIREABLE(tb26) OR FIREABLE(t14_2) OR (FIREABLE(t15_18) AND FIREABLE(t20_22))) AND NOT(A(TRUE U (FIREABLE(t15_14) AND FIREABLE(tAb13)))))))
lola: processed formula length: 155
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 14 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A ((FIREABLE(t2_3) U FIREABLE(t12_8))) OR (FIREABLE(t6_8) AND FIREABLE(t17_20) AND FIREABLE(tb3) AND (FIREABLE(t8_4) OR FIREABLE(t15_11) OR NOT FIREABLE(t3_26))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (A(FIREABLE(t2_3) U FIREABLE(t12_8)) OR (FIREABLE(t6_8) AND FIREABLE(t17_20) AND FIREABLE(tb3) AND (FIREABLE(t8_4) OR FIREABLE(t15_11) OR NOT FIREABLE(t3_26)))))
lola: processed formula length: 172
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 26 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E ((FIREABLE(t15_11) U FIREABLE(t26_22))) AND A (G (NOT FIREABLE(t20_17))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (E(FIREABLE(t15_11) U FIREABLE(t26_22)) AND NOT(E(TRUE U FIREABLE(t20_17)))))
lola: processed formula length: 86
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 27 markings, 48 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (G (FIREABLE(t27_26))) AND (E (G (FIREABLE(t19_15))) AND (FIREABLE(t1_3) OR (NOT FIREABLE(t21_25) AND NOT FIREABLE(t5_7)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (NOT(E(TRUE U NOT FIREABLE(t27_26))) AND (NOT(A(TRUE U NOT FIREABLE(t19_15))) AND (FIREABLE(t1_3) OR (NOT FIREABLE(t21_25) AND NOT FIREABLE(t5_7))))))
lola: processed formula length: 160
lola: 18 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 27 edges
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(t11_13) OR NOT FIREABLE(t15_13) OR (FIREABLE(t8_1) AND (FIREABLE(t18_19) OR FIREABLE(t26_27)))))) OR FIREABLE(t27_4))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t27_4)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t27_4)
lola: processed formula length: 15
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1065 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t11_13) OR NOT FIREABLE(t15_13) OR (FIREABLE(t8_1) AND (FIREABLE(t18_19) OR FIREABLE(t26_27))))))
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 ((NOT FIREABLE(t11_13) OR NOT FIREABLE(t15_13) OR (FIREABLE(t8_1) AND (FIREABLE(t18_19) OR FIREABLE(t26_27))))))
lola: processed formula length: 120
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t11_13) AND FIREABLE(t15_13) AND (NOT FIREABLE(t8_1) OR (NOT FIREABLE(t18_19) AND NOT FIREABLE(t26_27))))
lola: state equation: Generated DNF with 34 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-CTLFireability-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 372055 markings, 1160503 edges, 74411 markings/sec, 0 secs
lola: sara is running 5 secs || 739038 markings, 2530142 edges, 73397 markings/sec, 5 secs
lola: sara is running 10 secs || 1125953 markings, 3964479 edges, 77383 markings/sec, 10 secs
lola: sara is running 15 secs || 1489864 markings, 5282852 edges, 72782 markings/sec, 15 secs
lola: sara is running 20 secs || 1806813 markings, 6749312 edges, 63390 markings/sec, 20 secs
lola: sara is running 25 secs || 2120422 markings, 8127922 edges, 62722 markings/sec, 25 secs
lola: sara is running 30 secs || 2438902 markings, 9490109 edges, 63696 markings/sec, 30 secs
lola: sara is running 35 secs || 2759423 markings, 10896343 edges, 64104 markings/sec, 35 secs
lola: sara is running 40 secs || 3098434 markings, 12411454 edges, 67802 markings/sec, 40 secs
lola: sara is running 45 secs || 3435021 markings, 14002545 edges, 67317 markings/sec, 45 secs
lola: sara is running 50 secs || 3793449 markings, 15486279 edges, 71686 markings/sec, 50 secs
lola: sara is running 55 secs || 4136741 markings, 17085185 edges, 68658 markings/sec, 55 secs
lola: sara is running 60 secs || 4489659 markings, 18560247 edges, 70584 markings/sec, 60 secs
lola: sara is running 65 secs || 4850336 markings, 20008055 edges, 72135 markings/sec, 65 secs
lola: sara is running 70 secs || 5190124 markings, 21642864 edges, 67958 markings/sec, 70 secs
lola: sara is running 75 secs || 5531749 markings, 23179230 edges, 68325 markings/sec, 75 secs
lola: sara is running 80 secs || 5869074 markings, 24653561 edges, 67465 markings/sec, 80 secs
lola: sara is running 85 secs || 6196605 markings, 26140190 edges, 65506 markings/sec, 85 secs
lola: sara is running 90 secs || 6529716 markings, 27480308 edges, 66622 markings/sec, 90 secs
lola: sara is running 95 secs || 6842033 markings, 29016427 edges, 62463 markings/sec, 95 secs
lola: sara is running 100 secs || 7163857 markings, 30527472 edges, 64365 markings/sec, 100 secs
lola: sara is running 105 secs || 7494672 markings, 31962910 edges, 66163 markings/sec, 105 secs
lola: sara is running 110 secs || 7811365 markings, 33544821 edges, 63339 markings/sec, 110 secs
lola: sara is running 115 secs || 8147284 markings, 34923904 edges, 67184 markings/sec, 115 secs
lola: sara is running 120 secs || 8457041 markings, 36387661 edges, 61951 markings/sec, 120 secs
lola: sara is running 125 secs || 8791860 markings, 37845631 edges, 66964 markings/sec, 125 secs
lola: sara is running 130 secs || 9120463 markings, 39316417 edges, 65721 markings/sec, 130 secs
lola: sara is running 135 secs || 9442704 markings, 40602013 edges, 64448 markings/sec, 135 secs
lola: sara is running 140 secs || 9770022 markings, 41744084 edges, 65464 markings/sec, 140 secs
lola: sara is running 145 secs || 10070573 markings, 43199080 edges, 60110 markings/sec, 145 secs
lola: sara is running 150 secs || 10366772 markings, 44758314 edges, 59240 markings/sec, 150 secs
lola: sara is running 155 secs || 10651700 markings, 46523939 edges, 56986 markings/sec, 155 secs
lola: sara is running 160 secs || 10946119 markings, 48358275 edges, 58884 markings/sec, 160 secs
lola: sara is running 165 secs || 11241300 markings, 50130870 edges, 59036 markings/sec, 165 secs
lola: sara is running 170 secs || 11522653 markings, 52025674 edges, 56271 markings/sec, 170 secs
lola: sara is running 175 secs || 11816722 markings, 53834497 edges, 58814 markings/sec, 175 secs
lola: sara is running 180 secs || 12109202 markings, 55648299 edges, 58496 markings/sec, 180 secs
lola: sara is running 185 secs || 12395785 markings, 57493664 edges, 57317 markings/sec, 185 secs
lola: sara is running 190 secs || 12692290 markings, 59291942 edges, 59301 markings/sec, 190 secs
lola: sara is running 195 secs || 12981107 markings, 60911835 edges, 57763 markings/sec, 195 secs
lola: sara is running 200 secs || 13252704 markings, 62683623 edges, 54319 markings/sec, 200 secs
lola: sara is running 205 secs || 13522760 markings, 64618758 edges, 54011 markings/sec, 205 secs
lola: sara is running 210 secs || 13847248 markings, 66257962 edges, 64898 markings/sec, 210 secs
lola: sara is running 215 secs || 14188903 markings, 67866390 edges, 68331 markings/sec, 215 secs
lola: sara is running 220 secs || 14524750 markings, 69538886 edges, 67169 markings/sec, 220 secs
lola: sara is running 225 secs || 14854442 markings, 71151784 edges, 65938 markings/sec, 225 secs
lola: sara is running 230 secs || 15184043 markings, 72662134 edges, 65920 markings/sec, 230 secs
lola: sara is running 235 secs || 15506038 markings, 74168755 edges, 64399 markings/sec, 235 secs
lola: sara is running 240 secs || 15809256 markings, 75908258 edges, 60644 markings/sec, 240 secs
lola: sara is running 245 secs || 16105641 markings, 77750800 edges, 59277 markings/sec, 245 secs
lola: sara is running 250 secs || 16386133 markings, 79548931 edges, 56098 markings/sec, 250 secs
lola: sara is running 255 secs || 16694721 markings, 81555880 edges, 61718 markings/sec, 255 secs
lola: sara is running 260 secs || 16987986 markings, 83535073 edges, 58653 markings/sec, 260 secs
lola: sara is running 265 secs || 17271345 markings, 85431354 edges, 56672 markings/sec, 265 secs
lola: sara is running 270 secs || 17565986 markings, 87477020 edges, 58928 markings/sec, 270 secs
lola: sara is running 275 secs || 17891519 markings, 89195668 edges, 65107 markings/sec, 275 secs
lola: sara is running 280 secs || 18217993 markings, 90899000 edges, 65295 markings/sec, 280 secs
lola: sara is running 285 secs || 18507197 markings, 92620652 edges, 57841 markings/sec, 285 secs
lola: sara is running 290 secs || 18810510 markings, 94414116 edges, 60663 markings/sec, 290 secs
lola: sara is running 295 secs || 19126738 markings, 96199477 edges, 63246 markings/sec, 295 secs
lola: sara is running 300 secs || 19436591 markings, 98048051 edges, 61971 markings/sec, 300 secs
lola: sara is running 305 secs || 19755986 markings, 99878117 edges, 63879 markings/sec, 305 secs
lola: sara is running 310 secs || 20057952 markings, 101575242 edges, 60393 markings/sec, 310 secs
lola: sara is running 315 secs || 20364456 markings, 103347171 edges, 61301 markings/sec, 315 secs
lola: sara is running 320 secs || 20663273 markings, 105119354 edges, 59763 markings/sec, 320 secs
lola: sara is running 325 secs || 20963393 markings, 106889499 edges, 60024 markings/sec, 325 secs
lola: sara is running 330 secs || 21256338 markings, 108648213 edges, 58589 markings/sec, 330 secs
lola: sara is running 335 secs || 21561112 markings, 110270752 edges, 60955 markings/sec, 335 secs
lola: sara is running 340 secs || 21840999 markings, 112056379 edges, 55977 markings/sec, 340 secs
lola: sara is running 345 secs || 22116852 markings, 113814208 edges, 55171 markings/sec, 345 secs
lola: sara is running 350 secs || 22383843 markings, 115826503 edges, 53398 markings/sec, 350 secs
lola: sara is running 355 secs || 22649164 markings, 117855597 edges, 53064 markings/sec, 355 secs
lola: sara is running 360 secs || 22915781 markings, 119924605 edges, 53323 markings/sec, 360 secs
lola: sara is running 365 secs || 23187205 markings, 121889460 edges, 54285 markings/sec, 365 secs
lola: sara is running 370 secs || 23443189 markings, 123920925 edges, 51197 markings/sec, 370 secs
lola: sara is running 375 secs || 23735932 markings, 125746431 edges, 58549 markings/sec, 375 secs
lola: sara is running 380 secs || 24045634 markings, 127652835 edges, 61940 markings/sec, 380 secs
lola: sara is running 385 secs || 24342702 markings, 129464064 edges, 59414 markings/sec, 385 secs
lola: sara is running 390 secs || 24628254 markings, 131445268 edges, 57110 markings/sec, 390 secs
lola: sara is running 395 secs || 24891357 markings, 133386969 edges, 52621 markings/sec, 395 secs
lola: sara is running 400 secs || 25163563 markings, 135609905 edges, 54441 markings/sec, 400 secs
lola: sara is running 405 secs || 25421405 markings, 137810309 edges, 51568 markings/sec, 405 secs
lola: sara is running 410 secs || 25781202 markings, 139186142 edges, 71959 markings/sec, 410 secs
lola: sara is running 415 secs || 26154593 markings, 140613178 edges, 74678 markings/sec, 415 secs
lola: sara is running 420 secs || 26471278 markings, 142013528 edges, 63337 markings/sec, 420 secs
lola: sara is running 425 secs || 26776635 markings, 143446955 edges, 61071 markings/sec, 425 secs
lola: sara is running 430 secs || 27088547 markings, 144882515 edges, 62382 markings/sec, 430 secs
lola: sara is running 435 secs || 27429145 markings, 146459560 edges, 68120 markings/sec, 435 secs
lola: sara is running 440 secs || 27782048 markings, 147975204 edges, 70581 markings/sec, 440 secs
lola: sara is running 445 secs || 28126705 markings, 149592580 edges, 68931 markings/sec, 445 secs
lola: sara is running 450 secs || 28479450 markings, 151142033 edges, 70549 markings/sec, 450 secs
lola: sara is running 455 secs || 28808794 markings, 152625932 edges, 65869 markings/sec, 455 secs
lola: sara is running 460 secs || 29136062 markings, 154101323 edges, 65454 markings/sec, 460 secs
lola: sara is running 465 secs || 29454265 markings, 155475784 edges, 63641 markings/sec, 465 secs
lola: sara is running 470 secs || 29772619 markings, 157041960 edges, 63671 markings/sec, 470 secs
lola: sara is running 475 secs || 30093055 markings, 158521487 edges, 64087 markings/sec, 475 secs
lola: sara is running 480 secs || 30419001 markings, 159988142 edges, 65189 markings/sec, 480 secs
lola: sara is running 485 secs || 30733869 markings, 161594918 edges, 62974 markings/sec, 485 secs
lola: sara is running 490 secs || 31042088 markings, 163115237 edges, 61644 markings/sec, 490 secs
lola: sara is running 495 secs || 31335581 markings, 164963759 edges, 58699 markings/sec, 495 secs
lola: sara is running 500 secs || 31617479 markings, 166755453 edges, 56380 markings/sec, 500 secs
lola: sara is running 505 secs || 31902529 markings, 168584874 edges, 57010 markings/sec, 505 secs
lola: sara is running 510 secs || 32188058 markings, 170466825 edges, 57106 markings/sec, 510 secs
lola: sara is running 515 secs || 32481589 markings, 172208358 edges, 58706 markings/sec, 515 secs
lola: sara is running 520 secs || 32812134 markings, 173863506 edges, 66109 markings/sec, 520 secs
lola: sara is running 525 secs || 33145615 markings, 175442999 edges, 66696 markings/sec, 525 secs
lola: sara is running 530 secs || 33460431 markings, 176963598 edges, 62963 markings/sec, 530 secs
lola: sara is running 535 secs || 33759792 markings, 178791026 edges, 59872 markings/sec, 535 secs
lola: sara is running 540 secs || 34050294 markings, 180740096 edges, 58100 markings/sec, 540 secs
lola: sara is running 545 secs || 34340301 markings, 182693378 edges, 58001 markings/sec, 545 secs
lola: sara is running 550 secs || 34647296 markings, 184605137 edges, 61399 markings/sec, 550 secs
lola: sara is running 555 secs || 34955691 markings, 186352700 edges, 61679 markings/sec, 555 secs
lola: sara is running 560 secs || 35252068 markings, 188168692 edges, 59275 markings/sec, 560 secs
lola: sara is running 565 secs || 35568021 markings, 189982822 edges, 63191 markings/sec, 565 secs
lola: sara is running 570 secs || 35874538 markings, 191785097 edges, 61303 markings/sec, 570 secs
lola: sara is running 575 secs || 36176362 markings, 193527411 edges, 60365 markings/sec, 575 secs
lola: sara is running 580 secs || 36469353 markings, 195351539 edges, 58598 markings/sec, 580 secs
lola: sara is running 585 secs || 36768609 markings, 197155597 edges, 59851 markings/sec, 585 secs
lola: sara is running 590 secs || 37040137 markings, 199110395 edges, 54306 markings/sec, 590 secs
lola: sara is running 595 secs || 37302778 markings, 201166686 edges, 52528 markings/sec, 595 secs
lola: sara is running 600 secs || 37573651 markings, 203157120 edges, 54175 markings/sec, 600 secs
lola: sara is running 605 secs || 37883254 markings, 205055620 edges, 61921 markings/sec, 605 secs
lola: sara is running 610 secs || 38166976 markings, 206988265 edges, 56744 markings/sec, 610 secs
lola: sara is running 615 secs || 38433973 markings, 209126993 edges, 53399 markings/sec, 615 secs
lola: sara is running 620 secs || 38769309 markings, 210855928 edges, 67067 markings/sec, 620 secs
lola: sara is running 625 secs || 39087845 markings, 212302155 edges, 63707 markings/sec, 625 secs
lola: sara is running 630 secs || 39459984 markings, 213777770 edges, 74428 markings/sec, 630 secs
lola: sara is running 635 secs || 39802851 markings, 215265024 edges, 68573 markings/sec, 635 secs
lola: sara is running 640 secs || 40107352 markings, 216734023 edges, 60900 markings/sec, 640 secs
lola: sara is running 645 secs || 40414850 markings, 218179017 edges, 61500 markings/sec, 645 secs
lola: sara is running 650 secs || 40762583 markings, 219581097 edges, 69547 markings/sec, 650 secs
lola: sara is running 655 secs || 41101649 markings, 220992809 edges, 67813 markings/sec, 655 secs
lola: sara is running 660 secs || 41411662 markings, 222544130 edges, 62003 markings/sec, 660 secs
lola: sara is running 665 secs || 41682682 markings, 224367775 edges, 54204 markings/sec, 665 secs
lola: sara is running 670 secs || 41990033 markings, 226124537 edges, 61470 markings/sec, 670 secs
lola: sara is running 675 secs || 42292046 markings, 227837222 edges, 60403 markings/sec, 675 secs
lola: sara is running 680 secs || 42614330 markings, 229482080 edges, 64457 markings/sec, 680 secs
lola: sara is running 685 secs || 42930795 markings, 231243188 edges, 63293 markings/sec, 685 secs
lola: sara is running 690 secs || 43238400 markings, 233173721 edges, 61521 markings/sec, 690 secs
lola: sara is running 695 secs || 43556915 markings, 234934504 edges, 63703 markings/sec, 695 secs
lola: sara is running 700 secs || 43853315 markings, 236752871 edges, 59280 markings/sec, 700 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no no no unknown no unknown no no unknown unknown no unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no no unknown no unknown no no unknown unknown no unknown unknown
lola: memory consumption: 1513928 KB
lola: time consumption: 2150 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no no unknown no unknown no no unknown unknown no unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown no no no no unknown no unknown no no unknown unknown no unknown unknown
lola: memory consumption: 1514480 KB
lola: time consumption: 2150 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F ((FIREABLE(t17_14) OR FIREABLE(t13_18)))))) OR A (G (NOT FIREABLE(t20_22))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t20_22)))
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 (NOT FIREABLE(t20_22)))
lola: processed formula length: 28
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: FIREABLE(t20_22)
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 15 will run for 1420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((FIREABLE(t17_14) OR FIREABLE(t13_18))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (FIREABLE(t17_14) OR FIREABLE(t13_18))))))
lola: processed formula length: 69
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 14 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-14ringLRLarge-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (G ((FIREABLE(t3_2) AND FIREABLE(t10_8)))) AND FIREABLE(t19_20)) OR (A (F (FIREABLE(t7_1))) OR A (G ((NOT FIREABLE(t8_7) OR NOT FIREABLE(t13_11) OR FIREABLE(t23_19))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t7_1)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t7_1)
lola: processed formula length: 18
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 9 markings, 9 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(t3_2) AND FIREABLE(t10_8))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(t3_2) AND FIREABLE(t10_8))))
lola: processed formula length: 44
lola: 13 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t8_7) OR NOT FIREABLE(t13_11) OR FIREABLE(t23_19))))
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 ((NOT FIREABLE(t8_7) OR NOT FIREABLE(t13_11) OR FIREABLE(t23_19))))
lola: processed formula length: 74
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t8_7) AND FIREABLE(t13_11) AND NOT FIREABLE(t23_19))
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-CTLFireability-18-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-CTLFireability-18-0.sara.
sara: place or transition ordering is non-deterministic
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no no no unknown no no no no unknown unknown no unknown unknown
lola: memory consumption: 16556 KB
lola: time consumption: 2151 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (E (F (FIREABLE(t1_16)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U FIREABLE(t1_16)))
lola: processed formula length: 29
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-14ringLRLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1010799 markings, 3602812 edges, 202160 markings/sec, 0 secs
lola: 1933588 markings, 7114956 edges, 184558 markings/sec, 5 secs
lola: 2851063 markings, 10321633 edges, 183495 markings/sec, 10 secs
lola: 3604409 markings, 14163463 edges, 150669 markings/sec, 15 secs
lola: 4269378 markings, 17738726 edges, 132994 markings/sec, 20 secs
lola: 4990510 markings, 21569408 edges, 144226 markings/sec, 25 secs
lola: 5649161 markings, 25091422 edges, 131730 markings/sec, 30 secs
lola: 6217169 markings, 29073458 edges, 113602 markings/sec, 35 secs
lola: 6951882 markings, 32804515 edges, 146943 markings/sec, 40 secs
lola: 7603918 markings, 36498245 edges, 130407 markings/sec, 45 secs
lola: 8169115 markings, 39935874 edges, 113039 markings/sec, 50 secs
lola: 8641628 markings, 43417654 edges, 94503 markings/sec, 55 secs
lola: 9163693 markings, 47073412 edges, 104413 markings/sec, 60 secs
lola: 9606328 markings, 50656639 edges, 88527 markings/sec, 65 secs
lola: 10295073 markings, 54727096 edges, 137749 markings/sec, 70 secs
lola: 10940664 markings, 58220994 edges, 129118 markings/sec, 75 secs
lola: 11485673 markings, 62122306 edges, 109002 markings/sec, 80 secs
lola: 12016467 markings, 66042184 edges, 106159 markings/sec, 85 secs
lola: 12568647 markings, 69722405 edges, 110436 markings/sec, 90 secs
lola: 13082020 markings, 73478559 edges, 102675 markings/sec, 95 secs
lola: 13548954 markings, 77293452 edges, 93387 markings/sec, 100 secs
lola: 14002496 markings, 81282654 edges, 90708 markings/sec, 105 secs
lola: 14825855 markings, 84913565 edges, 164672 markings/sec, 110 secs
lola: 15582158 markings, 88279591 edges, 151261 markings/sec, 115 secs
lola: 16317067 markings, 91617974 edges, 146982 markings/sec, 120 secs
lola: 17044044 markings, 94893215 edges, 145395 markings/sec, 125 secs
lola: 17743421 markings, 97976340 edges, 139875 markings/sec, 130 secs
lola: 18398490 markings, 100980899 edges, 131014 markings/sec, 135 secs
lola: 19135357 markings, 104592221 edges, 147373 markings/sec, 140 secs
lola: 19860117 markings, 108585165 edges, 144952 markings/sec, 145 secs
lola: 20542563 markings, 112568645 edges, 136489 markings/sec, 150 secs
lola: 21212672 markings, 116358175 edges, 134022 markings/sec, 155 secs
lola: 21848690 markings, 119856121 edges, 127204 markings/sec, 160 secs
lola: 22492297 markings, 123692542 edges, 128721 markings/sec, 165 secs
lola: 23082504 markings, 127453766 edges, 118041 markings/sec, 170 secs
lola: 23647342 markings, 130974403 edges, 112968 markings/sec, 175 secs
lola: 24166787 markings, 134329401 edges, 103889 markings/sec, 180 secs
lola: 24743128 markings, 138468529 edges, 115268 markings/sec, 185 secs
lola: 25271735 markings, 142418900 edges, 105721 markings/sec, 190 secs
lola: 25797459 markings, 146038168 edges, 105145 markings/sec, 195 secs
lola: 26402758 markings, 149717862 edges, 121060 markings/sec, 200 secs
lola: 26981577 markings, 153237657 edges, 115764 markings/sec, 205 secs
lola: 27501983 markings, 156494394 edges, 104081 markings/sec, 210 secs
lola: 28049264 markings, 160192588 edges, 109456 markings/sec, 215 secs
lola: 28599294 markings, 164232867 edges, 110006 markings/sec, 220 secs
lola: 29090104 markings, 167819890 edges, 98162 markings/sec, 225 secs
lola: 29600095 markings, 171715372 edges, 101998 markings/sec, 230 secs
lola: 30049959 markings, 175303281 edges, 89973 markings/sec, 235 secs
lola: 30512625 markings, 179348389 edges, 92533 markings/sec, 240 secs
lola: 30981921 markings, 182852356 edges, 93859 markings/sec, 245 secs
lola: 31597805 markings, 186475595 edges, 123177 markings/sec, 250 secs
lola: 32189095 markings, 190421829 edges, 118258 markings/sec, 255 secs
lola: 32709177 markings, 193718769 edges, 104016 markings/sec, 260 secs
lola: 33201174 markings, 196938017 edges, 98399 markings/sec, 265 secs
lola: 33715913 markings, 200206698 edges, 102948 markings/sec, 270 secs
lola: 34295789 markings, 204442336 edges, 115975 markings/sec, 275 secs
lola: 34789710 markings, 208235454 edges, 98784 markings/sec, 280 secs
lola: 35243638 markings, 211591879 edges, 90786 markings/sec, 285 secs
lola: 35739627 markings, 215502664 edges, 99198 markings/sec, 290 secs
lola: 36164994 markings, 218998538 edges, 85073 markings/sec, 295 secs
lola: 36567715 markings, 222310880 edges, 80544 markings/sec, 300 secs
lola: 37020017 markings, 226495384 edges, 90460 markings/sec, 305 secs
lola: 37439021 markings, 229890920 edges, 83801 markings/sec, 310 secs
lola: 37925686 markings, 233816553 edges, 97333 markings/sec, 315 secs
lola: 38323219 markings, 237089038 edges, 79507 markings/sec, 320 secs
lola: 38764872 markings, 240812561 edges, 88331 markings/sec, 325 secs
lola: 39164866 markings, 244565465 edges, 79999 markings/sec, 330 secs
lola: 39571869 markings, 248397082 edges, 81401 markings/sec, 335 secs
lola: 39940082 markings, 252139461 edges, 73643 markings/sec, 340 secs
lola: 40432499 markings, 256024284 edges, 98483 markings/sec, 345 secs
lola: 41093222 markings, 260265835 edges, 132145 markings/sec, 350 secs
lola: 41676712 markings, 263861303 edges, 116698 markings/sec, 355 secs
lola: 42214436 markings, 267290920 edges, 107545 markings/sec, 360 secs
lola: 42789784 markings, 271331132 edges, 115070 markings/sec, 365 secs
lola: 43308368 markings, 275190982 edges, 103717 markings/sec, 370 secs
lola: 43790275 markings, 278779598 edges, 96381 markings/sec, 375 secs
lola: 44300884 markings, 282895619 edges, 102122 markings/sec, 380 secs
lola: 44731038 markings, 286416428 edges, 86031 markings/sec, 385 secs
lola: 45173316 markings, 290475988 edges, 88456 markings/sec, 390 secs
lola: 45674913 markings, 294546842 edges, 100319 markings/sec, 395 secs
lola: 46125750 markings, 298118721 edges, 90167 markings/sec, 400 secs
lola: 46587505 markings, 302170068 edges, 92351 markings/sec, 405 secs
lola: 47002545 markings, 305998141 edges, 83008 markings/sec, 410 secs
lola: 47398027 markings, 309946469 edges, 79096 markings/sec, 415 secs
lola: 47853258 markings, 313506004 edges, 91046 markings/sec, 420 secs
lola: 48363385 markings, 317462854 edges, 102025 markings/sec, 425 secs
lola: 48809295 markings, 321176575 edges, 89182 markings/sec, 430 secs
lola: 49277319 markings, 324921974 edges, 93605 markings/sec, 435 secs
lola: 49717607 markings, 328750734 edges, 88058 markings/sec, 440 secs
lola: 50131950 markings, 332398233 edges, 82869 markings/sec, 445 secs
lola: 50536716 markings, 336417248 edges, 80953 markings/sec, 450 secs
lola: 50925670 markings, 340299645 edges, 77791 markings/sec, 455 secs
lola: 51329529 markings, 344088779 edges, 80772 markings/sec, 460 secs
lola: 51716292 markings, 347946404 edges, 77353 markings/sec, 465 secs
lola: 52099710 markings, 351828361 edges, 76684 markings/sec, 470 secs
lola: 52464188 markings, 355854276 edges, 72896 markings/sec, 475 secs
lola: 53050982 markings, 359777515 edges, 117359 markings/sec, 480 secs
lola: 53915485 markings, 363123467 edges, 172901 markings/sec, 485 secs
lola: 54745384 markings, 366409413 edges, 165980 markings/sec, 490 secs
lola: 55473866 markings, 369495090 edges, 145696 markings/sec, 495 secs
lola: 56188195 markings, 372845500 edges, 142866 markings/sec, 500 secs
lola: 56853857 markings, 376484034 edges, 133132 markings/sec, 505 secs
lola: 57475415 markings, 380121991 edges, 124312 markings/sec, 510 secs
lola: 58077389 markings, 383577236 edges, 120395 markings/sec, 515 secs
lola: 58641979 markings, 386667293 edges, 112918 markings/sec, 520 secs
lola: 59270643 markings, 390109712 edges, 125733 markings/sec, 525 secs
lola: 59885743 markings, 393664919 edges, 123020 markings/sec, 530 secs
lola: 60422583 markings, 396948851 edges, 107368 markings/sec, 535 secs
lola: 60959257 markings, 400856866 edges, 107335 markings/sec, 540 secs
lola: 61447175 markings, 404497456 edges, 97584 markings/sec, 545 secs
lola: 61930704 markings, 407832384 edges, 96706 markings/sec, 550 secs
lola: 62572665 markings, 411420004 edges, 128392 markings/sec, 555 secs
lola: 63128924 markings, 414745815 edges, 111252 markings/sec, 560 secs
lola: 63667191 markings, 418415840 edges, 107653 markings/sec, 565 secs
lola: 64166434 markings, 422158418 edges, 99849 markings/sec, 570 secs
lola: 64609842 markings, 425393303 edges, 88682 markings/sec, 575 secs
lola: 65118871 markings, 429176425 edges, 101806 markings/sec, 580 secs
lola: 65566232 markings, 433035034 edges, 89472 markings/sec, 585 secs
lola: 66003350 markings, 436428677 edges, 87424 markings/sec, 590 secs
lola: 66659039 markings, 440017007 edges, 131138 markings/sec, 595 secs
lola: 67223761 markings, 443462268 edges, 112944 markings/sec, 600 secs
lola: 67743169 markings, 446609215 edges, 103882 markings/sec, 605 secs
lola: 68268712 markings, 450223072 edges, 105109 markings/sec, 610 secs
lola: 68751623 markings, 454021875 edges, 96582 markings/sec, 615 secs
lola: 69174828 markings, 457192439 edges, 84641 markings/sec, 620 secs
lola: 69664834 markings, 460726856 edges, 98001 markings/sec, 625 secs
lola: 70102612 markings, 464188812 edges, 87556 markings/sec, 630 secs
lola: 70533930 markings, 468019578 edges, 86264 markings/sec, 635 secs
lola: 70892512 markings, 471311270 edges, 71716 markings/sec, 640 secs
lola: 71392290 markings, 474965486 edges, 99956 markings/sec, 645 secs
lola: 71802683 markings, 478178373 edges, 82079 markings/sec, 650 secs
lola: 72218931 markings, 482041192 edges, 83250 markings/sec, 655 secs
lola: 72604400 markings, 485540513 edges, 77094 markings/sec, 660 secs
lola: 72977194 markings, 489314311 edges, 74559 markings/sec, 665 secs
lola: 73503364 markings, 493051325 edges, 105234 markings/sec, 670 secs
lola: 74141821 markings, 496797416 edges, 127691 markings/sec, 675 secs
lola: 74731334 markings, 500646855 edges, 117903 markings/sec, 680 secs
lola: 75275861 markings, 504737088 edges, 108905 markings/sec, 685 secs
lola: 75775830 markings, 508384875 edges, 99994 markings/sec, 690 secs
lola: 76279988 markings, 512268831 edges, 100832 markings/sec, 695 secs
lola: 76729007 markings, 516394026 edges, 89804 markings/sec, 700 secs
lola: 77236617 markings, 520327079 edges, 101522 markings/sec, 705 secs
lola: 77698694 markings, 524301007 edges, 92415 markings/sec, 710 secs
lola: 78103574 markings, 527986287 edges, 80976 markings/sec, 715 secs
lola: 78502638 markings, 531820115 edges, 79813 markings/sec, 720 secs
lola: 79047309 markings, 535559154 edges, 108934 markings/sec, 725 secs
lola: 79529080 markings, 539236596 edges, 96354 markings/sec, 730 secs
lola: 79979771 markings, 543123956 edges, 90138 markings/sec, 735 secs
lola: 80416610 markings, 546947928 edges, 87368 markings/sec, 740 secs
lola: 80828071 markings, 550856902 edges, 82292 markings/sec, 745 secs
lola: 81237895 markings, 554792887 edges, 81965 markings/sec, 750 secs
lola: 81647318 markings, 558666265 edges, 81885 markings/sec, 755 secs
lola: 82028487 markings, 562785895 edges, 76234 markings/sec, 760 secs
lola: 82579910 markings, 566730612 edges, 110285 markings/sec, 765 secs
lola: 83364810 markings, 570280712 edges, 156980 markings/sec, 770 secs
lola: 84065657 markings, 573710527 edges, 140169 markings/sec, 775 secs
lola: 84771746 markings, 577120773 edges, 141218 markings/sec, 780 secs
lola: 85472792 markings, 580461712 edges, 140209 markings/sec, 785 secs
lola: 86182815 markings, 583822371 edges, 142005 markings/sec, 790 secs
lola: 86806965 markings, 587023746 edges, 124830 markings/sec, 795 secs
lola: 87427606 markings, 590237898 edges, 124128 markings/sec, 800 secs
lola: 88042185 markings, 593430139 edges, 122916 markings/sec, 805 secs
lola: 88710224 markings, 596869397 edges, 133608 markings/sec, 810 secs
lola: 89456929 markings, 601131366 edges, 149341 markings/sec, 815 secs
lola: 90089021 markings, 604974449 edges, 126418 markings/sec, 820 secs
lola: 90736540 markings, 608825186 edges, 129504 markings/sec, 825 secs
lola: 91334122 markings, 612456961 edges, 119516 markings/sec, 830 secs
lola: 91880742 markings, 615829485 edges, 109324 markings/sec, 835 secs
lola: 92420875 markings, 619161953 edges, 108027 markings/sec, 840 secs
lola: 93019510 markings, 623001067 edges, 119727 markings/sec, 845 secs
lola: 93628559 markings, 626916366 edges, 121810 markings/sec, 850 secs
lola: 94184971 markings, 630418101 edges, 111282 markings/sec, 855 secs
lola: 94732864 markings, 634088059 edges, 109579 markings/sec, 860 secs
lola: 95281698 markings, 637646934 edges, 109767 markings/sec, 865 secs
lola: 95821638 markings, 641165810 edges, 107988 markings/sec, 870 secs
lola: 96337987 markings, 644451795 edges, 103270 markings/sec, 875 secs
lola: 96825181 markings, 647635428 edges, 97439 markings/sec, 880 secs
lola: 97299499 markings, 650777803 edges, 94864 markings/sec, 885 secs
lola: 97795691 markings, 654079624 edges, 99238 markings/sec, 890 secs
lola: 98385597 markings, 658582709 edges, 117981 markings/sec, 895 secs
lola: 98895833 markings, 662506166 edges, 102047 markings/sec, 900 secs
lola: 99413443 markings, 666499815 edges, 103522 markings/sec, 905 secs
lola: 99903019 markings, 670266844 edges, 97915 markings/sec, 910 secs
lola: 100358575 markings, 673673634 edges, 91111 markings/sec, 915 secs
lola: 100839185 markings, 677105237 edges, 96122 markings/sec, 920 secs
lola: 101425072 markings, 680867686 edges, 117177 markings/sec, 925 secs
lola: 101980243 markings, 684543743 edges, 111034 markings/sec, 930 secs
lola: 102526610 markings, 688080421 edges, 109273 markings/sec, 935 secs
lola: 102997167 markings, 691387598 edges, 94111 markings/sec, 940 secs
lola: 103464784 markings, 694669729 edges, 93523 markings/sec, 945 secs
lola: 104002043 markings, 698524324 edges, 107452 markings/sec, 950 secs
lola: 104531967 markings, 702590694 edges, 105985 markings/sec, 955 secs
lola: 105014790 markings, 706371094 edges, 96565 markings/sec, 960 secs
lola: 105444325 markings, 709824299 edges, 85907 markings/sec, 965 secs
lola: 105926970 markings, 713736216 edges, 96529 markings/sec, 970 secs
lola: 106398957 markings, 717577656 edges, 94397 markings/sec, 975 secs
lola: 106851588 markings, 721350315 edges, 90526 markings/sec, 980 secs
lola: 107286304 markings, 724920388 edges, 86943 markings/sec, 985 secs
lola: 107679725 markings, 728218537 edges, 78684 markings/sec, 990 secs
lola: 108086443 markings, 731716560 edges, 81344 markings/sec, 995 secs
lola: 108543680 markings, 736018653 edges, 91447 markings/sec, 1000 secs
lola: 108966798 markings, 740019584 edges, 84624 markings/sec, 1005 secs
lola: 109343539 markings, 743533126 edges, 75348 markings/sec, 1010 secs
lola: 109922052 markings, 747247146 edges, 115703 markings/sec, 1015 secs
lola: 110477751 markings, 750849432 edges, 111140 markings/sec, 1020 secs
lola: 111028110 markings, 754331463 edges, 110072 markings/sec, 1025 secs
lola: 111500350 markings, 757609619 edges, 94448 markings/sec, 1030 secs
lola: 111967360 markings, 760861843 edges, 93402 markings/sec, 1035 secs
lola: 112512321 markings, 764728067 edges, 108992 markings/sec, 1040 secs
lola: 113033655 markings, 768684356 edges, 104267 markings/sec, 1045 secs
lola: 113504461 markings, 772365190 edges, 94161 markings/sec, 1050 secs
lola: 113930261 markings, 775777487 edges, 85160 markings/sec, 1055 secs
lola: 114426989 markings, 779776700 edges, 99346 markings/sec, 1060 secs
lola: 114886320 markings, 783493908 edges, 91866 markings/sec, 1065 secs
lola: 115336015 markings, 787143637 edges, 89939 markings/sec, 1070 secs
lola: 115750320 markings, 790505089 edges, 82861 markings/sec, 1075 secs
lola: 116140155 markings, 793777908 edges, 77967 markings/sec, 1080 secs
lola: 116593342 markings, 797811782 edges, 90637 markings/sec, 1085 secs
lola: 117020922 markings, 801839736 edges, 85516 markings/sec, 1090 secs
lola: 117412904 markings, 805500715 edges, 78396 markings/sec, 1095 secs
lola: 117850621 markings, 809204892 edges, 87543 markings/sec, 1100 secs
lola: 118308689 markings, 812965361 edges, 91614 markings/sec, 1105 secs
lola: 118713366 markings, 816431986 edges, 80935 markings/sec, 1110 secs
lola: 119144665 markings, 820229623 edges, 86260 markings/sec, 1115 secs
lola: 119557198 markings, 824177288 edges, 82507 markings/sec, 1120 secs
lola: 119953034 markings, 828008256 edges, 79167 markings/sec, 1125 secs
lola: 120349738 markings, 831934145 edges, 79341 markings/sec, 1130 secs
lola: 120704207 markings, 835476049 edges, 70894 markings/sec, 1135 secs
lola: 121080384 markings, 839504624 edges, 75235 markings/sec, 1140 secs
lola: 121430831 markings, 843406029 edges, 70089 markings/sec, 1145 secs
lola: 121996538 markings, 846642687 edges, 113141 markings/sec, 1150 secs
lola: 122560587 markings, 850445042 edges, 112810 markings/sec, 1155 secs
lola: 123138950 markings, 854313343 edges, 115673 markings/sec, 1160 secs
lola: 123609077 markings, 857549855 edges, 94025 markings/sec, 1165 secs
lola: 124074873 markings, 860769969 edges, 93159 markings/sec, 1170 secs
lola: 124539506 markings, 863990292 edges, 92927 markings/sec, 1175 secs
lola: 125051832 markings, 867645455 edges, 102465 markings/sec, 1180 secs
lola: 125564955 markings, 871094124 edges, 102625 markings/sec, 1185 secs
lola: 126109938 markings, 875394287 edges, 108997 markings/sec, 1190 secs
lola: 126569285 markings, 879083405 edges, 91869 markings/sec, 1195 secs
lola: 126991552 markings, 882441528 edges, 84453 markings/sec, 1200 secs
lola: 127431186 markings, 886074497 edges, 87927 markings/sec, 1205 secs
lola: 127876927 markings, 889348695 edges, 89148 markings/sec, 1210 secs
lola: 128363761 markings, 893329900 edges, 97367 markings/sec, 1215 secs
lola: 128833331 markings, 897445304 edges, 93914 markings/sec, 1220 secs
lola: 129251057 markings, 900910417 edges, 83545 markings/sec, 1225 secs
lola: 129631604 markings, 904132161 edges, 76109 markings/sec, 1230 secs
lola: 130004995 markings, 907326600 edges, 74678 markings/sec, 1235 secs
lola: 130400923 markings, 910638177 edges, 79186 markings/sec, 1240 secs
lola: 130854849 markings, 914665143 edges, 90785 markings/sec, 1245 secs
lola: 131271408 markings, 918833921 edges, 83312 markings/sec, 1250 secs
lola: 131618961 markings, 922118601 edges, 69511 markings/sec, 1255 secs
lola: 131983102 markings, 925413509 edges, 72828 markings/sec, 1260 secs
lola: 132454795 markings, 929226685 edges, 94339 markings/sec, 1265 secs
lola: 132887255 markings, 932920503 edges, 86492 markings/sec, 1270 secs
lola: 133261746 markings, 936193076 edges, 74898 markings/sec, 1275 secs
lola: 133666529 markings, 939768686 edges, 80957 markings/sec, 1280 secs
lola: 134107161 markings, 943792486 edges, 88126 markings/sec, 1285 secs
lola: 134476309 markings, 947415258 edges, 73830 markings/sec, 1290 secs
lola: 134840256 markings, 950972971 edges, 72789 markings/sec, 1295 secs
lola: 135243939 markings, 954911120 edges, 80737 markings/sec, 1300 secs
lola: 135613955 markings, 958701493 edges, 74003 markings/sec, 1305 secs
lola: 135932123 markings, 961992019 edges, 63634 markings/sec, 1310 secs
lola: 136285496 markings, 965616589 edges, 70675 markings/sec, 1315 secs
lola: 136643756 markings, 969736533 edges, 71652 markings/sec, 1320 secs
lola: 136993530 markings, 973047295 edges, 69955 markings/sec, 1325 secs
lola: 137480325 markings, 977061168 edges, 97359 markings/sec, 1330 secs
lola: 137880423 markings, 980443295 edges, 80020 markings/sec, 1335 secs
lola: 138254504 markings, 983689404 edges, 74816 markings/sec, 1340 secs
lola: 138672706 markings, 987268863 edges, 83640 markings/sec, 1345 secs
lola: 139099350 markings, 991380050 edges, 85329 markings/sec, 1350 secs
lola: 139446616 markings, 994776603 edges, 69453 markings/sec, 1355 secs
lola: 139834823 markings, 998407913 edges, 77641 markings/sec, 1360 secs
lola: 140237259 markings, 1002490396 edges, 80487 markings/sec, 1365 secs
lola: 140557334 markings, 1005752743 edges, 64015 markings/sec, 1370 secs
lola: 140882993 markings, 1009052636 edges, 65132 markings/sec, 1375 secs
lola: 141262046 markings, 1013282959 edges, 75811 markings/sec, 1380 secs
lola: 141573899 markings, 1016707372 edges, 62371 markings/sec, 1385 secs
lola: 141970798 markings, 1020618809 edges, 79380 markings/sec, 1390 secs
lola: 142308943 markings, 1024163870 edges, 67629 markings/sec, 1395 secs
lola: 142665779 markings, 1028108988 edges, 71367 markings/sec, 1400 secs
lola: 143001837 markings, 1031906588 edges, 67212 markings/sec, 1405 secs
lola: 143317378 markings, 1035675445 edges, 63108 markings/sec, 1410 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no no no no unknown no no no no unknown unknown no unknown unknown
lola:
preliminary result: unknown unknown no no no no unknown no no no no unknown unknown no unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no no unknown no no no no unknown unknown no unknown unknown
lola: memory consumption: 10472188 KB
lola: time consumption: 3570 seconds
BK_STOP 1526844476792
--------------------
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-14ringLRLarge"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge 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-14ringLRLarge, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500319"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;