About the Execution of LoLA for DLCshifumi-PT-5a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.320 | 3571107.00 | 3558181.00 | 15671.30 | T?TFTFF?F?F?FTTF | 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 4.1M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.5K 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 3.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCshifumi-PT-5a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300200
=====================================================================
--------------------
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-5a-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-5a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526721875133
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCshifumi-PT-5a 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-5a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCshifumi-PT-5a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 17027/65536 symbol table entries, 5854 collisions
lola: preprocessing...
lola: Size of bit vector: 2162
lola: finding significant places
lola: 2162 places, 14865 transitions, 784 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12838 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-5a-CTLFireability.task
lola: A ((FIREABLE(t9149) U E (G (NOT FIREABLE(t1982))))) : (E (G (A (F ((FIREABLE(t2054) OR FIREABLE(t3898)))))) OR (((A (F (FIREABLE(t4503))) OR (NOT FIREABLE(t1701) AND NOT FIREABLE(t13030))) AND (A (F (FIREABLE(t9540))) OR (NOT FIREABLE(t3400) AND (FIREABLE(t3926) OR FIREABLE(t13822))))) OR E ((NOT FIREABLE(t13891) U FIREABLE(t14342))))) : E (F ((NOT(A (F (FIREABLE(t79)))) AND E (X ((FIREABLE(t1678) OR FIREABLE(t10896))))))) : (((NOT FIREABLE(t5209) OR (A (F (FIREABLE(t14446))) OR FIREABLE(t14265))) OR (E ((FIREABLE(t10702) U FIREABLE(t5788))) OR FIREABLE(t12705))) AND NOT(E (F ((NOT FIREABLE(t3044) AND FIREABLE(t1181)))))) : NOT(NOT(E (G ((NOT FIREABLE(t10425) OR NOT FIREABLE(t669)))))) : NOT(A ((A (X (FIREABLE(t6661))) U E (G (FIREABLE(t9182)))))) : ((FIREABLE(t13603) AND ((E (F (FIREABLE(t11371))) OR E (X (FIREABLE(t9396)))) AND (E (X (FIREABLE(t2280))) AND (FIREABLE(t4474) OR FIREABLE(t4874))))) OR A ((A (F (FIREABLE(t5621))) U (FIREABLE(t14288) OR FIREABLE(t7625) OR FIREABLE(t13856) OR FIREABLE(t13311))))) : E ((((NOT FIREABLE(t4750) OR NOT FIREABLE(t13011)) OR A (G (FIREABLE(t11082)))) U (FIREABLE(t5463) AND FIREABLE(t13188) AND FIREABLE(t6958) AND FIREABLE(t1385) AND ((FIREABLE(t14360) AND FIREABLE(t8437)) OR (FIREABLE(t12098) AND FIREABLE(t4860)))))) : A (X (A (F (FIREABLE(t4512))))) : A (G ((E (F (NOT FIREABLE(t13113))) AND E (F ((FIREABLE(t13234) OR FIREABLE(t4850))))))) : (A (F (FIREABLE(t5300))) OR ((FIREABLE(t9411) AND FIREABLE(t4477)) OR E (G (A (G (FIREABLE(t9390))))))) : NOT(A (G (E (F (NOT FIREABLE(t1939)))))) : E (F ((FIREABLE(t4919) AND FIREABLE(t6302)))) : (E (G ((NOT FIREABLE(t9501) OR (FIREABLE(t4300) AND FIREABLE(t14859) AND NOT FIREABLE(t12057))))) OR (FIREABLE(t10654) AND E (G (FIREABLE(t3457))))) : E (G ((NOT FIREABLE(t3266) OR (FIREABLE(t5819) AND FIREABLE(t12941)) OR FIREABLE(t2375) OR FIREABLE(t11769)))) : ((A ((NOT FIREABLE(t2917) U (FIREABLE(t1109) AND FIREABLE(t3405)))) OR E (G (E (G (FIREABLE(t7839)))))) OR ((E (F (FIREABLE(t9049))) OR (FIREABLE(t10532) OR A (X (FIREABLE(t12401))))) AND FIREABLE(t2901)))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:476
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:461
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (NOT FIREABLE(t79))) AND E (X ((FIREABLE(t1678) OR FIREABLE(t10896)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(TRUE U (NOT(A(TRUE U FIREABLE(t79))) AND EX((FIREABLE(t1678) OR FIREABLE(t10896)))))
lola: processed formula length: 87
lola: 35 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 2 markings, 3 edges
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-2 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: E ((E (X (NOT FIREABLE(t6661))) R A (F (NOT FIREABLE(t9182)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:729
lola: processed formula: NOT(A(NOT(EX(NOT FIREABLE(t6661))) U NOT(A(TRUE U NOT FIREABLE(t9182)))))
lola: processed formula length: 73
lola: 34 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2 markings, 4 edges
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-5 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: ((FIREABLE(t13603) AND ((E (F (FIREABLE(t11371))) OR E (X (FIREABLE(t9396)))) AND (E (X (FIREABLE(t2280))) AND (FIREABLE(t4474) OR FIREABLE(t4874))))) OR A ((A (F (FIREABLE(t5621))) U (FIREABLE(t14288) OR FIREABLE(t7625) OR FIREABLE(t13856) OR FIREABLE(t13311)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: ((FIREABLE(t13603) AND ((E(TRUE U FIREABLE(t11371)) OR EX(FIREABLE(t9396))) AND (EX(FIREABLE(t2280)) AND (FIREABLE(t4474) OR FIREABLE(t4874))))) OR A(A(TRUE U FIREABLE(t5621)) U (FIREABLE(t14288) OR FIREABLE(t7625) OR FIREABLE(t13856) OR FIREABLE(t13311))))
lola: processed formula length: 261
lola: 36 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2 markings, 3 edges
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-6 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: A (X (A (F (FIREABLE(t4512)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t4512)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate does not eventually occur from all successors.
lola: 1 markings, 1 edges
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((NOT FIREABLE(t2917) U (FIREABLE(t1109) AND FIREABLE(t3405)))) OR (E (G (FIREABLE(t7839))) OR ((E (F (FIREABLE(t9049))) OR (FIREABLE(t10532) OR A (X (FIREABLE(t12401))))) AND FIREABLE(t2901))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t10532)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t10532)
lola: processed formula length: 16
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-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 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t2901)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t2901)
lola: processed formula length: 15
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t7839)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t7839)))
lola: processed formula length: 23
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t2917) U (FIREABLE(t1109) AND FIREABLE(t3405))))
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(t2917) U (FIREABLE(t1109) AND FIREABLE(t3405))))
lola: processed formula length: 65
lola: 35 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 2 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t4919) AND FIREABLE(t6302))))
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(t4919) AND FIREABLE(t6302))))
lola: processed formula length: 45
lola: 32 rewrites
lola: closed formula file DLCshifumi-PT-5a-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(t4919) AND FIREABLE(t6302))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-5a-CTLFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-5a-CTLFireability-5-0.sara.
lola: sara is running 0 secs || 1526 markings, 70443 edges, 305 markings/sec, 0 secs
lola: sara is running 5 secs || 3134 markings, 151233 edges, 322 markings/sec, 5 secs
lola: sara is running 10 secs || 4739 markings, 237934 edges, 321 markings/sec, 10 secs
lola: sara is running 15 secs || 6359 markings, 319657 edges, 324 markings/sec, 15 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 20 secs || 7957 markings, 405501 edges, 320 markings/sec, 20 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t1939)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: NOT FIREABLE(t1939)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 13550 markings, 667093 edges, 2710 markings/sec, 0 secs
lola: 26830 markings, 1294946 edges, 2656 markings/sec, 5 secs
lola: 40993 markings, 1966734 edges, 2833 markings/sec, 10 secs
lola: 55106 markings, 2639557 edges, 2823 markings/sec, 15 secs
lola: 69045 markings, 3314328 edges, 2788 markings/sec, 20 secs
lola: 82989 markings, 3993868 edges, 2789 markings/sec, 25 secs
lola: 96877 markings, 4670616 edges, 2778 markings/sec, 30 secs
lola: 110638 markings, 5336703 edges, 2752 markings/sec, 35 secs
lola: 124578 markings, 6016622 edges, 2788 markings/sec, 40 secs
lola: 138535 markings, 6692651 edges, 2791 markings/sec, 45 secs
lola: 152484 markings, 7366790 edges, 2790 markings/sec, 50 secs
lola: 165782 markings, 8015577 edges, 2660 markings/sec, 55 secs
lola: 179498 markings, 8697629 edges, 2743 markings/sec, 60 secs
lola: 192877 markings, 9339952 edges, 2676 markings/sec, 65 secs
lola: 206667 markings, 10011938 edges, 2758 markings/sec, 70 secs
lola: 220461 markings, 10689931 edges, 2759 markings/sec, 75 secs
lola: 234330 markings, 11365295 edges, 2774 markings/sec, 80 secs
lola: 247302 markings, 11998358 edges, 2594 markings/sec, 85 secs
lola: 260993 markings, 12674250 edges, 2738 markings/sec, 90 secs
lola: 274841 markings, 13351210 edges, 2770 markings/sec, 95 secs
lola: 288602 markings, 14025916 edges, 2752 markings/sec, 100 secs
lola: 302477 markings, 14702197 edges, 2775 markings/sec, 105 secs
lola: 316136 markings, 15368155 edges, 2732 markings/sec, 110 secs
lola: 329743 markings, 16038231 edges, 2721 markings/sec, 115 secs
lola: 343226 markings, 16703219 edges, 2697 markings/sec, 120 secs
lola: 356917 markings, 17376074 edges, 2738 markings/sec, 125 secs
lola: 370699 markings, 18042835 edges, 2756 markings/sec, 130 secs
lola: 384484 markings, 18719052 edges, 2757 markings/sec, 135 secs
lola: 398101 markings, 19392706 edges, 2723 markings/sec, 140 secs
lola: 411933 markings, 20066876 edges, 2766 markings/sec, 145 secs
lola: 425428 markings, 20731225 edges, 2699 markings/sec, 150 secs
lola: 438983 markings, 21402650 edges, 2711 markings/sec, 155 secs
lola: 452748 markings, 22078800 edges, 2753 markings/sec, 160 secs
lola: 466356 markings, 22752942 edges, 2722 markings/sec, 165 secs
lola: 479901 markings, 23422433 edges, 2709 markings/sec, 170 secs
lola: 492935 markings, 24064002 edges, 2607 markings/sec, 175 secs
lola: 506937 markings, 24744961 edges, 2800 markings/sec, 180 secs
lola: 520106 markings, 25389181 edges, 2634 markings/sec, 185 secs
lola: 533952 markings, 26070441 edges, 2769 markings/sec, 190 secs
lola: 547757 markings, 26744289 edges, 2761 markings/sec, 195 secs
lola: 561693 markings, 27421100 edges, 2787 markings/sec, 200 secs
lola: 575437 markings, 28096827 edges, 2749 markings/sec, 205 secs
lola: 588024 markings, 28732329 edges, 2517 markings/sec, 210 secs
lola: 600717 markings, 29364105 edges, 2539 markings/sec, 215 secs
lola: 614279 markings, 30039562 edges, 2712 markings/sec, 220 secs
lola: 627542 markings, 30689315 edges, 2653 markings/sec, 225 secs
lola: 641118 markings, 31352177 edges, 2715 markings/sec, 230 secs
lola: 654679 markings, 32016601 edges, 2712 markings/sec, 235 secs
lola: 667845 markings, 32672307 edges, 2633 markings/sec, 240 secs
lola: 680975 markings, 33319889 edges, 2626 markings/sec, 245 secs
lola: 693988 markings, 33969379 edges, 2603 markings/sec, 250 secs
lola: 707045 markings, 34616537 edges, 2611 markings/sec, 255 secs
lola: 719915 markings, 35261570 edges, 2574 markings/sec, 260 secs
lola: 733136 markings, 35907098 edges, 2644 markings/sec, 265 secs
lola: 746350 markings, 36554793 edges, 2643 markings/sec, 270 secs
lola: 759449 markings, 37204608 edges, 2620 markings/sec, 275 secs
lola: 772603 markings, 37853325 edges, 2631 markings/sec, 280 secs
lola: 785965 markings, 38510125 edges, 2672 markings/sec, 285 secs
lola: 799069 markings, 39162175 edges, 2621 markings/sec, 290 secs
lola: 812020 markings, 39794496 edges, 2590 markings/sec, 295 secs
lola: 825223 markings, 40436449 edges, 2641 markings/sec, 300 secs
lola: 838473 markings, 41077170 edges, 2650 markings/sec, 305 secs
lola: 851520 markings, 41720266 edges, 2609 markings/sec, 310 secs
lola: 864607 markings, 42364507 edges, 2617 markings/sec, 315 secs
lola: 877393 markings, 42994403 edges, 2557 markings/sec, 320 secs
lola: 890705 markings, 43638461 edges, 2662 markings/sec, 325 secs
lola: 904036 markings, 44291687 edges, 2666 markings/sec, 330 secs
lola: 917170 markings, 44938912 edges, 2627 markings/sec, 335 secs
lola: 930669 markings, 45591875 edges, 2700 markings/sec, 340 secs
lola: 944085 markings, 46238959 edges, 2683 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown no no unknown no unknown unknown unknown no unknown unknown no
lola: memory consumption: 7385456 KB
lola: time consumption: 387 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t10425) OR NOT FIREABLE(t669))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((NOT FIREABLE(t10425) OR NOT FIREABLE(t669))))
lola: processed formula length: 53
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 2 markings, 2 edges
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t3266) OR (FIREABLE(t5819) AND FIREABLE(t12941)) OR FIREABLE(t2375) OR FIREABLE(t11769))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((NOT FIREABLE(t3266) OR (FIREABLE(t5819) AND FIREABLE(t12941)) OR FIREABLE(t2375) OR FIREABLE(t11769))))
lola: processed formula length: 113
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 2 markings, 2 edges
lola:
FORMULA DLCshifumi-PT-5a-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 454 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t9149) U E (G (NOT FIREABLE(t1982)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(FIREABLE(t9149) U NOT(A(TRUE U FIREABLE(t1982))))
lola: processed formula length: 51
lola: 34 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 2 markings, 3 edges
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 530 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((NOT FIREABLE(t4750) OR NOT FIREABLE(t13011)) OR A (G (FIREABLE(t11082)))) U (FIREABLE(t5463) AND FIREABLE(t13188) AND FIREABLE(t6958) AND FIREABLE(t1385) AND ((FIREABLE(t14360) AND FIREABLE(t8437)) OR (FIREABLE(t12098) AND FIREABLE(t4860))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(((NOT FIREABLE(t4750) OR NOT FIREABLE(t13011)) OR NOT(E(TRUE U NOT FIREABLE(t11082)))) U (FIREABLE(t5463) AND FIREABLE(t13188) AND FIREABLE(t6958) AND FIREABLE(t1385) AND ((FIREABLE(t14360) AND FIREABLE(t8437)) OR (FIREABLE(t12098) AND FIREABLE(t4860)))))
lola: processed formula length: 259
lola: 34 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 13184 markings, 649510 edges, 2637 markings/sec, 0 secs
lola: 26918 markings, 1299071 edges, 2747 markings/sec, 5 secs
lola: 40536 markings, 1945069 edges, 2724 markings/sec, 10 secs
lola: 54079 markings, 2590688 edges, 2709 markings/sec, 15 secs
lola: 67438 markings, 3235820 edges, 2672 markings/sec, 20 secs
lola: 80697 markings, 3881328 edges, 2652 markings/sec, 25 secs
lola: 93881 markings, 4526776 edges, 2637 markings/sec, 30 secs
lola: 107017 markings, 5162688 edges, 2627 markings/sec, 35 secs
lola: 120319 markings, 5810727 edges, 2660 markings/sec, 40 secs
lola: 133602 markings, 6453446 edges, 2657 markings/sec, 45 secs
lola: 146904 markings, 7096515 edges, 2660 markings/sec, 50 secs
lola: 160230 markings, 7744107 edges, 2665 markings/sec, 55 secs
lola: 173451 markings, 8394255 edges, 2644 markings/sec, 60 secs
lola: 186800 markings, 9049652 edges, 2670 markings/sec, 65 secs
lola: 200815 markings, 9726014 edges, 2803 markings/sec, 70 secs
lola: 214564 markings, 10401929 edges, 2750 markings/sec, 75 secs
lola: 228508 markings, 11082148 edges, 2789 markings/sec, 80 secs
lola: 242432 markings, 11763391 edges, 2785 markings/sec, 85 secs
lola: 256254 markings, 12441568 edges, 2764 markings/sec, 90 secs
lola: 270067 markings, 13117406 edges, 2763 markings/sec, 95 secs
lola: 283129 markings, 13758666 edges, 2612 markings/sec, 100 secs
lola: 296914 markings, 14431951 edges, 2757 markings/sec, 105 secs
lola: 310793 markings, 15110876 edges, 2776 markings/sec, 110 secs
lola: 324732 markings, 15789187 edges, 2788 markings/sec, 115 secs
lola: 338307 markings, 16460965 edges, 2715 markings/sec, 120 secs
lola: 352044 markings, 17137111 edges, 2747 markings/sec, 125 secs
lola: 366068 markings, 17815844 edges, 2805 markings/sec, 130 secs
lola: 379915 markings, 18495011 edges, 2769 markings/sec, 135 secs
lola: 393716 markings, 19174609 edges, 2760 markings/sec, 140 secs
lola: 407493 markings, 19853016 edges, 2755 markings/sec, 145 secs
lola: 421187 markings, 20524047 edges, 2739 markings/sec, 150 secs
lola: 434684 markings, 21192020 edges, 2699 markings/sec, 155 secs
lola: 448345 markings, 21861866 edges, 2732 markings/sec, 160 secs
lola: 462045 markings, 22539057 edges, 2740 markings/sec, 165 secs
lola: 475727 markings, 23217366 edges, 2736 markings/sec, 170 secs
lola: 489440 markings, 23888362 edges, 2743 markings/sec, 175 secs
lola: 503304 markings, 24568315 edges, 2773 markings/sec, 180 secs
lola: 517387 markings, 25254882 edges, 2817 markings/sec, 185 secs
lola: 531290 markings, 25940614 edges, 2781 markings/sec, 190 secs
lola: 545263 markings, 26623451 edges, 2795 markings/sec, 195 secs
lola: 559300 markings, 27304488 edges, 2807 markings/sec, 200 secs
lola: 572975 markings, 27977523 edges, 2735 markings/sec, 205 secs
lola: 586517 markings, 28655820 edges, 2708 markings/sec, 210 secs
lola: 600123 markings, 29334892 edges, 2721 markings/sec, 215 secs
lola: 613782 markings, 30014334 edges, 2732 markings/sec, 220 secs
lola: 627655 markings, 30694725 edges, 2775 markings/sec, 225 secs
lola: 641520 markings, 31371325 edges, 2773 markings/sec, 230 secs
lola: 655439 markings, 32054858 edges, 2784 markings/sec, 235 secs
lola: 669070 markings, 32733704 edges, 2726 markings/sec, 240 secs
lola: 682803 markings, 33409389 edges, 2747 markings/sec, 245 secs
lola: 696285 markings, 34084547 edges, 2696 markings/sec, 250 secs
lola: 709995 markings, 34762596 edges, 2742 markings/sec, 255 secs
lola: 723594 markings, 35440229 edges, 2720 markings/sec, 260 secs
lola: 737367 markings, 36115816 edges, 2755 markings/sec, 265 secs
lola: 750933 markings, 36785386 edges, 2713 markings/sec, 270 secs
lola: 764560 markings, 37455215 edges, 2725 markings/sec, 275 secs
lola: 778361 markings, 38128972 edges, 2760 markings/sec, 280 secs
lola: 791965 markings, 38804114 edges, 2721 markings/sec, 285 secs
lola: 805459 markings, 39480004 edges, 2699 markings/sec, 290 secs
lola: 819255 markings, 40145871 edges, 2759 markings/sec, 295 secs
lola: 833061 markings, 40817387 edges, 2761 markings/sec, 300 secs
lola: 846884 markings, 41489184 edges, 2765 markings/sec, 305 secs
lola: 860548 markings, 42164149 edges, 2733 markings/sec, 310 secs
lola: 874058 markings, 42830128 edges, 2702 markings/sec, 315 secs
lola: 886173 markings, 43417134 edges, 2423 markings/sec, 320 secs
lola: 899821 markings, 44085184 edges, 2730 markings/sec, 325 secs
lola: 912842 markings, 44726389 edges, 2604 markings/sec, 330 secs
lola: 926637 markings, 45394850 edges, 2759 markings/sec, 335 secs
lola: 940523 markings, 46067310 edges, 2777 markings/sec, 340 secs
lola: 954220 markings, 46740032 edges, 2739 markings/sec, 345 secs
lola: 968050 markings, 47410334 edges, 2766 markings/sec, 350 secs
lola: 981640 markings, 48078366 edges, 2718 markings/sec, 355 secs
lola: 995025 markings, 48731098 edges, 2677 markings/sec, 360 secs
lola: 1008628 markings, 49393275 edges, 2721 markings/sec, 365 secs
lola: 1022153 markings, 50058064 edges, 2705 markings/sec, 370 secs
lola: 1035811 markings, 50728112 edges, 2732 markings/sec, 375 secs
lola: 1049423 markings, 51404524 edges, 2722 markings/sec, 380 secs
lola: 1063101 markings, 52078229 edges, 2736 markings/sec, 385 secs
lola: 1076592 markings, 52741429 edges, 2698 markings/sec, 390 secs
lola: 1090262 markings, 53417139 edges, 2734 markings/sec, 395 secs
lola: 1103944 markings, 54088194 edges, 2736 markings/sec, 400 secs
lola: 1117894 markings, 54765413 edges, 2790 markings/sec, 405 secs
lola: 1131822 markings, 55444384 edges, 2786 markings/sec, 410 secs
lola: 1145660 markings, 56122862 edges, 2768 markings/sec, 415 secs
lola: 1159429 markings, 56791647 edges, 2754 markings/sec, 420 secs
lola: 1172880 markings, 57453452 edges, 2690 markings/sec, 425 secs
lola: 1186643 markings, 58129119 edges, 2753 markings/sec, 430 secs
lola: 1200735 markings, 58811420 edges, 2818 markings/sec, 435 secs
lola: 1214431 markings, 59487313 edges, 2739 markings/sec, 440 secs
lola: 1228123 markings, 60161762 edges, 2738 markings/sec, 445 secs
lola: 1241893 markings, 60836607 edges, 2754 markings/sec, 450 secs
lola: 1255550 markings, 61515452 edges, 2731 markings/sec, 455 secs
lola: 1269285 markings, 62185298 edges, 2747 markings/sec, 460 secs
lola: 1282826 markings, 62857403 edges, 2708 markings/sec, 465 secs
lola: 1296436 markings, 63530185 edges, 2722 markings/sec, 470 secs
lola: 1310114 markings, 64209250 edges, 2736 markings/sec, 475 secs
lola: 1323687 markings, 64888848 edges, 2715 markings/sec, 480 secs
lola: 1337356 markings, 65562639 edges, 2734 markings/sec, 485 secs
lola: 1351145 markings, 66239714 edges, 2758 markings/sec, 490 secs
lola: 1364853 markings, 66911030 edges, 2742 markings/sec, 495 secs
lola: 1378508 markings, 67579289 edges, 2731 markings/sec, 500 secs
lola: 1392053 markings, 68250803 edges, 2709 markings/sec, 505 secs
lola: 1405644 markings, 68921406 edges, 2718 markings/sec, 510 secs
lola: 1419502 markings, 69592928 edges, 2772 markings/sec, 515 secs
lola: 1433279 markings, 70263738 edges, 2755 markings/sec, 520 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown yes no no unknown no unknown unknown unknown no unknown yes no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 530 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t5300))) OR ((FIREABLE(t9411) AND FIREABLE(t4477)) OR A (G (FIREABLE(t9390)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 530 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t9411) AND FIREABLE(t4477))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t9411) AND FIREABLE(t4477))
lola: processed formula length: 37
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-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 12 will run for 662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t9390)))
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(t9390)))
lola: processed formula length: 23
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-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(t9390)
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: lola: subprocess 13 will run for 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t5300)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t5300)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
state equation: write sara problem file to DLCshifumi-PT-5a-CTLFireability-12-0.sara
lola: ========================================
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 2 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((NOT FIREABLE(t9501) OR (FIREABLE(t4300) AND FIREABLE(t14859) AND NOT FIREABLE(t12057))))) OR (FIREABLE(t10654) AND E (G (FIREABLE(t3457)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t10654)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t10654)
lola: processed formula length: 16
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-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 13 will run for 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t9501) OR (FIREABLE(t4300) AND FIREABLE(t14859) AND NOT FIREABLE(t12057)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((NOT FIREABLE(t9501) OR (FIREABLE(t4300) AND FIREABLE(t14859) AND NOT FIREABLE(t12057)))))
lola: processed formula length: 97
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 2 markings, 2 edges
lola: lola: ========================================
SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t5209) OR (A (F (FIREABLE(t14446))) OR (FIREABLE(t14265) OR (E ((FIREABLE(t10702) U FIREABLE(t5788))) OR FIREABLE(t12705))))) AND A (G ((FIREABLE(t3044) OR NOT FIREABLE(t1181)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t12705)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t12705)
lola: processed formula length: 16
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t14265)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t14265)
lola: processed formula length: 16
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2648 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t5209)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t5209)
lola: processed formula length: 19
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: 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: subprocess 14 will run for 1324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (NOT FIREABLE(t13113))))) AND A (G (E (F ((FIREABLE(t13234) OR FIREABLE(t4850)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (NOT FIREABLE(t13113)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: NOT FIREABLE(t13113)
lola: processed formula length: 20
lola: 32 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 13848 markings, 679722 edges, 2770 markings/sec, 0 secs
lola: 28172 markings, 1360418 edges, 2865 markings/sec, 5 secs
lola: 41643 markings, 2001223 edges, 2694 markings/sec, 10 secs
lola: 55650 markings, 2673333 edges, 2801 markings/sec, 15 secs
lola: 69461 markings, 3346405 edges, 2762 markings/sec, 20 secs
lola: 83301 markings, 4027313 edges, 2768 markings/sec, 25 secs
lola: 97255 markings, 4704858 edges, 2791 markings/sec, 30 secs
lola: 111213 markings, 5377667 edges, 2792 markings/sec, 35 secs
lola: 125065 markings, 6058741 edges, 2770 markings/sec, 40 secs
lola: 139152 markings, 6743646 edges, 2817 markings/sec, 45 secs
lola: 153003 markings, 7425811 edges, 2770 markings/sec, 50 secs
lola: 166980 markings, 8109261 edges, 2795 markings/sec, 55 secs
lola: 180680 markings, 8796941 edges, 2740 markings/sec, 60 secs
lola: 194685 markings, 9477269 edges, 2801 markings/sec, 65 secs
lola: 208428 markings, 10152532 edges, 2749 markings/sec, 70 secs
lola: 222111 markings, 10821103 edges, 2737 markings/sec, 75 secs
lola: 236171 markings, 11504954 edges, 2812 markings/sec, 80 secs
lola: 250133 markings, 12185098 edges, 2792 markings/sec, 85 secs
lola: 264126 markings, 12868848 edges, 2799 markings/sec, 90 secs
lola: 277832 markings, 13551078 edges, 2741 markings/sec, 95 secs
lola: 291616 markings, 14225992 edges, 2757 markings/sec, 100 secs
lola: 305679 markings, 14911471 edges, 2813 markings/sec, 105 secs
lola: 319422 markings, 15587251 edges, 2749 markings/sec, 110 secs
lola: 333089 markings, 16264336 edges, 2733 markings/sec, 115 secs
lola: 346901 markings, 16939355 edges, 2762 markings/sec, 120 secs
lola: 360713 markings, 17616401 edges, 2762 markings/sec, 125 secs
lola: 374539 markings, 18296960 edges, 2765 markings/sec, 130 secs
lola: 388291 markings, 18982028 edges, 2750 markings/sec, 135 secs
lola: 402044 markings, 19660886 edges, 2751 markings/sec, 140 secs
lola: 415905 markings, 20333966 edges, 2772 markings/sec, 145 secs
lola: 429594 markings, 21011821 edges, 2738 markings/sec, 150 secs
lola: 443406 markings, 21691219 edges, 2762 markings/sec, 155 secs
lola: 456975 markings, 22367930 edges, 2714 markings/sec, 160 secs
lola: 470936 markings, 23047689 edges, 2792 markings/sec, 165 secs
lola: 484944 markings, 23732634 edges, 2802 markings/sec, 170 secs
lola: 499036 markings, 24416641 edges, 2818 markings/sec, 175 secs
lola: 512915 markings, 25100489 edges, 2776 markings/sec, 180 secs
lola: 526778 markings, 25781511 edges, 2773 markings/sec, 185 secs
lola: 540064 markings, 26450183 edges, 2657 markings/sec, 190 secs
lola: 553104 markings, 27098543 edges, 2608 markings/sec, 195 secs
lola: 566505 markings, 27765056 edges, 2680 markings/sec, 200 secs
lola: 580272 markings, 28446085 edges, 2753 markings/sec, 205 secs
lola: 593954 markings, 29122985 edges, 2736 markings/sec, 210 secs
lola: 607484 markings, 29803044 edges, 2706 markings/sec, 215 secs
lola: 621283 markings, 30483154 edges, 2760 markings/sec, 220 secs
lola: 635359 markings, 31169533 edges, 2815 markings/sec, 225 secs
lola: 649433 markings, 31856273 edges, 2815 markings/sec, 230 secs
lola: 663466 markings, 32540974 edges, 2807 markings/sec, 235 secs
lola: 677466 markings, 33226503 edges, 2800 markings/sec, 240 secs
lola: 691278 markings, 33906973 edges, 2762 markings/sec, 245 secs
lola: 705117 markings, 34580363 edges, 2768 markings/sec, 250 secs
lola: 718871 markings, 35259879 edges, 2751 markings/sec, 255 secs
lola: 732667 markings, 35942172 edges, 2759 markings/sec, 260 secs
lola: 746387 markings, 36624334 edges, 2744 markings/sec, 265 secs
lola: 760214 markings, 37304302 edges, 2765 markings/sec, 270 secs
lola: 773900 markings, 37984554 edges, 2737 markings/sec, 275 secs
lola: 787539 markings, 38666958 edges, 2728 markings/sec, 280 secs
lola: 801475 markings, 39349524 edges, 2787 markings/sec, 285 secs
lola: 815245 markings, 40029524 edges, 2754 markings/sec, 290 secs
lola: 829045 markings, 40709361 edges, 2760 markings/sec, 295 secs
lola: 842956 markings, 41391960 edges, 2782 markings/sec, 300 secs
lola: 856723 markings, 42075110 edges, 2753 markings/sec, 305 secs
lola: 870816 markings, 42760332 edges, 2819 markings/sec, 310 secs
lola: 884590 markings, 43442443 edges, 2755 markings/sec, 315 secs
lola: 898174 markings, 44117520 edges, 2717 markings/sec, 320 secs
lola: 911765 markings, 44789734 edges, 2718 markings/sec, 325 secs
lola: 925480 markings, 45465502 edges, 2743 markings/sec, 330 secs
lola: 939157 markings, 46140158 edges, 2735 markings/sec, 335 secs
lola: 952846 markings, 46814896 edges, 2738 markings/sec, 340 secs
lola: 966578 markings, 47488790 edges, 2746 markings/sec, 345 secs
lola: 980167 markings, 48163654 edges, 2718 markings/sec, 350 secs
lola: 993936 markings, 48839287 edges, 2754 markings/sec, 355 secs
lola: 1007512 markings, 49499152 edges, 2715 markings/sec, 360 secs
lola: 1021226 markings, 50166696 edges, 2743 markings/sec, 365 secs
lola: 1034861 markings, 50829949 edges, 2727 markings/sec, 370 secs
lola: 1048370 markings, 51498127 edges, 2702 markings/sec, 375 secs
lola: 1061846 markings, 52161580 edges, 2695 markings/sec, 380 secs
lola: 1075365 markings, 52825017 edges, 2704 markings/sec, 385 secs
lola: 1089044 markings, 53495513 edges, 2736 markings/sec, 390 secs
lola: 1102713 markings, 54166327 edges, 2734 markings/sec, 395 secs
lola: 1116432 markings, 54838132 edges, 2744 markings/sec, 400 secs
lola: 1130262 markings, 55508719 edges, 2766 markings/sec, 405 secs
lola: 1143929 markings, 56178051 edges, 2733 markings/sec, 410 secs
lola: 1157664 markings, 56845858 edges, 2747 markings/sec, 415 secs
lola: 1171173 markings, 57514604 edges, 2702 markings/sec, 420 secs
lola: 1184651 markings, 58184655 edges, 2696 markings/sec, 425 secs
lola: 1198227 markings, 58852374 edges, 2715 markings/sec, 430 secs
lola: 1211824 markings, 59523632 edges, 2719 markings/sec, 435 secs
lola: 1225229 markings, 60184538 edges, 2681 markings/sec, 440 secs
lola: 1238516 markings, 60835813 edges, 2657 markings/sec, 445 secs
lola: 1252051 markings, 61498845 edges, 2707 markings/sec, 450 secs
lola: 1265613 markings, 62169020 edges, 2712 markings/sec, 455 secs
lola: 1278931 markings, 62843067 edges, 2664 markings/sec, 460 secs
lola: 1292290 markings, 63512078 edges, 2672 markings/sec, 465 secs
lola: 1305647 markings, 64172436 edges, 2671 markings/sec, 470 secs
lola: 1319306 markings, 64839759 edges, 2732 markings/sec, 475 secs
lola: 1332983 markings, 65503592 edges, 2735 markings/sec, 480 secs
lola: 1346357 markings, 66165556 edges, 2675 markings/sec, 485 secs
lola: 1359222 markings, 66800933 edges, 2573 markings/sec, 490 secs
lola: 1372271 markings, 67442954 edges, 2610 markings/sec, 495 secs
lola: 1385123 markings, 68084376 edges, 2570 markings/sec, 500 secs
lola: 1397854 markings, 68711332 edges, 2546 markings/sec, 505 secs
lola: 1410564 markings, 69334677 edges, 2542 markings/sec, 510 secs
lola: 1424121 markings, 70003684 edges, 2711 markings/sec, 515 secs
lola: 1436906 markings, 70631049 edges, 2557 markings/sec, 520 secs
lola: 1449853 markings, 71270465 edges, 2589 markings/sec, 525 secs
lola: 1462631 markings, 71894531 edges, 2556 markings/sec, 530 secs
lola: 1476327 markings, 72559241 edges, 2739 markings/sec, 535 secs
lola: 1489791 markings, 73225797 edges, 2693 markings/sec, 540 secs
lola: 1503138 markings, 73896664 edges, 2669 markings/sec, 545 secs
lola: 1516465 markings, 74568380 edges, 2665 markings/sec, 550 secs
lola: 1529939 markings, 75239699 edges, 2695 markings/sec, 555 secs
lola: 1543481 markings, 75909579 edges, 2708 markings/sec, 560 secs
lola: 1557116 markings, 76582030 edges, 2727 markings/sec, 565 secs
lola: 1570653 markings, 77255873 edges, 2707 markings/sec, 570 secs
lola: 1584159 markings, 77915850 edges, 2701 markings/sec, 575 secs
lola: 1597576 markings, 78579206 edges, 2683 markings/sec, 580 secs
lola: 1610906 markings, 79244582 edges, 2666 markings/sec, 585 secs
lola: 1624419 markings, 79910277 edges, 2703 markings/sec, 590 secs
lola: 1637906 markings, 80580370 edges, 2697 markings/sec, 595 secs
lola: 1651504 markings, 81252452 edges, 2720 markings/sec, 600 secs
lola: 1665007 markings, 81923134 edges, 2701 markings/sec, 605 secs
lola: 1678604 markings, 82592511 edges, 2719 markings/sec, 610 secs
lola: 1692063 markings, 83259673 edges, 2692 markings/sec, 615 secs
lola: 1705701 markings, 83932960 edges, 2728 markings/sec, 620 secs
lola: 1719218 markings, 84595431 edges, 2703 markings/sec, 625 secs
lola: 1732679 markings, 85263428 edges, 2692 markings/sec, 630 secs
lola: 1746110 markings, 85932615 edges, 2686 markings/sec, 635 secs
lola: 1759563 markings, 86604754 edges, 2691 markings/sec, 640 secs
lola: 1772977 markings, 87269774 edges, 2683 markings/sec, 645 secs
lola: 1786315 markings, 87932372 edges, 2668 markings/sec, 650 secs
lola: 1799859 markings, 88607402 edges, 2709 markings/sec, 655 secs
lola: 1813379 markings, 89285984 edges, 2704 markings/sec, 660 secs
lola: 1827259 markings, 89962687 edges, 2776 markings/sec, 665 secs
lola: 1841043 markings, 90643328 edges, 2757 markings/sec, 670 secs
lola: 1854652 markings, 91315082 edges, 2722 markings/sec, 675 secs
lola: 1868121 markings, 91990905 edges, 2694 markings/sec, 680 secs
lola: 1881696 markings, 92665050 edges, 2715 markings/sec, 685 secs
lola: 1895463 markings, 93340647 edges, 2753 markings/sec, 690 secs
lola: 1909017 markings, 94021042 edges, 2711 markings/sec, 695 secs
lola: 1922806 markings, 94698815 edges, 2758 markings/sec, 700 secs
lola: 1936593 markings, 95378364 edges, 2757 markings/sec, 705 secs
lola: 1950350 markings, 96059909 edges, 2751 markings/sec, 710 secs
lola: 1964196 markings, 96741206 edges, 2769 markings/sec, 715 secs
lola: 1977592 markings, 97418857 edges, 2679 markings/sec, 720 secs
lola: 1991261 markings, 98094897 edges, 2734 markings/sec, 725 secs
lola: 2004774 markings, 98771770 edges, 2703 markings/sec, 730 secs
lola: 2018448 markings, 99453215 edges, 2735 markings/sec, 735 secs
lola: 2032171 markings, 100133554 edges, 2745 markings/sec, 740 secs
lola: 2045914 markings, 100821367 edges, 2749 markings/sec, 745 secs
lola: 2059659 markings, 101509128 edges, 2749 markings/sec, 750 secs
lola: 2073261 markings, 102197260 edges, 2720 markings/sec, 755 secs
lola: 2076558 markings, 102359847 edges, 659 markings/sec, 760 secs
lola: 2076748 markings, 102369097 edges, 38 markings/sec, 765 secs
lola: 2077335 markings, 102398204 edges, 117 markings/sec, 770 secs
lola: Child process aborted or communication problem between parent and child process
lola: Cannot launch process for handling subproblem
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 1870 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F ((FIREABLE(t2054) OR FIREABLE(t3898)))))) OR (((A (F (FIREABLE(t4503))) OR (NOT FIREABLE(t1701) AND NOT FIREABLE(t13030))) AND (A (F (FIREABLE(t9540))) OR (NOT FIREABLE(t3400) AND (FIREABLE(t3926) OR FIREABLE(t13822))))) OR E ((NOT FIREABLE(t13891) U FIREABLE(t14342)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1870 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t3400) AND (FIREABLE(t3926) OR FIREABLE(t13822)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t3400) AND (FIREABLE(t3926) OR FIREABLE(t13822)))
lola: processed formula length: 64
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-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 (F (FIREABLE(t9540)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t9540)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown yes no no unknown no unknown no unknown no yes yes no
lola: memory consumption: 191100 KB
lola: time consumption: 1701 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t4503)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t4503)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown yes no no unknown no unknown no unknown no yes yes no
lola: memory consumption: 191100 KB
lola: time consumption: 1702 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 19 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(t13891) U FIREABLE(t14342)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((NOT FIREABLE(t13891) U FIREABLE(t14342)))
lola: processed formula length: 45
lola: 34 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: FIREABLE(t14342)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-5a-CTLFireability-19-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-5a-CTLFireability-19-0.sara.
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown yes no no unknown no unknown no unknown no yes yes no
lola: memory consumption: 194420 KB
lola: time consumption: 1703 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 20 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((FIREABLE(t2054) OR FIREABLE(t3898))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (FIREABLE(t2054) OR FIREABLE(t3898))))))
lola: processed formula length: 67
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2 markings, 3 edges
lola: lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(t1939)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: NOT FIREABLE(t1939)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 13693 markings, 673837 edges, 2739 markings/sec, 0 secs
lola: 27963 markings, 1348468 edges, 2854 markings/sec, 5 secs
lola: 42264 markings, 2027560 edges, 2860 markings/sec, 10 secs
lola: 56503 markings, 2706523 edges, 2848 markings/sec, 15 secs
lola: 70542 markings, 3386706 edges, 2808 markings/sec, 20 secs
lola: 84556 markings, 4070372 edges, 2803 markings/sec, 25 secs
lola: 98552 markings, 4750874 edges, 2799 markings/sec, 30 secs
lola: 112478 markings, 5425193 edges, 2785 markings/sec, 35 secs
lola: 126508 markings, 6110144 edges, 2806 markings/sec, 40 secs
lola: 140481 markings, 6787445 edges, 2795 markings/sec, 45 secs
lola: 154548 markings, 7465786 edges, 2813 markings/sec, 50 secs
lola: 168528 markings, 8150855 edges, 2796 markings/sec, 55 secs
lola: 182411 markings, 8837915 edges, 2777 markings/sec, 60 secs
lola: 196463 markings, 9515448 edges, 2810 markings/sec, 65 secs
lola: 210367 markings, 10195087 edges, 2781 markings/sec, 70 secs
lola: 224229 markings, 10877007 edges, 2772 markings/sec, 75 secs
lola: 238193 markings, 11558942 edges, 2793 markings/sec, 80 secs
lola: 252173 markings, 12240537 edges, 2796 markings/sec, 85 secs
lola: 266082 markings, 12922922 edges, 2782 markings/sec, 90 secs
lola: 279867 markings, 13598390 edges, 2757 markings/sec, 95 secs
lola: 293816 markings, 14282333 edges, 2790 markings/sec, 100 secs
lola: 307813 markings, 14964908 edges, 2799 markings/sec, 105 secs
lola: 321844 markings, 15646523 edges, 2806 markings/sec, 110 secs
lola: 335538 markings, 16324098 edges, 2739 markings/sec, 115 secs
lola: 349366 markings, 17007088 edges, 2766 markings/sec, 120 secs
lola: 363365 markings, 17687136 edges, 2800 markings/sec, 125 secs
lola: 377311 markings, 18367396 edges, 2789 markings/sec, 130 secs
lola: 391207 markings, 19050197 edges, 2779 markings/sec, 135 secs
lola: 404964 markings, 19729672 edges, 2751 markings/sec, 140 secs
lola: 418881 markings, 20410401 edges, 2783 markings/sec, 145 secs
lola: 432576 markings, 21087960 edges, 2739 markings/sec, 150 secs
lola: 446466 markings, 21769363 edges, 2778 markings/sec, 155 secs
lola: 460221 markings, 22448342 edges, 2751 markings/sec, 160 secs
lola: 473978 markings, 23129416 edges, 2751 markings/sec, 165 secs
lola: 487872 markings, 23811274 edges, 2779 markings/sec, 170 secs
lola: 501737 markings, 24493009 edges, 2773 markings/sec, 175 secs
lola: 515897 markings, 25181269 edges, 2832 markings/sec, 180 secs
lola: 529815 markings, 25868405 edges, 2784 markings/sec, 185 secs
lola: 543778 markings, 26551385 edges, 2793 markings/sec, 190 secs
lola: 557849 markings, 27233154 edges, 2814 markings/sec, 195 secs
lola: 571702 markings, 27914510 edges, 2771 markings/sec, 200 secs
lola: 585334 markings, 28594547 edges, 2726 markings/sec, 205 secs
lola: 598938 markings, 29276716 edges, 2721 markings/sec, 210 secs
lola: 612683 markings, 29958354 edges, 2749 markings/sec, 215 secs
lola: 626550 markings, 30640500 edges, 2773 markings/sec, 220 secs
lola: 640615 markings, 31327477 edges, 2813 markings/sec, 225 secs
lola: 654650 markings, 32015120 edges, 2807 markings/sec, 230 secs
lola: 668347 markings, 32697772 edges, 2739 markings/sec, 235 secs
lola: 681975 markings, 33368824 edges, 2726 markings/sec, 240 secs
lola: 695687 markings, 34054392 edges, 2742 markings/sec, 245 secs
lola: 709481 markings, 34736799 edges, 2759 markings/sec, 250 secs
lola: 723125 markings, 35417901 edges, 2729 markings/sec, 255 secs
lola: 736984 markings, 36097015 edges, 2772 markings/sec, 260 secs
lola: 750769 markings, 36777277 edges, 2757 markings/sec, 265 secs
lola: 764621 markings, 37458272 edges, 2770 markings/sec, 270 secs
lola: 778649 markings, 38142906 edges, 2806 markings/sec, 275 secs
lola: 792448 markings, 38828705 edges, 2760 markings/sec, 280 secs
lola: 806091 markings, 39510139 edges, 2729 markings/sec, 285 secs
lola: 819951 markings, 40179532 edges, 2772 markings/sec, 290 secs
lola: 833806 markings, 40853631 edges, 2771 markings/sec, 295 secs
lola: 847660 markings, 41527801 edges, 2771 markings/sec, 300 secs
lola: 861386 markings, 42205338 edges, 2745 markings/sec, 305 secs
lola: 874931 markings, 42872875 edges, 2709 markings/sec, 310 secs
lola: 888894 markings, 43548491 edges, 2793 markings/sec, 315 secs
lola: 902748 markings, 44229015 edges, 2771 markings/sec, 320 secs
lola: 916513 markings, 44907044 edges, 2753 markings/sec, 325 secs
lola: 930563 markings, 45586715 edges, 2810 markings/sec, 330 secs
lola: 944592 markings, 46264044 edges, 2806 markings/sec, 335 secs
lola: 958384 markings, 46940359 edges, 2758 markings/sec, 340 secs
lola: 972212 markings, 47616989 edges, 2766 markings/sec, 345 secs
lola: 985814 markings, 48282355 edges, 2720 markings/sec, 350 secs
lola: 999477 markings, 48947350 edges, 2733 markings/sec, 355 secs
lola: 1013145 markings, 49615536 edges, 2734 markings/sec, 360 secs
lola: 1026880 markings, 50289090 edges, 2747 markings/sec, 365 secs
lola: 1040591 markings, 50967930 edges, 2742 markings/sec, 370 secs
lola: 1054383 markings, 51648097 edges, 2758 markings/sec, 375 secs
lola: 1068134 markings, 52327097 edges, 2750 markings/sec, 380 secs
lola: 1081808 markings, 52994932 edges, 2735 markings/sec, 385 secs
lola: 1095540 markings, 53675515 edges, 2746 markings/sec, 390 secs
lola: 1109438 markings, 54356490 edges, 2780 markings/sec, 395 secs
lola: 1123533 markings, 55038949 edges, 2819 markings/sec, 400 secs
lola: 1137526 markings, 55724750 edges, 2799 markings/sec, 405 secs
lola: 1151553 markings, 56409567 edges, 2805 markings/sec, 410 secs
lola: 1165302 markings, 57079900 edges, 2750 markings/sec, 415 secs
lola: 1178956 markings, 57756312 edges, 2731 markings/sec, 420 secs
lola: 1193080 markings, 58440315 edges, 2825 markings/sec, 425 secs
lola: 1207077 markings, 59123125 edges, 2799 markings/sec, 430 secs
lola: 1220829 markings, 59803091 edges, 2750 markings/sec, 435 secs
lola: 1234689 markings, 60484216 edges, 2772 markings/sec, 440 secs
lola: 1248612 markings, 61165388 edges, 2785 markings/sec, 445 secs
lola: 1262343 markings, 61846032 edges, 2746 markings/sec, 450 secs
lola: 1276058 markings, 62520241 edges, 2743 markings/sec, 455 secs
lola: 1289744 markings, 63200397 edges, 2737 markings/sec, 460 secs
lola: 1303498 markings, 63878441 edges, 2751 markings/sec, 465 secs
lola: 1317143 markings, 64562266 edges, 2729 markings/sec, 470 secs
lola: 1330797 markings, 65244414 edges, 2731 markings/sec, 475 secs
lola: 1344762 markings, 65927869 edges, 2793 markings/sec, 480 secs
lola: 1358680 markings, 66609639 edges, 2784 markings/sec, 485 secs
lola: 1372274 markings, 67271706 edges, 2719 markings/sec, 490 secs
lola: 1386017 markings, 67949686 edges, 2749 markings/sec, 495 secs
lola: 1399613 markings, 68624590 edges, 2719 markings/sec, 500 secs
lola: 1413452 markings, 69299295 edges, 2768 markings/sec, 505 secs
lola: 1427319 markings, 69976023 edges, 2773 markings/sec, 510 secs
lola: 1441181 markings, 70649832 edges, 2772 markings/sec, 515 secs
lola: 1454666 markings, 71324568 edges, 2697 markings/sec, 520 secs
lola: 1468352 markings, 71993285 edges, 2737 markings/sec, 525 secs
lola: 1482200 markings, 72675213 edges, 2770 markings/sec, 530 secs
lola: 1496023 markings, 73359827 edges, 2765 markings/sec, 535 secs
lola: 1509861 markings, 74043639 edges, 2768 markings/sec, 540 secs
lola: 1523839 markings, 74727685 edges, 2796 markings/sec, 545 secs
lola: 1537440 markings, 75405011 edges, 2720 markings/sec, 550 secs
lola: 1551149 markings, 76081215 edges, 2742 markings/sec, 555 secs
lola: 1564962 markings, 76756223 edges, 2763 markings/sec, 560 secs
lola: 1578462 markings, 77428675 edges, 2700 markings/sec, 565 secs
lola: 1592115 markings, 78097872 edges, 2731 markings/sec, 570 secs
lola: 1605745 markings, 78766832 edges, 2726 markings/sec, 575 secs
lola: 1619471 markings, 79436520 edges, 2745 markings/sec, 580 secs
lola: 1633074 markings, 80112325 edges, 2721 markings/sec, 585 secs
lola: 1646935 markings, 80795044 edges, 2772 markings/sec, 590 secs
lola: 1660510 markings, 81472231 edges, 2715 markings/sec, 595 secs
lola: 1674169 markings, 82150466 edges, 2732 markings/sec, 600 secs
lola: 1687765 markings, 82825691 edges, 2719 markings/sec, 605 secs
lola: 1701588 markings, 83501141 edges, 2765 markings/sec, 610 secs
lola: 1715213 markings, 84177415 edges, 2725 markings/sec, 615 secs
lola: 1728810 markings, 84848731 edges, 2719 markings/sec, 620 secs
lola: 1742545 markings, 85522838 edges, 2747 markings/sec, 625 secs
lola: 1756154 markings, 86201832 edges, 2722 markings/sec, 630 secs
lola: 1769962 markings, 86883509 edges, 2762 markings/sec, 635 secs
lola: 1783706 markings, 87562073 edges, 2749 markings/sec, 640 secs
lola: 1797444 markings, 88242886 edges, 2748 markings/sec, 645 secs
lola: 1811142 markings, 88920192 edges, 2740 markings/sec, 650 secs
lola: 1824664 markings, 89586303 edges, 2704 markings/sec, 655 secs
lola: 1838074 markings, 90252314 edges, 2682 markings/sec, 660 secs
lola: 1851546 markings, 90920393 edges, 2694 markings/sec, 665 secs
lola: 1865186 markings, 91593705 edges, 2728 markings/sec, 670 secs
lola: 1878824 markings, 92261535 edges, 2728 markings/sec, 675 secs
lola: 1892262 markings, 92924355 edges, 2688 markings/sec, 680 secs
lola: 1905345 markings, 93577151 edges, 2617 markings/sec, 685 secs
lola: 1918843 markings, 94244258 edges, 2700 markings/sec, 690 secs
lola: 1932356 markings, 94916357 edges, 2703 markings/sec, 695 secs
lola: 1946138 markings, 95590522 edges, 2756 markings/sec, 700 secs
lola: 1959733 markings, 96262777 edges, 2719 markings/sec, 705 secs
lola: 1973233 markings, 96930733 edges, 2700 markings/sec, 710 secs
lola: 1986653 markings, 97604477 edges, 2684 markings/sec, 715 secs
lola: 2000102 markings, 98277184 edges, 2690 markings/sec, 720 secs
lola: 2013717 markings, 98946638 edges, 2723 markings/sec, 725 secs
lola: 2027271 markings, 99619477 edges, 2711 markings/sec, 730 secs
lola: 2041023 markings, 100295941 edges, 2750 markings/sec, 735 secs
lola: 2054756 markings, 100978361 edges, 2747 markings/sec, 740 secs
lola: 2068333 markings, 101659903 edges, 2715 markings/sec, 745 secs
lola: 2075733 markings, 102032772 edges, 1480 markings/sec, 750 secs
lola: 2076282 markings, 102060561 edges, 110 markings/sec, 755 secs
lola: 2076481 markings, 102070898 edges, 40 markings/sec, 760 secs
lola: 2076855 markings, 102089403 edges, 75 markings/sec, 765 secs
lola: 2077278 markings, 102110235 edges, 85 markings/sec, 770 secs
lola: 2077303 markings, 102111352 edges, 5 markings/sec, 775 secs
lola: 2077632 markings, 102127422 edges, 66 markings/sec, 780 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DLCshifumi-PT-5a-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E ((((NOT FIREABLE(t4750) OR NOT FIREABLE(t13011)) OR A (G (FIREABLE(t11082)))) U (FIREABLE(t5463) AND FIREABLE(t13188) AND FIREABLE(t6958) AND FIREABLE(t1385) AND ((FIREABLE(t14360) AND FIREABLE(t8437)) OR (FIREABLE(t12098) AND FIREABLE(t4860))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(((NOT FIREABLE(t4750) OR NOT FIREABLE(t13011)) OR NOT(E(TRUE U NOT FIREABLE(t11082)))) U (FIREABLE(t5463) AND FIREABLE(t13188) AND FIREABLE(t6958) AND FIREABLE(t1385) AND ((FIREABLE(t14360) AND FIREABLE(t8437)) OR (FIREABLE(t12098) AND FIREABLE(t4860)))))
lola: processed formula length: 259
lola: 34 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 12989 markings, 640089 edges, 2598 markings/sec, 0 secs
lola: 27164 markings, 1310813 edges, 2835 markings/sec, 5 secs
lola: 41255 markings, 1979185 edges, 2818 markings/sec, 10 secs
lola: 55276 markings, 2647651 edges, 2804 markings/sec, 15 secs
lola: 69135 markings, 3318716 edges, 2772 markings/sec, 20 secs
lola: 82958 markings, 3992377 edges, 2765 markings/sec, 25 secs
lola: 96755 markings, 4664822 edges, 2759 markings/sec, 30 secs
lola: 110449 markings, 5327630 edges, 2739 markings/sec, 35 secs
lola: 124257 markings, 6001393 edges, 2762 markings/sec, 40 secs
lola: 138074 markings, 6670202 edges, 2763 markings/sec, 45 secs
lola: 151894 markings, 7338527 edges, 2764 markings/sec, 50 secs
lola: 165693 markings, 8011227 edges, 2760 markings/sec, 55 secs
lola: 179310 markings, 8688200 edges, 2723 markings/sec, 60 secs
lola: 193193 markings, 9355356 edges, 2777 markings/sec, 65 secs
lola: 206909 markings, 10024035 edges, 2743 markings/sec, 70 secs
lola: 220604 markings, 10696903 edges, 2739 markings/sec, 75 secs
lola: 234403 markings, 11368929 edges, 2760 markings/sec, 80 secs
lola: 248271 markings, 12045743 edges, 2774 markings/sec, 85 secs
lola: 262050 markings, 12726871 edges, 2756 markings/sec, 90 secs
lola: 275947 markings, 13405123 edges, 2779 markings/sec, 95 secs
lola: 289771 markings, 14083370 edges, 2765 markings/sec, 100 secs
lola: 303716 markings, 14762668 edges, 2789 markings/sec, 105 secs
lola: 317692 markings, 15443456 edges, 2795 markings/sec, 110 secs
lola: 331416 markings, 16119632 edges, 2745 markings/sec, 115 secs
lola: 345015 markings, 16789748 edges, 2720 markings/sec, 120 secs
lola: 358697 markings, 17461950 edges, 2736 markings/sec, 125 secs
lola: 372678 markings, 18139602 edges, 2796 markings/sec, 130 secs
lola: 386597 markings, 18822067 edges, 2784 markings/sec, 135 secs
lola: 400293 markings, 19500504 edges, 2739 markings/sec, 140 secs
lola: 414271 markings, 20179543 edges, 2796 markings/sec, 145 secs
lola: 427626 markings, 20840086 edges, 2671 markings/sec, 150 secs
lola: 441345 markings, 21518454 edges, 2744 markings/sec, 155 secs
lola: 455137 markings, 22195917 edges, 2758 markings/sec, 160 secs
lola: 468733 markings, 22870262 edges, 2719 markings/sec, 165 secs
lola: 481928 markings, 23522436 edges, 2639 markings/sec, 170 secs
lola: 495737 markings, 24201675 edges, 2762 markings/sec, 175 secs
lola: 509731 markings, 24880871 edges, 2799 markings/sec, 180 secs
lola: 523625 markings, 25564071 edges, 2779 markings/sec, 185 secs
lola: 537555 markings, 26248817 edges, 2786 markings/sec, 190 secs
lola: 551575 markings, 26930711 edges, 2804 markings/sec, 195 secs
lola: 565593 markings, 27611829 edges, 2804 markings/sec, 200 secs
lola: 579311 markings, 28290801 edges, 2744 markings/sec, 205 secs
lola: 592828 markings, 28971328 edges, 2703 markings/sec, 210 secs
lola: 606507 markings, 29651882 edges, 2736 markings/sec, 215 secs
lola: 620175 markings, 30331912 edges, 2734 markings/sec, 220 secs
lola: 634262 markings, 31017067 edges, 2817 markings/sec, 225 secs
lola: 647936 markings, 31684012 edges, 2735 markings/sec, 230 secs
lola: 661008 markings, 32334221 edges, 2614 markings/sec, 235 secs
lola: 674121 markings, 32982089 edges, 2623 markings/sec, 240 secs
lola: 687214 markings, 33630376 edges, 2619 markings/sec, 245 secs
lola: 700203 markings, 34278599 edges, 2598 markings/sec, 250 secs
lola: 713257 markings, 34925869 edges, 2611 markings/sec, 255 secs
lola: 726299 markings, 35570423 edges, 2608 markings/sec, 260 secs
lola: 739400 markings, 36215245 edges, 2620 markings/sec, 265 secs
lola: 752478 markings, 36860685 edges, 2616 markings/sec, 270 secs
lola: 765594 markings, 37506675 edges, 2623 markings/sec, 275 secs
lola: 778959 markings, 38157966 edges, 2673 markings/sec, 280 secs
lola: 792066 markings, 38809132 edges, 2621 markings/sec, 285 secs
lola: 804987 markings, 39457296 edges, 2584 markings/sec, 290 secs
lola: 818137 markings, 40091801 edges, 2630 markings/sec, 295 secs
lola: 831326 markings, 40732604 edges, 2638 markings/sec, 300 secs
lola: 844464 markings, 41371152 edges, 2628 markings/sec, 305 secs
lola: 857504 markings, 42014354 edges, 2608 markings/sec, 310 secs
lola: 870429 markings, 42649867 edges, 2585 markings/sec, 315 secs
lola: 883853 markings, 43305742 edges, 2685 markings/sec, 320 secs
lola: 897717 markings, 43983696 edges, 2773 markings/sec, 325 secs
lola: 911512 markings, 44660521 edges, 2759 markings/sec, 330 secs
lola: 925424 markings, 45336546 edges, 2782 markings/sec, 335 secs
lola: 939410 markings, 46013512 edges, 2797 markings/sec, 340 secs
lola: 953134 markings, 46686813 edges, 2745 markings/sec, 345 secs
lola: 967073 markings, 47361926 edges, 2788 markings/sec, 350 secs
lola: 980742 markings, 48034865 edges, 2734 markings/sec, 355 secs
lola: 994260 markings, 48694089 edges, 2704 markings/sec, 360 secs
lola: 1007963 markings, 49361134 edges, 2741 markings/sec, 365 secs
lola: 1021607 markings, 50030596 edges, 2729 markings/sec, 370 secs
lola: 1035368 markings, 50705790 edges, 2752 markings/sec, 375 secs
lola: 1049040 markings, 51385771 edges, 2734 markings/sec, 380 secs
lola: 1062806 markings, 52063586 edges, 2753 markings/sec, 385 secs
lola: 1076355 markings, 52729730 edges, 2710 markings/sec, 390 secs
lola: 1090047 markings, 53406598 edges, 2738 markings/sec, 395 secs
lola: 1103859 markings, 54083979 edges, 2762 markings/sec, 400 secs
lola: 1117881 markings, 54764735 edges, 2804 markings/sec, 405 secs
lola: 1131863 markings, 55446577 edges, 2796 markings/sec, 410 secs
lola: 1145815 markings, 56130518 edges, 2790 markings/sec, 415 secs
lola: 1159699 markings, 56804806 edges, 2777 markings/sec, 420 secs
lola: 1173308 markings, 57474552 edges, 2722 markings/sec, 425 secs
lola: 1187153 markings, 58154190 edges, 2769 markings/sec, 430 secs
lola: 1201287 markings, 58838193 edges, 2827 markings/sec, 435 secs
lola: 1214902 markings, 59510592 edges, 2723 markings/sec, 440 secs
lola: 1228603 markings, 60184880 edges, 2740 markings/sec, 445 secs
lola: 1242456 markings, 60864573 edges, 2771 markings/sec, 450 secs
lola: 1256162 markings, 61545359 edges, 2741 markings/sec, 455 secs
lola: 1269989 markings, 62219160 edges, 2765 markings/sec, 460 secs
lola: 1283555 markings, 62894670 edges, 2713 markings/sec, 465 secs
lola: 1297266 markings, 63570657 edges, 2742 markings/sec, 470 secs
lola: 1310976 markings, 64252940 edges, 2742 markings/sec, 475 secs
lola: 1324608 markings, 64934758 edges, 2726 markings/sec, 480 secs
lola: 1338397 markings, 65613833 edges, 2758 markings/sec, 485 secs
lola: 1352258 markings, 66295718 edges, 2772 markings/sec, 490 secs
lola: 1366027 markings, 66968099 edges, 2754 markings/sec, 495 secs
lola: 1379772 markings, 67641367 edges, 2749 markings/sec, 500 secs
lola: 1393389 markings, 68316590 edges, 2723 markings/sec, 505 secs
lola: 1407036 markings, 68990042 edges, 2729 markings/sec, 510 secs
lola: 1420947 markings, 69664442 edges, 2782 markings/sec, 515 secs
lola: 1434819 markings, 70338448 edges, 2774 markings/sec, 520 secs
lola: 1448344 markings, 71006593 edges, 2705 markings/sec, 525 secs
lola: 1461854 markings, 71675720 edges, 2702 markings/sec, 530 secs
lola: 1475638 markings, 72353250 edges, 2757 markings/sec, 535 secs
lola: 1489458 markings, 73033828 edges, 2764 markings/sec, 540 secs
lola: 1503191 markings, 73715285 edges, 2747 markings/sec, 545 secs
lola: 1517170 markings, 74398259 edges, 2796 markings/sec, 550 secs
lola: 1530850 markings, 75079214 edges, 2736 markings/sec, 555 secs
lola: 1544569 markings, 75758111 edges, 2744 markings/sec, 560 secs
lola: 1558530 markings, 76441656 edges, 2792 markings/sec, 565 secs
lola: 1572361 markings, 77120986 edges, 2766 markings/sec, 570 secs
lola: 1586069 markings, 77799025 edges, 2742 markings/sec, 575 secs
lola: 1599785 markings, 78472780 edges, 2743 markings/sec, 580 secs
lola: 1613587 markings, 79148648 edges, 2760 markings/sec, 585 secs
lola: 1627342 markings, 79825683 edges, 2751 markings/sec, 590 secs
lola: 1641085 markings, 80506556 edges, 2749 markings/sec, 595 secs
lola: 1654762 markings, 81184602 edges, 2735 markings/sec, 600 secs
lola: 1668385 markings, 81860259 edges, 2725 markings/sec, 605 secs
lola: 1681880 markings, 82536712 edges, 2699 markings/sec, 610 secs
lola: 1695654 markings, 83210792 edges, 2755 markings/sec, 615 secs
lola: 1709298 markings, 83885496 edges, 2729 markings/sec, 620 secs
lola: 1722930 markings, 84556554 edges, 2726 markings/sec, 625 secs
lola: 1736509 markings, 85227140 edges, 2716 markings/sec, 630 secs
lola: 1750129 markings, 85904761 edges, 2724 markings/sec, 635 secs
lola: 1763877 markings, 86584369 edges, 2750 markings/sec, 640 secs
lola: 1777660 markings, 87261363 edges, 2757 markings/sec, 645 secs
lola: 1791333 markings, 87941541 edges, 2735 markings/sec, 650 secs
lola: 1805114 markings, 88621101 edges, 2756 markings/sec, 655 secs
lola: 1818779 markings, 89294226 edges, 2733 markings/sec, 660 secs
lola: 1832350 markings, 89966886 edges, 2714 markings/sec, 665 secs
lola: 1845911 markings, 90637765 edges, 2712 markings/sec, 670 secs
lola: 1859554 markings, 91314131 edges, 2729 markings/sec, 675 secs
lola: 1873292 markings, 91993494 edges, 2748 markings/sec, 680 secs
lola: 1887015 markings, 92666441 edges, 2745 markings/sec, 685 secs
lola: 1900251 markings, 93322324 edges, 2647 markings/sec, 690 secs
lola: 1913826 markings, 93998089 edges, 2715 markings/sec, 695 secs
lola: 1927327 markings, 94665998 edges, 2700 markings/sec, 700 secs
lola: 1940923 markings, 95337563 edges, 2719 markings/sec, 705 secs
lola: 1954581 markings, 96007448 edges, 2732 markings/sec, 710 secs
lola: 1968034 markings, 96674374 edges, 2691 markings/sec, 715 secs
lola: 1981375 markings, 97343818 edges, 2668 markings/sec, 720 secs
lola: 1994821 markings, 98013369 edges, 2689 markings/sec, 725 secs
lola: 2008273 markings, 98682306 edges, 2690 markings/sec, 730 secs
lola: 2021892 markings, 99348113 edges, 2724 markings/sec, 735 secs
lola: 2035278 markings, 100012651 edges, 2677 markings/sec, 740 secs
lola: 2048967 markings, 100691329 edges, 2738 markings/sec, 745 secs
lola: 2061405 markings, 101312188 edges, 2488 markings/sec, 750 secs
lola: 2061529 markings, 101318409 edges, 25 markings/sec, 755 secs
lola: 2061748 markings, 101329386 edges, 44 markings/sec, 760 secs
lola: 2061945 markings, 101339265 edges, 39 markings/sec, 765 secs
lola: 2062535 markings, 101368265 edges, 118 markings/sec, 770 secs
lola: 2063236 markings, 101403239 edges, 140 markings/sec, 775 secs
lola: 2063294 markings, 101406092 edges, 12 markings/sec, 780 secs
lola: 2063483 markings, 101415425 edges, 38 markings/sec, 785 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DLCshifumi-PT-5a-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t5209) OR (A (F (FIREABLE(t14446))) OR (FIREABLE(t14265) OR (E ((FIREABLE(t10702) U FIREABLE(t5788))) OR FIREABLE(t12705))))) AND A (G ((FIREABLE(t3044) OR NOT FIREABLE(t1181)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: FIREABLE(t12705)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t12705)
lola: processed formula length: 16
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: FIREABLE(t14265)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t14265)
lola: processed formula length: 16
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: NOT FIREABLE(t5209)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t5209)
lola: processed formula length: 19
lola: 31 rewrites
lola: closed formula file DLCshifumi-PT-5a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t3044) OR NOT FIREABLE(t1181))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((FIREABLE(t3044) OR NOT FIREABLE(t1181))))
lola: processed formula length: 49
lola: 33 rewrites
lola: closed formula file DLCshifumi-PT-5a-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:695
lola: formula 0: (NOT FIREABLE(t3044) AND FIREABLE(t1181))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-5a-CTLFireability-21-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DLCshifumi-PT-5a-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (NOT FIREABLE(t13113))))) AND A (G (E (F ((FIREABLE(t13234) OR FIREABLE(t4850)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (E (F (NOT FIREABLE(t13113)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: NOT FIREABLE(t13113)
lola: processed formula length: 20
lola: 32 rewrites
lola: closed formula file DLCshifumi-PT-5a-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: 13528 markings, 664620 edges, 2706 markings/sec, 0 secs
lola: 27693 markings, 1337814 edges, 2833 markings/sec, 5 secs
lola: 41725 markings, 2005107 edges, 2806 markings/sec, 10 secs
lola: 55749 markings, 2678149 edges, 2805 markings/sec, 15 secs
lola: 69561 markings, 3351327 edges, 2762 markings/sec, 20 secs
lola: 83298 markings, 4027195 edges, 2747 markings/sec, 25 secs
lola: 97093 markings, 4697108 edges, 2759 markings/sec, 30 secs
lola: 110932 markings, 5364334 edges, 2768 markings/sec, 35 secs
lola: 124611 markings, 6036827 edges, 2736 markings/sec, 40 secs
lola: 138521 markings, 6713576 edges, 2782 markings/sec, 45 secs
lola: 152248 markings, 7388305 edges, 2745 markings/sec, 50 secs
lola: 166017 markings, 8063150 edges, 2754 markings/sec, 55 secs
lola: 179579 markings, 8743201 edges, 2712 markings/sec, 60 secs
lola: 193515 markings, 9419319 edges, 2787 markings/sec, 65 secs
lola: 207373 markings, 10100999 edges, 2772 markings/sec, 70 secs
lola: 220995 markings, 10767174 edges, 2724 markings/sec, 75 secs
lola: 234889 markings, 11442328 edges, 2779 markings/sec, 80 secs
lola: 248697 markings, 12114913 edges, 2762 markings/sec, 85 secs
lola: 262535 markings, 12789882 edges, 2768 markings/sec, 90 secs
lola: 276089 markings, 13464761 edges, 2711 markings/sec, 95 secs
lola: 289881 markings, 14141964 edges, 2758 markings/sec, 100 secs
lola: 303988 markings, 14827168 edges, 2821 markings/sec, 105 secs
lola: 317845 markings, 15509091 edges, 2771 markings/sec, 110 secs
lola: 331483 markings, 16183969 edges, 2728 markings/sec, 115 secs
lola: 345173 markings, 16857190 edges, 2738 markings/sec, 120 secs
lola: 359000 markings, 17533794 edges, 2765 markings/sec, 125 secs
lola: 372867 markings, 18214754 edges, 2773 markings/sec, 130 secs
lola: 386539 markings, 18894829 edges, 2734 markings/sec, 135 secs
lola: 400219 markings, 19572559 edges, 2736 markings/sec, 140 secs
lola: 414293 markings, 20254492 edges, 2815 markings/sec, 145 secs
lola: 428092 markings, 20936305 edges, 2760 markings/sec, 150 secs
lola: 441920 markings, 21617655 edges, 2766 markings/sec, 155 secs
lola: 455576 markings, 22298608 edges, 2731 markings/sec, 160 secs
lola: 469612 markings, 22981843 edges, 2807 markings/sec, 165 secs
lola: 483618 markings, 23667409 edges, 2801 markings/sec, 170 secs
lola: 497667 markings, 24350218 edges, 2810 markings/sec, 175 secs
lola: 511587 markings, 25035112 edges, 2784 markings/sec, 180 secs
lola: 525512 markings, 25718851 edges, 2785 markings/sec, 185 secs
lola: 539071 markings, 26400796 edges, 2712 markings/sec, 190 secs
lola: 552704 markings, 27079277 edges, 2727 markings/sec, 195 secs
lola: 566439 markings, 27761658 edges, 2747 markings/sec, 200 secs
lola: 580208 markings, 28442956 edges, 2754 markings/sec, 205 secs
lola: 593983 markings, 29124491 edges, 2755 markings/sec, 210 secs
lola: 607603 markings, 29808963 edges, 2724 markings/sec, 215 secs
lola: 621410 markings, 30489743 edges, 2761 markings/sec, 220 secs
lola: 635475 markings, 31175144 edges, 2813 markings/sec, 225 secs
lola: 649552 markings, 31862027 edges, 2815 markings/sec, 230 secs
lola: 663584 markings, 32546784 edges, 2806 markings/sec, 235 secs
lola: 677569 markings, 33231547 edges, 2797 markings/sec, 240 secs
lola: 691471 markings, 33916647 edges, 2780 markings/sec, 245 secs
lola: 705501 markings, 34598738 edges, 2806 markings/sec, 250 secs
lola: 719284 markings, 35280321 edges, 2757 markings/sec, 255 secs
lola: 733085 markings, 35962717 edges, 2760 markings/sec, 260 secs
lola: 746799 markings, 36645037 edges, 2743 markings/sec, 265 secs
lola: 760585 markings, 37322804 edges, 2757 markings/sec, 270 secs
lola: 774274 markings, 38003029 edges, 2738 markings/sec, 275 secs
lola: time limit reached - aborting
lola:
preliminary result: yes unknown yes no yes no no unknown no unknown no unknown no yes yes no
lola:
preliminary result: yes unknown yes no yes no no unknown no unknown no unknown no yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown yes no yes no no unknown no unknown no unknown no yes yes no
lola: memory consumption: 6061256 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 6061256 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown yes no yes no no unknown no unknown no unknown no yes yes no
lola: memory consumption: 6061852 KB
lola: time consumption: 3570 seconds
BK_STOP 1526725446240
--------------------
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-5a"
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-5a.tgz
mv DLCshifumi-PT-5a 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-5a, 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-152649735300200"
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 ;