About the Execution of LoLA for DLCshifumi-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9112.730 | 3600000.00 | 3597017.00 | 9689.30 | TT?F?FT???FF?TF? | 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 17M
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 17M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCshifumi-PT-6b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400221
=====================================================================
--------------------
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 DLCshifumi-PT-6b-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-6b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526741892488
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCshifumi-PT-6b 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 DLCshifumi-PT-6b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCshifumi-PT-6b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 110854/65536 symbol table entries, 76305 collisions
lola: preprocessing...
lola: Size of bit vector: 44243
lola: finding significant places
lola: 44243 places, 66611 transitions, 41828 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 93553 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-6b-CTLFireability.task
lola: E (G (((NOT FIREABLE(t57913) OR (NOT FIREABLE(t48001) AND NOT FIREABLE(t54006))) OR E (X (NOT FIREABLE(t46619)))))) : NOT(A (G ((NOT FIREABLE(t41122) AND NOT FIREABLE(t8826) AND NOT FIREABLE(t19098))))) : (((A (F (FIREABLE(t59442))) OR A (G ((FIREABLE(t31307) OR FIREABLE(t621))))) OR A ((NOT FIREABLE(t66466) U (FIREABLE(t8004) AND FIREABLE(t1150))))) OR (FIREABLE(t43161) OR FIREABLE(t53466))) : A (X (A ((NOT FIREABLE(t21630) U FIREABLE(t61695))))) : E ((E (F ((FIREABLE(t33130) OR FIREABLE(t16394)))) U FIREABLE(t39438))) : A (F ((((NOT FIREABLE(t34139) AND (FIREABLE(t48259) OR FIREABLE(t10253))) OR (FIREABLE(t12542) AND NOT FIREABLE(t12012))) OR ((FIREABLE(t13183) AND FIREABLE(t49371) AND NOT FIREABLE(t41662)) AND E (X (FIREABLE(t52109))))))) : E (G (((NOT FIREABLE(t27982) OR NOT FIREABLE(t8557) OR NOT FIREABLE(t18682)) AND A (X (NOT FIREABLE(t48775)))))) : E (F (A (G (E (F (FIREABLE(t38519))))))) : ((FIREABLE(t9846) AND E (((FIREABLE(t262) OR FIREABLE(t40771)) U NOT FIREABLE(t55247)))) OR E (F (A (X (FIREABLE(t33034)))))) : E ((E (F ((FIREABLE(t50613) AND FIREABLE(t15751)))) U (A (F (FIREABLE(t3666))) AND FIREABLE(t38833)))) : A (G ((FIREABLE(t35286) OR (NOT FIREABLE(t47528) AND NOT FIREABLE(t26523) AND NOT FIREABLE(t53223) AND NOT FIREABLE(t13856))))) : A (F ((A ((FIREABLE(t38879) U FIREABLE(t20296))) AND (E (G (FIREABLE(t2332))) AND (NOT FIREABLE(t20626) AND NOT FIREABLE(t52192)))))) : A ((FIREABLE(t12389) U A (G (NOT FIREABLE(t52372))))) : E ((FIREABLE(t8009) U E (G (NOT FIREABLE(t35117))))) : NOT(E (X ((E (F (FIREABLE(t10295))) OR A (G (FIREABLE(t19272))))))) : A (G (E (F ((FIREABLE(t30209) OR FIREABLE(t48470))))))
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:554
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: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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(t57913) OR (NOT FIREABLE(t48001) AND NOT FIREABLE(t54006))) OR E (X (NOT FIREABLE(t46619))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U ((FIREABLE(t57913) AND (FIREABLE(t48001) OR FIREABLE(t54006))) AND NOT(EX(NOT FIREABLE(t46619))))))
lola: processed formula length: 113
lola: 22 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 52 markings, 52 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-0 TRUE 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: A (X (A ((NOT FIREABLE(t21630) U FIREABLE(t61695)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(A(NOT FIREABLE(t21630) U FIREABLE(t61695)))
lola: processed formula length: 46
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 11487 markings, 11487 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-3 FALSE 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 (F ((((NOT FIREABLE(t34139) AND (FIREABLE(t48259) OR FIREABLE(t10253))) OR (FIREABLE(t12542) AND NOT FIREABLE(t12012))) OR ((FIREABLE(t13183) AND FIREABLE(t49371) AND NOT FIREABLE(t41662)) AND E (X (FIREABLE(t52109)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (((NOT FIREABLE(t34139) AND (FIREABLE(t48259) OR FIREABLE(t10253))) OR (FIREABLE(t12542) AND NOT FIREABLE(t12012))) OR ((FIREABLE(t13183) AND FIREABLE(t49371) AND NOT FIREABLE(t41662)) AND EX(FIREABLE(t52109)))))
lola: processed formula length: 223
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 52 markings, 52 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(t27982) OR NOT FIREABLE(t8557) OR NOT FIREABLE(t18682)) AND A (X (NOT FIREABLE(t48775))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U ((FIREABLE(t27982) AND FIREABLE(t8557) AND FIREABLE(t18682)) OR NOT(AX(NOT FIREABLE(t48775))))))
lola: processed formula length: 109
lola: 22 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 52 markings, 52 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t9846) AND E (((FIREABLE(t262) OR FIREABLE(t40771)) U NOT FIREABLE(t55247)))) OR E (F (A (X (FIREABLE(t33034))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t9846)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t9846)
lola: processed formula length: 15
lola: 18 rewrites
lola: closed formula file DLCshifumi-PT-6b-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 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (FIREABLE(t33034)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U AX(FIREABLE(t33034)))
lola: processed formula length: 30
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 9792 markings, 10528 edges, 1958 markings/sec, 0 secs
lola: 20387 markings, 21875 edges, 2119 markings/sec, 5 secs
lola: 30324 markings, 33551 edges, 1987 markings/sec, 10 secs
lola: 39452 markings, 45443 edges, 1826 markings/sec, 15 secs
lola: 48294 markings, 57359 edges, 1768 markings/sec, 20 secs
lola: 57634 markings, 69266 edges, 1868 markings/sec, 25 secs
lola: 67099 markings, 81158 edges, 1893 markings/sec, 30 secs
lola: 76221 markings, 93088 edges, 1824 markings/sec, 35 secs
lola: 85378 markings, 104942 edges, 1831 markings/sec, 40 secs
lola: 94349 markings, 116874 edges, 1794 markings/sec, 45 secs
lola: 103466 markings, 128798 edges, 1823 markings/sec, 50 secs
lola: 112288 markings, 140831 edges, 1764 markings/sec, 55 secs
lola: 121117 markings, 152796 edges, 1766 markings/sec, 60 secs
lola: 130284 markings, 164648 edges, 1833 markings/sec, 65 secs
lola: 139759 markings, 176399 edges, 1895 markings/sec, 70 secs
lola: 149562 markings, 188114 edges, 1961 markings/sec, 75 secs
lola: 158813 markings, 199925 edges, 1850 markings/sec, 80 secs
lola: 168431 markings, 211682 edges, 1924 markings/sec, 85 secs
lola: 178644 markings, 223199 edges, 2043 markings/sec, 90 secs
lola: 189286 markings, 234691 edges, 2128 markings/sec, 95 secs
lola: 199863 markings, 246137 edges, 2115 markings/sec, 100 secs
lola: 210482 markings, 257585 edges, 2124 markings/sec, 105 secs
lola: 220891 markings, 269004 edges, 2082 markings/sec, 110 secs
lola: 231264 markings, 280519 edges, 2075 markings/sec, 115 secs
lola: 241114 markings, 292110 edges, 1970 markings/sec, 120 secs
lola: 251556 markings, 303557 edges, 2088 markings/sec, 125 secs
lola: 261931 markings, 315026 edges, 2075 markings/sec, 130 secs
lola: 271923 markings, 326669 edges, 1998 markings/sec, 135 secs
lola: 281196 markings, 338557 edges, 1855 markings/sec, 140 secs
lola: 290361 markings, 350479 edges, 1833 markings/sec, 145 secs
lola: 299165 markings, 362491 edges, 1761 markings/sec, 150 secs
lola: 308119 markings, 374435 edges, 1791 markings/sec, 155 secs
lola: 317066 markings, 386391 edges, 1789 markings/sec, 160 secs
lola: 326004 markings, 398327 edges, 1788 markings/sec, 165 secs
lola: 334976 markings, 410233 edges, 1794 markings/sec, 170 secs
lola: 344003 markings, 422116 edges, 1805 markings/sec, 175 secs
lola: 352647 markings, 433701 edges, 1729 markings/sec, 180 secs
lola: 360667 markings, 444449 edges, 1604 markings/sec, 185 secs
lola: 369680 markings, 456278 edges, 1803 markings/sec, 190 secs
lola: 378576 markings, 468183 edges, 1779 markings/sec, 195 secs
lola: 387476 markings, 480068 edges, 1780 markings/sec, 200 secs
lola: 396402 markings, 491944 edges, 1785 markings/sec, 205 secs
lola: 405300 markings, 503832 edges, 1780 markings/sec, 210 secs
lola: 414227 markings, 515700 edges, 1785 markings/sec, 215 secs
lola: 423214 markings, 527529 edges, 1797 markings/sec, 220 secs
lola: 432150 markings, 539465 edges, 1787 markings/sec, 225 secs
lola: 441085 markings, 551409 edges, 1787 markings/sec, 230 secs
lola: 450142 markings, 563418 edges, 1811 markings/sec, 235 secs
lola: 459144 markings, 575426 edges, 1800 markings/sec, 240 secs
lola: 468171 markings, 587431 edges, 1805 markings/sec, 245 secs
lola: 476978 markings, 599494 edges, 1761 markings/sec, 250 secs
lola: 486025 markings, 611469 edges, 1809 markings/sec, 255 secs
lola: 494813 markings, 623504 edges, 1758 markings/sec, 260 secs
lola: 503783 markings, 635457 edges, 1794 markings/sec, 265 secs
lola: 512669 markings, 647427 edges, 1777 markings/sec, 270 secs
lola: 521325 markings, 659482 edges, 1731 markings/sec, 275 secs
lola: 530298 markings, 671409 edges, 1795 markings/sec, 280 secs
lola: 539239 markings, 683373 edges, 1788 markings/sec, 285 secs
lola: 548385 markings, 695268 edges, 1829 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown no unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown unknown no unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1695084 KB
lola: time consumption: 303 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown unknown no unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1695084 KB
lola: time consumption: 303 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (G (NOT FIREABLE(t10295))))) AND A (X (E (F (NOT FIREABLE(t19272))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F (NOT FIREABLE(t19272)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U NOT FIREABLE(t19272)))
lola: processed formula length: 34
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (NOT FIREABLE(t10295)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: FIREABLE(t10295)
lola: processed formula length: 16
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 1195 markings, 1194 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t41122) OR FIREABLE(t8826) OR FIREABLE(t19098))))
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(t41122) OR FIREABLE(t8826) OR FIREABLE(t19098))))
lola: processed formula length: 67
lola: 19 rewrites
lola: closed formula file DLCshifumi-PT-6b-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(t41122) OR FIREABLE(t8826) OR FIREABLE(t19098))
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-6b-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-6b-CTLFireability-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 611 markings, 610 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t35286) OR (NOT FIREABLE(t47528) AND NOT FIREABLE(t26523) AND NOT FIREABLE(t53223) AND NOT FIREABLE(t13856)))))
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 ((FIREABLE(t35286) OR (NOT FIREABLE(t47528) AND NOT FIREABLE(t26523) AND NOT FIREABLE(t53223) AND NOT FIREABLE(t13856)))))
lola: processed formula length: 128
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: (NOT FIREABLE(t35286) AND (FIREABLE(t47528) OR FIREABLE(t26523) OR FIREABLE(t53223) OR FIREABLE(t13856)))
lola: state equation: Generated DNF with 10 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-6b-CTLFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-6b-CTLFireability-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 64 markings, 63 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (E (F (FIREABLE(t38519)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:652
lola: processed formula: FIREABLE(t38519)
lola: processed formula length: 16
lola: 19 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 1973 markings, 2214 edges, 395 markings/sec, 0 secs
lola: 3950 markings, 4469 edges, 395 markings/sec, 5 secs
lola: 5906 markings, 6701 edges, 391 markings/sec, 10 secs
lola: 7899 markings, 8975 edges, 399 markings/sec, 15 secs
lola: 10206 markings, 11569 edges, 461 markings/sec, 20 secs
lola: 12542 markings, 14275 edges, 467 markings/sec, 25 secs
lola: 14721 markings, 16786 edges, 436 markings/sec, 30 secs
lola: 16371 markings, 18804 edges, 330 markings/sec, 35 secs
lola: 17910 markings, 20590 edges, 308 markings/sec, 40 secs
lola: 19464 markings, 22406 edges, 311 markings/sec, 45 secs
lola: 21021 markings, 24202 edges, 311 markings/sec, 50 secs
lola: 22612 markings, 26113 edges, 318 markings/sec, 55 secs
lola: 24201 markings, 28042 edges, 318 markings/sec, 60 secs
lola: 25884 markings, 30107 edges, 337 markings/sec, 65 secs
lola: 27504 markings, 32169 edges, 324 markings/sec, 70 secs
lola: 29120 markings, 34202 edges, 323 markings/sec, 75 secs
lola: 30707 markings, 36171 edges, 317 markings/sec, 80 secs
lola: 32261 markings, 38094 edges, 311 markings/sec, 85 secs
lola: 33799 markings, 40006 edges, 308 markings/sec, 90 secs
lola: 35390 markings, 41991 edges, 318 markings/sec, 95 secs
lola: 37000 markings, 44019 edges, 322 markings/sec, 100 secs
lola: 38550 markings, 45940 edges, 310 markings/sec, 105 secs
lola: 40134 markings, 47896 edges, 317 markings/sec, 110 secs
lola: 41765 markings, 49902 edges, 326 markings/sec, 115 secs
lola: 43433 markings, 51929 edges, 334 markings/sec, 120 secs
lola: 45089 markings, 53925 edges, 331 markings/sec, 125 secs
lola: 46655 markings, 55833 edges, 313 markings/sec, 130 secs
lola: 48089 markings, 57570 edges, 287 markings/sec, 135 secs
lola: 49478 markings, 59251 edges, 278 markings/sec, 140 secs
lola: 50890 markings, 60964 edges, 282 markings/sec, 145 secs
lola: 52407 markings, 62808 edges, 303 markings/sec, 150 secs
lola: 54076 markings, 64844 edges, 334 markings/sec, 155 secs
lola: 55749 markings, 66893 edges, 335 markings/sec, 160 secs
lola: 57426 markings, 68943 edges, 335 markings/sec, 165 secs
lola: 58925 markings, 70763 edges, 300 markings/sec, 170 secs
lola: 60313 markings, 72464 edges, 278 markings/sec, 175 secs
lola: 61687 markings, 74144 edges, 275 markings/sec, 180 secs
lola: 63088 markings, 75847 edges, 280 markings/sec, 185 secs
lola: 64471 markings, 77518 edges, 277 markings/sec, 190 secs
lola: 65826 markings, 79157 edges, 271 markings/sec, 195 secs
lola: 67229 markings, 80862 edges, 281 markings/sec, 200 secs
lola: 68600 markings, 82521 edges, 274 markings/sec, 205 secs
lola: 69968 markings, 84177 edges, 274 markings/sec, 210 secs
lola: 71379 markings, 85907 edges, 282 markings/sec, 215 secs
lola: 72748 markings, 87556 edges, 274 markings/sec, 220 secs
lola: 74122 markings, 89226 edges, 275 markings/sec, 225 secs
lola: 75500 markings, 90888 edges, 276 markings/sec, 230 secs
lola: 76889 markings, 92577 edges, 278 markings/sec, 235 secs
lola: 78276 markings, 94264 edges, 277 markings/sec, 240 secs
lola: 79652 markings, 95929 edges, 275 markings/sec, 245 secs
lola: 81018 markings, 97578 edges, 273 markings/sec, 250 secs
lola: 82410 markings, 99272 edges, 278 markings/sec, 255 secs
lola: 83804 markings, 100977 edges, 279 markings/sec, 260 secs
lola: 85171 markings, 102623 edges, 273 markings/sec, 265 secs
lola: 86567 markings, 104323 edges, 279 markings/sec, 270 secs
lola: 87952 markings, 105990 edges, 277 markings/sec, 275 secs
lola: 89349 markings, 107697 edges, 279 markings/sec, 280 secs
lola: 90708 markings, 109348 edges, 272 markings/sec, 285 secs
lola: 92110 markings, 111041 edges, 280 markings/sec, 290 secs
lola: 93488 markings, 112715 edges, 276 markings/sec, 295 secs
lola: 94876 markings, 114400 edges, 278 markings/sec, 300 secs
lola: 96278 markings, 116106 edges, 280 markings/sec, 305 secs
lola: 97669 markings, 117803 edges, 278 markings/sec, 310 secs
lola: 99083 markings, 119506 edges, 283 markings/sec, 315 secs
lola: 100493 markings, 121222 edges, 282 markings/sec, 320 secs
lola: 102189 markings, 123309 edges, 339 markings/sec, 325 secs
lola: 103883 markings, 125370 edges, 339 markings/sec, 330 secs
lola: 105598 markings, 127460 edges, 343 markings/sec, 335 secs
lola: 107228 markings, 129430 edges, 326 markings/sec, 340 secs
lola: 108646 markings, 131157 edges, 284 markings/sec, 345 secs
lola: 110047 markings, 132851 edges, 280 markings/sec, 350 secs
lola: 111459 markings, 134578 edges, 282 markings/sec, 355 secs
lola: 112849 markings, 136260 edges, 278 markings/sec, 360 secs
lola: 114293 markings, 138023 edges, 289 markings/sec, 365 secs
lola: 115671 markings, 139672 edges, 276 markings/sec, 370 secs
lola: 117082 markings, 141396 edges, 282 markings/sec, 375 secs
lola: 118498 markings, 143099 edges, 283 markings/sec, 380 secs
lola: 119911 markings, 144817 edges, 283 markings/sec, 385 secs
lola: 121324 markings, 146546 edges, 283 markings/sec, 390 secs
lola: 122708 markings, 148222 edges, 277 markings/sec, 395 secs
lola: 124085 markings, 149879 edges, 275 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no unknown unknown unknown no unknown
lola: memory consumption: 494912 KB
lola: time consumption: 713 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((FIREABLE(t30209) OR FIREABLE(t48470))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: (FIREABLE(t30209) OR FIREABLE(t48470))
lola: processed formula length: 39
lola: 19 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 11749 markings, 12659 edges, 2350 markings/sec, 0 secs
lola: 23022 markings, 25504 edges, 2255 markings/sec, 5 secs
lola: 35005 markings, 38307 edges, 2397 markings/sec, 10 secs
lola: 47026 markings, 51099 edges, 2404 markings/sec, 15 secs
lola: 59039 markings, 63877 edges, 2403 markings/sec, 20 secs
lola: 70997 markings, 76633 edges, 2392 markings/sec, 25 secs
lola: 82910 markings, 89449 edges, 2383 markings/sec, 30 secs
lola: 94722 markings, 102210 edges, 2362 markings/sec, 35 secs
lola: 105974 markings, 115052 edges, 2250 markings/sec, 40 secs
lola: 118035 markings, 127777 edges, 2412 markings/sec, 45 secs
lola: 130060 markings, 140486 edges, 2405 markings/sec, 50 secs
lola: 141999 markings, 153192 edges, 2388 markings/sec, 55 secs
lola: 154016 markings, 165904 edges, 2403 markings/sec, 60 secs
lola: 165732 markings, 178654 edges, 2343 markings/sec, 65 secs
lola: 177584 markings, 191372 edges, 2370 markings/sec, 70 secs
lola: 189445 markings, 204084 edges, 2372 markings/sec, 75 secs
lola: 201290 markings, 216799 edges, 2369 markings/sec, 80 secs
lola: 213176 markings, 229536 edges, 2377 markings/sec, 85 secs
lola: 224909 markings, 242290 edges, 2347 markings/sec, 90 secs
lola: 236450 markings, 255083 edges, 2308 markings/sec, 95 secs
lola: 248043 markings, 267845 edges, 2319 markings/sec, 100 secs
lola: 259035 markings, 280688 edges, 2198 markings/sec, 105 secs
lola: 270604 markings, 293444 edges, 2314 markings/sec, 110 secs
lola: 282306 markings, 306192 edges, 2340 markings/sec, 115 secs
lola: 294069 markings, 318941 edges, 2353 markings/sec, 120 secs
lola: 305985 markings, 331682 edges, 2383 markings/sec, 125 secs
lola: 317943 markings, 344425 edges, 2392 markings/sec, 130 secs
lola: 329944 markings, 357159 edges, 2400 markings/sec, 135 secs
lola: 341975 markings, 369858 edges, 2406 markings/sec, 140 secs
lola: 354002 markings, 382546 edges, 2405 markings/sec, 145 secs
lola: 366012 markings, 395221 edges, 2402 markings/sec, 150 secs
lola: 378021 markings, 407896 edges, 2402 markings/sec, 155 secs
lola: 390024 markings, 420566 edges, 2401 markings/sec, 160 secs
lola: 402039 markings, 433241 edges, 2403 markings/sec, 165 secs
lola: 414071 markings, 445910 edges, 2406 markings/sec, 170 secs
lola: 426034 markings, 458519 edges, 2393 markings/sec, 175 secs
lola: 438048 markings, 471187 edges, 2403 markings/sec, 180 secs
lola: 450142 markings, 483950 edges, 2419 markings/sec, 185 secs
lola: 462235 markings, 496711 edges, 2419 markings/sec, 190 secs
lola: 474312 markings, 509457 edges, 2415 markings/sec, 195 secs
lola: 486399 markings, 522214 edges, 2417 markings/sec, 200 secs
lola: 498477 markings, 534971 edges, 2416 markings/sec, 205 secs
lola: 510570 markings, 547727 edges, 2419 markings/sec, 210 secs
lola: 522687 markings, 560497 edges, 2423 markings/sec, 215 secs
lola: 534800 markings, 573275 edges, 2423 markings/sec, 220 secs
lola: 546903 markings, 586048 edges, 2421 markings/sec, 225 secs
lola: 559006 markings, 598819 edges, 2421 markings/sec, 230 secs
lola: 571096 markings, 611578 edges, 2418 markings/sec, 235 secs
lola: 583185 markings, 624348 edges, 2418 markings/sec, 240 secs
lola: 595287 markings, 637119 edges, 2420 markings/sec, 245 secs
lola: 607390 markings, 649874 edges, 2421 markings/sec, 250 secs
lola: 619473 markings, 662613 edges, 2417 markings/sec, 255 secs
lola: 631540 markings, 675336 edges, 2413 markings/sec, 260 secs
lola: 643588 markings, 688041 edges, 2410 markings/sec, 265 secs
lola: 655635 markings, 700742 edges, 2409 markings/sec, 270 secs
lola: 667498 markings, 713258 edges, 2373 markings/sec, 275 secs
lola: 678969 markings, 725403 edges, 2294 markings/sec, 280 secs
lola: 690237 markings, 737482 edges, 2254 markings/sec, 285 secs
lola: 701639 markings, 749684 edges, 2280 markings/sec, 290 secs
lola: 713008 markings, 761866 edges, 2274 markings/sec, 295 secs
lola: 724462 markings, 773999 edges, 2291 markings/sec, 300 secs
lola: 735809 markings, 786148 edges, 2269 markings/sec, 305 secs
lola: 747168 markings, 798325 edges, 2272 markings/sec, 310 secs
lola: 758633 markings, 810457 edges, 2293 markings/sec, 315 secs
lola: 769975 markings, 822614 edges, 2268 markings/sec, 320 secs
lola: 781329 markings, 834772 edges, 2271 markings/sec, 325 secs
lola: 792801 markings, 846973 edges, 2294 markings/sec, 330 secs
lola: 804683 markings, 859591 edges, 2376 markings/sec, 335 secs
lola: 816632 markings, 872189 edges, 2390 markings/sec, 340 secs
lola: 828570 markings, 884781 edges, 2388 markings/sec, 345 secs
lola: 840512 markings, 897374 edges, 2388 markings/sec, 350 secs
lola: 851996 markings, 909537 edges, 2297 markings/sec, 355 secs
lola: 863257 markings, 921600 edges, 2252 markings/sec, 360 secs
lola: 874662 markings, 933805 edges, 2281 markings/sec, 365 secs
lola: 886629 markings, 946544 edges, 2393 markings/sec, 370 secs
lola: 895825 markings, 959691 edges, 1839 markings/sec, 375 secs
lola: 904999 markings, 972838 edges, 1835 markings/sec, 380 secs
lola: 913656 markings, 986047 edges, 1731 markings/sec, 385 secs
lola: 922611 markings, 999225 edges, 1791 markings/sec, 390 secs
lola: 931806 markings, 1012256 edges, 1839 markings/sec, 395 secs
lola: 940741 markings, 1025258 edges, 1787 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no unknown unknown unknown no unknown
lola: memory consumption: 2917168 KB
lola: time consumption: 1121 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t12389) U A (G (NOT FIREABLE(t52372)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(FIREABLE(t12389) U NOT(E(TRUE U FIREABLE(t52372))))
lola: processed formula length: 53
lola: 21 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 12704 markings, 12773 edges, 2541 markings/sec, 0 secs
lola: 24574 markings, 25444 edges, 2374 markings/sec, 5 secs
lola: 36561 markings, 38276 edges, 2397 markings/sec, 10 secs
lola: 48743 markings, 51346 edges, 2436 markings/sec, 15 secs
lola: 60961 markings, 64429 edges, 2444 markings/sec, 20 secs
lola: 73176 markings, 77499 edges, 2443 markings/sec, 25 secs
lola: 85452 markings, 90606 edges, 2455 markings/sec, 30 secs
lola: 97689 markings, 103687 edges, 2447 markings/sec, 35 secs
lola: 109359 markings, 116235 edges, 2334 markings/sec, 40 secs
lola: 121280 markings, 128903 edges, 2384 markings/sec, 45 secs
lola: 133250 markings, 141619 edges, 2394 markings/sec, 50 secs
lola: 145102 markings, 154344 edges, 2370 markings/sec, 55 secs
lola: 157127 markings, 167326 edges, 2405 markings/sec, 60 secs
lola: 169102 markings, 180247 edges, 2395 markings/sec, 65 secs
lola: 181050 markings, 193094 edges, 2390 markings/sec, 70 secs
lola: 192938 markings, 205896 edges, 2378 markings/sec, 75 secs
lola: 204836 markings, 218785 edges, 2380 markings/sec, 80 secs
lola: 216991 markings, 231832 edges, 2431 markings/sec, 85 secs
lola: 228889 markings, 244646 edges, 2380 markings/sec, 90 secs
lola: 240979 markings, 257597 edges, 2418 markings/sec, 95 secs
lola: 252846 markings, 270403 edges, 2373 markings/sec, 100 secs
lola: 264742 markings, 283232 edges, 2379 markings/sec, 105 secs
lola: 276744 markings, 296210 edges, 2400 markings/sec, 110 secs
lola: 288663 markings, 309031 edges, 2384 markings/sec, 115 secs
lola: 300226 markings, 321414 edges, 2313 markings/sec, 120 secs
lola: 312143 markings, 334245 edges, 2383 markings/sec, 125 secs
lola: 324096 markings, 347019 edges, 2391 markings/sec, 130 secs
lola: 336032 markings, 359945 edges, 2387 markings/sec, 135 secs
lola: 347953 markings, 372891 edges, 2384 markings/sec, 140 secs
lola: 359355 markings, 385246 edges, 2280 markings/sec, 145 secs
lola: 371366 markings, 398136 edges, 2402 markings/sec, 150 secs
lola: 383350 markings, 410960 edges, 2397 markings/sec, 155 secs
lola: 395248 markings, 423716 edges, 2380 markings/sec, 160 secs
lola: 407102 markings, 436581 edges, 2371 markings/sec, 165 secs
lola: 419119 markings, 449527 edges, 2403 markings/sec, 170 secs
lola: 430964 markings, 462438 edges, 2369 markings/sec, 175 secs
lola: 442940 markings, 475297 edges, 2395 markings/sec, 180 secs
lola: 454945 markings, 488154 edges, 2401 markings/sec, 185 secs
lola: 466877 markings, 500948 edges, 2386 markings/sec, 190 secs
lola: 478735 markings, 513794 edges, 2372 markings/sec, 195 secs
lola: 490757 markings, 526728 edges, 2404 markings/sec, 200 secs
lola: 502609 markings, 539644 edges, 2370 markings/sec, 205 secs
lola: 514564 markings, 552485 edges, 2391 markings/sec, 210 secs
lola: 526572 markings, 565394 edges, 2402 markings/sec, 215 secs
lola: 538520 markings, 578171 edges, 2390 markings/sec, 220 secs
lola: 550376 markings, 591003 edges, 2371 markings/sec, 225 secs
lola: 562397 markings, 603924 edges, 2404 markings/sec, 230 secs
lola: 574210 markings, 616825 edges, 2363 markings/sec, 235 secs
lola: 586148 markings, 629669 edges, 2388 markings/sec, 240 secs
lola: 598201 markings, 642563 edges, 2411 markings/sec, 245 secs
lola: 610109 markings, 655355 edges, 2382 markings/sec, 250 secs
lola: 621976 markings, 668164 edges, 2373 markings/sec, 255 secs
lola: 633980 markings, 681109 edges, 2401 markings/sec, 260 secs
lola: 645899 markings, 694117 edges, 2384 markings/sec, 265 secs
lola: 657786 markings, 706918 edges, 2377 markings/sec, 270 secs
lola: 669669 markings, 719766 edges, 2377 markings/sec, 275 secs
lola: 681596 markings, 732564 edges, 2385 markings/sec, 280 secs
lola: 693510 markings, 745317 edges, 2383 markings/sec, 285 secs
lola: 705523 markings, 758141 edges, 2403 markings/sec, 290 secs
lola: 717521 markings, 771041 edges, 2400 markings/sec, 295 secs
lola: 729492 markings, 783917 edges, 2394 markings/sec, 300 secs
lola: 741517 markings, 796904 edges, 2405 markings/sec, 305 secs
lola: 753580 markings, 809746 edges, 2413 markings/sec, 310 secs
lola: 765484 markings, 822575 edges, 2381 markings/sec, 315 secs
lola: 777415 markings, 835357 edges, 2386 markings/sec, 320 secs
lola: 789337 markings, 848144 edges, 2384 markings/sec, 325 secs
lola: 801314 markings, 860915 edges, 2395 markings/sec, 330 secs
lola: 813323 markings, 873796 edges, 2402 markings/sec, 335 secs
lola: 825326 markings, 886656 edges, 2401 markings/sec, 340 secs
lola: 837306 markings, 899555 edges, 2396 markings/sec, 345 secs
lola: 849301 markings, 912480 edges, 2399 markings/sec, 350 secs
lola: 861255 markings, 925388 edges, 2391 markings/sec, 355 secs
lola: 873181 markings, 938289 edges, 2385 markings/sec, 360 secs
lola: 885126 markings, 951156 edges, 2389 markings/sec, 365 secs
lola: 897020 markings, 963906 edges, 2379 markings/sec, 370 secs
lola: 908877 markings, 976672 edges, 2371 markings/sec, 375 secs
lola: 920779 markings, 989507 edges, 2380 markings/sec, 380 secs
lola: 932665 markings, 1002411 edges, 2377 markings/sec, 385 secs
lola: 944622 markings, 1015107 edges, 2391 markings/sec, 390 secs
lola: 956605 markings, 1027966 edges, 2397 markings/sec, 395 secs
lola: 968558 markings, 1040809 edges, 2391 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no unknown unknown unknown no unknown
lola: memory consumption: 7349432 KB
lola: time consumption: 1529 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t8009) U E (G (NOT FIREABLE(t35117)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(FIREABLE(t8009) U NOT(A(TRUE U FIREABLE(t35117))))
lola: processed formula length: 52
lola: 21 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 11488 markings, 11489 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((FIREABLE(t33130) OR FIREABLE(t16394)))) U FIREABLE(t39438)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(E(TRUE U (FIREABLE(t33130) OR FIREABLE(t16394))) U FIREABLE(t39438))
lola: processed formula length: 71
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 12493 markings, 12547 edges, 2499 markings/sec, 0 secs
lola: 24305 markings, 25149 edges, 2362 markings/sec, 5 secs
lola: 36249 markings, 37944 edges, 2389 markings/sec, 10 secs
lola: 48396 markings, 50976 edges, 2429 markings/sec, 15 secs
lola: 60577 markings, 64018 edges, 2436 markings/sec, 20 secs
lola: 72763 markings, 77059 edges, 2437 markings/sec, 25 secs
lola: 85001 markings, 90127 edges, 2448 markings/sec, 30 secs
lola: 97219 markings, 103177 edges, 2444 markings/sec, 35 secs
lola: 108870 markings, 115708 edges, 2330 markings/sec, 40 secs
lola: 120748 markings, 128338 edges, 2376 markings/sec, 45 secs
lola: 132463 markings, 140787 edges, 2343 markings/sec, 50 secs
lola: 144342 markings, 153519 edges, 2376 markings/sec, 55 secs
lola: 156383 markings, 166503 edges, 2408 markings/sec, 60 secs
lola: 168306 markings, 179395 edges, 2385 markings/sec, 65 secs
lola: 180274 markings, 192262 edges, 2394 markings/sec, 70 secs
lola: 192178 markings, 205076 edges, 2381 markings/sec, 75 secs
lola: 204106 markings, 217980 edges, 2386 markings/sec, 80 secs
lola: 216211 markings, 231000 edges, 2421 markings/sec, 85 secs
lola: 228140 markings, 243852 edges, 2386 markings/sec, 90 secs
lola: 240231 markings, 256800 edges, 2418 markings/sec, 95 secs
lola: 252120 markings, 269620 edges, 2378 markings/sec, 100 secs
lola: 264023 markings, 282462 edges, 2381 markings/sec, 105 secs
lola: 276027 markings, 295447 edges, 2401 markings/sec, 110 secs
lola: 287962 markings, 308284 edges, 2387 markings/sec, 115 secs
lola: 300030 markings, 321212 edges, 2414 markings/sec, 120 secs
lola: 311954 markings, 334046 edges, 2385 markings/sec, 125 secs
lola: 323908 markings, 346818 edges, 2391 markings/sec, 130 secs
lola: 335829 markings, 359728 edges, 2384 markings/sec, 135 secs
lola: 347742 markings, 372667 edges, 2383 markings/sec, 140 secs
lola: 359661 markings, 385570 edges, 2384 markings/sec, 145 secs
lola: 371699 markings, 398489 edges, 2408 markings/sec, 150 secs
lola: 383712 markings, 411349 edges, 2403 markings/sec, 155 secs
lola: 395628 markings, 424125 edges, 2383 markings/sec, 160 secs
lola: 407518 markings, 437026 edges, 2378 markings/sec, 165 secs
lola: 419512 markings, 449984 edges, 2399 markings/sec, 170 secs
lola: 431394 markings, 462913 edges, 2376 markings/sec, 175 secs
lola: 443403 markings, 475806 edges, 2402 markings/sec, 180 secs
lola: 455447 markings, 488687 edges, 2409 markings/sec, 185 secs
lola: 467398 markings, 501507 edges, 2390 markings/sec, 190 secs
lola: 479277 markings, 514384 edges, 2376 markings/sec, 195 secs
lola: 491317 markings, 527335 edges, 2408 markings/sec, 200 secs
lola: 503201 markings, 540284 edges, 2377 markings/sec, 205 secs
lola: 515167 markings, 553158 edges, 2393 markings/sec, 210 secs
lola: 527232 markings, 566096 edges, 2413 markings/sec, 215 secs
lola: 539209 markings, 578915 edges, 2395 markings/sec, 220 secs
lola: 551102 markings, 591783 edges, 2379 markings/sec, 225 secs
lola: 563163 markings, 604752 edges, 2412 markings/sec, 230 secs
lola: 575003 markings, 617678 edges, 2368 markings/sec, 235 secs
lola: 586988 markings, 630562 edges, 2397 markings/sec, 240 secs
lola: 599050 markings, 643500 edges, 2412 markings/sec, 245 secs
lola: 610995 markings, 656303 edges, 2389 markings/sec, 250 secs
lola: 622864 markings, 669147 edges, 2374 markings/sec, 255 secs
lola: 634910 markings, 682115 edges, 2409 markings/sec, 260 secs
lola: 646862 markings, 695142 edges, 2390 markings/sec, 265 secs
lola: 658752 markings, 707951 edges, 2378 markings/sec, 270 secs
lola: 670695 markings, 720873 edges, 2389 markings/sec, 275 secs
lola: 682638 markings, 733677 edges, 2389 markings/sec, 280 secs
lola: 694583 markings, 746456 edges, 2389 markings/sec, 285 secs
lola: 706639 markings, 759334 edges, 2411 markings/sec, 290 secs
lola: 718658 markings, 772256 edges, 2404 markings/sec, 295 secs
lola: 730639 markings, 785154 edges, 2396 markings/sec, 300 secs
lola: 742723 markings, 798188 edges, 2417 markings/sec, 305 secs
lola: 754769 markings, 811061 edges, 2409 markings/sec, 310 secs
lola: 766711 markings, 823888 edges, 2388 markings/sec, 315 secs
lola: 778705 markings, 836723 edges, 2399 markings/sec, 320 secs
lola: 790640 markings, 849522 edges, 2387 markings/sec, 325 secs
lola: 802643 markings, 862337 edges, 2401 markings/sec, 330 secs
lola: 814681 markings, 875262 edges, 2408 markings/sec, 335 secs
lola: 826201 markings, 887588 edges, 2304 markings/sec, 340 secs
lola: 838206 markings, 900524 edges, 2401 markings/sec, 345 secs
lola: 850225 markings, 913479 edges, 2404 markings/sec, 350 secs
lola: 862202 markings, 926408 edges, 2395 markings/sec, 355 secs
lola: 874159 markings, 939342 edges, 2391 markings/sec, 360 secs
lola: 885583 markings, 951674 edges, 2285 markings/sec, 365 secs
lola: 897517 markings, 964443 edges, 2387 markings/sec, 370 secs
lola: 909377 markings, 977203 edges, 2372 markings/sec, 375 secs
lola: 921274 markings, 990048 edges, 2379 markings/sec, 380 secs
lola: 933167 markings, 1002947 edges, 2379 markings/sec, 385 secs
lola: 945127 markings, 1015652 edges, 2392 markings/sec, 390 secs
lola: 956115 markings, 1027428 edges, 2198 markings/sec, 395 secs
lola: 968044 markings, 1040250 edges, 2386 markings/sec, 400 secs
lola: 979870 markings, 1053091 edges, 2365 markings/sec, 405 secs
lola: 991659 markings, 1065948 edges, 2358 markings/sec, 410 secs
lola: 1003563 markings, 1078781 edges, 2381 markings/sec, 415 secs
lola: 1015544 markings, 1091493 edges, 2396 markings/sec, 420 secs
lola: 1027503 markings, 1104289 edges, 2392 markings/sec, 425 secs
lola: 1039494 markings, 1117038 edges, 2398 markings/sec, 430 secs
lola: 1051492 markings, 1129900 edges, 2400 markings/sec, 435 secs
lola: 1063424 markings, 1142728 edges, 2386 markings/sec, 440 secs
lola: 1074808 markings, 1155019 edges, 2277 markings/sec, 445 secs
lola: 1086762 markings, 1167774 edges, 2391 markings/sec, 450 secs
lola: 1098731 markings, 1180620 edges, 2394 markings/sec, 455 secs
lola: 1110683 markings, 1193478 edges, 2390 markings/sec, 460 secs
lola: 1122589 markings, 1206314 edges, 2381 markings/sec, 465 secs
lola: 1134467 markings, 1219060 edges, 2376 markings/sec, 470 secs
lola: 1146326 markings, 1231761 edges, 2372 markings/sec, 475 secs
lola: 1158287 markings, 1244568 edges, 2392 markings/sec, 480 secs
lola: 1170180 markings, 1257404 edges, 2379 markings/sec, 485 secs
lola: 1182046 markings, 1270365 edges, 2373 markings/sec, 490 secs
lola: 1193974 markings, 1283284 edges, 2386 markings/sec, 495 secs
lola: 1205933 markings, 1296025 edges, 2392 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no unknown unknown yes no unknown
lola: memory consumption: 9048216 KB
lola: time consumption: 2042 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((FIREABLE(t50613) AND FIREABLE(t15751)))) U (A (F (FIREABLE(t3666))) AND FIREABLE(t38833))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(E(TRUE U (FIREABLE(t50613) AND FIREABLE(t15751))) U (A(TRUE U FIREABLE(t3666)) AND FIREABLE(t38833)))
lola: processed formula length: 103
lola: 21 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 11488 markings, 12770 edges, 2298 markings/sec, 0 secs
lola: 17371 markings, 25703 edges, 1177 markings/sec, 5 secs
lola: 29276 markings, 38449 edges, 2381 markings/sec, 10 secs
lola: 41258 markings, 51273 edges, 2396 markings/sec, 15 secs
lola: 53419 markings, 64314 edges, 2432 markings/sec, 20 secs
lola: 65606 markings, 77372 edges, 2437 markings/sec, 25 secs
lola: 77791 markings, 90401 edges, 2437 markings/sec, 30 secs
lola: 90020 markings, 103461 edges, 2446 markings/sec, 35 secs
lola: 101969 markings, 116318 edges, 2390 markings/sec, 40 secs
lola: 113789 markings, 128911 edges, 2364 markings/sec, 45 secs
lola: 125687 markings, 141574 edges, 2380 markings/sec, 50 secs
lola: 137550 markings, 154179 edges, 2373 markings/sec, 55 secs
lola: 149372 markings, 166832 edges, 2364 markings/sec, 60 secs
lola: 161222 markings, 179439 edges, 2370 markings/sec, 65 secs
lola: 173013 markings, 192074 edges, 2358 markings/sec, 70 secs
lola: 184717 markings, 204737 edges, 2341 markings/sec, 75 secs
lola: 196554 markings, 217549 edges, 2367 markings/sec, 80 secs
lola: 208437 markings, 230352 edges, 2377 markings/sec, 85 secs
lola: 220154 markings, 242950 edges, 2343 markings/sec, 90 secs
lola: 231982 markings, 255685 edges, 2366 markings/sec, 95 secs
lola: 243700 markings, 268310 edges, 2344 markings/sec, 100 secs
lola: 255584 markings, 281037 edges, 2377 markings/sec, 105 secs
lola: 267501 markings, 293871 edges, 2383 markings/sec, 110 secs
lola: 278764 markings, 306215 edges, 2253 markings/sec, 115 secs
lola: 290482 markings, 319031 edges, 2344 markings/sec, 120 secs
lola: 302361 markings, 331937 edges, 2376 markings/sec, 125 secs
lola: 314358 markings, 344849 edges, 2399 markings/sec, 130 secs
lola: 326386 markings, 357799 edges, 2406 markings/sec, 135 secs
lola: 338269 markings, 370589 edges, 2377 markings/sec, 140 secs
lola: 350136 markings, 383474 edges, 2373 markings/sec, 145 secs
lola: 362140 markings, 396337 edges, 2401 markings/sec, 150 secs
lola: 373959 markings, 409151 edges, 2364 markings/sec, 155 secs
lola: 385970 markings, 422051 edges, 2402 markings/sec, 160 secs
lola: 398043 markings, 435013 edges, 2415 markings/sec, 165 secs
lola: 409990 markings, 447834 edges, 2389 markings/sec, 170 secs
lola: 421876 markings, 460695 edges, 2377 markings/sec, 175 secs
lola: 433832 markings, 473592 edges, 2391 markings/sec, 180 secs
lola: 445722 markings, 486364 edges, 2378 markings/sec, 185 secs
lola: 457600 markings, 499202 edges, 2376 markings/sec, 190 secs
lola: 469633 markings, 512066 edges, 2407 markings/sec, 195 secs
lola: 481643 markings, 524975 edges, 2402 markings/sec, 200 secs
lola: 493403 markings, 537724 edges, 2352 markings/sec, 205 secs
lola: 505452 markings, 550716 edges, 2410 markings/sec, 210 secs
lola: 517308 markings, 563434 edges, 2371 markings/sec, 215 secs
lola: 529208 markings, 576340 edges, 2380 markings/sec, 220 secs
lola: 541239 markings, 589245 edges, 2406 markings/sec, 225 secs
lola: 553321 markings, 602243 edges, 2416 markings/sec, 230 secs
lola: 565068 markings, 615055 edges, 2349 markings/sec, 235 secs
lola: 576947 markings, 627875 edges, 2376 markings/sec, 240 secs
lola: 588844 markings, 640657 edges, 2379 markings/sec, 245 secs
lola: 600804 markings, 653546 edges, 2392 markings/sec, 250 secs
lola: 612748 markings, 666390 edges, 2389 markings/sec, 255 secs
lola: 624657 markings, 679237 edges, 2382 markings/sec, 260 secs
lola: 636594 markings, 692153 edges, 2387 markings/sec, 265 secs
lola: 648568 markings, 705019 edges, 2395 markings/sec, 270 secs
lola: 660483 markings, 717877 edges, 2383 markings/sec, 275 secs
lola: 672386 markings, 730720 edges, 2381 markings/sec, 280 secs
lola: 684338 markings, 743553 edges, 2390 markings/sec, 285 secs
lola: 696154 markings, 756401 edges, 2363 markings/sec, 290 secs
lola: 707979 markings, 769276 edges, 2365 markings/sec, 295 secs
lola: 719766 markings, 781994 edges, 2357 markings/sec, 300 secs
lola: 731678 markings, 794914 edges, 2382 markings/sec, 305 secs
lola: 743723 markings, 807837 edges, 2409 markings/sec, 310 secs
lola: 755591 markings, 820687 edges, 2374 markings/sec, 315 secs
lola: 767552 markings, 833611 edges, 2392 markings/sec, 320 secs
lola: 779339 markings, 846277 edges, 2357 markings/sec, 325 secs
lola: 791306 markings, 859185 edges, 2393 markings/sec, 330 secs
lola: 803246 markings, 872052 edges, 2388 markings/sec, 335 secs
lola: 815087 markings, 884950 edges, 2368 markings/sec, 340 secs
lola: 826976 markings, 897755 edges, 2378 markings/sec, 345 secs
lola: 838749 markings, 910480 edges, 2355 markings/sec, 350 secs
lola: 850601 markings, 923276 edges, 2370 markings/sec, 355 secs
lola: 862560 markings, 936114 edges, 2392 markings/sec, 360 secs
lola: 874510 markings, 949061 edges, 2390 markings/sec, 365 secs
lola: 886335 markings, 961801 edges, 2365 markings/sec, 370 secs
lola: 898198 markings, 974689 edges, 2373 markings/sec, 375 secs
lola: 910106 markings, 987441 edges, 2382 markings/sec, 380 secs
lola: 921995 markings, 1000327 edges, 2378 markings/sec, 385 secs
lola: 934018 markings, 1013249 edges, 2405 markings/sec, 390 secs
lola: 946020 markings, 1026145 edges, 2400 markings/sec, 395 secs
lola: 958058 markings, 1038983 edges, 2408 markings/sec, 400 secs
lola: 969796 markings, 1051724 edges, 2348 markings/sec, 405 secs
lola: 981763 markings, 1064577 edges, 2393 markings/sec, 410 secs
lola: 993627 markings, 1077334 edges, 2373 markings/sec, 415 secs
lola: 1005624 markings, 1090244 edges, 2399 markings/sec, 420 secs
lola: 1017541 markings, 1103056 edges, 2383 markings/sec, 425 secs
lola: 1029408 markings, 1115838 edges, 2373 markings/sec, 430 secs
lola: 1041339 markings, 1128596 edges, 2386 markings/sec, 435 secs
lola: 1053313 markings, 1141456 edges, 2395 markings/sec, 440 secs
lola: 1065387 markings, 1154373 edges, 2415 markings/sec, 445 secs
lola: 1077232 markings, 1167213 edges, 2369 markings/sec, 450 secs
lola: 1089143 markings, 1179968 edges, 2382 markings/sec, 455 secs
lola: 1101083 markings, 1192738 edges, 2388 markings/sec, 460 secs
lola: 1113108 markings, 1205617 edges, 2405 markings/sec, 465 secs
lola: 1124905 markings, 1218506 edges, 2359 markings/sec, 470 secs
lola: 1136824 markings, 1231383 edges, 2384 markings/sec, 475 secs
lola: 1148789 markings, 1244265 edges, 2393 markings/sec, 480 secs
lola: 1160728 markings, 1257071 edges, 2388 markings/sec, 485 secs
lola: 1172738 markings, 1269961 edges, 2402 markings/sec, 490 secs
lola: 1184682 markings, 1282780 edges, 2389 markings/sec, 495 secs
lola: 1196598 markings, 1295553 edges, 2383 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no unknown unknown yes no unknown
lola: memory consumption: 8929596 KB
lola: time consumption: 2551 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A ((FIREABLE(t38879) U FIREABLE(t20296))) AND (E (G (FIREABLE(t2332))) AND (NOT FIREABLE(t20626) AND NOT FIREABLE(t52192))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (A(FIREABLE(t38879) U FIREABLE(t20296)) AND (NOT(A(TRUE U NOT FIREABLE(t2332))) AND (NOT FIREABLE(t20626) AND NOT FIREABLE(t52192)))))
lola: processed formula length: 143
lola: 22 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 6704 markings, 13408 edges, 1341 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 11488 markings, 22976 edges
lola: ========================================
FORMULA DLCshifumi-PT-6b-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1009 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t59442))) OR (A (G ((FIREABLE(t31307) OR FIREABLE(t621)))) OR (A ((NOT FIREABLE(t66466) U (FIREABLE(t8004) AND FIREABLE(t1150)))) OR (FIREABLE(t43161) OR FIREABLE(t53466)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1009 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t43161) OR FIREABLE(t53466))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t43161) OR FIREABLE(t53466))
lola: processed formula length: 39
lola: 18 rewrites
lola: closed formula file DLCshifumi-PT-6b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t31307) OR FIREABLE(t621))))
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 ((FIREABLE(t31307) OR FIREABLE(t621))))
lola: processed formula length: 45
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: (NOT FIREABLE(t31307) AND NOT FIREABLE(t621))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: write sara problem file to DLCshifumi-PT-6b-CTLFireability-17-0.sara
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t66466) U (FIREABLE(t8004) AND FIREABLE(t1150))))
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 ((NOT FIREABLE(t66466) U (FIREABLE(t8004) AND FIREABLE(t1150))))
lola: processed formula length: 66
lola: 22 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no no unknown yes no unknown
lola: memory consumption: 234992 KB
lola: time consumption: 2561 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t9846) AND E (((FIREABLE(t262) OR FIREABLE(t40771)) U NOT FIREABLE(t55247)))) OR E (F (A (X (FIREABLE(t33034))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: FIREABLE(t9846)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t9846)
lola: processed formula length: 15
lola: 18 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: ========================================
lola: ...considering subproblem: E (F (A (X (FIREABLE(t33034)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U AX(FIREABLE(t33034)))
lola: processed formula length: 30
lola: 20 rewrites
lola: closed formula file DLCshifumi-PT-6b-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: 9955 markings, 10703 edges, 1991 markings/sec, 0 secs
lola: 20603 markings, 22104 edges, 2130 markings/sec, 5 secs
lola: 30449 markings, 33752 edges, 1969 markings/sec, 10 secs
lola: 39602 markings, 45612 edges, 1831 markings/sec, 15 secs
lola: 48382 markings, 57579 edges, 1756 markings/sec, 20 secs
lola: 57695 markings, 69371 edges, 1863 markings/sec, 25 secs
lola: 67095 markings, 81154 edges, 1880 markings/sec, 30 secs
lola: 76101 markings, 92964 edges, 1801 markings/sec, 35 secs
lola: 85232 markings, 104777 edges, 1826 markings/sec, 40 secs
lola: 94160 markings, 116675 edges, 1786 markings/sec, 45 secs
lola: 103253 markings, 128515 edges, 1819 markings/sec, 50 secs
lola: 112010 markings, 140467 edges, 1751 markings/sec, 55 secs
lola: 120797 markings, 152390 edges, 1757 markings/sec, 60 secs
lola: 129745 markings, 163970 edges, 1790 markings/sec, 65 secs
lola: 139168 markings, 175771 edges, 1885 markings/sec, 70 secs
lola: 148954 markings, 187472 edges, 1957 markings/sec, 75 secs
lola: 158321 markings, 199286 edges, 1873 markings/sec, 80 secs
lola: 167939 markings, 211033 edges, 1924 markings/sec, 85 secs
lola: 178106 markings, 222620 edges, 2033 markings/sec, 90 secs
lola: 188714 markings, 234082 edges, 2122 markings/sec, 95 secs
lola: 199326 markings, 245547 edges, 2122 markings/sec, 100 secs
lola: 209961 markings, 257016 edges, 2127 markings/sec, 105 secs
lola: 220411 markings, 268501 edges, 2090 markings/sec, 110 secs
lola: 230862 markings, 280023 edges, 2090 markings/sec, 115 secs
lola: 240733 markings, 291695 edges, 1974 markings/sec, 120 secs
lola: 251199 markings, 303183 edges, 2093 markings/sec, 125 secs
lola: 261614 markings, 314689 edges, 2083 markings/sec, 130 secs
lola: 271648 markings, 326315 edges, 2007 markings/sec, 135 secs
lola: 280946 markings, 338225 edges, 1860 markings/sec, 140 secs
lola: 290076 markings, 350168 edges, 1826 markings/sec, 145 secs
lola: 298882 markings, 362186 edges, 1761 markings/sec, 150 secs
lola: 307872 markings, 374133 edges, 1798 markings/sec, 155 secs
lola: 316838 markings, 386092 edges, 1793 markings/sec, 160 secs
lola: 325782 markings, 398026 edges, 1789 markings/sec, 165 secs
lola: 334829 markings, 409909 edges, 1809 markings/sec, 170 secs
lola: 343724 markings, 421819 edges, 1779 markings/sec, 175 secs
lola: 352643 markings, 433698 edges, 1784 markings/sec, 180 secs
lola: 361579 markings, 445568 edges, 1787 markings/sec, 185 secs
lola: 370458 markings, 457436 edges, 1776 markings/sec, 190 secs
lola: 379380 markings, 469348 edges, 1784 markings/sec, 195 secs
lola: 388416 markings, 481201 edges, 1807 markings/sec, 200 secs
lola: 397277 markings, 493085 edges, 1772 markings/sec, 205 secs
lola: 406185 markings, 504962 edges, 1782 markings/sec, 210 secs
lola: 415119 markings, 516830 edges, 1787 markings/sec, 215 secs
lola: 423980 markings, 528685 edges, 1772 markings/sec, 220 secs
lola: 432929 markings, 540618 edges, 1790 markings/sec, 225 secs
lola: 442013 markings, 552525 edges, 1817 markings/sec, 230 secs
lola: 450882 markings, 564427 edges, 1774 markings/sec, 235 secs
lola: 459616 markings, 576044 edges, 1747 markings/sec, 240 secs
lola: 468668 markings, 588037 edges, 1810 markings/sec, 245 secs
lola: 477457 markings, 600083 edges, 1758 markings/sec, 250 secs
lola: 486451 markings, 612050 edges, 1799 markings/sec, 255 secs
lola: 495295 markings, 624056 edges, 1769 markings/sec, 260 secs
lola: 504234 markings, 636010 edges, 1788 markings/sec, 265 secs
lola: 513022 markings, 647995 edges, 1758 markings/sec, 270 secs
lola: 521646 markings, 660046 edges, 1725 markings/sec, 275 secs
lola: 530680 markings, 671943 edges, 1807 markings/sec, 280 secs
lola: 539690 markings, 683858 edges, 1802 markings/sec, 285 secs
lola: 548674 markings, 695794 edges, 1797 markings/sec, 290 secs
lola: 557511 markings, 707755 edges, 1767 markings/sec, 295 secs
lola: 566535 markings, 719675 edges, 1805 markings/sec, 300 secs
lola: 575836 markings, 731517 edges, 1860 markings/sec, 305 secs
lola: 584747 markings, 743452 edges, 1782 markings/sec, 310 secs
lola: 593553 markings, 755427 edges, 1761 markings/sec, 315 secs
lola: 602560 markings, 767198 edges, 1801 markings/sec, 320 secs
lola: 611529 markings, 778053 edges, 1794 markings/sec, 325 secs
lola: 621799 markings, 789580 edges, 2054 markings/sec, 330 secs
lola: 630985 markings, 801409 edges, 1837 markings/sec, 335 secs
lola: 640094 markings, 813263 edges, 1822 markings/sec, 340 secs
lola: 649201 markings, 825099 edges, 1821 markings/sec, 345 secs
lola: 657800 markings, 837093 edges, 1720 markings/sec, 350 secs
lola: 666554 markings, 849081 edges, 1751 markings/sec, 355 secs
lola: 676159 markings, 860791 edges, 1921 markings/sec, 360 secs
lola: 686623 markings, 872249 edges, 2093 markings/sec, 365 secs
lola: 695951 markings, 884025 edges, 1866 markings/sec, 370 secs
lola: 705038 markings, 895878 edges, 1817 markings/sec, 375 secs
lola: 713914 markings, 907827 edges, 1775 markings/sec, 380 secs
lola: 723089 markings, 919654 edges, 1835 markings/sec, 385 secs
lola: 731917 markings, 931616 edges, 1766 markings/sec, 390 secs
lola: 741287 markings, 943405 edges, 1874 markings/sec, 395 secs
lola: 750593 markings, 955237 edges, 1861 markings/sec, 400 secs
lola: 759844 markings, 967132 edges, 1850 markings/sec, 405 secs
lola: 769419 markings, 978882 edges, 1915 markings/sec, 410 secs
lola: 779756 markings, 990396 edges, 2067 markings/sec, 415 secs
lola: 789886 markings, 1001971 edges, 2026 markings/sec, 420 secs
lola: 800396 markings, 1013401 edges, 2102 markings/sec, 425 secs
lola: 810602 markings, 1024941 edges, 2041 markings/sec, 430 secs
lola: 819789 markings, 1036754 edges, 1837 markings/sec, 435 secs
lola: 828655 markings, 1048666 edges, 1773 markings/sec, 440 secs
lola: 837540 markings, 1060571 edges, 1777 markings/sec, 445 secs
lola: 845959 markings, 1072602 edges, 1684 markings/sec, 450 secs
lola: 854938 markings, 1084509 edges, 1796 markings/sec, 455 secs
lola: 863712 markings, 1096473 edges, 1755 markings/sec, 460 secs
lola: 872702 markings, 1108354 edges, 1798 markings/sec, 465 secs
lola: 881489 markings, 1120300 edges, 1757 markings/sec, 470 secs
lola: 890455 markings, 1132222 edges, 1793 markings/sec, 475 secs
lola: 899666 markings, 1144060 edges, 1842 markings/sec, 480 secs
lola: 908571 markings, 1155993 edges, 1781 markings/sec, 485 secs
lola: 917520 markings, 1167922 edges, 1790 markings/sec, 490 secs
lola: 926008 markings, 1179364 edges, 1698 markings/sec, 495 secs
lola: 934788 markings, 1191293 edges, 1756 markings/sec, 500 secs
lola: 943667 markings, 1203247 edges, 1776 markings/sec, 505 secs
lola: 952824 markings, 1215065 edges, 1831 markings/sec, 510 secs
lola: 961626 markings, 1227025 edges, 1760 markings/sec, 515 secs
lola: 972049 markings, 1238480 edges, 2085 markings/sec, 520 secs
lola: 981907 markings, 1250085 edges, 1972 markings/sec, 525 secs
lola: 990950 markings, 1261949 edges, 1809 markings/sec, 530 secs
lola: 999793 markings, 1273330 edges, 1769 markings/sec, 535 secs
lola: 1008637 markings, 1285239 edges, 1769 markings/sec, 540 secs
lola: 1017522 markings, 1297149 edges, 1777 markings/sec, 545 secs
lola: 1026687 markings, 1308981 edges, 1833 markings/sec, 550 secs
lola: 1035418 markings, 1320950 edges, 1746 markings/sec, 555 secs
lola: 1044534 markings, 1332796 edges, 1823 markings/sec, 560 secs
lola: 1053480 markings, 1344691 edges, 1789 markings/sec, 565 secs
lola: 1062447 markings, 1356573 edges, 1793 markings/sec, 570 secs
lola: 1071347 markings, 1368479 edges, 1780 markings/sec, 575 secs
lola: 1080256 markings, 1380371 edges, 1782 markings/sec, 580 secs
lola: 1089440 markings, 1392206 edges, 1837 markings/sec, 585 secs
lola: 1098011 markings, 1404181 edges, 1714 markings/sec, 590 secs
lola: 1106955 markings, 1416056 edges, 1789 markings/sec, 595 secs
lola: 1116282 markings, 1427848 edges, 1865 markings/sec, 600 secs
lola: 1125196 markings, 1439719 edges, 1783 markings/sec, 605 secs
lola: 1134041 markings, 1451627 edges, 1769 markings/sec, 610 secs
lola: 1143038 markings, 1463512 edges, 1799 markings/sec, 615 secs
lola: 1152181 markings, 1475362 edges, 1829 markings/sec, 620 secs
lola: 1161037 markings, 1487296 edges, 1771 markings/sec, 625 secs
lola: 1169761 markings, 1499251 edges, 1745 markings/sec, 630 secs
lola: 1178885 markings, 1511076 edges, 1825 markings/sec, 635 secs
lola: 1188206 markings, 1522845 edges, 1864 markings/sec, 640 secs
lola: 1196937 markings, 1534808 edges, 1746 markings/sec, 645 secs
lola: 1206469 markings, 1546543 edges, 1906 markings/sec, 650 secs
lola: 1216831 markings, 1558019 edges, 2072 markings/sec, 655 secs
lola: 1226134 markings, 1569768 edges, 1861 markings/sec, 660 secs
lola: 1235232 markings, 1581593 edges, 1820 markings/sec, 665 secs
lola: 1244115 markings, 1593485 edges, 1777 markings/sec, 670 secs
lola: 1252859 markings, 1605399 edges, 1749 markings/sec, 675 secs
lola: 1261700 markings, 1617334 edges, 1768 markings/sec, 680 secs
lola: 1270963 markings, 1629114 edges, 1853 markings/sec, 685 secs
lola: 1281418 markings, 1640537 edges, 2091 markings/sec, 690 secs
lola: 1290944 markings, 1652229 edges, 1905 markings/sec, 695 secs
lola: 1300011 markings, 1664067 edges, 1813 markings/sec, 700 secs
lola: 1308891 markings, 1675974 edges, 1776 markings/sec, 705 secs
lola: 1317931 markings, 1687803 edges, 1808 markings/sec, 710 secs
lola: 1326823 markings, 1699720 edges, 1778 markings/sec, 715 secs
lola: 1336080 markings, 1711535 edges, 1851 markings/sec, 720 secs
lola: 1345457 markings, 1723299 edges, 1875 markings/sec, 725 secs
lola: 1354700 markings, 1735183 edges, 1849 markings/sec, 730 secs
lola: 1364070 markings, 1747001 edges, 1874 markings/sec, 735 secs
lola: 1374421 markings, 1758513 edges, 2070 markings/sec, 740 secs
lola: 1384505 markings, 1770113 edges, 2017 markings/sec, 745 secs
lola: 1395069 markings, 1781535 edges, 2113 markings/sec, 750 secs
lola: 1405258 markings, 1793080 edges, 2038 markings/sec, 755 secs
lola: 1414601 markings, 1804864 edges, 1869 markings/sec, 760 secs
lola: 1423814 markings, 1816691 edges, 1843 markings/sec, 765 secs
lola: 1432890 markings, 1828568 edges, 1815 markings/sec, 770 secs
lola: 1441733 markings, 1840502 edges, 1769 markings/sec, 775 secs
lola: 1450551 markings, 1852413 edges, 1764 markings/sec, 780 secs
lola: 1459666 markings, 1864247 edges, 1823 markings/sec, 785 secs
lola: 1468131 markings, 1876267 edges, 1693 markings/sec, 790 secs
lola: 1477177 markings, 1888112 edges, 1809 markings/sec, 795 secs
lola: 1485958 markings, 1900057 edges, 1756 markings/sec, 800 secs
lola: 1494809 markings, 1911981 edges, 1770 markings/sec, 805 secs
lola: 1504910 markings, 1923541 edges, 2020 markings/sec, 810 secs
lola: 1514572 markings, 1935190 edges, 1932 markings/sec, 815 secs
lola: 1523839 markings, 1946968 edges, 1853 markings/sec, 820 secs
lola: 1532800 markings, 1958843 edges, 1792 markings/sec, 825 secs
lola: 1541749 markings, 1970751 edges, 1790 markings/sec, 830 secs
lola: 1551507 markings, 1982407 edges, 1952 markings/sec, 835 secs
lola: 1561778 markings, 1993905 edges, 2054 markings/sec, 840 secs
lola: 1570692 markings, 2005774 edges, 1783 markings/sec, 845 secs
lola: 1579586 markings, 2017665 edges, 1779 markings/sec, 850 secs
lola: 1588400 markings, 2029577 edges, 1763 markings/sec, 855 secs
lola: 1597419 markings, 2041324 edges, 1804 markings/sec, 860 secs
lola: 1606735 markings, 2053061 edges, 1863 markings/sec, 865 secs
lola: 1615668 markings, 2064957 edges, 1787 markings/sec, 870 secs
lola: 1624940 markings, 2076769 edges, 1854 markings/sec, 875 secs
lola: 1633999 markings, 2088656 edges, 1812 markings/sec, 880 secs
lola: 1642869 markings, 2100592 edges, 1774 markings/sec, 885 secs
lola: 1651748 markings, 2112494 edges, 1776 markings/sec, 890 secs
lola: 1660759 markings, 2124365 edges, 1802 markings/sec, 895 secs
lola: 1669377 markings, 2136338 edges, 1724 markings/sec, 900 secs
lola: 1678122 markings, 2148280 edges, 1749 markings/sec, 905 secs
lola: 1687016 markings, 2160165 edges, 1779 markings/sec, 910 secs
lola: 1695762 markings, 2172127 edges, 1749 markings/sec, 915 secs
lola: 1704948 markings, 2183945 edges, 1837 markings/sec, 920 secs
lola: 1713747 markings, 2195883 edges, 1760 markings/sec, 925 secs
lola: 1722899 markings, 2207724 edges, 1830 markings/sec, 930 secs
lola: 1731772 markings, 2219628 edges, 1775 markings/sec, 935 secs
lola: 1740675 markings, 2231560 edges, 1781 markings/sec, 940 secs
lola: 1750048 markings, 2243358 edges, 1875 markings/sec, 945 secs
lola: 1759794 markings, 2255036 edges, 1949 markings/sec, 950 secs
lola: 1769809 markings, 2266605 edges, 2003 markings/sec, 955 secs
lola: 1779104 markings, 2278399 edges, 1859 markings/sec, 960 secs
lola: 1788060 markings, 2290292 edges, 1791 markings/sec, 965 secs
lola: 1797188 markings, 2302139 edges, 1826 markings/sec, 970 secs
lola: 1805965 markings, 2314066 edges, 1755 markings/sec, 975 secs
lola: 1814925 markings, 2325975 edges, 1792 markings/sec, 980 secs
lola: 1824315 markings, 2337750 edges, 1878 markings/sec, 985 secs
lola: 1833612 markings, 2349583 edges, 1859 markings/sec, 990 secs
lola: 1842885 markings, 2361446 edges, 1855 markings/sec, 995 secs
lola: 1852784 markings, 2373082 edges, 1980 markings/sec, 1000 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no no unknown yes no unknown
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no no unknown yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no no unknown yes no unknown
lola: memory consumption: 5986212 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown no unknown no yes unknown unknown unknown no no unknown yes no unknown
lola: memory consumption: 5986212 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 5986536 KB
lola: time consumption: 3569 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-6b"
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/DLCshifumi-PT-6b.tgz
mv DLCshifumi-PT-6b 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 DLCshifumi-PT-6b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400221"
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 ;