About the Execution of LoLA for DES-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9827.540 | 3571040.00 | 3613493.00 | 9652.90 | FFTTT?TFT??TT?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 240K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 73K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-05b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380100207
=====================================================================
--------------------
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 DES-PT-05b-CTLFireability-00
FORMULA_NAME DES-PT-05b-CTLFireability-01
FORMULA_NAME DES-PT-05b-CTLFireability-02
FORMULA_NAME DES-PT-05b-CTLFireability-03
FORMULA_NAME DES-PT-05b-CTLFireability-04
FORMULA_NAME DES-PT-05b-CTLFireability-05
FORMULA_NAME DES-PT-05b-CTLFireability-06
FORMULA_NAME DES-PT-05b-CTLFireability-07
FORMULA_NAME DES-PT-05b-CTLFireability-08
FORMULA_NAME DES-PT-05b-CTLFireability-09
FORMULA_NAME DES-PT-05b-CTLFireability-10
FORMULA_NAME DES-PT-05b-CTLFireability-11
FORMULA_NAME DES-PT-05b-CTLFireability-12
FORMULA_NAME DES-PT-05b-CTLFireability-13
FORMULA_NAME DES-PT-05b-CTLFireability-14
FORMULA_NAME DES-PT-05b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526589480766
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-05b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DES-PT-05b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DES-PT-05b @ 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: 551/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 300
lola: finding significant places
lola: 300 places, 251 transitions, 235 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 348 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-05b-CTLFireability.task
lola: (((A (X (NOT FIREABLE(t15))) AND FIREABLE(t198)) OR (((NOT FIREABLE(t51) OR NOT FIREABLE(t159)) AND A (G (FIREABLE(t178)))) AND ((FIREABLE(t162) OR FIREABLE(t190)) AND E (X (FIREABLE(t129)))))) OR E (X ((E (X (FIREABLE(t109))) OR A (F (FIREABLE(t113))))))) : A (F (A (F (FIREABLE(t214))))) : E ((NOT FIREABLE(t243) U A (F (FIREABLE(t199))))) : (E (G ((FIREABLE(t145) OR FIREABLE(t82) OR (FIREABLE(t101) AND FIREABLE(t165)) OR (NOT FIREABLE(t16) AND NOT FIREABLE(t71))))) AND (E (X (E (F (FIREABLE(t75))))) OR NOT((A (G (FIREABLE(t164))) OR FIREABLE(t22))))) : NOT((E (X ((FIREABLE(t4) OR (FIREABLE(t152) AND FIREABLE(t163))))) OR NOT((E (F (FIREABLE(t10))) AND E (F (FIREABLE(t157))))))) : E ((E (G (NOT FIREABLE(t181))) U A (G ((FIREABLE(t197) OR FIREABLE(t141)))))) : E (F (FIREABLE(t62))) : (NOT FIREABLE(t123) AND A (G ((NOT FIREABLE(t140) OR FIREABLE(t73) OR FIREABLE(t213))))) : NOT(A (F ((A (X (FIREABLE(t133))) AND A (G (FIREABLE(t164))))))) : A (G (E (F ((NOT FIREABLE(t61) OR NOT FIREABLE(t250)))))) : (A (G ((E (F (FIREABLE(t33))) AND E (F (FIREABLE(t136)))))) OR (E (G (((FIREABLE(t128) AND FIREABLE(t200)) OR FIREABLE(t93)))) AND NOT(A (G (NOT FIREABLE(t219)))))) : E (G (A (X ((NOT FIREABLE(t245) OR NOT FIREABLE(t75)))))) : NOT((((A (F (FIREABLE(t93))) AND A (F (FIREABLE(t202)))) AND NOT FIREABLE(t9)) OR A (G (FIREABLE(t200))))) : E (F (((E (X (FIREABLE(t118))) AND A (X (FIREABLE(t217)))) AND A (F ((FIREABLE(t85) OR FIREABLE(t239))))))) : (A (((FIREABLE(t180) OR NOT FIREABLE(t0)) U (NOT FIREABLE(t6) AND FIREABLE(t67)))) AND (NOT FIREABLE(t153) AND (NOT FIREABLE(t24) OR E ((FIREABLE(t184) U FIREABLE(t85)))))) : A (F ((A (F ((FIREABLE(t147) OR FIREABLE(t161)))) AND NOT(E (F (FIREABLE(t3)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:554
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X (NOT FIREABLE(t15))) AND FIREABLE(t198)) OR (((NOT FIREABLE(t51) OR NOT FIREABLE(t159)) AND (A (G (FIREABLE(t178))) AND ((FIREABLE(t162) OR FIREABLE(t190)) AND E (X (FIREABLE(t129)))))) OR (E (X (E (X (FIREABLE(t109))))) OR E (X (A (F (FIREABLE(t113))))))))
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: E (X (A (F (FIREABLE(t113)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(TRUE U FIREABLE(t113)))
lola: processed formula length: 28
lola: 60 rewrites
lola: closed formula file DES-PT-05b-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: 84 markings, 83 edges
lola: ========================================
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t198)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t198)
lola: processed formula length: 14
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t162) OR FIREABLE(t190))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t162) OR FIREABLE(t190))
lola: processed formula length: 35
lola: 58 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (FIREABLE(t109)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(EX(FIREABLE(t109)))
lola: processed formula length: 22
lola: 60 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((FIREABLE(t145) OR FIREABLE(t82) OR (FIREABLE(t101) AND FIREABLE(t165)) OR (NOT FIREABLE(t16) AND NOT FIREABLE(t71))))) AND (E (X (E (F (FIREABLE(t75))))) OR (E (F (NOT FIREABLE(t164))) AND NOT FIREABLE(t22))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t22)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t22)
lola: processed formula length: 17
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t164)))
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 (NOT FIREABLE(t164)))
lola: processed formula length: 26
lola: 59 rewrites
lola: closed formula file DES-PT-05b-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: NOT FIREABLE(t164)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-05b-CTLFireability-2-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(t145) OR FIREABLE(t82) OR (FIREABLE(t101) AND FIREABLE(t165)) OR (NOT FIREABLE(t16) AND NOT FIREABLE(t71)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(t145) OR FIREABLE(t82) OR (FIREABLE(t101) AND FIREABLE(t165)) OR (NOT FIREABLE(t16) AND NOT FIREABLE(t71)))))
lola: processed formula length: 128
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 121 markings, 123 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((NOT FIREABLE(t4) AND (NOT FIREABLE(t152) OR NOT FIREABLE(t163))))) AND (E (F (FIREABLE(t10))) AND E (F (FIREABLE(t157)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t157)))
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(t157)))
lola: processed formula length: 22
lola: 59 rewrites
lola: closed formula file DES-PT-05b-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(t157)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t10)))
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(t10)))
lola: processed formula length: 21
lola: 59 rewrites
lola: closed formula file DES-PT-05b-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(t10)
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: The predicate is reachable.
lola: 40 markings, 39 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((NOT FIREABLE(t4) AND (NOT FIREABLE(t152) OR NOT FIREABLE(t163)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((NOT FIREABLE(t4) AND (NOT FIREABLE(t152) OR NOT FIREABLE(t163))))
lola: processed formula length: 70
lola: 59 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (X (NOT FIREABLE(t133))) OR E (F (NOT FIREABLE(t164))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: processed formula: NOT(A(TRUE U (NOT(EX(NOT FIREABLE(t133))) AND NOT(E(TRUE U NOT FIREABLE(t164))))))
lola: processed formula length: 82
lola: 62 rewrites
lola: closed formula file DES-PT-05b-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: 85 markings, 85 edges
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-8 TRUE 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: E (G (A (X ((NOT FIREABLE(t245) OR NOT FIREABLE(t75))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX((NOT FIREABLE(t245) OR NOT FIREABLE(t75))))))
lola: processed formula length: 66
lola: 60 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 84 edges
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-11 TRUE 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 (F ((E (X (FIREABLE(t118))) AND (A (X (FIREABLE(t217))) AND A (F ((FIREABLE(t85) OR FIREABLE(t239))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (EX(FIREABLE(t118)) AND (AX(FIREABLE(t217)) AND A(TRUE U (FIREABLE(t85) OR FIREABLE(t239))))))
lola: processed formula length: 104
lola: 62 rewrites
lola: closed formula file DES-PT-05b-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: 299221 markings, 1586716 edges, 59844 markings/sec, 0 secs
lola: 609170 markings, 3310011 edges, 61990 markings/sec, 5 secs
lola: 886192 markings, 5013400 edges, 55404 markings/sec, 10 secs
lola: 1146734 markings, 6718496 edges, 52108 markings/sec, 15 secs
lola: 1408145 markings, 8445231 edges, 52282 markings/sec, 20 secs
lola: 1673505 markings, 10137341 edges, 53072 markings/sec, 25 secs
lola: 1933433 markings, 11841970 edges, 51986 markings/sec, 30 secs
lola: 2207181 markings, 13555238 edges, 54750 markings/sec, 35 secs
lola: 2497926 markings, 15282119 edges, 58149 markings/sec, 40 secs
lola: 2747991 markings, 16996073 edges, 50013 markings/sec, 45 secs
lola: 2999247 markings, 18703998 edges, 50251 markings/sec, 50 secs
lola: 3244604 markings, 20407726 edges, 49071 markings/sec, 55 secs
lola: 3538202 markings, 22109529 edges, 58720 markings/sec, 60 secs
lola: 3803987 markings, 23807600 edges, 53157 markings/sec, 65 secs
lola: 4051631 markings, 25512696 edges, 49529 markings/sec, 70 secs
lola: 4298287 markings, 27193466 edges, 49331 markings/sec, 75 secs
lola: 4528749 markings, 28883211 edges, 46092 markings/sec, 80 secs
lola: 4731751 markings, 30555540 edges, 40600 markings/sec, 85 secs
lola: 5033536 markings, 32265442 edges, 60357 markings/sec, 90 secs
lola: 5309925 markings, 33973797 edges, 55278 markings/sec, 95 secs
lola: 5563876 markings, 35681918 edges, 50790 markings/sec, 100 secs
lola: 5818810 markings, 37375489 edges, 50987 markings/sec, 105 secs
lola: 6068228 markings, 39075597 edges, 49884 markings/sec, 110 secs
lola: 6351951 markings, 40784161 edges, 56745 markings/sec, 115 secs
lola: 6598210 markings, 42485111 edges, 49252 markings/sec, 120 secs
lola: 6842321 markings, 44173012 edges, 48822 markings/sec, 125 secs
lola: 7117734 markings, 45861333 edges, 55083 markings/sec, 130 secs
lola: 7366121 markings, 47544603 edges, 49677 markings/sec, 135 secs
lola: 7606390 markings, 49216945 edges, 48054 markings/sec, 140 secs
lola: 7822075 markings, 50887369 edges, 43137 markings/sec, 145 secs
lola: 8066680 markings, 52564206 edges, 48921 markings/sec, 150 secs
lola: 8362762 markings, 54280870 edges, 59216 markings/sec, 155 secs
lola: 8623819 markings, 55976704 edges, 52211 markings/sec, 160 secs
lola: 8879707 markings, 57687122 edges, 51178 markings/sec, 165 secs
lola: 9131757 markings, 59372320 edges, 50410 markings/sec, 170 secs
lola: 9393762 markings, 61072393 edges, 52401 markings/sec, 175 secs
lola: 9664533 markings, 62777428 edges, 54154 markings/sec, 180 secs
lola: 9909119 markings, 64475268 edges, 48917 markings/sec, 185 secs
lola: 10159188 markings, 66159388 edges, 50014 markings/sec, 190 secs
lola: 10433527 markings, 67848931 edges, 54868 markings/sec, 195 secs
lola: 10676328 markings, 69534170 edges, 48560 markings/sec, 200 secs
lola: 10913488 markings, 71206288 edges, 47432 markings/sec, 205 secs
lola: 11110357 markings, 72866778 edges, 39374 markings/sec, 210 secs
lola: 11315728 markings, 74541626 edges, 41074 markings/sec, 215 secs
lola: 11506131 markings, 76204609 edges, 38081 markings/sec, 220 secs
lola: 11690251 markings, 77863946 edges, 36824 markings/sec, 225 secs
lola: 11877205 markings, 79523073 edges, 37391 markings/sec, 230 secs
lola: 12066585 markings, 81189445 edges, 37876 markings/sec, 235 secs
lola: 12243465 markings, 82833903 edges, 35376 markings/sec, 240 secs
lola: 12437847 markings, 84486612 edges, 38876 markings/sec, 245 secs
lola: 12613957 markings, 86123534 edges, 35222 markings/sec, 250 secs
lola: 12774113 markings, 87749565 edges, 32031 markings/sec, 255 secs
lola: 12969152 markings, 89372630 edges, 39008 markings/sec, 260 secs
lola: 13268504 markings, 91037403 edges, 59870 markings/sec, 265 secs
lola: 13563198 markings, 92716284 edges, 58939 markings/sec, 270 secs
lola: 13825611 markings, 94362457 edges, 52483 markings/sec, 275 secs
lola: 14079597 markings, 96023568 edges, 50797 markings/sec, 280 secs
lola: 14338277 markings, 97686625 edges, 51736 markings/sec, 285 secs
lola: 14587789 markings, 99327037 edges, 49902 markings/sec, 290 secs
lola: 14842154 markings, 100980517 edges, 50873 markings/sec, 295 secs
lola: 15109280 markings, 102639417 edges, 53425 markings/sec, 300 secs
lola: 15388802 markings, 104308637 edges, 55904 markings/sec, 305 secs
lola: 15628488 markings, 105963549 edges, 47937 markings/sec, 310 secs
lola: 15871057 markings, 107610183 edges, 48514 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown yes yes unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1949864 KB
lola: time consumption: 325 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t62)))
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(t62)))
lola: processed formula length: 21
lola: 59 rewrites
lola: closed formula file DES-PT-05b-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(t62)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t214)))
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(t214)
lola: processed formula length: 18
lola: 60 rewrites
lola: closed formula file DES-PT-05b-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: 89 markings, 88 edges
FORMULA DES-PT-05b-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((NOT FIREABLE(t61) OR NOT FIREABLE(t250))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (NOT FIREABLE(t61) OR NOT FIREABLE(t250))
lola: processed formula length: 42
lola: 59 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 342337 markings, 1829225 edges, 68467 markings/sec, 0 secs
lola: 667047 markings, 3662658 edges, 64942 markings/sec, 5 secs
lola: 968575 markings, 5550789 edges, 60306 markings/sec, 10 secs
lola: 1259804 markings, 7443858 edges, 58246 markings/sec, 15 secs
lola: 1548687 markings, 9321335 edges, 57777 markings/sec, 20 secs
lola: 1832636 markings, 11182193 edges, 56790 markings/sec, 25 secs
lola: 2123262 markings, 13059199 edges, 58125 markings/sec, 30 secs
lola: 2443107 markings, 14952951 edges, 63969 markings/sec, 35 secs
lola: 2724180 markings, 16833912 edges, 56215 markings/sec, 40 secs
lola: 2999407 markings, 18705191 edges, 55045 markings/sec, 45 secs
lola: 3273435 markings, 20565372 edges, 54806 markings/sec, 50 secs
lola: 3594158 markings, 22435892 edges, 64145 markings/sec, 55 secs
lola: 3874560 markings, 24293876 edges, 56080 markings/sec, 60 secs
lola: 4145925 markings, 26142778 edges, 54273 markings/sec, 65 secs
lola: 4410758 markings, 27976424 edges, 52967 markings/sec, 70 secs
lola: 4634433 markings, 29809003 edges, 44735 markings/sec, 75 secs
lola: 4928829 markings, 31669010 edges, 58879 markings/sec, 80 secs
lola: 5247170 markings, 33554856 edges, 63668 markings/sec, 85 secs
lola: 5525545 markings, 35426803 edges, 55675 markings/sec, 90 secs
lola: 5804166 markings, 37281226 edges, 55724 markings/sec, 95 secs
lola: 6076814 markings, 39137300 edges, 54530 markings/sec, 100 secs
lola: 6389352 markings, 41016995 edges, 62508 markings/sec, 105 secs
lola: 6658008 markings, 42884286 edges, 53731 markings/sec, 110 secs
lola: 6929791 markings, 44733192 edges, 54357 markings/sec, 115 secs
lola: 7228665 markings, 46585419 edges, 59775 markings/sec, 120 secs
lola: 7493058 markings, 48421958 edges, 52879 markings/sec, 125 secs
lola: 7747033 markings, 50243380 edges, 50795 markings/sec, 130 secs
lola: 7979072 markings, 52062832 edges, 46408 markings/sec, 135 secs
lola: 8309093 markings, 53946113 edges, 66004 markings/sec, 140 secs
lola: 8599533 markings, 55815760 edges, 58088 markings/sec, 145 secs
lola: 8880272 markings, 57690125 edges, 56148 markings/sec, 150 secs
lola: 9155003 markings, 59531319 edges, 54946 markings/sec, 155 secs
lola: 9447523 markings, 61396851 edges, 58504 markings/sec, 160 secs
lola: 9734604 markings, 63268945 edges, 57416 markings/sec, 165 secs
lola: 10001459 markings, 65123088 edges, 53371 markings/sec, 170 secs
lola: 10295583 markings, 66981083 edges, 58825 markings/sec, 175 secs
lola: 10572932 markings, 68830276 edges, 55470 markings/sec, 180 secs
lola: 10836094 markings, 70658103 edges, 52632 markings/sec, 185 secs
lola: 11065328 markings, 72480767 edges, 45847 markings/sec, 190 secs
lola: 11273231 markings, 74197467 edges, 41581 markings/sec, 195 secs
lola: 11487853 markings, 76039027 edges, 42924 markings/sec, 200 secs
lola: 11690218 markings, 77863621 edges, 40473 markings/sec, 205 secs
lola: 11896911 markings, 79686704 edges, 41339 markings/sec, 210 secs
lola: 12098340 markings, 81486913 edges, 40286 markings/sec, 215 secs
lola: 12298367 markings, 83298287 edges, 40005 markings/sec, 220 secs
lola: 12505382 markings, 85117778 edges, 41403 markings/sec, 225 secs
lola: 12697440 markings, 86908830 edges, 38412 markings/sec, 230 secs
lola: 12853362 markings, 88676782 edges, 31184 markings/sec, 235 secs
lola: 13174688 markings, 90513367 edges, 64265 markings/sec, 240 secs
lola: 13505917 markings, 92368774 edges, 66246 markings/sec, 245 secs
lola: 13802089 markings, 94205959 edges, 59234 markings/sec, 250 secs
lola: 14082700 markings, 96044936 edges, 56122 markings/sec, 255 secs
lola: 14366963 markings, 97878793 edges, 56853 markings/sec, 260 secs
lola: 14643588 markings, 99690506 edges, 55325 markings/sec, 265 secs
lola: 14917637 markings, 101514111 edges, 54810 markings/sec, 270 secs
lola: 15231806 markings, 103362837 edges, 62834 markings/sec, 275 secs
lola: 15518155 markings, 105202993 edges, 57270 markings/sec, 280 secs
lola: 15788622 markings, 107040840 edges, 54093 markings/sec, 285 secs
lola: 16053654 markings, 108858410 edges, 53006 markings/sec, 290 secs
lola: 16354849 markings, 110688400 edges, 60239 markings/sec, 295 secs
lola: 16646855 markings, 112515376 edges, 58401 markings/sec, 300 secs
lola: 16909145 markings, 114337379 edges, 52458 markings/sec, 305 secs
lola: 17174899 markings, 116129041 edges, 53151 markings/sec, 310 secs
lola: 17416329 markings, 117924863 edges, 48286 markings/sec, 315 secs
lola: 17650782 markings, 119716277 edges, 46891 markings/sec, 320 secs
lola: 17975306 markings, 121572633 edges, 64905 markings/sec, 325 secs
lola: 18260937 markings, 123416252 edges, 57126 markings/sec, 330 secs
lola: 18538163 markings, 125262848 edges, 55445 markings/sec, 335 secs
lola: 18809111 markings, 127082203 edges, 54190 markings/sec, 340 secs
lola: 19097697 markings, 128923288 edges, 57717 markings/sec, 345 secs
lola: 19381794 markings, 130770174 edges, 56819 markings/sec, 350 secs
lola: 19645284 markings, 132602971 edges, 52698 markings/sec, 355 secs
lola: 19933235 markings, 134433483 edges, 57590 markings/sec, 360 secs
lola: 20209658 markings, 136256580 edges, 55285 markings/sec, 365 secs
lola: 20469039 markings, 138060644 edges, 51876 markings/sec, 370 secs
lola: 20700074 markings, 139853035 edges, 46207 markings/sec, 375 secs
lola: 20972463 markings, 141669224 edges, 54478 markings/sec, 380 secs
lola: 21293749 markings, 143532580 edges, 64257 markings/sec, 385 secs
lola: 21568332 markings, 145375165 edges, 54917 markings/sec, 390 secs
lola: 21844438 markings, 147210863 edges, 55221 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown yes yes unknown yes unknown yes unknown unknown yes unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown yes yes unknown yes unknown yes unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1015716 KB
lola: time consumption: 730 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t243) U A (F (FIREABLE(t199)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(NOT FIREABLE(t243) U A(TRUE U FIREABLE(t199)))
lola: processed formula length: 48
lola: 60 rewrites
lola: closed formula file DES-PT-05b-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: 238317 markings, 1585407 edges, 47663 markings/sec, 0 secs
lola: 490591 markings, 3323261 edges, 50455 markings/sec, 5 secs
lola: 732188 markings, 5045151 edges, 48319 markings/sec, 10 secs
lola: 953945 markings, 6764313 edges, 44351 markings/sec, 15 secs
lola: 1176472 markings, 8491016 edges, 44505 markings/sec, 20 secs
lola: 1402033 markings, 10201206 edges, 45112 markings/sec, 25 secs
lola: 1622334 markings, 11909431 edges, 44060 markings/sec, 30 secs
lola: 1841268 markings, 13623861 edges, 43787 markings/sec, 35 secs
lola: 2083450 markings, 15336199 edges, 48436 markings/sec, 40 secs
lola: 2312796 markings, 17041708 edges, 45869 markings/sec, 45 secs
lola: 2526692 markings, 18755236 edges, 42779 markings/sec, 50 secs
lola: 2741099 markings, 20448625 edges, 42881 markings/sec, 55 secs
lola: 2963748 markings, 22141622 edges, 44530 markings/sec, 60 secs
lola: 3201827 markings, 23838758 edges, 47616 markings/sec, 65 secs
lola: 3420196 markings, 25528667 edges, 43674 markings/sec, 70 secs
lola: 3635277 markings, 27220441 edges, 43016 markings/sec, 75 secs
lola: 3844344 markings, 28902209 edges, 41813 markings/sec, 80 secs
lola: 4046480 markings, 30551894 edges, 40427 markings/sec, 85 secs
lola: 4245279 markings, 32197814 edges, 39760 markings/sec, 90 secs
lola: 4478352 markings, 33910284 edges, 46615 markings/sec, 95 secs
lola: 4705936 markings, 35625296 edges, 45517 markings/sec, 100 secs
lola: 4912515 markings, 37332778 edges, 41316 markings/sec, 105 secs
lola: 5119655 markings, 39050100 edges, 41428 markings/sec, 110 secs
lola: 5327350 markings, 40743179 edges, 41539 markings/sec, 115 secs
lola: 5532119 markings, 42447726 edges, 40954 markings/sec, 120 secs
lola: 5755905 markings, 44153802 edges, 44757 markings/sec, 125 secs
lola: 5966711 markings, 45852433 edges, 42161 markings/sec, 130 secs
lola: 6169635 markings, 47552539 edges, 40585 markings/sec, 135 secs
lola: 6369941 markings, 49242909 edges, 40061 markings/sec, 140 secs
lola: 6595070 markings, 50926139 edges, 45026 markings/sec, 145 secs
lola: 6799383 markings, 52607298 edges, 40863 markings/sec, 150 secs
lola: 6999757 markings, 54284968 edges, 40075 markings/sec, 155 secs
lola: 7196902 markings, 55951645 edges, 39429 markings/sec, 160 secs
lola: 7374898 markings, 57580570 edges, 35599 markings/sec, 165 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 7398444 markings, 57805758 edges
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (NOT FIREABLE(t181))) U A (G ((FIREABLE(t197) OR FIREABLE(t141))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(NOT(A(TRUE U FIREABLE(t181))) U NOT(E(TRUE U (NOT FIREABLE(t197) AND NOT FIREABLE(t141)))))
lola: processed formula length: 93
lola: 63 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 227778 markings, 1819710 edges, 45556 markings/sec, 0 secs
lola: 438464 markings, 3568820 edges, 42137 markings/sec, 5 secs
lola: 655658 markings, 5399896 edges, 43439 markings/sec, 10 secs
lola: 859793 markings, 7198931 edges, 40827 markings/sec, 15 secs
lola: 1054993 markings, 9001457 edges, 39040 markings/sec, 20 secs
lola: 1250662 markings, 10799276 edges, 39134 markings/sec, 25 secs
lola: 1447102 markings, 12611564 edges, 39288 markings/sec, 30 secs
lola: 1640643 markings, 14392088 edges, 38708 markings/sec, 35 secs
lola: 1833675 markings, 16174632 edges, 38606 markings/sec, 40 secs
lola: 2026266 markings, 17973456 edges, 38518 markings/sec, 45 secs
lola: 2233668 markings, 19775562 edges, 41480 markings/sec, 50 secs
lola: 2443050 markings, 21579448 edges, 41876 markings/sec, 55 secs
lola: 2636807 markings, 23369215 edges, 38751 markings/sec, 60 secs
lola: 2824796 markings, 25159881 edges, 37598 markings/sec, 65 secs
lola: 3014413 markings, 26936746 edges, 37923 markings/sec, 70 secs
lola: 3200870 markings, 28708651 edges, 37291 markings/sec, 75 secs
lola: 3405970 markings, 30495499 edges, 41020 markings/sec, 80 secs
lola: 3614534 markings, 32290424 edges, 41713 markings/sec, 85 secs
lola: 3807277 markings, 34067488 edges, 38549 markings/sec, 90 secs
lola: 3994545 markings, 35849990 edges, 37454 markings/sec, 95 secs
lola: 4182734 markings, 37618327 edges, 37638 markings/sec, 100 secs
lola: 4369220 markings, 39385918 edges, 37297 markings/sec, 105 secs
lola: 4545925 markings, 41117093 edges, 35341 markings/sec, 110 secs
lola: 4708653 markings, 42819688 edges, 32546 markings/sec, 115 secs
lola: 4925378 markings, 44597292 edges, 43345 markings/sec, 120 secs
lola: 5137690 markings, 46383765 edges, 42462 markings/sec, 125 secs
lola: 5334680 markings, 48152724 edges, 39398 markings/sec, 130 secs
lola: 5525916 markings, 49922941 edges, 38247 markings/sec, 135 secs
lola: 5719707 markings, 51698432 edges, 38758 markings/sec, 140 secs
lola: 5908600 markings, 53448238 edges, 37779 markings/sec, 145 secs
lola: 6098909 markings, 55215657 edges, 38062 markings/sec, 150 secs
lola: 6306663 markings, 56981013 edges, 41551 markings/sec, 155 secs
lola: 6498007 markings, 58739618 edges, 38269 markings/sec, 160 secs
lola: 6685496 markings, 60494312 edges, 37498 markings/sec, 165 secs
lola: 6869392 markings, 62236906 edges, 36779 markings/sec, 170 secs
lola: 7074184 markings, 63990396 edges, 40958 markings/sec, 175 secs
lola: 7268616 markings, 65736860 edges, 38886 markings/sec, 180 secs
lola: 7455106 markings, 67482038 edges, 37298 markings/sec, 185 secs
lola: 7638240 markings, 69212270 edges, 36627 markings/sec, 190 secs
lola: 7812222 markings, 70905819 edges, 34796 markings/sec, 195 secs
lola: 7992512 markings, 72599537 edges, 36058 markings/sec, 200 secs
lola: 8204628 markings, 74368671 edges, 42423 markings/sec, 205 secs
lola: 8414268 markings, 76144895 edges, 41928 markings/sec, 210 secs
lola: 8605465 markings, 77905218 edges, 38239 markings/sec, 215 secs
lola: 8795088 markings, 79665132 edges, 37925 markings/sec, 220 secs
lola: 8986724 markings, 81416123 edges, 38327 markings/sec, 225 secs
lola: 9175348 markings, 83162847 edges, 37725 markings/sec, 230 secs
lola: 9370361 markings, 84928057 edges, 39003 markings/sec, 235 secs
lola: 9576572 markings, 86696257 edges, 41242 markings/sec, 240 secs
lola: 9762556 markings, 88443952 edges, 37197 markings/sec, 245 secs
lola: 9949096 markings, 90189503 edges, 37308 markings/sec, 250 secs
lola: 10138013 markings, 91930093 edges, 37783 markings/sec, 255 secs
lola: 10343354 markings, 93689750 edges, 41068 markings/sec, 260 secs
lola: 10532601 markings, 95435953 edges, 37849 markings/sec, 265 secs
lola: 10718549 markings, 97178557 edges, 37190 markings/sec, 270 secs
lola: 10901602 markings, 98914621 edges, 36611 markings/sec, 275 secs
lola: 11070495 markings, 100593051 edges, 33779 markings/sec, 280 secs
lola: 11239851 markings, 102277109 edges, 33871 markings/sec, 285 secs
lola: 11410975 markings, 103984301 edges, 34225 markings/sec, 290 secs
lola: 11570229 markings, 105675750 edges, 31851 markings/sec, 295 secs
lola: 11729269 markings, 107357574 edges, 31808 markings/sec, 300 secs
lola: 11892496 markings, 109049655 edges, 32645 markings/sec, 305 secs
lola: 12055679 markings, 110734707 edges, 32637 markings/sec, 310 secs
lola: 12211679 markings, 112405705 edges, 31200 markings/sec, 315 secs
lola: 12377654 markings, 114084595 edges, 33195 markings/sec, 320 secs
lola: 12535280 markings, 115756290 edges, 31525 markings/sec, 325 secs
lola: 12689982 markings, 117416858 edges, 30940 markings/sec, 330 secs
lola: 12827935 markings, 119036969 edges, 27591 markings/sec, 335 secs
lola: 13020370 markings, 120738176 edges, 38487 markings/sec, 340 secs
lola: 13232462 markings, 122499013 edges, 42418 markings/sec, 345 secs
lola: 13445264 markings, 124250691 edges, 42560 markings/sec, 350 secs
lola: 13649593 markings, 126015544 edges, 40866 markings/sec, 355 secs
lola: 13837405 markings, 127755970 edges, 37562 markings/sec, 360 secs
lola: 14025878 markings, 129497760 edges, 37695 markings/sec, 365 secs
lola: 14213795 markings, 131255951 edges, 37583 markings/sec, 370 secs
lola: 14407582 markings, 132995822 edges, 38757 markings/sec, 375 secs
lola: 14594833 markings, 134731805 edges, 37450 markings/sec, 380 secs
lola: 14781700 markings, 136456695 edges, 37373 markings/sec, 385 secs
lola: 14971469 markings, 138216695 edges, 37954 markings/sec, 390 secs
lola: 15177341 markings, 139970050 edges, 41174 markings/sec, 395 secs
lola: 15380348 markings, 141724493 edges, 40601 markings/sec, 400 secs
lola: 15562463 markings, 143461011 edges, 36423 markings/sec, 405 secs
lola: 15746852 markings, 145208113 edges, 36878 markings/sec, 410 secs
lola: 15929718 markings, 146927828 edges, 36573 markings/sec, 415 secs
lola: 16110429 markings, 148656942 edges, 36142 markings/sec, 420 secs
lola: 16316118 markings, 150401225 edges, 41138 markings/sec, 425 secs
lola: 16519405 markings, 152156254 edges, 40657 markings/sec, 430 secs
lola: 16704258 markings, 153886309 edges, 36971 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes yes yes unknown yes unknown yes unknown unknown yes unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes yes yes unknown yes unknown yes unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1388660 KB
lola: time consumption: 1346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F ((FIREABLE(t147) OR FIREABLE(t161)))) AND A (G (NOT FIREABLE(t3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U (A(TRUE U (FIREABLE(t147) OR FIREABLE(t161))) AND NOT(E(TRUE U FIREABLE(t3)))))
lola: processed formula length: 89
lola: 62 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 358716 markings, 1793916 edges, 71743 markings/sec, 0 secs
lola: 651963 markings, 3563785 edges, 58649 markings/sec, 5 secs
lola: 949975 markings, 5245351 edges, 59602 markings/sec, 10 secs
lola: 1219987 markings, 7036381 edges, 54002 markings/sec, 15 secs
lola: 1480468 markings, 8857724 edges, 52096 markings/sec, 20 secs
lola: 1874173 markings, 10688207 edges, 78741 markings/sec, 25 secs
lola: 2330123 markings, 12488259 edges, 91190 markings/sec, 30 secs
lola: 2715884 markings, 14246861 edges, 77152 markings/sec, 35 secs
lola: 3041914 markings, 15996138 edges, 65206 markings/sec, 40 secs
lola: 3340036 markings, 17740065 edges, 59624 markings/sec, 45 secs
lola: 3629223 markings, 19478775 edges, 57837 markings/sec, 50 secs
lola: 3930445 markings, 21231932 edges, 60244 markings/sec, 55 secs
lola: 4218313 markings, 22978606 edges, 57574 markings/sec, 60 secs
lola: 4525246 markings, 24754179 edges, 61387 markings/sec, 65 secs
lola: 4848245 markings, 26498577 edges, 64600 markings/sec, 70 secs
lola: 5189834 markings, 28245211 edges, 68318 markings/sec, 75 secs
lola: 5470205 markings, 29983045 edges, 56074 markings/sec, 80 secs
lola: 5744958 markings, 31727605 edges, 54951 markings/sec, 85 secs
lola: 5970697 markings, 33464188 edges, 45148 markings/sec, 90 secs
lola: 6261772 markings, 35214593 edges, 58215 markings/sec, 95 secs
lola: 6513512 markings, 36967479 edges, 50348 markings/sec, 100 secs
lola: 6780232 markings, 38732748 edges, 53344 markings/sec, 105 secs
lola: 7049890 markings, 40518513 edges, 53932 markings/sec, 110 secs
lola: 7358435 markings, 42274721 edges, 61709 markings/sec, 115 secs
lola: 7701471 markings, 44031865 edges, 68607 markings/sec, 120 secs
lola: 7982338 markings, 45775519 edges, 56173 markings/sec, 125 secs
lola: 8259287 markings, 47530922 edges, 55390 markings/sec, 130 secs
lola: 8486936 markings, 49271695 edges, 45530 markings/sec, 135 secs
lola: 8779401 markings, 51035661 edges, 58493 markings/sec, 140 secs
lola: 9028605 markings, 52800309 edges, 49841 markings/sec, 145 secs
lola: 9299703 markings, 54573436 edges, 54220 markings/sec, 150 secs
lola: 9566974 markings, 56356383 edges, 53454 markings/sec, 155 secs
lola: 9844975 markings, 58120426 edges, 55600 markings/sec, 160 secs
lola: 10149745 markings, 59896055 edges, 60954 markings/sec, 165 secs
lola: 10440203 markings, 61650741 edges, 58092 markings/sec, 170 secs
lola: 10742965 markings, 63408968 edges, 60552 markings/sec, 175 secs
lola: 11060268 markings, 65121101 edges, 63461 markings/sec, 180 secs
lola: 11396711 markings, 66831026 edges, 67289 markings/sec, 185 secs
lola: 11669704 markings, 68528840 edges, 54599 markings/sec, 190 secs
lola: 11942167 markings, 70235050 edges, 54493 markings/sec, 195 secs
lola: 12169319 markings, 71934790 edges, 45430 markings/sec, 200 secs
lola: 12442087 markings, 73652424 edges, 54554 markings/sec, 205 secs
lola: 12701509 markings, 75381644 edges, 51884 markings/sec, 210 secs
lola: 12954706 markings, 77104311 edges, 50639 markings/sec, 215 secs
lola: 13223943 markings, 78854756 edges, 53847 markings/sec, 220 secs
lola: 13498855 markings, 80572750 edges, 54982 markings/sec, 225 secs
lola: 13809343 markings, 82282230 edges, 62098 markings/sec, 230 secs
lola: 14060707 markings, 83990747 edges, 50273 markings/sec, 235 secs
lola: 14302407 markings, 85698887 edges, 48340 markings/sec, 240 secs
lola: 14539273 markings, 87418865 edges, 47373 markings/sec, 245 secs
lola: 14743018 markings, 89114900 edges, 40749 markings/sec, 250 secs
lola: 14992221 markings, 90837263 edges, 49841 markings/sec, 255 secs
lola: 15218148 markings, 92564260 edges, 45185 markings/sec, 260 secs
lola: 15442197 markings, 94285845 edges, 44810 markings/sec, 265 secs
lola: 15686652 markings, 96035030 edges, 48891 markings/sec, 270 secs
lola: 15888391 markings, 97773653 edges, 40348 markings/sec, 275 secs
lola: 16207496 markings, 99489042 edges, 63821 markings/sec, 280 secs
lola: 16502469 markings, 101210371 edges, 58995 markings/sec, 285 secs
lola: 16746460 markings, 102912969 edges, 48798 markings/sec, 290 secs
lola: 16987429 markings, 104634080 edges, 48194 markings/sec, 295 secs
lola: 17188668 markings, 106340071 edges, 40248 markings/sec, 300 secs
lola: 17434435 markings, 108059722 edges, 49153 markings/sec, 305 secs
lola: 17671355 markings, 109790453 edges, 47384 markings/sec, 310 secs
lola: 17883884 markings, 111505907 edges, 42506 markings/sec, 315 secs
lola: 18132478 markings, 113243304 edges, 49719 markings/sec, 320 secs
lola: 18351132 markings, 114982072 edges, 43731 markings/sec, 325 secs
lola: 18606885 markings, 116709292 edges, 51151 markings/sec, 330 secs
lola: 18872087 markings, 118456417 edges, 53040 markings/sec, 335 secs
lola: 19114323 markings, 120172541 edges, 48447 markings/sec, 340 secs
lola: 19388157 markings, 121903634 edges, 54767 markings/sec, 345 secs
lola: 19614681 markings, 123626268 edges, 45305 markings/sec, 350 secs
lola: 19946785 markings, 125397894 edges, 66421 markings/sec, 355 secs
lola: 20210141 markings, 127163187 edges, 52671 markings/sec, 360 secs
lola: 20537521 markings, 128900788 edges, 65476 markings/sec, 365 secs
lola: 20795278 markings, 130621950 edges, 51551 markings/sec, 370 secs
lola: 21079005 markings, 132350843 edges, 56745 markings/sec, 375 secs
lola: 21330507 markings, 134064260 edges, 50300 markings/sec, 380 secs
lola: 21583411 markings, 135767623 edges, 50581 markings/sec, 385 secs
lola: 21846483 markings, 137478691 edges, 52614 markings/sec, 390 secs
lola: 22081516 markings, 139180814 edges, 47007 markings/sec, 395 secs
lola: 22358717 markings, 140915228 edges, 55440 markings/sec, 400 secs
lola: 22588314 markings, 142639988 edges, 45919 markings/sec, 405 secs
lola: 22861910 markings, 144350960 edges, 54719 markings/sec, 410 secs
lola: 23119417 markings, 146071206 edges, 51501 markings/sec, 415 secs
lola: 23350389 markings, 147771089 edges, 46194 markings/sec, 420 secs
lola: 23589017 markings, 149476959 edges, 47726 markings/sec, 425 secs
lola: 23788952 markings, 151171372 edges, 39987 markings/sec, 430 secs
lola: 24031894 markings, 152869517 edges, 48588 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes yes yes unknown yes unknown yes unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1967004 KB
lola: time consumption: 1790 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t123) AND A (G ((NOT FIREABLE(t140) OR FIREABLE(t73) OR FIREABLE(t213)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t123)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t123)
lola: processed formula length: 18
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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 13 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t140) OR FIREABLE(t73) OR FIREABLE(t213))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t140) OR FIREABLE(t73) OR FIREABLE(t213))))
lola: processed formula length: 65
lola: 60 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t140) AND NOT FIREABLE(t73) AND NOT FIREABLE(t213))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: write sara problem file to DES-PT-05b-CTLFireability-13-0.sara
lola: lola: state equation: calling and running sara
The predicate is not invariant.
lola: 15 markings, 14 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((FIREABLE(t180) OR NOT FIREABLE(t0)) U (NOT FIREABLE(t6) AND FIREABLE(t67)))) AND (NOT FIREABLE(t153) AND (NOT FIREABLE(t24) OR E ((FIREABLE(t184) U FIREABLE(t85))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: sara: try reading problem file DES-PT-05b-CTLFireability-13-0.sara.
RUNNING
lola: subprocess 13 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t153)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t153)
lola: processed formula length: 18
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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: subprocess 14 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t180) OR NOT FIREABLE(t0)) U (NOT FIREABLE(t6) AND FIREABLE(t67))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((FIREABLE(t180) OR NOT FIREABLE(t0)) U (NOT FIREABLE(t6) AND FIREABLE(t67))))
lola: processed formula length: 82
lola: 62 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 88 markings, 87 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (G (NOT FIREABLE(t93))) OR (E (G (NOT FIREABLE(t202))) OR FIREABLE(t9))) AND E (F (NOT FIREABLE(t200))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t9)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t9)
lola: processed formula length: 12
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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 1780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(t200)))
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 (NOT FIREABLE(t200)))
lola: processed formula length: 26
lola: 59 rewrites
lola: closed formula file DES-PT-05b-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: yes
lola: produced by: state space
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: NOT FIREABLE(t200)
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t93)))
lola: ========================================
sara: place or transition ordering is non-deterministic
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t93)))
lola: processed formula length: 25
lola: 58 rewrites
lola: closed formula file DES-PT-05b-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: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 89 markings, 88 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DES-PT-05b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (G (E (F (FIREABLE(t33))))) AND A (G (E (F (FIREABLE(t136)))))) OR (E (G (((FIREABLE(t128) AND FIREABLE(t200)) OR FIREABLE(t93)))) AND E (F (FIREABLE(t219)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t219)))
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(t219)))
lola: processed formula length: 22
lola: 59 rewrites
lola: closed formula file DES-PT-05b-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(t219)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-05b-CTLFireability-15-0.sara
lola:
state equation: calling and running sara
sara: try reading problem file DES-PT-05b-CTLFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t136)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t136)
lola: processed formula length: 14
lola: 59 rewrites
lola: closed formula file DES-PT-05b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 51 markings, 50 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((E (X (FIREABLE(t118))) AND (A (X (FIREABLE(t217))) AND A (F ((FIREABLE(t85) OR FIREABLE(t239))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (EX(FIREABLE(t118)) AND (AX(FIREABLE(t217)) AND A(TRUE U (FIREABLE(t85) OR FIREABLE(t239))))))
lola: processed formula length: 104
lola: 62 rewrites
lola: closed formula file DES-PT-05b-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: 310584 markings, 1650511 edges, 62117 markings/sec, 0 secs
lola: 620034 markings, 3377258 edges, 61890 markings/sec, 5 secs
lola: 896894 markings, 5084812 edges, 55372 markings/sec, 10 secs
lola: 1157358 markings, 6789627 edges, 52093 markings/sec, 15 secs
lola: 1418480 markings, 8503911 edges, 52224 markings/sec, 20 secs
lola: 1681208 markings, 10188808 edges, 52546 markings/sec, 25 secs
lola: 1941365 markings, 11884923 edges, 52031 markings/sec, 30 secs
lola: 2211704 markings, 13582308 edges, 54068 markings/sec, 35 secs
lola: 2499678 markings, 15292593 edges, 57595 markings/sec, 40 secs
lola: 2747192 markings, 16990576 edges, 49503 markings/sec, 45 secs
lola: 2996134 markings, 18682292 edges, 49788 markings/sec, 50 secs
lola: 3239114 markings, 20368477 edges, 48596 markings/sec, 55 secs
lola: 3529066 markings, 22054677 edges, 57990 markings/sec, 60 secs
lola: 3793301 markings, 23737276 edges, 52847 markings/sec, 65 secs
lola: 4036159 markings, 25425079 edges, 48572 markings/sec, 70 secs
lola: 4283272 markings, 27088454 edges, 49423 markings/sec, 75 secs
lola: 4513408 markings, 28760892 edges, 46027 markings/sec, 80 secs
lola: 4702073 markings, 30416027 edges, 37733 markings/sec, 85 secs
lola: 5005192 markings, 32105424 edges, 60624 markings/sec, 90 secs
lola: 5283556 markings, 33798551 edges, 55673 markings/sec, 95 secs
lola: 5536171 markings, 35487750 edges, 50523 markings/sec, 100 secs
lola: 5787606 markings, 37167906 edges, 50287 markings/sec, 105 secs
lola: 6036971 markings, 38849510 edges, 49873 markings/sec, 110 secs
lola: 6313265 markings, 40539150 edges, 55259 markings/sec, 115 secs
lola: 6561958 markings, 42224413 edges, 49739 markings/sec, 120 secs
lola: 6801975 markings, 43895027 edges, 48003 markings/sec, 125 secs
lola: 7067740 markings, 45564525 edges, 53153 markings/sec, 130 secs
lola: 7320497 markings, 47229751 edges, 50551 markings/sec, 135 secs
lola: 7559247 markings, 48885921 edges, 47750 markings/sec, 140 secs
lola: 7782562 markings, 50542337 edges, 44663 markings/sec, 145 secs
lola: 8001198 markings, 52192313 edges, 43727 markings/sec, 150 secs
lola: 8299361 markings, 53886602 edges, 59633 markings/sec, 155 secs
lola: 8563271 markings, 55571843 edges, 52782 markings/sec, 160 secs
lola: 8812534 markings, 57261051 edges, 49853 markings/sec, 165 secs
lola: 9065973 markings, 58932854 edges, 50688 markings/sec, 170 secs
lola: 9316094 markings, 60616115 edges, 50024 markings/sec, 175 secs
lola: 9597380 markings, 62305377 edges, 56257 markings/sec, 180 secs
lola: 9836529 markings, 63992427 edges, 47830 markings/sec, 185 secs
lola: 10078178 markings, 65660926 edges, 48330 markings/sec, 190 secs
lola: 10354520 markings, 67337404 edges, 55268 markings/sec, 195 secs
lola: 10599214 markings, 69007538 edges, 48939 markings/sec, 200 secs
lola: 10836986 markings, 70664524 edges, 47554 markings/sec, 205 secs
lola: 11047275 markings, 72313857 edges, 42058 markings/sec, 210 secs
lola: 11244892 markings, 73969523 edges, 39523 markings/sec, 215 secs
lola: 11443665 markings, 75638382 edges, 39755 markings/sec, 220 secs
lola: 11628171 markings, 77301449 edges, 36901 markings/sec, 225 secs
lola: 11809161 markings, 78949732 edges, 36198 markings/sec, 230 secs
lola: 12004851 markings, 80613209 edges, 39138 markings/sec, 235 secs
lola: 12182185 markings, 82260229 edges, 35467 markings/sec, 240 secs
lola: 12372085 markings, 83907397 edges, 37980 markings/sec, 245 secs
lola: 12551760 markings, 85550373 edges, 35935 markings/sec, 250 secs
lola: 12723343 markings, 87180755 edges, 34317 markings/sec, 255 secs
lola: 12862836 markings, 88794570 edges, 27899 markings/sec, 260 secs
lola: 13163841 markings, 90451903 edges, 60201 markings/sec, 265 secs
lola: 13465510 markings, 92121879 edges, 60334 markings/sec, 270 secs
lola: 13737042 markings, 93780173 edges, 54306 markings/sec, 275 secs
lola: 13989852 markings, 95433243 edges, 50562 markings/sec, 280 secs
lola: 14238056 markings, 97098750 edges, 49641 markings/sec, 285 secs
lola: 14498621 markings, 98740229 edges, 52113 markings/sec, 290 secs
lola: 14750240 markings, 100385767 edges, 50324 markings/sec, 295 secs
lola: 15007625 markings, 102041005 edges, 51477 markings/sec, 300 secs
lola: 15290003 markings, 103702804 edges, 56476 markings/sec, 305 secs
lola: 15540660 markings, 105355992 edges, 50131 markings/sec, 310 secs
lola: 15784662 markings, 107013022 edges, 48800 markings/sec, 315 secs
lola: 16021804 markings, 108650165 edges, 47428 markings/sec, 320 secs
lola: 16287913 markings, 110294815 edges, 53222 markings/sec, 325 secs
lola: 16564392 markings, 111945673 edges, 55296 markings/sec, 330 secs
lola: 16801913 markings, 113585285 edges, 47504 markings/sec, 335 secs
lola: 17042468 markings, 115218127 edges, 48111 markings/sec, 340 secs
lola: 17278000 markings, 116849565 edges, 47106 markings/sec, 345 secs
lola: 17477163 markings, 118468852 edges, 39833 markings/sec, 350 secs
lola: 17717859 markings, 120097305 edges, 48139 markings/sec, 355 secs
lola: 18006660 markings, 121767813 edges, 57760 markings/sec, 360 secs
lola: 18261849 markings, 123421739 edges, 51038 markings/sec, 365 secs
lola: 18507762 markings, 125085035 edges, 49183 markings/sec, 370 secs
lola: 18756420 markings, 126727054 edges, 49732 markings/sec, 375 secs
lola: 19007751 markings, 128381981 edges, 50266 markings/sec, 380 secs
lola: 19278443 markings, 130044040 edges, 54138 markings/sec, 385 secs
lola: 19516851 markings, 131702298 edges, 47682 markings/sec, 390 secs
lola: 19750657 markings, 133347108 edges, 46761 markings/sec, 395 secs
lola: 20025591 markings, 134995862 edges, 54987 markings/sec, 400 secs
lola: 20264012 markings, 136637366 edges, 47684 markings/sec, 405 secs
lola: 20498939 markings, 138271242 edges, 46985 markings/sec, 410 secs
lola: 20704440 markings, 139894999 edges, 41100 markings/sec, 415 secs
lola: 20949020 markings, 141531782 edges, 48916 markings/sec, 420 secs
lola: 21238131 markings, 143209794 edges, 57822 markings/sec, 425 secs
lola: 21493477 markings, 144868161 edges, 51069 markings/sec, 430 secs
lola: 21742153 markings, 146538696 edges, 49735 markings/sec, 435 secs
lola: 21989774 markings, 148184582 edges, 49524 markings/sec, 440 secs
lola: 22243671 markings, 149847025 edges, 50779 markings/sec, 445 secs
lola: 22511975 markings, 151512433 edges, 53661 markings/sec, 450 secs
lola: 22751725 markings, 153175843 edges, 47950 markings/sec, 455 secs
lola: 22988631 markings, 154825421 edges, 47381 markings/sec, 460 secs
lola: 23264986 markings, 156480592 edges, 55271 markings/sec, 465 secs
lola: 23500128 markings, 158127115 edges, 47028 markings/sec, 470 secs
lola: 23737211 markings, 159763090 edges, 47417 markings/sec, 475 secs
lola: 23937777 markings, 161391906 edges, 40113 markings/sec, 480 secs
lola: 24134975 markings, 163022831 edges, 39440 markings/sec, 485 secs
lola: 24327868 markings, 164658658 edges, 38579 markings/sec, 490 secs
lola: 24508850 markings, 166289313 edges, 36196 markings/sec, 495 secs
lola: 24686712 markings, 167910922 edges, 35572 markings/sec, 500 secs
lola: 24879529 markings, 169546456 edges, 38563 markings/sec, 505 secs
lola: 25054197 markings, 171168031 edges, 34934 markings/sec, 510 secs
lola: 25240989 markings, 172790852 edges, 37358 markings/sec, 515 secs
lola: 25417469 markings, 174405477 edges, 35296 markings/sec, 520 secs
lola: 25587026 markings, 176001628 edges, 33911 markings/sec, 525 secs
lola: 25724769 markings, 177578086 edges, 27549 markings/sec, 530 secs
lola: 26011694 markings, 179230204 edges, 57385 markings/sec, 535 secs
lola: 26318367 markings, 180912597 edges, 61335 markings/sec, 540 secs
lola: 26594425 markings, 182589603 edges, 55212 markings/sec, 545 secs
lola: 26850153 markings, 184265362 edges, 51146 markings/sec, 550 secs
lola: 27102601 markings, 185953557 edges, 50490 markings/sec, 555 secs
lola: 27366894 markings, 187623303 edges, 52859 markings/sec, 560 secs
lola: 27622753 markings, 189296389 edges, 51172 markings/sec, 565 secs
lola: 27883787 markings, 190973484 edges, 52207 markings/sec, 570 secs
lola: 28167821 markings, 192647345 edges, 56807 markings/sec, 575 secs
lola: 28421263 markings, 194324212 edges, 50688 markings/sec, 580 secs
lola: 28668174 markings, 196001150 edges, 49382 markings/sec, 585 secs
lola: 28909180 markings, 197658872 edges, 48201 markings/sec, 590 secs
lola: 29180787 markings, 199327524 edges, 54321 markings/sec, 595 secs
lola: 29457603 markings, 201001947 edges, 55363 markings/sec, 600 secs
lola: 29700680 markings, 202667236 edges, 48615 markings/sec, 605 secs
lola: 29943295 markings, 204323270 edges, 48523 markings/sec, 610 secs
lola: 30181404 markings, 205978512 edges, 47622 markings/sec, 615 secs
lola: 30377355 markings, 207615259 edges, 39190 markings/sec, 620 secs
lola: 30635997 markings, 209269169 edges, 51728 markings/sec, 625 secs
lola: 30927526 markings, 210964309 edges, 58306 markings/sec, 630 secs
lola: 31178755 markings, 212631215 edges, 50246 markings/sec, 635 secs
lola: 31432034 markings, 214311813 edges, 50656 markings/sec, 640 secs
lola: 31678661 markings, 215972922 edges, 49325 markings/sec, 645 secs
lola: 31939970 markings, 217650918 edges, 52262 markings/sec, 650 secs
lola: 32204500 markings, 219331563 edges, 52906 markings/sec, 655 secs
lola: 32446078 markings, 221007969 edges, 48316 markings/sec, 660 secs
lola: 32694242 markings, 222670675 edges, 49633 markings/sec, 665 secs
lola: 32963963 markings, 224338291 edges, 53944 markings/sec, 670 secs
lola: 33202015 markings, 225989550 edges, 47610 markings/sec, 675 secs
lola: 33422789 markings, 227544546 edges, 44155 markings/sec, 680 secs
lola: 33613352 markings, 229126782 edges, 38113 markings/sec, 685 secs
lola: 33878847 markings, 230771678 edges, 53099 markings/sec, 690 secs
lola: 34168909 markings, 232458328 edges, 58012 markings/sec, 695 secs
lola: 34415427 markings, 234111832 edges, 49304 markings/sec, 700 secs
lola: 34665414 markings, 235774431 edges, 49997 markings/sec, 705 secs
lola: 34909907 markings, 237415329 edges, 48899 markings/sec, 710 secs
lola: 35164478 markings, 239048415 edges, 50914 markings/sec, 715 secs
lola: 35427803 markings, 240727037 edges, 52665 markings/sec, 720 secs
lola: 35671035 markings, 242415532 edges, 48646 markings/sec, 725 secs
lola: 35923201 markings, 244095460 edges, 50433 markings/sec, 730 secs
lola: 36193588 markings, 245779020 edges, 54077 markings/sec, 735 secs
lola: 36435313 markings, 247456449 edges, 48345 markings/sec, 740 secs
lola: 36670710 markings, 249119521 edges, 47079 markings/sec, 745 secs
lola: 36863300 markings, 250767425 edges, 38518 markings/sec, 750 secs
lola: 37070428 markings, 252436010 edges, 41426 markings/sec, 755 secs
lola: 37256600 markings, 254079548 edges, 37234 markings/sec, 760 secs
lola: 37438331 markings, 255717174 edges, 36346 markings/sec, 765 secs
lola: 37623505 markings, 257356654 edges, 37035 markings/sec, 770 secs
lola: 37810130 markings, 259000979 edges, 37325 markings/sec, 775 secs
lola: 37984928 markings, 260625028 edges, 34960 markings/sec, 780 secs
lola: 38177209 markings, 262258585 edges, 38456 markings/sec, 785 secs
lola: 38351194 markings, 263875363 edges, 34797 markings/sec, 790 secs
lola: 38510595 markings, 265480027 edges, 31880 markings/sec, 795 secs
lola: 38664576 markings, 267085999 edges, 30796 markings/sec, 800 secs
lola: 38862982 markings, 268762588 edges, 39681 markings/sec, 805 secs
lola: 39060525 markings, 270450790 edges, 39509 markings/sec, 810 secs
lola: 39256809 markings, 272148281 edges, 39257 markings/sec, 815 secs
lola: 39442450 markings, 273826531 edges, 37128 markings/sec, 820 secs
lola: 39617241 markings, 275491923 edges, 34958 markings/sec, 825 secs
lola: 39793254 markings, 277169168 edges, 35203 markings/sec, 830 secs
lola: 39966120 markings, 278851816 edges, 34573 markings/sec, 835 secs
lola: 40146940 markings, 280519402 edges, 36164 markings/sec, 840 secs
lola: 40319968 markings, 282175805 edges, 34606 markings/sec, 845 secs
lola: 40494925 markings, 283843259 edges, 34991 markings/sec, 850 secs
lola: 40666633 markings, 285518598 edges, 34342 markings/sec, 855 secs
lola: 40856841 markings, 287199099 edges, 38042 markings/sec, 860 secs
lola: 41046495 markings, 288888976 edges, 37931 markings/sec, 865 secs
lola: 41222144 markings, 290561485 edges, 35130 markings/sec, 870 secs
lola: 41392662 markings, 292240570 edges, 34104 markings/sec, 875 secs
lola: 41562918 markings, 293905900 edges, 34051 markings/sec, 880 secs
lola: 41730651 markings, 295568126 edges, 33547 markings/sec, 885 secs
lola: 41906820 markings, 297247910 edges, 35234 markings/sec, 890 secs
lola: 42095377 markings, 298923482 edges, 37711 markings/sec, 895 secs
lola: 42283371 markings, 300607932 edges, 37599 markings/sec, 900 secs
lola: 42452730 markings, 302267091 edges, 33872 markings/sec, 905 secs
lola: 42620969 markings, 303937600 edges, 33648 markings/sec, 910 secs
lola: 42791163 markings, 305592716 edges, 34039 markings/sec, 915 secs
lola: 42959684 markings, 307252388 edges, 33704 markings/sec, 920 secs
lola: 43118955 markings, 308905836 edges, 31854 markings/sec, 925 secs
lola: 43259620 markings, 310543684 edges, 28133 markings/sec, 930 secs
lola: 43434249 markings, 312212402 edges, 34926 markings/sec, 935 secs
lola: 43629133 markings, 313914715 edges, 38977 markings/sec, 940 secs
lola: 43821762 markings, 315620287 edges, 38526 markings/sec, 945 secs
lola: 43994732 markings, 317299424 edges, 34594 markings/sec, 950 secs
lola: 44169566 markings, 318992214 edges, 34967 markings/sec, 955 secs
lola: 44344159 markings, 320674222 edges, 34919 markings/sec, 960 secs
lola: 44516356 markings, 322347816 edges, 34439 markings/sec, 965 secs
lola: 44687170 markings, 324034620 edges, 34163 markings/sec, 970 secs
lola: 44876290 markings, 325729770 edges, 37824 markings/sec, 975 secs
lola: 45056240 markings, 327419533 edges, 35990 markings/sec, 980 secs
lola: 45224433 markings, 329110148 edges, 33639 markings/sec, 985 secs
lola: 45393337 markings, 330778091 edges, 33781 markings/sec, 990 secs
lola: 45568688 markings, 332452521 edges, 35070 markings/sec, 995 secs
lola: 45754413 markings, 334131140 edges, 37145 markings/sec, 1000 secs
lola: 45924201 markings, 335793547 edges, 33958 markings/sec, 1005 secs
lola: 46092464 markings, 337459243 edges, 33653 markings/sec, 1010 secs
lola: 46258266 markings, 339112460 edges, 33160 markings/sec, 1015 secs
lola: 46410663 markings, 340756284 edges, 30479 markings/sec, 1020 secs
lola: 46553924 markings, 342392157 edges, 28652 markings/sec, 1025 secs
lola: 46751886 markings, 344094452 edges, 39592 markings/sec, 1030 secs
lola: 46947827 markings, 345807284 edges, 39188 markings/sec, 1035 secs
lola: 47129886 markings, 347505965 edges, 36412 markings/sec, 1040 secs
lola: 47304268 markings, 349200991 edges, 34876 markings/sec, 1045 secs
lola: 47479423 markings, 350905405 edges, 35031 markings/sec, 1050 secs
lola: 47654315 markings, 352582322 edges, 34978 markings/sec, 1055 secs
lola: 47828885 markings, 354272674 edges, 34914 markings/sec, 1060 secs
lola: 48008665 markings, 355967345 edges, 35956 markings/sec, 1065 secs
lola: 48197625 markings, 357676842 edges, 37792 markings/sec, 1070 secs
lola: 48367846 markings, 359368671 edges, 34044 markings/sec, 1075 secs
lola: 48538104 markings, 361055356 edges, 34052 markings/sec, 1080 secs
lola: 48705301 markings, 362735217 edges, 33439 markings/sec, 1085 secs
lola: 48892609 markings, 364420731 edges, 37462 markings/sec, 1090 secs
lola: 49072269 markings, 366101066 edges, 35932 markings/sec, 1095 secs
lola: 49239182 markings, 367777384 edges, 33383 markings/sec, 1100 secs
lola: 49407011 markings, 369438921 edges, 33566 markings/sec, 1105 secs
lola: 49570351 markings, 371103710 edges, 32668 markings/sec, 1110 secs
lola: 49711313 markings, 372748300 edges, 28192 markings/sec, 1115 secs
lola: 49859098 markings, 374408800 edges, 29557 markings/sec, 1120 secs
lola: 50009155 markings, 376084132 edges, 30011 markings/sec, 1125 secs
lola: 50146030 markings, 377736517 edges, 27375 markings/sec, 1130 secs
lola: 50283666 markings, 379387210 edges, 27527 markings/sec, 1135 secs
lola: 50419655 markings, 381033441 edges, 27198 markings/sec, 1140 secs
lola: 50556086 markings, 382587684 edges, 27286 markings/sec, 1145 secs
lola: 50691739 markings, 384228042 edges, 27131 markings/sec, 1150 secs
lola: 50824294 markings, 385854049 edges, 26511 markings/sec, 1155 secs
lola: 50964529 markings, 387486812 edges, 28047 markings/sec, 1160 secs
lola: 51101660 markings, 389115011 edges, 27426 markings/sec, 1165 secs
lola: 51233355 markings, 390731281 edges, 26339 markings/sec, 1170 secs
lola: 51358096 markings, 392340317 edges, 24948 markings/sec, 1175 secs
lola: 51467007 markings, 393927617 edges, 21782 markings/sec, 1180 secs
lola: 51744258 markings, 395595963 edges, 55450 markings/sec, 1185 secs
lola: 52053762 markings, 397297184 edges, 61901 markings/sec, 1190 secs
lola: 52333161 markings, 398985121 edges, 55880 markings/sec, 1195 secs
lola: 52589136 markings, 400666713 edges, 51195 markings/sec, 1200 secs
lola: 52843631 markings, 402362623 edges, 50899 markings/sec, 1205 secs
lola: 53097773 markings, 403965324 edges, 50828 markings/sec, 1210 secs
lola: 53353950 markings, 405644433 edges, 51235 markings/sec, 1215 secs
lola: 53616080 markings, 407333434 edges, 52426 markings/sec, 1220 secs
lola: 53904134 markings, 409028568 edges, 57611 markings/sec, 1225 secs
lola: 54149205 markings, 410642097 edges, 49014 markings/sec, 1230 secs
lola: 54398298 markings, 412334568 edges, 49819 markings/sec, 1235 secs
lola: 54640114 markings, 414004078 edges, 48363 markings/sec, 1240 secs
lola: 54912451 markings, 415683553 edges, 54467 markings/sec, 1245 secs
lola: 55192679 markings, 417370156 edges, 56046 markings/sec, 1250 secs
lola: 55436680 markings, 419048261 edges, 48800 markings/sec, 1255 secs
lola: 55681717 markings, 420714469 edges, 49007 markings/sec, 1260 secs
lola: 55921854 markings, 422383778 edges, 48027 markings/sec, 1265 secs
lola: 56119818 markings, 424033062 edges, 39593 markings/sec, 1270 secs
lola: 56380565 markings, 425702424 edges, 52149 markings/sec, 1275 secs
lola: 56672978 markings, 427402974 edges, 58483 markings/sec, 1280 secs
lola: 56926532 markings, 429083578 edges, 50711 markings/sec, 1285 secs
lola: 57180455 markings, 430772648 edges, 50785 markings/sec, 1290 secs
lola: 57429176 markings, 432446161 edges, 49744 markings/sec, 1295 secs
lola: 57691943 markings, 434130282 edges, 52553 markings/sec, 1300 secs
lola: 57956474 markings, 435819234 edges, 52906 markings/sec, 1305 secs
lola: 58198705 markings, 437500519 edges, 48446 markings/sec, 1310 secs
lola: 58449738 markings, 439171460 edges, 50207 markings/sec, 1315 secs
lola: 58718627 markings, 440845135 edges, 53778 markings/sec, 1320 secs
lola: 58958930 markings, 442512537 edges, 48061 markings/sec, 1325 secs
lola: 59193445 markings, 444167360 edges, 46903 markings/sec, 1330 secs
lola: 59385431 markings, 445804370 edges, 38397 markings/sec, 1335 secs
lola: 59673895 markings, 447495014 edges, 57693 markings/sec, 1340 secs
lola: 59959261 markings, 449198883 edges, 57073 markings/sec, 1345 secs
lola: 60211667 markings, 450894705 edges, 50481 markings/sec, 1350 secs
lola: 60455097 markings, 452512463 edges, 48686 markings/sec, 1355 secs
lola: 60707764 markings, 454199292 edges, 50533 markings/sec, 1360 secs
lola: 60977968 markings, 455896649 edges, 54041 markings/sec, 1365 secs
lola: 61233455 markings, 457592206 edges, 51097 markings/sec, 1370 secs
lola: 61476072 markings, 459276250 edges, 48523 markings/sec, 1375 secs
lola: 61739297 markings, 460959746 edges, 52645 markings/sec, 1380 secs
lola: 61999468 markings, 462642591 edges, 52034 markings/sec, 1385 secs
lola: 62240764 markings, 464317043 edges, 48259 markings/sec, 1390 secs
lola: 62468896 markings, 465983647 edges, 45626 markings/sec, 1395 secs
lola: 62661243 markings, 467637209 edges, 38469 markings/sec, 1400 secs
lola: 62867992 markings, 469317497 edges, 41350 markings/sec, 1405 secs
lola: 63052345 markings, 470979131 edges, 36871 markings/sec, 1410 secs
lola: 63235513 markings, 472631981 edges, 36634 markings/sec, 1415 secs
lola: 63428957 markings, 474296974 edges, 38689 markings/sec, 1420 secs
lola: 63610446 markings, 475954469 edges, 36298 markings/sec, 1425 secs
lola: 63792549 markings, 477595578 edges, 36421 markings/sec, 1430 secs
lola: 63980577 markings, 479245453 edges, 37606 markings/sec, 1435 secs
lola: 64156573 markings, 480878513 edges, 35199 markings/sec, 1440 secs
lola: 64304108 markings, 482495129 edges, 29507 markings/sec, 1445 secs
lola: 64551748 markings, 484145564 edges, 49528 markings/sec, 1450 secs
lola: 64858920 markings, 485845917 edges, 61434 markings/sec, 1455 secs
lola: 65151949 markings, 487545665 edges, 58606 markings/sec, 1460 secs
lola: 65409203 markings, 489228839 edges, 51451 markings/sec, 1465 secs
lola: 65667022 markings, 490926155 edges, 51564 markings/sec, 1470 secs
lola: 65928936 markings, 492609047 edges, 52383 markings/sec, 1475 secs
lola: 66184949 markings, 494283871 edges, 51203 markings/sec, 1480 secs
lola: 66436464 markings, 495977214 edges, 50303 markings/sec, 1485 secs
lola: 66730119 markings, 497670105 edges, 58731 markings/sec, 1490 secs
lola: 66993087 markings, 499356874 edges, 52594 markings/sec, 1495 secs
lola: 67239442 markings, 501048359 edges, 49271 markings/sec, 1500 secs
lola: 67483827 markings, 502715234 edges, 48877 markings/sec, 1505 secs
lola: 67742432 markings, 504342633 edges, 51721 markings/sec, 1510 secs
lola: 68015739 markings, 505964435 edges, 54661 markings/sec, 1515 secs
lola: 68261190 markings, 507633770 edges, 49090 markings/sec, 1520 secs
lola: 68507201 markings, 509304927 edges, 49202 markings/sec, 1525 secs
lola: 68748260 markings, 510966326 edges, 48212 markings/sec, 1530 secs
lola: 68954905 markings, 512618960 edges, 41329 markings/sec, 1535 secs
lola: 69194085 markings, 514278791 edges, 47836 markings/sec, 1540 secs
lola: 69489268 markings, 515978838 edges, 59037 markings/sec, 1545 secs
lola: 69749451 markings, 517664434 edges, 52037 markings/sec, 1550 secs
lola: 70000654 markings, 519358353 edges, 50241 markings/sec, 1555 secs
lola: 70252826 markings, 521030063 edges, 50434 markings/sec, 1560 secs
lola: 70510630 markings, 522715733 edges, 51561 markings/sec, 1565 secs
lola: 70782916 markings, 524407289 edges, 54457 markings/sec, 1570 secs
lola: 71025866 markings, 526093552 edges, 48590 markings/sec, 1575 secs
lola: 71269253 markings, 527766923 edges, 48677 markings/sec, 1580 secs
lola: 71547051 markings, 529444295 edges, 55560 markings/sec, 1585 secs
lola: 71783584 markings, 531114791 edges, 47307 markings/sec, 1590 secs
lola: 72023548 markings, 532770932 edges, 47993 markings/sec, 1595 secs
lola: 72223506 markings, 534415057 edges, 39992 markings/sec, 1600 secs
lola: 72491348 markings, 536088751 edges, 53568 markings/sec, 1605 secs
lola: 72784507 markings, 537793396 edges, 58632 markings/sec, 1610 secs
lola: 73035661 markings, 539479066 edges, 50231 markings/sec, 1615 secs
lola: 73290084 markings, 541171726 edges, 50885 markings/sec, 1620 secs
lola: 73540040 markings, 542850249 edges, 49991 markings/sec, 1625 secs
lola: 73806065 markings, 544540302 edges, 53205 markings/sec, 1630 secs
lola: 74067537 markings, 546231780 edges, 52294 markings/sec, 1635 secs
lola: 74309965 markings, 547914389 edges, 48486 markings/sec, 1640 secs
lola: 74565497 markings, 549591712 edges, 51106 markings/sec, 1645 secs
lola: 74831511 markings, 551270606 edges, 53203 markings/sec, 1650 secs
lola: 75072425 markings, 552942261 edges, 48183 markings/sec, 1655 secs
lola: 75305696 markings, 554603148 edges, 46654 markings/sec, 1660 secs
lola: 75494572 markings, 556253058 edges, 37775 markings/sec, 1665 secs
lola: 75704658 markings, 557931441 edges, 42017 markings/sec, 1670 secs
lola: 75892172 markings, 559596086 edges, 37503 markings/sec, 1675 secs
lola: 76075779 markings, 561250963 edges, 36721 markings/sec, 1680 secs
lola: 76265639 markings, 562913449 edges, 37972 markings/sec, 1685 secs
lola: 76451465 markings, 564575497 edges, 37165 markings/sec, 1690 secs
lola: 76630315 markings, 566219293 edges, 35770 markings/sec, 1695 secs
lola: 76822153 markings, 567868680 edges, 38368 markings/sec, 1700 secs
lola: 76998036 markings, 569503455 edges, 35177 markings/sec, 1705 secs
lola: 77152768 markings, 571123448 edges, 30946 markings/sec, 1710 secs
lola: 77335219 markings, 572767644 edges, 36490 markings/sec, 1715 secs
lola: 77560776 markings, 574472839 edges, 45111 markings/sec, 1720 secs
lola: 77789998 markings, 576189384 edges, 45844 markings/sec, 1725 secs
lola: 78007591 markings, 577897376 edges, 43519 markings/sec, 1730 secs
lola: 78204738 markings, 579581803 edges, 39429 markings/sec, 1735 secs
lola: 78402454 markings, 581277215 edges, 39543 markings/sec, 1740 secs
lola: 78597489 markings, 582980618 edges, 39007 markings/sec, 1745 secs
lola: 78801558 markings, 584661970 edges, 40814 markings/sec, 1750 secs
lola: 78998171 markings, 586342164 edges, 39323 markings/sec, 1755 secs
lola: 79197795 markings, 588036073 edges, 39925 markings/sec, 1760 secs
lola: 79401305 markings, 589732035 edges, 40702 markings/sec, 1765 secs
lola: 79618867 markings, 591441067 edges, 43512 markings/sec, 1770 secs
lola: 79820434 markings, 593133983 edges, 40313 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes yes yes unknown yes no yes unknown unknown yes yes unknown no unknown
lola:
preliminary result: no no yes yes yes unknown yes no yes unknown unknown yes yes unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes yes yes unknown yes no yes unknown unknown yes yes unknown no unknown
lola: memory consumption: 9836792 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes yes yes unknown yes no yes unknown unknown yes yes unknown no unknown
lola: memory consumption: 9837024 KB
lola: time consumption: 3571 seconds
BK_STOP 1526593051806
--------------------
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="DES-PT-05b"
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/DES-PT-05b.tgz
mv DES-PT-05b 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 DES-PT-05b, 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 r052-smll-152646380100207"
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 ;