About the Execution of LoLA for DNAwalker-PT-13ringRLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5847.070 | 3570371.00 | 6388483.00 | 7141.90 | ??FFFTFT?FFFTT?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.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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-13ringRLLarge, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500312
=====================================================================
--------------------
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-13ringRLLarge-CTLFireability-00
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-01
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-02
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-03
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-04
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-05
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-06
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-07
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-08
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-09
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-10
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-11
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-12
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-13
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-14
FORMULA_NAME DNAwalker-PT-13ringRLLarge-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526830130496
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-13ringRLLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-13ringRLLarge formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DNAwalker-PT-13ringRLLarge @ 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-13ringRLLarge-CTLFireability.task
lola: A (F (NOT(NOT(E (F (FIREABLE(t2_1))))))) : E (((NOT FIREABLE(tb18) OR NOT FIREABLE(t18_15) OR (NOT FIREABLE(t12_1) AND FIREABLE(t20_19))) U (E (G (FIREABLE(t2_16))) OR (FIREABLE(t15_14) AND FIREABLE(t6_10))))) : (A (F ((A (G (FIREABLE(t3_7))) AND FIREABLE(t26_5)))) OR FIREABLE(t5_9)) : (NOT(E (F (FIREABLE(t8_11)))) OR A (F (A (X (FIREABLE(t15_17)))))) : A (F ((A (F (NOT FIREABLE(t4_1))) AND FIREABLE(t26_2)))) : A ((NOT FIREABLE(t24_3) U NOT(A (F (FIREABLE(t23_22)))))) : A (F ((FIREABLE(t23_27) AND (E (X (FIREABLE(t3_8))) AND E (X (FIREABLE(t4_7))))))) : A (X (A (F (NOT FIREABLE(t1_8))))) : (NOT(((NOT FIREABLE(t25_22) AND NOT FIREABLE(t15_10) AND FIREABLE(tb15)) OR A (F (NOT FIREABLE(t16_22))))) OR A (F ((((FIREABLE(t3_1) AND FIREABLE(t1_18)) OR FIREABLE(t7_5)) AND A (G (FIREABLE(t19_18))))))) : (E (X (E ((FIREABLE(t27_24) U FIREABLE(t26_1))))) OR FIREABLE(t25_23)) : (((NOT FIREABLE(t18_20) AND NOT FIREABLE(t2_1)) OR NOT FIREABLE(t26_1) OR NOT FIREABLE(t18_1) OR NOT FIREABLE(t4_16)) AND (E (F (A (F (FIREABLE(t23_19))))) AND A (F (E (X (FIREABLE(t13_17))))))) : A (F (FIREABLE(t27_2))) : E (G (E ((FIREABLE(t8_9) U NOT FIREABLE(t2_5))))) : E (X (E (G ((NOT FIREABLE(t20_19) AND NOT FIREABLE(t16_18)))))) : E ((FIREABLE(tb16) U ((FIREABLE(t20_23) AND FIREABLE(t2_26)) OR (FIREABLE(t14_12) AND FIREABLE(t2_22)) OR (FIREABLE(t14_15) AND FIREABLE(t18_17) AND FIREABLE(t25_4))))) : A ((NOT(A (G (FIREABLE(t23_24)))) U (FIREABLE(t4_25) AND NOT FIREABLE(t26_4))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(t8_11))) OR A (F (A (X (FIREABLE(t15_17))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t8_11)))
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:695
lola: processed formula: A (G (NOT FIREABLE(t8_11)))
lola: processed formula length: 27
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X (FIREABLE(t15_17)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U AX(FIREABLE(t15_17)))
lola: processed formula length: 30
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 13 markings, 13 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t23_27) AND (E (X (FIREABLE(t3_8))) AND E (X (FIREABLE(t4_7)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (FIREABLE(t23_27) AND (EX(FIREABLE(t3_8)) AND EX(FIREABLE(t4_7)))))
lola: processed formula length: 76
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (NOT FIREABLE(t1_8)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t1_8)
lola: processed formula length: 14
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate eventually occurs from all successors.
lola: 240 markings, 363 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E ((FIREABLE(t27_24) U FIREABLE(t26_1))))) OR FIREABLE(t25_23))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t25_23)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t25_23)
lola: processed formula length: 16
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E ((FIREABLE(t27_24) U FIREABLE(t26_1)))))
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(t27_24) U FIREABLE(t26_1)))
lola: processed formula length: 41
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 7319 markings, 9506 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t18_20) AND NOT FIREABLE(t2_1)) OR NOT FIREABLE(t26_1) OR NOT FIREABLE(t18_1) OR NOT FIREABLE(t4_16)) AND (E (F (FIREABLE(t23_19))) AND A (F (E (X (FIREABLE(t13_17)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t18_20) AND NOT FIREABLE(t2_1)) OR NOT FIREABLE(t26_1) OR NOT FIREABLE(t18_1) OR NOT FIREABLE(t4_16))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((NOT FIREABLE(t18_20) AND NOT FIREABLE(t2_1)) OR NOT FIREABLE(t26_1) OR NOT FIREABLE(t18_1) OR NOT FIREABLE(t4_16))
lola: processed formula length: 119
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t23_19)))
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(t23_19)))
lola: processed formula length: 24
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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(t23_19)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-CTLFireability-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (FIREABLE(t13_17)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(FIREABLE(t13_17)))
lola: processed formula length: 30
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 13 markings, 13 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (G ((NOT FIREABLE(t20_19) AND NOT FIREABLE(t16_18))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:627
lola: processed formula: (NOT FIREABLE(t20_19) AND NOT FIREABLE(t16_18))
lola: processed formula length: 47
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate is possibly preserved from some successor.
lola: 9 markings, 9 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2_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(t2_1)))
lola: processed formula length: 22
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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(t2_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 301660 markings, 1233111 edges, 60332 markings/sec, 0 secs
lola: sara is running 5 secs || 617552 markings, 2678608 edges, 63178 markings/sec, 5 secs
lola: sara is running 10 secs || 937403 markings, 4343410 edges, 63970 markings/sec, 10 secs
lola: sara is running 15 secs || 1271472 markings, 5909768 edges, 66814 markings/sec, 15 secs
lola: sara is running 20 secs || 1627192 markings, 7656815 edges, 71144 markings/sec, 20 secs
lola: sara is running 25 secs || 1965350 markings, 9341807 edges, 67632 markings/sec, 25 secs
lola: sara is running 30 secs || 2313663 markings, 10890023 edges, 69663 markings/sec, 30 secs
lola: sara is running 35 secs || 2641100 markings, 12478786 edges, 65487 markings/sec, 35 secs
lola: sara is running 40 secs || 2980063 markings, 13987096 edges, 67793 markings/sec, 40 secs
lola: sara is running 45 secs || 3300421 markings, 15736969 edges, 64072 markings/sec, 45 secs
lola: sara is running 50 secs || 3615572 markings, 17566140 edges, 63030 markings/sec, 50 secs
lola: sara is running 55 secs || 3920404 markings, 19448339 edges, 60966 markings/sec, 55 secs
lola: sara is running 60 secs || 4257506 markings, 21351693 edges, 67420 markings/sec, 60 secs
lola: sara is running 65 secs || 4612605 markings, 23088176 edges, 71020 markings/sec, 65 secs
lola: sara is running 70 secs || 4962614 markings, 24835567 edges, 70002 markings/sec, 70 secs
lola: sara is running 75 secs || 5310479 markings, 26484842 edges, 69573 markings/sec, 75 secs
lola: sara is running 80 secs || 5645464 markings, 28079941 edges, 66997 markings/sec, 80 secs
lola: sara is running 85 secs || 5965179 markings, 29915651 edges, 63943 markings/sec, 85 secs
lola: sara is running 90 secs || 6298627 markings, 31807998 edges, 66690 markings/sec, 90 secs
lola: sara is running 95 secs || 6649739 markings, 33578674 edges, 70222 markings/sec, 95 secs
lola: sara is running 100 secs || 6986217 markings, 35255841 edges, 67296 markings/sec, 100 secs
lola: sara is running 105 secs || 7305474 markings, 37083325 edges, 63851 markings/sec, 105 secs
lola: sara is running 110 secs || 7623257 markings, 38690923 edges, 63557 markings/sec, 110 secs
lola: sara is running 115 secs || 7900267 markings, 40271453 edges, 55402 markings/sec, 115 secs
lola: sara is running 120 secs || 8166400 markings, 41767949 edges, 53227 markings/sec, 120 secs
lola: sara is running 125 secs || 8417413 markings, 43496267 edges, 50203 markings/sec, 125 secs
lola: sara is running 130 secs || 8669595 markings, 45209621 edges, 50436 markings/sec, 130 secs
lola: sara is running 135 secs || 8935409 markings, 47033245 edges, 53163 markings/sec, 135 secs
lola: sara is running 140 secs || 9214584 markings, 48799032 edges, 55835 markings/sec, 140 secs
lola: sara is running 145 secs || 9464824 markings, 50670606 edges, 50048 markings/sec, 145 secs
lola: sara is running 150 secs || 9771133 markings, 52331175 edges, 61262 markings/sec, 150 secs
lola: sara is running 155 secs || 10070646 markings, 54047234 edges, 59903 markings/sec, 155 secs
lola: sara is running 160 secs || 10348999 markings, 56027755 edges, 55671 markings/sec, 160 secs
lola: sara is running 165 secs || 10635269 markings, 57748981 edges, 57254 markings/sec, 165 secs
lola: sara is running 170 secs || 10897739 markings, 59680105 edges, 52494 markings/sec, 170 secs
lola: sara is running 175 secs || 11184207 markings, 61506934 edges, 57294 markings/sec, 175 secs
lola: sara is running 180 secs || 11479258 markings, 63209411 edges, 59010 markings/sec, 180 secs
lola: sara is running 185 secs || 11749881 markings, 64981343 edges, 54125 markings/sec, 185 secs
lola: sara is running 190 secs || 12022486 markings, 66832364 edges, 54521 markings/sec, 190 secs
lola: sara is running 195 secs || 12305390 markings, 68609663 edges, 56581 markings/sec, 195 secs
lola: sara is running 200 secs || 12597474 markings, 70256629 edges, 58417 markings/sec, 200 secs
lola: sara is running 205 secs || 12866401 markings, 72130666 edges, 53785 markings/sec, 205 secs
lola: sara is running 210 secs || 13145673 markings, 73901237 edges, 55854 markings/sec, 210 secs
lola: sara is running 215 secs || 13417640 markings, 75625696 edges, 54393 markings/sec, 215 secs
lola: sara is running 220 secs || 13697649 markings, 77293079 edges, 56002 markings/sec, 220 secs
lola: sara is running 225 secs || 13951583 markings, 79138476 edges, 50787 markings/sec, 225 secs
lola: sara is running 230 secs || 14230109 markings, 80878338 edges, 55705 markings/sec, 230 secs
lola: sara is running 235 secs || 14498351 markings, 82755172 edges, 53648 markings/sec, 235 secs
lola: sara is running 240 secs || 14787970 markings, 84445908 edges, 57924 markings/sec, 240 secs
lola: sara is running 245 secs || 15070176 markings, 86195502 edges, 56441 markings/sec, 245 secs
lola: sara is running 250 secs || 15364370 markings, 87854031 edges, 58839 markings/sec, 250 secs
lola: sara is running 255 secs || 15652836 markings, 89497613 edges, 57693 markings/sec, 255 secs
lola: sara is running 260 secs || 15929865 markings, 91236865 edges, 55406 markings/sec, 260 secs
lola: sara is running 265 secs || 16199348 markings, 92995441 edges, 53897 markings/sec, 265 secs
lola: sara is running 270 secs || 16500280 markings, 94433669 edges, 60186 markings/sec, 270 secs
lola: sara is running 275 secs || 16808581 markings, 95792392 edges, 61660 markings/sec, 275 secs
lola: sara is running 280 secs || 17132910 markings, 97109921 edges, 64866 markings/sec, 280 secs
lola: sara is running 285 secs || 17462354 markings, 98586519 edges, 65889 markings/sec, 285 secs
lola: sara is running 290 secs || 17756591 markings, 100150679 edges, 58847 markings/sec, 290 secs
lola: sara is running 295 secs || 18068289 markings, 101823131 edges, 62340 markings/sec, 295 secs
lola: sara is running 300 secs || 18338160 markings, 103462427 edges, 53974 markings/sec, 300 secs
lola: sara is running 305 secs || 18629104 markings, 105088577 edges, 58189 markings/sec, 305 secs
lola: sara is running 310 secs || 18902356 markings, 106885198 edges, 54650 markings/sec, 310 secs
lola: sara is running 315 secs || 19172518 markings, 108510473 edges, 54032 markings/sec, 315 secs
lola: sara is running 320 secs || 19467702 markings, 110219972 edges, 59037 markings/sec, 320 secs
lola: sara is running 325 secs || 19741632 markings, 112044467 edges, 54786 markings/sec, 325 secs
lola: sara is running 330 secs || 20013862 markings, 113982715 edges, 54446 markings/sec, 330 secs
lola: sara is running 335 secs || 20281495 markings, 115551081 edges, 53527 markings/sec, 335 secs
lola: sara is running 340 secs || 20577411 markings, 117271036 edges, 59183 markings/sec, 340 secs
lola: sara is running 345 secs || 20845367 markings, 119112582 edges, 53591 markings/sec, 345 secs
lola: sara is running 350 secs || 21106912 markings, 121011169 edges, 52309 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown no yes unknown no no unknown unknown yes unknown unknown
lola: memory consumption: 733916 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t27_2)))
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(t27_2)
lola: processed formula length: 19
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 12 markings, 12 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F (NOT FIREABLE(t4_1))) AND FIREABLE(t26_2))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (A(TRUE U NOT FIREABLE(t4_1)) AND FIREABLE(t26_2)))
lola: processed formula length: 60
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 16 markings, 32 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E ((FIREABLE(t8_9) U NOT FIREABLE(t2_5)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(E(FIREABLE(t8_9) U NOT FIREABLE(t2_5)))))
lola: processed formula length: 58
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 26 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t24_3) U E (G (NOT FIREABLE(t23_22)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(NOT FIREABLE(t24_3) U NOT(A(TRUE U FIREABLE(t23_22))))
lola: processed formula length: 56
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 14 edges
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (F (NOT FIREABLE(t23_24))) U (FIREABLE(t4_25) AND NOT FIREABLE(t26_4))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(E(TRUE U NOT FIREABLE(t23_24)) U (FIREABLE(t4_25) AND NOT FIREABLE(t26_4)))
lola: processed formula length: 77
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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-13ringRLLarge-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 803 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(tb18) OR NOT FIREABLE(t18_15) OR (NOT FIREABLE(t12_1) AND FIREABLE(t20_19))) U (E (G (FIREABLE(t2_16))) OR (FIREABLE(t15_14) AND FIREABLE(t6_10)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT FIREABLE(tb18) OR NOT FIREABLE(t18_15) OR (NOT FIREABLE(t12_1) AND FIREABLE(t20_19))) U (NOT(A(TRUE U NOT FIREABLE(t2_16))) OR (FIREABLE(t15_14) AND FIREABLE(t6_10))))
lola: processed formula length: 176
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: 728643 markings, 3623003 edges, 145729 markings/sec, 0 secs
lola: 1433672 markings, 7303599 edges, 141006 markings/sec, 5 secs
lola: 2102398 markings, 10770107 edges, 133745 markings/sec, 10 secs
lola: 2705091 markings, 13945238 edges, 120539 markings/sec, 15 secs
lola: 3363704 markings, 17394221 edges, 131723 markings/sec, 20 secs
lola: 4027840 markings, 20923717 edges, 132827 markings/sec, 25 secs
lola: 4609179 markings, 23938999 edges, 116268 markings/sec, 30 secs
lola: 5235350 markings, 27257844 edges, 125234 markings/sec, 35 secs
lola: 5847881 markings, 30555373 edges, 122506 markings/sec, 40 secs
lola: 6462367 markings, 33771112 edges, 122897 markings/sec, 45 secs
lola: 7056313 markings, 37067302 edges, 118789 markings/sec, 50 secs
lola: 7649544 markings, 40337138 edges, 118646 markings/sec, 55 secs
lola: 8290702 markings, 43484255 edges, 128232 markings/sec, 60 secs
lola: 8915740 markings, 46714201 edges, 125008 markings/sec, 65 secs
lola: 9463187 markings, 49768962 edges, 109489 markings/sec, 70 secs
lola: 10082248 markings, 52886875 edges, 123812 markings/sec, 75 secs
lola: 10633666 markings, 55874683 edges, 110284 markings/sec, 80 secs
lola: 11223920 markings, 59054683 edges, 118051 markings/sec, 85 secs
lola: 11837200 markings, 62377120 edges, 122656 markings/sec, 90 secs
lola: 12416936 markings, 65409120 edges, 115947 markings/sec, 95 secs
lola: 13021176 markings, 68640923 edges, 120848 markings/sec, 100 secs
lola: 13582199 markings, 71899640 edges, 112205 markings/sec, 105 secs
lola: 14196614 markings, 75123190 edges, 122883 markings/sec, 110 secs
lola: 14725329 markings, 78133290 edges, 105743 markings/sec, 115 secs
lola: 15359962 markings, 81557945 edges, 126927 markings/sec, 120 secs
lola: 16005138 markings, 85230887 edges, 129035 markings/sec, 125 secs
lola: 16631540 markings, 88894129 edges, 125280 markings/sec, 130 secs
lola: 17223344 markings, 92404280 edges, 118361 markings/sec, 135 secs
lola: 17841424 markings, 96439995 edges, 123616 markings/sec, 140 secs
lola: 18375882 markings, 100072965 edges, 106892 markings/sec, 145 secs
lola: 18909389 markings, 103811015 edges, 106701 markings/sec, 150 secs
lola: 19438098 markings, 107357626 edges, 105742 markings/sec, 155 secs
lola: 19937082 markings, 110807130 edges, 99797 markings/sec, 160 secs
lola: 20449283 markings, 114438506 edges, 102440 markings/sec, 165 secs
lola: 20932456 markings, 117697199 edges, 96635 markings/sec, 170 secs
lola: 21422710 markings, 121100509 edges, 98051 markings/sec, 175 secs
lola: 21918402 markings, 124489914 edges, 99138 markings/sec, 180 secs
lola: 22369642 markings, 127709290 edges, 90248 markings/sec, 185 secs
lola: 22856124 markings, 131022124 edges, 97296 markings/sec, 190 secs
lola: 23344214 markings, 134482974 edges, 97618 markings/sec, 195 secs
lola: 23819714 markings, 137937778 edges, 95100 markings/sec, 200 secs
lola: 24371378 markings, 141958426 edges, 110333 markings/sec, 205 secs
lola: 24918839 markings, 145938424 edges, 109492 markings/sec, 210 secs
lola: 25508090 markings, 149794690 edges, 117850 markings/sec, 215 secs
lola: 26082299 markings, 153491347 edges, 114842 markings/sec, 220 secs
lola: 26637314 markings, 157134069 edges, 111003 markings/sec, 225 secs
lola: 27145474 markings, 160582327 edges, 101632 markings/sec, 230 secs
lola: 27681894 markings, 164140718 edges, 107284 markings/sec, 235 secs
lola: 28192160 markings, 167471536 edges, 102053 markings/sec, 240 secs
lola: 28705150 markings, 170907183 edges, 102598 markings/sec, 245 secs
lola: 29201321 markings, 174134031 edges, 99234 markings/sec, 250 secs
lola: 29706118 markings, 177562075 edges, 100959 markings/sec, 255 secs
lola: 30199984 markings, 180878399 edges, 98773 markings/sec, 260 secs
lola: 30703249 markings, 184317025 edges, 100653 markings/sec, 265 secs
lola: 31206932 markings, 187882919 edges, 100737 markings/sec, 270 secs
lola: 31747247 markings, 191714672 edges, 108063 markings/sec, 275 secs
lola: 32252372 markings, 195644176 edges, 101025 markings/sec, 280 secs
lola: 32703593 markings, 199333659 edges, 90244 markings/sec, 285 secs
lola: 33148690 markings, 203020850 edges, 89019 markings/sec, 290 secs
lola: 33553438 markings, 206329251 edges, 80950 markings/sec, 295 secs
lola: 33961612 markings, 209738043 edges, 81635 markings/sec, 300 secs
lola: 34396968 markings, 213469846 edges, 87071 markings/sec, 305 secs
lola: 34895665 markings, 217272515 edges, 99739 markings/sec, 310 secs
lola: 35441636 markings, 221088274 edges, 109194 markings/sec, 315 secs
lola: 35937701 markings, 224442980 edges, 99213 markings/sec, 320 secs
lola: 36417642 markings, 227819569 edges, 95988 markings/sec, 325 secs
lola: 36883893 markings, 231037905 edges, 93250 markings/sec, 330 secs
lola: 37347214 markings, 234299680 edges, 92664 markings/sec, 335 secs
lola: 37823714 markings, 237730639 edges, 95300 markings/sec, 340 secs
lola: 38306127 markings, 241045143 edges, 96483 markings/sec, 345 secs
lola: 38764579 markings, 244249281 edges, 91690 markings/sec, 350 secs
lola: 39216533 markings, 247373704 edges, 90391 markings/sec, 355 secs
lola: 39657160 markings, 250553688 edges, 88125 markings/sec, 360 secs
lola: 40095759 markings, 253620551 edges, 87720 markings/sec, 365 secs
lola: 40524288 markings, 256700688 edges, 85706 markings/sec, 370 secs
lola: 40950111 markings, 259749175 edges, 85165 markings/sec, 375 secs
lola: 41402919 markings, 263045913 edges, 90562 markings/sec, 380 secs
lola: 41891637 markings, 266673436 edges, 97744 markings/sec, 385 secs
lola: 42365085 markings, 270290882 edges, 94690 markings/sec, 390 secs
lola: 42844192 markings, 274316740 edges, 95821 markings/sec, 395 secs
lola: 43254124 markings, 277812449 edges, 81986 markings/sec, 400 secs
lola: 43674831 markings, 281481791 edges, 84141 markings/sec, 405 secs
lola: 44083462 markings, 284941374 edges, 81726 markings/sec, 410 secs
lola: 44479731 markings, 288379546 edges, 79254 markings/sec, 415 secs
lola: 44875088 markings, 291830832 edges, 79071 markings/sec, 420 secs
lola: 45294443 markings, 295603219 edges, 83871 markings/sec, 425 secs
lola: 45758542 markings, 299561294 edges, 92820 markings/sec, 430 secs
lola: 46191784 markings, 303117014 edges, 86648 markings/sec, 435 secs
lola: 46629206 markings, 306770925 edges, 87484 markings/sec, 440 secs
lola: 47045237 markings, 310225295 edges, 83206 markings/sec, 445 secs
lola: 47443546 markings, 313582393 edges, 79662 markings/sec, 450 secs
lola: 47856936 markings, 317063417 edges, 82678 markings/sec, 455 secs
lola: 48308342 markings, 321004768 edges, 90281 markings/sec, 460 secs
lola: 48727922 markings, 325022444 edges, 83916 markings/sec, 465 secs
lola: 49102772 markings, 328748056 edges, 74970 markings/sec, 470 secs
lola: 49551032 markings, 332805791 edges, 89652 markings/sec, 475 secs
lola: 50081745 markings, 336530619 edges, 106143 markings/sec, 480 secs
lola: 50574717 markings, 339959235 edges, 98594 markings/sec, 485 secs
lola: 51062342 markings, 343484662 edges, 97525 markings/sec, 490 secs
lola: 51524652 markings, 346688244 edges, 92462 markings/sec, 495 secs
lola: 51986313 markings, 350031163 edges, 92332 markings/sec, 500 secs
lola: 52443149 markings, 353228661 edges, 91367 markings/sec, 505 secs
lola: 52920128 markings, 356744122 edges, 95396 markings/sec, 510 secs
lola: 53365472 markings, 359786890 edges, 89069 markings/sec, 515 secs
lola: 53816239 markings, 363035245 edges, 90153 markings/sec, 520 secs
lola: 54259882 markings, 366110192 edges, 88729 markings/sec, 525 secs
lola: 54671624 markings, 369128865 edges, 82348 markings/sec, 530 secs
lola: 55124594 markings, 372350950 edges, 90594 markings/sec, 535 secs
lola: 55547999 markings, 375404924 edges, 84681 markings/sec, 540 secs
lola: 55998846 markings, 378688774 edges, 90169 markings/sec, 545 secs
lola: 56427415 markings, 381881681 edges, 85714 markings/sec, 550 secs
lola: 56915180 markings, 385497186 edges, 97553 markings/sec, 555 secs
lola: 57382698 markings, 389054044 edges, 93504 markings/sec, 560 secs
lola: 57850930 markings, 392989447 edges, 93646 markings/sec, 565 secs
lola: 58284060 markings, 396723605 edges, 86626 markings/sec, 570 secs
lola: 58694606 markings, 400262878 edges, 82109 markings/sec, 575 secs
lola: 59090180 markings, 403729244 edges, 79115 markings/sec, 580 secs
lola: 59483770 markings, 407121271 edges, 78718 markings/sec, 585 secs
lola: 59874881 markings, 410571905 edges, 78222 markings/sec, 590 secs
lola: 60265064 markings, 414013524 edges, 78037 markings/sec, 595 secs
lola: 60667171 markings, 417675505 edges, 80421 markings/sec, 600 secs
lola: 61143680 markings, 421846825 edges, 95302 markings/sec, 605 secs
lola: 61580132 markings, 425488869 edges, 87290 markings/sec, 610 secs
lola: 62009108 markings, 429096956 edges, 85795 markings/sec, 615 secs
lola: 62437580 markings, 432697534 edges, 85694 markings/sec, 620 secs
lola: 62843709 markings, 436077176 edges, 81226 markings/sec, 625 secs
lola: 63246704 markings, 439506236 edges, 80599 markings/sec, 630 secs
lola: 63630235 markings, 442814867 edges, 76706 markings/sec, 635 secs
lola: 64073105 markings, 446734346 edges, 88574 markings/sec, 640 secs
lola: 64470305 markings, 450551355 edges, 79440 markings/sec, 645 secs
lola: 64843141 markings, 454264613 edges, 74567 markings/sec, 650 secs
lola: 65200859 markings, 457902351 edges, 71544 markings/sec, 655 secs
lola: 65644937 markings, 462030520 edges, 88816 markings/sec, 660 secs
lola: 66070088 markings, 465745025 edges, 85030 markings/sec, 665 secs
lola: 66450562 markings, 469081203 edges, 76095 markings/sec, 670 secs
lola: 66836333 markings, 472504433 edges, 77154 markings/sec, 675 secs
lola: 67227264 markings, 475911305 edges, 78186 markings/sec, 680 secs
lola: 67594590 markings, 479135252 edges, 73465 markings/sec, 685 secs
lola: 67952556 markings, 482341151 edges, 71593 markings/sec, 690 secs
lola: 68310082 markings, 485558992 edges, 71505 markings/sec, 695 secs
lola: 68709438 markings, 489204653 edges, 79871 markings/sec, 700 secs
lola: 69125105 markings, 493239609 edges, 83133 markings/sec, 705 secs
lola: 69496483 markings, 497071676 edges, 74276 markings/sec, 710 secs
lola: 69849248 markings, 500718504 edges, 70553 markings/sec, 715 secs
lola: 70205524 markings, 504460348 edges, 71255 markings/sec, 720 secs
lola: 70614302 markings, 508607946 edges, 81756 markings/sec, 725 secs
lola: 70966636 markings, 512141557 edges, 70467 markings/sec, 730 secs
lola: 71302473 markings, 515540745 edges, 67167 markings/sec, 735 secs
lola: 71681980 markings, 519520991 edges, 75901 markings/sec, 740 secs
lola: 71998063 markings, 523140054 edges, 63217 markings/sec, 745 secs
lola: 72624635 markings, 526801853 edges, 125314 markings/sec, 750 secs
lola: 73279423 markings, 530617146 edges, 130958 markings/sec, 755 secs
lola: 73826197 markings, 534517821 edges, 109355 markings/sec, 760 secs
lola: 74398733 markings, 538160296 edges, 114507 markings/sec, 765 secs
lola: 74928415 markings, 541554573 edges, 105936 markings/sec, 770 secs
lola: 75521308 markings, 545038989 edges, 118579 markings/sec, 775 secs
lola: 76102816 markings, 548989341 edges, 116302 markings/sec, 780 secs
lola: 76670697 markings, 552020769 edges, 113576 markings/sec, 785 secs
lola: 77232662 markings, 555295470 edges, 112393 markings/sec, 790 secs
lola: 77717138 markings, 558715972 edges, 96895 markings/sec, 795 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no yes no yes unknown no no no yes yes unknown no
lola: memory consumption: 5805396 KB
lola: time consumption: 1160 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 803 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(tb16) U ((FIREABLE(t20_23) AND FIREABLE(t2_26)) OR (FIREABLE(t14_12) AND FIREABLE(t2_22)) OR (FIREABLE(t14_15) AND FIREABLE(t18_17) AND FIREABLE(t25_4)))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((FIREABLE(tb16) U ((FIREABLE(t20_23) AND FIREABLE(t2_26)) OR (FIREABLE(t14_12) AND FIREABLE(t2_22)) OR (FIREABLE(t14_15) AND FIREABLE(t18_17) AND FIREABLE(t25_4)))))
lola: processed formula length: 170
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((FIREABLE(t20_23) AND FIREABLE(t2_26)) OR (FIREABLE(t14_12) AND FIREABLE(t2_22)) OR (FIREABLE(t14_15) AND FIREABLE(t18_17) AND FIREABLE(t25_4)))
lola: state equation: Generated DNF with 14 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-CTLFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-CTLFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 332718 markings, 1112381 edges, 66544 markings/sec, 0 secs
lola: sara is running 5 secs || 620474 markings, 2123600 edges, 57551 markings/sec, 5 secs
lola: sara is running 10 secs || 931655 markings, 3180281 edges, 62236 markings/sec, 10 secs
lola: sara is running 15 secs || 1234668 markings, 4264857 edges, 60603 markings/sec, 15 secs
lola: sara is running 20 secs || 1494501 markings, 5276742 edges, 51967 markings/sec, 20 secs
lola: sara is running 25 secs || 1812794 markings, 6323832 edges, 63659 markings/sec, 25 secs
lola: sara is running 30 secs || 2095166 markings, 7349888 edges, 56474 markings/sec, 30 secs
lola: sara is running 35 secs || 2370981 markings, 8394256 edges, 55163 markings/sec, 35 secs
lola: sara is running 40 secs || 2661971 markings, 9421506 edges, 58198 markings/sec, 40 secs
lola: sara is running 45 secs || 2935414 markings, 10510744 edges, 54689 markings/sec, 45 secs
lola: sara is running 50 secs || 3229561 markings, 11546902 edges, 58829 markings/sec, 50 secs
lola: sara is running 55 secs || 3529304 markings, 12584129 edges, 59949 markings/sec, 55 secs
lola: sara is running 60 secs || 3795942 markings, 13570063 edges, 53328 markings/sec, 60 secs
lola: sara is running 65 secs || 4096330 markings, 14606390 edges, 60078 markings/sec, 65 secs
lola: sara is running 70 secs || 4387990 markings, 15670051 edges, 58332 markings/sec, 70 secs
lola: sara is running 75 secs || 4644549 markings, 16713116 edges, 51312 markings/sec, 75 secs
lola: sara is running 80 secs || 4918586 markings, 17677307 edges, 54807 markings/sec, 80 secs
lola: sara is running 85 secs || 5212832 markings, 18748090 edges, 58849 markings/sec, 85 secs
lola: sara is running 90 secs || 5471628 markings, 19784050 edges, 51759 markings/sec, 90 secs
lola: sara is running 95 secs || 5763607 markings, 20866263 edges, 58396 markings/sec, 95 secs
lola: sara is running 100 secs || 6048766 markings, 22011903 edges, 57032 markings/sec, 100 secs
lola: sara is running 105 secs || 6309726 markings, 23085377 edges, 52192 markings/sec, 105 secs
lola: sara is running 110 secs || 6572636 markings, 24128060 edges, 52582 markings/sec, 110 secs
lola: sara is running 115 secs || 6827556 markings, 25185813 edges, 50984 markings/sec, 115 secs
lola: sara is running 120 secs || 7095062 markings, 26326160 edges, 53501 markings/sec, 120 secs
lola: sara is running 125 secs || 7383629 markings, 27782220 edges, 57713 markings/sec, 125 secs
lola: sara is running 130 secs || 7653035 markings, 29193768 edges, 53881 markings/sec, 130 secs
lola: sara is running 135 secs || 7921887 markings, 30581147 edges, 53770 markings/sec, 135 secs
lola: sara is running 140 secs || 8195627 markings, 32038215 edges, 54748 markings/sec, 140 secs
lola: sara is running 145 secs || 8470187 markings, 33431174 edges, 54912 markings/sec, 145 secs
lola: sara is running 150 secs || 8741099 markings, 34841681 edges, 54182 markings/sec, 150 secs
lola: sara is running 155 secs || 9004062 markings, 36252428 edges, 52593 markings/sec, 155 secs
lola: sara is running 160 secs || 9263302 markings, 37660363 edges, 51848 markings/sec, 160 secs
lola: sara is running 165 secs || 9519251 markings, 39103274 edges, 51190 markings/sec, 165 secs
lola: sara is running 170 secs || 9763917 markings, 40490334 edges, 48933 markings/sec, 170 secs
lola: sara is running 175 secs || 10037193 markings, 41897476 edges, 54655 markings/sec, 175 secs
lola: sara is running 180 secs || 10306388 markings, 43295545 edges, 53839 markings/sec, 180 secs
lola: sara is running 185 secs || 10562195 markings, 44641164 edges, 51161 markings/sec, 185 secs
lola: sara is running 190 secs || 10814553 markings, 45990861 edges, 50472 markings/sec, 190 secs
lola: sara is running 195 secs || 11064303 markings, 47370661 edges, 49950 markings/sec, 195 secs
lola: sara is running 200 secs || 11322391 markings, 48693424 edges, 51618 markings/sec, 200 secs
lola: sara is running 205 secs || 11573875 markings, 50031087 edges, 50297 markings/sec, 205 secs
lola: sara is running 210 secs || 11819823 markings, 51376837 edges, 49190 markings/sec, 210 secs
lola: sara is running 215 secs || 12061608 markings, 52703433 edges, 48357 markings/sec, 215 secs
lola: sara is running 220 secs || 12310419 markings, 54095115 edges, 49762 markings/sec, 220 secs
lola: sara is running 225 secs || 12547759 markings, 55454950 edges, 47468 markings/sec, 225 secs
lola: sara is running 230 secs || 12790420 markings, 56913015 edges, 48532 markings/sec, 230 secs
lola: sara is running 235 secs || 13041284 markings, 58631222 edges, 50173 markings/sec, 235 secs
lola: sara is running 240 secs || 13274316 markings, 60241714 edges, 46606 markings/sec, 240 secs
lola: sara is running 245 secs || 13513348 markings, 61925240 edges, 47806 markings/sec, 245 secs
lola: sara is running 250 secs || 13759303 markings, 63632688 edges, 49191 markings/sec, 250 secs
lola: sara is running 255 secs || 14037761 markings, 65113665 edges, 55692 markings/sec, 255 secs
lola: sara is running 260 secs || 14321611 markings, 66601110 edges, 56770 markings/sec, 260 secs
lola: sara is running 265 secs || 14591372 markings, 68049108 edges, 53952 markings/sec, 265 secs
lola: sara is running 270 secs || 14852668 markings, 69456053 edges, 52259 markings/sec, 270 secs
lola: sara is running 275 secs || 15113155 markings, 70922006 edges, 52097 markings/sec, 275 secs
lola: sara is running 280 secs || 15387358 markings, 72348860 edges, 54841 markings/sec, 280 secs
lola: sara is running 285 secs || 15653857 markings, 73778463 edges, 53300 markings/sec, 285 secs
lola: sara is running 290 secs || 15903076 markings, 75183237 edges, 49844 markings/sec, 290 secs
lola: sara is running 295 secs || 16166750 markings, 76622409 edges, 52735 markings/sec, 295 secs
lola: sara is running 300 secs || 16405638 markings, 77968928 edges, 47778 markings/sec, 300 secs
lola: sara is running 305 secs || 16643510 markings, 79356597 edges, 47574 markings/sec, 305 secs
lola: sara is running 310 secs || 16884653 markings, 80774701 edges, 48229 markings/sec, 310 secs
lola: sara is running 315 secs || 17149110 markings, 82517733 edges, 52891 markings/sec, 315 secs
lola: sara is running 320 secs || 17382064 markings, 84140061 edges, 46591 markings/sec, 320 secs
lola: sara is running 325 secs || 17631635 markings, 85878068 edges, 49914 markings/sec, 325 secs
lola: sara is running 330 secs || 17857950 markings, 87491712 edges, 45263 markings/sec, 330 secs
lola: sara is running 335 secs || 18084360 markings, 89149651 edges, 45282 markings/sec, 335 secs
lola: sara is running 340 secs || 18345535 markings, 90976101 edges, 52235 markings/sec, 340 secs
lola: sara is running 345 secs || 18568240 markings, 92549203 edges, 44541 markings/sec, 345 secs
lola: sara is running 350 secs || 18816951 markings, 94300969 edges, 49742 markings/sec, 350 secs
lola: sara is running 355 secs || 19056342 markings, 96001116 edges, 47878 markings/sec, 355 secs
lola: sara is running 360 secs || 19294770 markings, 97747222 edges, 47686 markings/sec, 360 secs
lola: sara is running 365 secs || 19531364 markings, 99587282 edges, 47319 markings/sec, 365 secs
lola: sara is running 370 secs || 19765379 markings, 101562004 edges, 46803 markings/sec, 370 secs
lola: sara is running 375 secs || 20050994 markings, 103069381 edges, 57123 markings/sec, 375 secs
lola: sara is running 380 secs || 20362121 markings, 104350304 edges, 62225 markings/sec, 380 secs
lola: sara is running 385 secs || 20627440 markings, 105812288 edges, 53064 markings/sec, 385 secs
lola: sara is running 390 secs || 20903206 markings, 107009326 edges, 55153 markings/sec, 390 secs
lola: sara is running 395 secs || 21145597 markings, 108059126 edges, 48478 markings/sec, 395 secs
lola: sara is running 400 secs || 21392947 markings, 109355497 edges, 49470 markings/sec, 400 secs
lola: sara is running 405 secs || 21696418 markings, 110441448 edges, 60694 markings/sec, 405 secs
lola: sara is running 410 secs || 21979689 markings, 111709496 edges, 56654 markings/sec, 410 secs
lola: sara is running 415 secs || 22230276 markings, 113116208 edges, 50117 markings/sec, 415 secs
lola: sara is running 420 secs || 22498797 markings, 114310210 edges, 53704 markings/sec, 420 secs
lola: sara is running 425 secs || 22730742 markings, 115411366 edges, 46389 markings/sec, 425 secs
lola: sara is running 430 secs || 22957187 markings, 116578964 edges, 45289 markings/sec, 430 secs
lola: sara is running 435 secs || 23206862 markings, 117706366 edges, 49935 markings/sec, 435 secs
lola: sara is running 440 secs || 23463667 markings, 118689231 edges, 51361 markings/sec, 440 secs
lola: sara is running 445 secs || 23699285 markings, 119613254 edges, 47124 markings/sec, 445 secs
lola: sara is running 450 secs || 23937163 markings, 120776546 edges, 47576 markings/sec, 450 secs
lola: sara is running 455 secs || 24162814 markings, 122036430 edges, 45130 markings/sec, 455 secs
lola: sara is running 460 secs || 24403122 markings, 123111712 edges, 48062 markings/sec, 460 secs
lola: sara is running 465 secs || 24606145 markings, 124074422 edges, 40605 markings/sec, 465 secs
lola: sara is running 470 secs || 24819897 markings, 125043515 edges, 42750 markings/sec, 470 secs
lola: sara is running 475 secs || 25066318 markings, 126284001 edges, 49284 markings/sec, 475 secs
lola: sara is running 480 secs || 25297588 markings, 127212619 edges, 46254 markings/sec, 480 secs
lola: sara is running 485 secs || 25548342 markings, 128327015 edges, 50151 markings/sec, 485 secs
lola: sara is running 490 secs || 25765721 markings, 129531247 edges, 43476 markings/sec, 490 secs
lola: sara is running 495 secs || 25999579 markings, 130782143 edges, 46772 markings/sec, 495 secs
lola: sara is running 500 secs || 26217571 markings, 131857901 edges, 43598 markings/sec, 500 secs
lola: sara is running 505 secs || 26439780 markings, 133009072 edges, 44442 markings/sec, 505 secs
lola: sara is running 510 secs || 26662467 markings, 134100954 edges, 44537 markings/sec, 510 secs
lola: sara is running 515 secs || 26925784 markings, 135147128 edges, 52663 markings/sec, 515 secs
lola: sara is running 520 secs || 27199359 markings, 136169901 edges, 54715 markings/sec, 520 secs
lola: sara is running 525 secs || 27460324 markings, 137427964 edges, 52193 markings/sec, 525 secs
lola: sara is running 530 secs || 27680791 markings, 138634033 edges, 44093 markings/sec, 530 secs
lola: sara is running 535 secs || 27932620 markings, 139763611 edges, 50366 markings/sec, 535 secs
lola: sara is running 540 secs || 28165720 markings, 140837369 edges, 46620 markings/sec, 540 secs
lola: sara is running 545 secs || 28401090 markings, 141995995 edges, 47074 markings/sec, 545 secs
lola: sara is running 550 secs || 28665517 markings, 143145792 edges, 52885 markings/sec, 550 secs
lola: sara is running 555 secs || 28933008 markings, 144213427 edges, 53498 markings/sec, 555 secs
lola: sara is running 560 secs || 29189667 markings, 145543757 edges, 51332 markings/sec, 560 secs
lola: sara is running 565 secs || 29415804 markings, 146784818 edges, 45227 markings/sec, 565 secs
lola: sara is running 570 secs || 29660622 markings, 147963623 edges, 48964 markings/sec, 570 secs
lola: sara is running 575 secs || 29889682 markings, 149123952 edges, 45812 markings/sec, 575 secs
lola: sara is running 580 secs || 30118644 markings, 150335734 edges, 45792 markings/sec, 580 secs
lola: sara is running 585 secs || 30347418 markings, 151428535 edges, 45755 markings/sec, 585 secs
lola: sara is running 590 secs || 30578479 markings, 152443842 edges, 46212 markings/sec, 590 secs
lola: sara is running 595 secs || 30821266 markings, 153396003 edges, 48557 markings/sec, 595 secs
lola: sara is running 600 secs || 31037782 markings, 154298965 edges, 43303 markings/sec, 600 secs
lola: sara is running 605 secs || 31272123 markings, 155512202 edges, 46868 markings/sec, 605 secs
lola: sara is running 610 secs || 31488414 markings, 156751674 edges, 43258 markings/sec, 610 secs
lola: sara is running 615 secs || 31720265 markings, 157835754 edges, 46370 markings/sec, 615 secs
lola: sara is running 620 secs || 31923520 markings, 158897552 edges, 40651 markings/sec, 620 secs
lola: sara is running 625 secs || 32147502 markings, 159891142 edges, 44796 markings/sec, 625 secs
lola: sara is running 630 secs || 32351995 markings, 161119602 edges, 40899 markings/sec, 630 secs
lola: sara is running 635 secs || 32592480 markings, 162129928 edges, 48097 markings/sec, 635 secs
lola: sara is running 640 secs || 32808480 markings, 163089038 edges, 43200 markings/sec, 640 secs
lola: sara is running 645 secs || 33048607 markings, 164277516 edges, 48025 markings/sec, 645 secs
lola: sara is running 650 secs || 33253920 markings, 165481363 edges, 41063 markings/sec, 650 secs
lola: sara is running 655 secs || 33473567 markings, 166725422 edges, 43929 markings/sec, 655 secs
lola: sara is running 660 secs || 33696031 markings, 167872161 edges, 44493 markings/sec, 660 secs
lola: sara is running 665 secs || 33929779 markings, 169036158 edges, 46750 markings/sec, 665 secs
lola: sara is running 670 secs || 34142491 markings, 170135133 edges, 42542 markings/sec, 670 secs
lola: sara is running 675 secs || 34385143 markings, 171177248 edges, 48530 markings/sec, 675 secs
lola: sara is running 680 secs || 34603684 markings, 172472035 edges, 43708 markings/sec, 680 secs
lola: sara is running 685 secs || 34821385 markings, 173631226 edges, 43540 markings/sec, 685 secs
lola: sara is running 690 secs || 35039493 markings, 174733293 edges, 43622 markings/sec, 690 secs
lola: sara is running 695 secs || 35262106 markings, 175863465 edges, 44523 markings/sec, 695 secs
lola: sara is running 700 secs || 35475568 markings, 176997952 edges, 42692 markings/sec, 700 secs
lola: sara is running 705 secs || 35689479 markings, 178089693 edges, 42782 markings/sec, 705 secs
lola: sara is running 710 secs || 35951374 markings, 179464574 edges, 52379 markings/sec, 710 secs
lola: sara is running 715 secs || 36198842 markings, 181065450 edges, 49494 markings/sec, 715 secs
lola: sara is running 720 secs || 36446558 markings, 182522906 edges, 49543 markings/sec, 720 secs
lola: sara is running 725 secs || 36707602 markings, 184190588 edges, 52209 markings/sec, 725 secs
lola: sara is running 730 secs || 36933323 markings, 185651584 edges, 45144 markings/sec, 730 secs
lola: sara is running 735 secs || 37150005 markings, 186899716 edges, 43336 markings/sec, 735 secs
lola: sara is running 740 secs || 37369488 markings, 188257211 edges, 43897 markings/sec, 740 secs
lola: sara is running 745 secs || 37577832 markings, 189620051 edges, 41669 markings/sec, 745 secs
lola: sara is running 750 secs || 37796884 markings, 190986101 edges, 43810 markings/sec, 750 secs
lola: sara is running 755 secs || 37998489 markings, 192221336 edges, 40321 markings/sec, 755 secs
lola: sara is running 760 secs || 38210335 markings, 193674699 edges, 42369 markings/sec, 760 secs
lola: sara is running 765 secs || 38420657 markings, 195047996 edges, 42064 markings/sec, 765 secs
lola: sara is running 770 secs || 38674832 markings, 196488463 edges, 50835 markings/sec, 770 secs
lola: sara is running 775 secs || 38903468 markings, 197996314 edges, 45727 markings/sec, 775 secs
lola: sara is running 780 secs || 39130937 markings, 199423646 edges, 45494 markings/sec, 780 secs
lola: sara is running 785 secs || 39380091 markings, 200965591 edges, 49831 markings/sec, 785 secs
lola: sara is running 790 secs || 39587826 markings, 202370805 edges, 41547 markings/sec, 790 secs
lola: sara is running 795 secs || 39801917 markings, 203798658 edges, 42818 markings/sec, 795 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no yes no yes unknown no no no yes yes unknown no
lola: memory consumption: 1417628 KB
lola: time consumption: 1964 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 803 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((A (G (FIREABLE(t3_7))) AND FIREABLE(t26_5)))) OR FIREABLE(t5_9))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 803 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t5_9)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t5_9)
lola: processed formula length: 14
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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 15 will run for 1606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (G (FIREABLE(t3_7))) AND FIREABLE(t26_5))))
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:297
lola: processed formula: A(TRUE U (NOT(E(TRUE U NOT FIREABLE(t3_7))) AND FIREABLE(t26_5)))
lola: processed formula length: 65
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DNAwalker-PT-13ringRLLarge-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((FIREABLE(t25_22) OR FIREABLE(t15_10) OR NOT FIREABLE(tb15)) AND E (G (FIREABLE(t16_22)))) OR A (F ((((FIREABLE(t3_1) AND FIREABLE(t1_18)) OR FIREABLE(t7_5)) AND A (G (FIREABLE(t19_18)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t25_22) OR FIREABLE(t15_10) OR NOT FIREABLE(tb15))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t25_22) OR FIREABLE(t15_10) OR NOT FIREABLE(tb15))
lola: processed formula length: 62
lola: 22 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2_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(t2_1)))
lola: processed formula length: 22
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-13ringRLLarge-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(t2_1)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-CTLFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-CTLFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 367327 markings, 1502473 edges, 73465 markings/sec, 0 secs
lola: sara is running 5 secs || 718727 markings, 3205781 edges, 70280 markings/sec, 5 secs
lola: sara is running 10 secs || 1079597 markings, 4965048 edges, 72174 markings/sec, 10 secs
lola: sara is running 15 secs || 1434323 markings, 6709888 edges, 70945 markings/sec, 15 secs
lola: sara is running 20 secs || 1777251 markings, 8460505 edges, 68586 markings/sec, 20 secs
lola: sara is running 25 secs || 2126936 markings, 10068263 edges, 69937 markings/sec, 25 secs
lola: sara is running 30 secs || 2466490 markings, 11688647 edges, 67911 markings/sec, 30 secs
lola: sara is running 35 secs || 2811997 markings, 13125592 edges, 69101 markings/sec, 35 secs
lola: sara is running 40 secs || 3136664 markings, 14832327 edges, 64933 markings/sec, 40 secs
lola: sara is running 45 secs || 3456197 markings, 16723069 edges, 63907 markings/sec, 45 secs
lola: sara is running 50 secs || 3776217 markings, 18479591 edges, 64004 markings/sec, 50 secs
lola: sara is running 55 secs || 4079375 markings, 20557464 edges, 60632 markings/sec, 55 secs
lola: sara is running 60 secs || 4444027 markings, 22221063 edges, 72930 markings/sec, 60 secs
lola: sara is running 65 secs || 4798340 markings, 23999621 edges, 70863 markings/sec, 65 secs
lola: sara is running 70 secs || 5142423 markings, 25735365 edges, 68817 markings/sec, 70 secs
lola: sara is running 75 secs || 5477835 markings, 27369733 edges, 67082 markings/sec, 75 secs
lola: sara is running 80 secs || 5809658 markings, 28988095 edges, 66365 markings/sec, 80 secs
lola: sara is running 85 secs || 6117673 markings, 30887100 edges, 61603 markings/sec, 85 secs
lola: sara is running 90 secs || 6474399 markings, 32671636 edges, 71345 markings/sec, 90 secs
lola: sara is running 95 secs || 6817471 markings, 34387083 edges, 68614 markings/sec, 95 secs
lola: sara is running 100 secs || 7140064 markings, 36100264 edges, 64519 markings/sec, 100 secs
lola: sara is running 105 secs || 7464281 markings, 37822182 edges, 64843 markings/sec, 105 secs
lola: sara is running 110 secs || 7747759 markings, 39407225 edges, 56696 markings/sec, 110 secs
lola: sara is running 115 secs || 8024585 markings, 40904481 edges, 55365 markings/sec, 115 secs
lola: sara is running 120 secs || 8279220 markings, 42557260 edges, 50927 markings/sec, 120 secs
lola: sara is running 125 secs || 8529866 markings, 44306012 edges, 50129 markings/sec, 125 secs
lola: sara is running 130 secs || 8788720 markings, 46011736 edges, 51771 markings/sec, 130 secs
lola: sara is running 135 secs || 9069811 markings, 47868352 edges, 56218 markings/sec, 135 secs
lola: sara is running 140 secs || 9321900 markings, 49620501 edges, 50418 markings/sec, 140 secs
lola: sara is running 145 secs || 9598716 markings, 51436992 edges, 55363 markings/sec, 145 secs
lola: sara is running 150 secs || 9907707 markings, 53128174 edges, 61798 markings/sec, 150 secs
lola: sara is running 155 secs || 10197875 markings, 54956637 edges, 58034 markings/sec, 155 secs
lola: sara is running 160 secs || 10486927 markings, 56830691 edges, 57810 markings/sec, 160 secs
lola: sara is running 165 secs || 10758120 markings, 58626925 edges, 54239 markings/sec, 165 secs
lola: sara is running 170 secs || 11031966 markings, 60491282 edges, 54769 markings/sec, 170 secs
lola: sara is running 175 secs || 11315383 markings, 62243899 edges, 56683 markings/sec, 175 secs
lola: sara is running 180 secs || 11600980 markings, 63967582 edges, 57119 markings/sec, 180 secs
lola: sara is running 185 secs || 11864936 markings, 65825128 edges, 52791 markings/sec, 185 secs
lola: sara is running 190 secs || 12140292 markings, 67582743 edges, 55071 markings/sec, 190 secs
lola: sara is running 195 secs || 12430621 markings, 69303892 edges, 58066 markings/sec, 195 secs
lola: sara is running 200 secs || 12710081 markings, 71038491 edges, 55892 markings/sec, 200 secs
lola: sara is running 205 secs || 12985194 markings, 72892035 edges, 55023 markings/sec, 205 secs
lola: sara is running 210 secs || 13256949 markings, 74651420 edges, 54351 markings/sec, 210 secs
lola: sara is running 215 secs || 13540706 markings, 76321208 edges, 56751 markings/sec, 215 secs
lola: sara is running 220 secs || 13806690 markings, 78057672 edges, 53197 markings/sec, 220 secs
lola: sara is running 225 secs || 14072523 markings, 79925989 edges, 53167 markings/sec, 225 secs
lola: sara is running 230 secs || 14350541 markings, 81692244 edges, 55604 markings/sec, 230 secs
lola: sara is running 235 secs || 14619255 markings, 83595813 edges, 53743 markings/sec, 235 secs
lola: sara is running 240 secs || 14889966 markings, 85041799 edges, 54142 markings/sec, 240 secs
lola: sara is running 245 secs || 15164093 markings, 86820179 edges, 54825 markings/sec, 245 secs
lola: sara is running 250 secs || 15466305 markings, 88426030 edges, 60442 markings/sec, 250 secs
lola: sara is running 255 secs || 15745561 markings, 90055748 edges, 55851 markings/sec, 255 secs
lola: sara is running 260 secs || 16021176 markings, 91867701 edges, 55123 markings/sec, 260 secs
lola: sara is running 265 secs || 16299920 markings, 93491794 edges, 55749 markings/sec, 265 secs
lola: sara is running 270 secs || 16601167 markings, 94903604 edges, 60249 markings/sec, 270 secs
lola: sara is running 275 secs || 16911744 markings, 96208434 edges, 62115 markings/sec, 275 secs
lola: sara is running 280 secs || 17245218 markings, 97541086 edges, 66695 markings/sec, 280 secs
lola: sara is running 285 secs || 17565593 markings, 99088507 edges, 64075 markings/sec, 285 secs
lola: sara is running 290 secs || 17857937 markings, 100656010 edges, 58469 markings/sec, 290 secs
lola: sara is running 295 secs || 18157042 markings, 102365510 edges, 59821 markings/sec, 295 secs
lola: sara is running 300 secs || 18431105 markings, 103983679 edges, 54813 markings/sec, 300 secs
lola: sara is running 305 secs || 18730180 markings, 105723358 edges, 59815 markings/sec, 305 secs
lola: sara is running 310 secs || 19005270 markings, 107570700 edges, 55018 markings/sec, 310 secs
lola: sara is running 315 secs || 19291423 markings, 109184502 edges, 57231 markings/sec, 315 secs
lola: sara is running 320 secs || 19587165 markings, 110988211 edges, 59148 markings/sec, 320 secs
lola: sara is running 325 secs || 19863880 markings, 112904344 edges, 55343 markings/sec, 325 secs
lola: sara is running 330 secs || 20132292 markings, 114712154 edges, 53682 markings/sec, 330 secs
lola: sara is running 335 secs || 20423444 markings, 116320800 edges, 58230 markings/sec, 335 secs
lola: sara is running 340 secs || 20705184 markings, 118129446 edges, 56348 markings/sec, 340 secs
lola: sara is running 345 secs || 20973075 markings, 120014690 edges, 53578 markings/sec, 345 secs
lola: sara is running 350 secs || 21239692 markings, 122003479 edges, 53323 markings/sec, 350 secs
lola: sara is running 355 secs || 21517512 markings, 124052227 edges, 55564 markings/sec, 355 secs
lola: sara is running 360 secs || 21763919 markings, 126071328 edges, 49281 markings/sec, 360 secs
lola: sara is running 365 secs || 22094442 markings, 127727261 edges, 66105 markings/sec, 365 secs
lola: sara is running 370 secs || 22436676 markings, 129292514 edges, 68447 markings/sec, 370 secs
lola: sara is running 375 secs || 22759093 markings, 131155563 edges, 64483 markings/sec, 375 secs
lola: sara is running 380 secs || 23107546 markings, 132787864 edges, 69691 markings/sec, 380 secs
lola: sara is running 385 secs || 23445371 markings, 134577459 edges, 67565 markings/sec, 385 secs
lola: sara is running 390 secs || 23771467 markings, 136343809 edges, 65219 markings/sec, 390 secs
lola: sara is running 395 secs || 24108023 markings, 137923905 edges, 67311 markings/sec, 395 secs
lola: sara is running 400 secs || 24440283 markings, 139528950 edges, 66452 markings/sec, 400 secs
lola: sara is running 405 secs || 24758631 markings, 141102697 edges, 63670 markings/sec, 405 secs
lola: sara is running 410 secs || 25085349 markings, 142608128 edges, 65344 markings/sec, 410 secs
lola: sara is running 415 secs || 25386454 markings, 144403219 edges, 60221 markings/sec, 415 secs
lola: sara is running 420 secs || 25690194 markings, 146261081 edges, 60748 markings/sec, 420 secs
lola: sara is running 425 secs || 25992992 markings, 148006140 edges, 60560 markings/sec, 425 secs
lola: sara is running 430 secs || 26278471 markings, 150010045 edges, 57096 markings/sec, 430 secs
lola: sara is running 435 secs || 26594123 markings, 151858957 edges, 63130 markings/sec, 435 secs
lola: sara is running 440 secs || 26911880 markings, 153587763 edges, 63551 markings/sec, 440 secs
lola: sara is running 445 secs || 27233414 markings, 155344953 edges, 64307 markings/sec, 445 secs
lola: sara is running 450 secs || 27542031 markings, 157144553 edges, 61723 markings/sec, 450 secs
lola: sara is running 455 secs || 27862332 markings, 158791581 edges, 64060 markings/sec, 455 secs
lola: sara is running 460 secs || 28174130 markings, 160428129 edges, 62360 markings/sec, 460 secs
lola: sara is running 465 secs || 28477371 markings, 162145728 edges, 60648 markings/sec, 465 secs
lola: sara is running 470 secs || 28766828 markings, 164021263 edges, 57891 markings/sec, 470 secs
lola: sara is running 475 secs || 29063719 markings, 165950018 edges, 59378 markings/sec, 475 secs
lola: sara is running 480 secs || 29380368 markings, 167696961 edges, 63330 markings/sec, 480 secs
lola: sara is running 485 secs || 29692595 markings, 169450976 edges, 62445 markings/sec, 485 secs
lola: sara is running 490 secs || 30000700 markings, 171130423 edges, 61621 markings/sec, 490 secs
lola: sara is running 495 secs || 30292369 markings, 173044951 edges, 58334 markings/sec, 495 secs
lola: sara is running 500 secs || 30597553 markings, 174685570 edges, 61037 markings/sec, 500 secs
lola: sara is running 505 secs || 30870735 markings, 176289597 edges, 54636 markings/sec, 505 secs
lola: sara is running 510 secs || 31141818 markings, 177808120 edges, 54217 markings/sec, 510 secs
lola: sara is running 515 secs || 31390314 markings, 179598048 edges, 49699 markings/sec, 515 secs
lola: sara is running 520 secs || 31640027 markings, 181361619 edges, 49943 markings/sec, 520 secs
lola: sara is running 525 secs || 31887885 markings, 183150750 edges, 49572 markings/sec, 525 secs
lola: sara is running 530 secs || 32150943 markings, 184974005 edges, 52612 markings/sec, 530 secs
lola: sara is running 535 secs || 32397264 markings, 186795486 edges, 49264 markings/sec, 535 secs
lola: sara is running 540 secs || 32654938 markings, 188738747 edges, 51535 markings/sec, 540 secs
lola: sara is running 545 secs || 32989612 markings, 190349452 edges, 66935 markings/sec, 545 secs
lola: sara is running 550 secs || 33315194 markings, 191914170 edges, 65116 markings/sec, 550 secs
lola: sara is running 555 secs || 33620485 markings, 193744272 edges, 61058 markings/sec, 555 secs
lola: sara is running 560 secs || 33921190 markings, 195591531 edges, 60141 markings/sec, 560 secs
lola: sara is running 565 secs || 34241791 markings, 197244681 edges, 64120 markings/sec, 565 secs
lola: sara is running 570 secs || 34550916 markings, 199046987 edges, 61825 markings/sec, 570 secs
lola: sara is running 575 secs || 34852368 markings, 200819201 edges, 60290 markings/sec, 575 secs
lola: sara is running 580 secs || 35153763 markings, 202541868 edges, 60279 markings/sec, 580 secs
lola: sara is running 585 secs || 35446346 markings, 204332565 edges, 58517 markings/sec, 585 secs
lola: sara is running 590 secs || 35734764 markings, 205775976 edges, 57684 markings/sec, 590 secs
lola: sara is running 595 secs || 36050446 markings, 207375853 edges, 63136 markings/sec, 595 secs
lola: sara is running 600 secs || 36348135 markings, 209029364 edges, 59538 markings/sec, 600 secs
lola: sara is running 605 secs || 36658046 markings, 210472607 edges, 61982 markings/sec, 605 secs
lola: sara is running 610 secs || 36957632 markings, 212181063 edges, 59917 markings/sec, 610 secs
lola: sara is running 615 secs || 37241834 markings, 214003133 edges, 56840 markings/sec, 615 secs
lola: sara is running 620 secs || 37532318 markings, 215840224 edges, 58097 markings/sec, 620 secs
lola: sara is running 625 secs || 37814611 markings, 217749800 edges, 56459 markings/sec, 625 secs
lola: sara is running 630 secs || 38098789 markings, 219541018 edges, 56836 markings/sec, 630 secs
lola: sara is running 635 secs || 38367355 markings, 221560407 edges, 53713 markings/sec, 635 secs
lola: sara is running 640 secs || 38640475 markings, 223630192 edges, 54624 markings/sec, 640 secs
lola: sara is running 645 secs || 38938078 markings, 225157465 edges, 59521 markings/sec, 645 secs
lola: sara is running 650 secs || 39221502 markings, 226715489 edges, 56685 markings/sec, 650 secs
lola: sara is running 655 secs || 39488028 markings, 228153322 edges, 53305 markings/sec, 655 secs
lola: sara is running 660 secs || 39775636 markings, 229622854 edges, 57522 markings/sec, 660 secs
lola: sara is running 665 secs || 40065987 markings, 231023114 edges, 58070 markings/sec, 665 secs
lola: sara is running 670 secs || 40324140 markings, 232680220 edges, 51631 markings/sec, 670 secs
lola: sara is running 675 secs || 40585633 markings, 234430290 edges, 52299 markings/sec, 675 secs
lola: sara is running 680 secs || 40844620 markings, 236166048 edges, 51797 markings/sec, 680 secs
lola: sara is running 685 secs || 41096978 markings, 237947157 edges, 50472 markings/sec, 685 secs
lola: sara is running 690 secs || 41366987 markings, 239640960 edges, 54002 markings/sec, 690 secs
lola: sara is running 695 secs || 41642011 markings, 241275516 edges, 55005 markings/sec, 695 secs
lola: sara is running 700 secs || 41894665 markings, 243155951 edges, 50531 markings/sec, 700 secs
lola: sara is running 705 secs || 42156723 markings, 244998416 edges, 52412 markings/sec, 705 secs
lola: sara is running 710 secs || 42414074 markings, 246728635 edges, 51470 markings/sec, 710 secs
lola: sara is running 715 secs || 42673752 markings, 248446964 edges, 51936 markings/sec, 715 secs
lola: sara is running 720 secs || 42918287 markings, 250380278 edges, 48907 markings/sec, 720 secs
lola: sara is running 725 secs || 43171586 markings, 252300551 edges, 50660 markings/sec, 725 secs
lola: sara is running 730 secs || 43454945 markings, 254248958 edges, 56672 markings/sec, 730 secs
lola: sara is running 735 secs || 43771052 markings, 256151994 edges, 63221 markings/sec, 735 secs
lola: sara is running 740 secs || 44086311 markings, 257967510 edges, 63052 markings/sec, 740 secs
lola: sara is running 745 secs || 44402781 markings, 259734448 edges, 63294 markings/sec, 745 secs
lola: sara is running 750 secs || 44698539 markings, 261526713 edges, 59152 markings/sec, 750 secs
lola: sara is running 755 secs || 45001042 markings, 263152206 edges, 60501 markings/sec, 755 secs
lola: sara is running 760 secs || 45299931 markings, 264740248 edges, 59778 markings/sec, 760 secs
lola: sara is running 765 secs || 45588219 markings, 266479209 edges, 57658 markings/sec, 765 secs
lola: sara is running 770 secs || 45863484 markings, 268348576 edges, 55053 markings/sec, 770 secs
lola: sara is running 775 secs || 46171579 markings, 270131063 edges, 61619 markings/sec, 775 secs
lola: sara is running 780 secs || 46474202 markings, 271853394 edges, 60525 markings/sec, 780 secs
lola: sara is running 785 secs || 46778294 markings, 273613156 edges, 60818 markings/sec, 785 secs
lola: sara is running 790 secs || 47061657 markings, 275252299 edges, 56673 markings/sec, 790 secs
lola: sara is running 795 secs || 47333482 markings, 277065933 edges, 54365 markings/sec, 795 secs
lola: sara is running 800 secs || 47637505 markings, 278563060 edges, 60805 markings/sec, 800 secs
lola: sara is running 805 secs || 47914837 markings, 280320786 edges, 55466 markings/sec, 805 secs
lola: sara is running 810 secs || 48245094 markings, 281779191 edges, 66051 markings/sec, 810 secs
lola: sara is running 815 secs || 48550366 markings, 283321119 edges, 61054 markings/sec, 815 secs
lola: sara is running 820 secs || 48841678 markings, 284852412 edges, 58262 markings/sec, 820 secs
lola: sara is running 825 secs || 49137496 markings, 286327883 edges, 59164 markings/sec, 825 secs
lola: sara is running 830 secs || 49423429 markings, 287913764 edges, 57187 markings/sec, 830 secs
lola: sara is running 835 secs || 49702094 markings, 289536160 edges, 55733 markings/sec, 835 secs
lola: sara is running 840 secs || 49977229 markings, 291056008 edges, 55027 markings/sec, 840 secs
lola: sara is running 845 secs || 50257574 markings, 292591161 edges, 56069 markings/sec, 845 secs
lola: sara is running 850 secs || 50545987 markings, 294188733 edges, 57683 markings/sec, 850 secs
lola: sara is running 855 secs || 50830458 markings, 295644730 edges, 56894 markings/sec, 855 secs
lola: sara is running 860 secs || 51118902 markings, 297133107 edges, 57689 markings/sec, 860 secs
lola: sara is running 865 secs || 51413857 markings, 298572433 edges, 58991 markings/sec, 865 secs
lola: sara is running 870 secs || 51719019 markings, 299987212 edges, 61032 markings/sec, 870 secs
lola: sara is running 875 secs || 52004188 markings, 301541727 edges, 57034 markings/sec, 875 secs
lola: sara is running 880 secs || 52287065 markings, 303270814 edges, 56575 markings/sec, 880 secs
lola: sara is running 885 secs || 52557848 markings, 305072545 edges, 54157 markings/sec, 885 secs
lola: sara is running 890 secs || 52848208 markings, 306744749 edges, 58072 markings/sec, 890 secs
lola: sara is running 895 secs || 53127681 markings, 308545218 edges, 55895 markings/sec, 895 secs
lola: sara is running 900 secs || 53406722 markings, 310344883 edges, 55808 markings/sec, 900 secs
lola: sara is running 905 secs || 53680403 markings, 312095019 edges, 54736 markings/sec, 905 secs
lola: sara is running 910 secs || 53952639 markings, 313846722 edges, 54447 markings/sec, 910 secs
lola: sara is running 915 secs || 54226417 markings, 315573856 edges, 54756 markings/sec, 915 secs
lola: sara is running 920 secs || 54504986 markings, 317264377 edges, 55714 markings/sec, 920 secs
lola: sara is running 925 secs || 54768638 markings, 319153323 edges, 52730 markings/sec, 925 secs
lola: sara is running 930 secs || 55021877 markings, 321093021 edges, 50648 markings/sec, 930 secs
lola: sara is running 935 secs || 55289456 markings, 322997199 edges, 53516 markings/sec, 935 secs
lola: sara is running 940 secs || 55561055 markings, 324853801 edges, 54320 markings/sec, 940 secs
lola: sara is running 945 secs || 55828390 markings, 326454847 edges, 53467 markings/sec, 945 secs
lola: sara is running 950 secs || 56083713 markings, 328091133 edges, 51065 markings/sec, 950 secs
lola: sara is running 955 secs || 56339946 markings, 329673535 edges, 51247 markings/sec, 955 secs
lola: sara is running 960 secs || 56603396 markings, 331234065 edges, 52690 markings/sec, 960 secs
lola: sara is running 965 secs || 56842013 markings, 333002316 edges, 47723 markings/sec, 965 secs
lola: sara is running 970 secs || 57079364 markings, 334763051 edges, 47470 markings/sec, 970 secs
lola: sara is running 975 secs || 57319043 markings, 336489390 edges, 47936 markings/sec, 975 secs
lola: sara is running 980 secs || 57547067 markings, 338230311 edges, 45605 markings/sec, 980 secs
lola: sara is running 985 secs || 57765691 markings, 340145368 edges, 43725 markings/sec, 985 secs
lola: sara is running 990 secs || 58022376 markings, 342081969 edges, 51337 markings/sec, 990 secs
lola: sara is running 995 secs || 58314857 markings, 343948815 edges, 58496 markings/sec, 995 secs
lola: sara is running 1000 secs || 58603617 markings, 345883537 edges, 57752 markings/sec, 1000 secs
lola: sara is running 1005 secs || 58898719 markings, 347699605 edges, 59020 markings/sec, 1005 secs
lola: sara is running 1010 secs || 59191470 markings, 349530158 edges, 58550 markings/sec, 1010 secs
lola: sara is running 1015 secs || 59474293 markings, 351219744 edges, 56565 markings/sec, 1015 secs
lola: sara is running 1020 secs || 59745041 markings, 353006354 edges, 54150 markings/sec, 1020 secs
lola: sara is running 1025 secs || 60006396 markings, 354916866 edges, 52271 markings/sec, 1025 secs
lola: sara is running 1030 secs || 60291751 markings, 356423280 edges, 57071 markings/sec, 1030 secs
lola: sara is running 1035 secs || 60579828 markings, 357876925 edges, 57615 markings/sec, 1035 secs
lola: sara is running 1040 secs || 60845546 markings, 359570663 edges, 53144 markings/sec, 1040 secs
lola: sara is running 1045 secs || 61116336 markings, 361288319 edges, 54158 markings/sec, 1045 secs
lola: sara is running 1050 secs || 61374906 markings, 363089662 edges, 51714 markings/sec, 1050 secs
lola: sara is running 1055 secs || 61626565 markings, 364907825 edges, 50332 markings/sec, 1055 secs
lola: sara is running 1060 secs || 61879774 markings, 366819658 edges, 50642 markings/sec, 1060 secs
lola: sara is running 1065 secs || 62139487 markings, 368659779 edges, 51943 markings/sec, 1065 secs
lola: sara is running 1070 secs || 62425159 markings, 370480509 edges, 57134 markings/sec, 1070 secs
lola: sara is running 1075 secs || 62706291 markings, 372368003 edges, 56226 markings/sec, 1075 secs
lola: sara is running 1080 secs || 62993475 markings, 374113559 edges, 57437 markings/sec, 1080 secs
lola: sara is running 1085 secs || 63274600 markings, 375948622 edges, 56225 markings/sec, 1085 secs
lola: sara is running 1090 secs || 63552826 markings, 377582076 edges, 55645 markings/sec, 1090 secs
lola: sara is running 1095 secs || 63818796 markings, 379239378 edges, 53194 markings/sec, 1095 secs
lola: sara is running 1100 secs || 64080526 markings, 381046623 edges, 52346 markings/sec, 1100 secs
lola: sara is running 1105 secs || 64336506 markings, 382797748 edges, 51196 markings/sec, 1105 secs
lola: sara is running 1110 secs || 64630162 markings, 384271362 edges, 58731 markings/sec, 1110 secs
lola: sara is running 1115 secs || 64896235 markings, 385964018 edges, 53215 markings/sec, 1115 secs
lola: sara is running 1120 secs || 65160297 markings, 387690316 edges, 52812 markings/sec, 1120 secs
lola: sara is running 1125 secs || 65414042 markings, 389438769 edges, 50749 markings/sec, 1125 secs
lola: sara is running 1130 secs || 65677329 markings, 391035477 edges, 52657 markings/sec, 1130 secs
lola: sara is running 1135 secs || 65921486 markings, 392664028 edges, 48831 markings/sec, 1135 secs
lola: sara is running 1140 secs || 66174699 markings, 394198624 edges, 50643 markings/sec, 1140 secs
lola: sara is running 1145 secs || 66412972 markings, 395937156 edges, 47655 markings/sec, 1145 secs
lola: sara is running 1150 secs || 66653457 markings, 397732559 edges, 48097 markings/sec, 1150 secs
lola: sara is running 1155 secs || 66884908 markings, 399488141 edges, 46290 markings/sec, 1155 secs
lola: sara is running 1160 secs || 67114812 markings, 401411216 edges, 45981 markings/sec, 1160 secs
lola: sara is running 1165 secs || 67377363 markings, 403148648 edges, 52510 markings/sec, 1165 secs
lola: sara is running 1170 secs || 67619543 markings, 405026588 edges, 48436 markings/sec, 1170 secs
lola: sara is running 1175 secs || 67855754 markings, 406984202 edges, 47242 markings/sec, 1175 secs
lola: sara is running 1180 secs || 68101846 markings, 408874310 edges, 49218 markings/sec, 1180 secs
lola: sara is running 1185 secs || 68381675 markings, 410680023 edges, 55966 markings/sec, 1185 secs
lola: sara is running 1190 secs || 68654353 markings, 412567344 edges, 54536 markings/sec, 1190 secs
lola: sara is running 1195 secs || 68922903 markings, 414469459 edges, 53710 markings/sec, 1195 secs
lola: sara is running 1200 secs || 69203478 markings, 416177667 edges, 56115 markings/sec, 1200 secs
lola: sara is running 1205 secs || 69467780 markings, 418146661 edges, 52860 markings/sec, 1205 secs
lola: sara is running 1210 secs || 69750347 markings, 419827918 edges, 56513 markings/sec, 1210 secs
lola: sara is running 1215 secs || 70015394 markings, 421490666 edges, 53009 markings/sec, 1215 secs
lola: sara is running 1220 secs || 70274457 markings, 423158723 edges, 51813 markings/sec, 1220 secs
lola: sara is running 1225 secs || 70534001 markings, 424943196 edges, 51909 markings/sec, 1225 secs
lola: sara is running 1230 secs || 70779694 markings, 426813925 edges, 49139 markings/sec, 1230 secs
lola: sara is running 1235 secs || 71063660 markings, 428372039 edges, 56793 markings/sec, 1235 secs
lola: sara is running 1240 secs || 71344621 markings, 429851070 edges, 56192 markings/sec, 1240 secs
lola: sara is running 1245 secs || 71626573 markings, 431303799 edges, 56390 markings/sec, 1245 secs
lola: sara is running 1250 secs || 71885717 markings, 433006947 edges, 51829 markings/sec, 1250 secs
lola: sara is running 1255 secs || 72137269 markings, 434718985 edges, 50310 markings/sec, 1255 secs
lola: sara is running 1260 secs || 72406907 markings, 436402682 edges, 53928 markings/sec, 1260 secs
lola: sara is running 1265 secs || 72654074 markings, 438240737 edges, 49433 markings/sec, 1265 secs
lola: sara is running 1270 secs || 72913925 markings, 439908803 edges, 51970 markings/sec, 1270 secs
lola: sara is running 1275 secs || 73150480 markings, 441781401 edges, 47311 markings/sec, 1275 secs
lola: sara is running 1280 secs || 73403308 markings, 443611284 edges, 50566 markings/sec, 1280 secs
lola: sara is running 1285 secs || 73648611 markings, 445294419 edges, 49061 markings/sec, 1285 secs
lola: sara is running 1290 secs || 73880963 markings, 447121511 edges, 46470 markings/sec, 1290 secs
lola: sara is running 1295 secs || 74119732 markings, 449030384 edges, 47754 markings/sec, 1295 secs
lola: sara is running 1300 secs || 74373790 markings, 450866359 edges, 50812 markings/sec, 1300 secs
lola: sara is running 1305 secs || 74635713 markings, 452672477 edges, 52385 markings/sec, 1305 secs
lola: sara is running 1310 secs || 74901710 markings, 454459542 edges, 53199 markings/sec, 1310 secs
lola: sara is running 1315 secs || 75175571 markings, 456295375 edges, 54772 markings/sec, 1315 secs
lola: sara is running 1320 secs || 75444832 markings, 458128462 edges, 53852 markings/sec, 1320 secs
lola: sara is running 1325 secs || 75723473 markings, 459835206 edges, 55728 markings/sec, 1325 secs
lola: sara is running 1330 secs || 75960371 markings, 461540042 edges, 47380 markings/sec, 1330 secs
lola: sara is running 1335 secs || 76218560 markings, 463264054 edges, 51638 markings/sec, 1335 secs
lola: sara is running 1340 secs || 76475726 markings, 464781260 edges, 51433 markings/sec, 1340 secs
lola: sara is running 1345 secs || 76724463 markings, 466342557 edges, 49747 markings/sec, 1345 secs
lola: sara is running 1350 secs || 76981502 markings, 467904720 edges, 51408 markings/sec, 1350 secs
lola: sara is running 1355 secs || 77229502 markings, 469600235 edges, 49600 markings/sec, 1355 secs
lola: sara is running 1360 secs || 77458959 markings, 471292311 edges, 45891 markings/sec, 1360 secs
lola: sara is running 1365 secs || 77694152 markings, 473083853 edges, 47039 markings/sec, 1365 secs
lola: sara is running 1370 secs || 77972430 markings, 474768577 edges, 55656 markings/sec, 1370 secs
lola: sara is running 1375 secs || 78251836 markings, 476418144 edges, 55881 markings/sec, 1375 secs
lola: sara is running 1380 secs || 78529664 markings, 478013224 edges, 55566 markings/sec, 1380 secs
lola: sara is running 1385 secs || 78793576 markings, 479679811 edges, 52782 markings/sec, 1385 secs
lola: sara is running 1390 secs || 79058704 markings, 481349673 edges, 53026 markings/sec, 1390 secs
lola: sara is running 1395 secs || 79346236 markings, 482911908 edges, 57506 markings/sec, 1395 secs
lola: sara is running 1400 secs || 79633778 markings, 484446991 edges, 57508 markings/sec, 1400 secs
lola: sara is running 1405 secs || 79914060 markings, 485969396 edges, 56056 markings/sec, 1405 secs
lola: sara is running 1410 secs || 80213708 markings, 487211412 edges, 59930 markings/sec, 1410 secs
lola: sara is running 1415 secs || 80509090 markings, 488649968 edges, 59076 markings/sec, 1415 secs
lola: sara is running 1420 secs || 80791098 markings, 490260523 edges, 56402 markings/sec, 1420 secs
lola: sara is running 1425 secs || 81064100 markings, 491866512 edges, 54600 markings/sec, 1425 secs
lola: sara is running 1430 secs || 81332969 markings, 493582857 edges, 53774 markings/sec, 1430 secs
lola: sara is running 1435 secs || 81606119 markings, 495399137 edges, 54630 markings/sec, 1435 secs
lola: sara is running 1440 secs || 81883741 markings, 497049798 edges, 55524 markings/sec, 1440 secs
lola: sara is running 1445 secs || 82149769 markings, 498881017 edges, 53206 markings/sec, 1445 secs
lola: sara is running 1450 secs || 82411467 markings, 500841459 edges, 52340 markings/sec, 1450 secs
lola: sara is running 1455 secs || 82719040 markings, 502370828 edges, 61515 markings/sec, 1455 secs
lola: sara is running 1460 secs || 83000471 markings, 504142890 edges, 56286 markings/sec, 1460 secs
lola: sara is running 1465 secs || 83292660 markings, 505806024 edges, 58438 markings/sec, 1465 secs
lola: sara is running 1470 secs || 83584167 markings, 507480040 edges, 58301 markings/sec, 1470 secs
lola: sara is running 1475 secs || 83879046 markings, 509070304 edges, 58976 markings/sec, 1475 secs
lola: sara is running 1480 secs || 84165931 markings, 510646406 edges, 57377 markings/sec, 1480 secs
lola: sara is running 1485 secs || 84458772 markings, 512157659 edges, 58568 markings/sec, 1485 secs
lola: sara is running 1490 secs || 84728860 markings, 513895695 edges, 54018 markings/sec, 1490 secs
lola: sara is running 1495 secs || 84996118 markings, 515675224 edges, 53452 markings/sec, 1495 secs
lola: sara is running 1500 secs || 85250601 markings, 517584332 edges, 50897 markings/sec, 1500 secs
lola: sara is running 1505 secs || 85518464 markings, 519410013 edges, 53573 markings/sec, 1505 secs
lola: sara is running 1510 secs || 85795664 markings, 521068592 edges, 55440 markings/sec, 1510 secs
lola: sara is running 1515 secs || 86070166 markings, 522774351 edges, 54900 markings/sec, 1515 secs
lola: sara is running 1520 secs || 86342107 markings, 524496474 edges, 54388 markings/sec, 1520 secs
lola: sara is running 1525 secs || 86613557 markings, 526202141 edges, 54290 markings/sec, 1525 secs
lola: sara is running 1530 secs || 86893045 markings, 527826232 edges, 55898 markings/sec, 1530 secs
lola: sara is running 1535 secs || 87176505 markings, 529381094 edges, 56692 markings/sec, 1535 secs
lola: sara is running 1540 secs || 87437517 markings, 531209582 edges, 52202 markings/sec, 1540 secs
lola: sara is running 1545 secs || 87694040 markings, 533037968 edges, 51305 markings/sec, 1545 secs
lola: sara is running 1550 secs || 87959465 markings, 534882034 edges, 53085 markings/sec, 1550 secs
lola: sara is running 1555 secs || 88233443 markings, 536574921 edges, 54796 markings/sec, 1555 secs
lola: sara is running 1560 secs || 88504625 markings, 538283511 edges, 54236 markings/sec, 1560 secs
lola: sara is running 1565 secs || 88780222 markings, 539887180 edges, 55119 markings/sec, 1565 secs
lola: sara is running 1570 secs || 89032834 markings, 541714756 edges, 50522 markings/sec, 1570 secs
lola: sara is running 1575 secs || 89298207 markings, 543341876 edges, 53075 markings/sec, 1575 secs
lola: sara is running 1580 secs || 89557407 markings, 544869116 edges, 51840 markings/sec, 1580 secs
lola: sara is running 1585 secs || 89809449 markings, 546370639 edges, 50408 markings/sec, 1585 secs
lola: sara is running 1590 secs || 90042773 markings, 548076350 edges, 46665 markings/sec, 1590 secs
lola: sara is running 1595 secs || 90288926 markings, 549733634 edges, 49231 markings/sec, 1595 secs
lola: sara is running 1600 secs || 90526840 markings, 551547624 edges, 47583 markings/sec, 1600 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no no no yes no yes unknown no no no yes yes unknown no
lola:
preliminary result: unknown unknown no no no yes no yes unknown no no no yes yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no yes no yes unknown no no no yes yes unknown no
lola: memory consumption: 3076848 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no yes no yes unknown no no no yes yes unknown no
lola: memory consumption: 3077284 KB
lola: time consumption: 3570 seconds
BK_STOP 1526833700867
--------------------
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-13ringRLLarge"
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-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge 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-13ringRLLarge, 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-152649735500312"
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 ;