About the Execution of Irma.struct for DLCshifumi-PT-2b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.090 | 1884320.00 | 1812616.00 | 9312.10 | ???????????????? | 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 896K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K 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.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 729K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is DLCshifumi-PT-2b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r067-smll-152649739700165
=====================================================================
--------------------
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-2b-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-2b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526654004444
BK_STOP 1526655888764
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCshifumi-PT-2b as instance name.
Using DLCshifumi as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1150797, 'Memory': 2086.62, 'Tool': 'lola'}, {'Time': 1151076, 'Memory': 2079.03, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
CTLFireability lola DLCshifumi-PT-2b...
Time: 3600 - MCC
----- Start make prepare stderr -----
----- Start make prepare stdout -----
===========================================================================================
DLCshifumi-PT-2b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCshifumi-PT-2b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ DLCshifumi-PT-2b @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5666/65536 symbol table entries, 573 collisions
lola: preprocessing...
lola: finding significant places
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
lola: 2483 places, 3183 transitions, 2404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3873 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-2b-CTLFireability.task
lola: A (F (NOT(A (F (FIREABLE(t1628)))))) : E (G (E (X ((NOT FIREABLE(t1301) AND NOT FIREABLE(t2517)))))) : (NOT(NOT(((FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570)) OR A (F (FIREABLE(t1920)))))) OR A (F (A (X ((FIREABLE(t1164) AND FIREABLE(t1211))))))) : A (F (A (G ((FIREABLE(t37) AND FIREABLE(t2761) AND FIREABLE(t561) AND FIREABLE(t2661)))))) : E (X (E (F (E (G (FIREABLE(t2687))))))) : (((A ((FIREABLE(t2514) U FIREABLE(t421))) OR (E (F (FIREABLE(t2955))) OR A (F (FIREABLE(t1268))))) AND ((NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763)) OR (((FIREABLE(t1293) AND FIREABLE(t2858)) OR FIREABLE(t1247)) AND A (G (FIREABLE(t1832)))))) OR A (F (E (G ((FIREABLE(t734) OR FIREABLE(t2589))))))) : E (F (E (((FIREABLE(t3059) OR FIREABLE(t1)) U (FIREABLE(t2150) OR FIREABLE(t994)))))) : (E ((E (F (FIREABLE(t571))) U FIREABLE(t477))) OR A (X ((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982)))))) : A (F ((FIREABLE(t810) AND E (F (FIREABLE(t1101)))))) : A (F (FIREABLE(t464))) : E ((A (X (NOT FIREABLE(t2741))) U E (G ((FIREABLE(t1647) OR FIREABLE(t1830)))))) : A (F ((NOT FIREABLE(t44) AND FIREABLE(t2899)))) : NOT(A (F ((E (G (FIREABLE(t1987))) OR E (G (FIREABLE(t425))))))) : ((((E (X (FIREABLE(t1680))) OR A (F (FIREABLE(t944)))) OR A ((FIREABLE(t193) U FIREABLE(t1624)))) OR (FIREABLE(t2300) AND A (G ((FIREABLE(t3097) OR FIREABLE(t2187)))))) OR NOT(NOT(((FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227)) AND A (X (FIREABLE(t2416))))))) : NOT((FIREABLE(t919) OR NOT(((FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177)) OR E (F (FIREABLE(t1938))))))) : A ((E (F ((FIREABLE(t2402) AND FIREABLE(t2159)))) U FIREABLE(t207)))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (NOT(A (F (FIREABLE(t1628))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U NOT(A(TRUE U FIREABLE(t1628))))
lola: processed formula length: 40
lola: 6 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
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: 476 markings, 477 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (E (X ((NOT FIREABLE(t1301) AND NOT FIREABLE(t2517))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(EX((NOT FIREABLE(t1301) AND NOT FIREABLE(t2517))))))
lola: processed formula length: 69
lola: 2 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 48 markings, 48 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(NOT(((FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570)) OR A (F (FIREABLE(t1920)))))) OR A (F (A (X ((FIREABLE(t1164) AND FIREABLE(t1211)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t1116) AND FIREABLE(t1269) AND NOT FIREABLE(t1570))
lola: processed formula length: 61
lola: 11 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t1920)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t1920)))
lola: processed formula: A (F (FIREABLE(t1920)))
lola: processed formula length: 23
lola: 11 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 456 markings, 456 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (X ((FIREABLE(t1164) AND FIREABLE(t1211))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U AX((FIREABLE(t1164) AND FIREABLE(t1211))))
lola: processed formula length: 51
lola: 13 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 48 markings, 48 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((FIREABLE(t37) AND FIREABLE(t2761) AND FIREABLE(t561) AND FIREABLE(t2661))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (A (G ((FIREABLE(t37) AND FIREABLE(t2761) AND FIREABLE(t561) AND FIREABLE(t2661))))))
lola: processed formula: A (F (A (G ((FIREABLE(t37) AND FIREABLE(t2761) AND FIREABLE(t561) AND FIREABLE(t2661))))))
lola: processed formula length: 90
lola: 0 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 430 markings, 431 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (E (G (FIREABLE(t2687)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(E(TRUE U NOT(A(TRUE U NOT FIREABLE(t2687)))))
lola: processed formula length: 48
lola: 4 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 251583 markings, 600730 edges, 3689330178019819520 markings/sec, 0 secs
lola: 487433 markings, 1180837 edges, 47170 markings/sec, 5 secs
lola: 726461 markings, 1753302 edges, 47806 markings/sec, 10 secs
lola: 961013 markings, 2323965 edges, 46910 markings/sec, 15 secs
lola: 1198110 markings, 2902358 edges, 47419 markings/sec, 20 secs
lola: 1436344 markings, 3478822 edges, 47647 markings/sec, 25 secs
lola: 1673483 markings, 4056114 edges, 47428 markings/sec, 30 secs
lola: 1907935 markings, 4617789 edges, 46890 markings/sec, 35 secs
lola: 2152398 markings, 5185496 edges, 48893 markings/sec, 40 secs
lola: 2394188 markings, 5760941 edges, 48358 markings/sec, 45 secs
lola: 2628735 markings, 6325396 edges, 46909 markings/sec, 50 secs
lola: 2862759 markings, 6885408 edges, 46805 markings/sec, 55 secs
lola: 3093816 markings, 7444081 edges, 46211 markings/sec, 60 secs
lola: 3325661 markings, 8008197 edges, 46369 markings/sec, 65 secs
lola: 3557951 markings, 8565606 edges, 46458 markings/sec, 70 secs
lola: 3791782 markings, 9122128 edges, 46766 markings/sec, 75 secs
lola: 4029576 markings, 9688880 edges, 47559 markings/sec, 80 secs
lola: 4257167 markings, 10251850 edges, 45518 markings/sec, 85 secs
lola: 4483583 markings, 10804883 edges, 45283 markings/sec, 90 secs
lola: 4711745 markings, 11359293 edges, 45632 markings/sec, 95 secs
lola: 4943642 markings, 11920505 edges, 46379 markings/sec, 100 secs
lola: 5176813 markings, 12481664 edges, 46634 markings/sec, 105 secs
lola: 5409576 markings, 13055194 edges, 46553 markings/sec, 110 secs
lola: 5645166 markings, 13619407 edges, 47118 markings/sec, 115 secs
lola: 5880150 markings, 14184423 edges, 46997 markings/sec, 120 secs
lola: 6116511 markings, 14746823 edges, 47272 markings/sec, 125 secs
lola: 6350025 markings, 15318193 edges, 46703 markings/sec, 130 secs
lola: 6584031 markings, 15880461 edges, 46801 markings/sec, 135 secs
lola: 6821826 markings, 16438046 edges, 47559 markings/sec, 140 secs
lola: 7050897 markings, 16991633 edges, 45814 markings/sec, 145 secs
lola: 7281034 markings, 17546015 edges, 46027 markings/sec, 150 secs
lola: 7512320 markings, 18099869 edges, 46257 markings/sec, 155 secs
lola: 7748787 markings, 18662817 edges, 47293 markings/sec, 160 secs
lola: 7978325 markings, 19218562 edges, 45908 markings/sec, 165 secs
lola: 8205370 markings, 19757265 edges, 45409 markings/sec, 170 secs
lola: 8428575 markings, 20296907 edges, 44641 markings/sec, 175 secs
lola: 8656795 markings, 20847600 edges, 45644 markings/sec, 180 secs
lola: 8888409 markings, 21405379 edges, 46323 markings/sec, 185 secs
lola: 9117839 markings, 21968032 edges, 45886 markings/sec, 190 secs
lola: 9354477 markings, 22535984 edges, 47328 markings/sec, 195 secs
lola: 9589054 markings, 23100296 edges, 46915 markings/sec, 200 secs
lola: 9824581 markings, 23665669 edges, 47105 markings/sec, 205 secs
lola: 10052895 markings, 24213781 edges, 45663 markings/sec, 210 secs
lola: 10259699 markings, 24719379 edges, 41361 markings/sec, 215 secs
lola: 10476433 markings, 25246845 edges, 43347 markings/sec, 220 secs
lola: 10687940 markings, 25756803 edges, 42301 markings/sec, 225 secs
lola: 10902219 markings, 26271831 edges, 42856 markings/sec, 230 secs
lola: 11128176 markings, 26823201 edges, 45191 markings/sec, 235 secs
lola: 11348240 markings, 27356875 edges, 44013 markings/sec, 240 secs
lola: 11579969 markings, 27917387 edges, 46346 markings/sec, 245 secs
lola: 11813753 markings, 28476994 edges, 46757 markings/sec, 250 secs
lola: 12057432 markings, 29047906 edges, 48736 markings/sec, 255 secs
lola: 12287538 markings, 29605664 edges, 46021 markings/sec, 260 secs
lola: 12515588 markings, 30164818 edges, 45610 markings/sec, 265 secs
lola: 12748982 markings, 30726863 edges, 46679 markings/sec, 270 secs
lola: 12974230 markings, 31270770 edges, 45050 markings/sec, 275 secs
lola: 13197270 markings, 31806844 edges, 44608 markings/sec, 280 secs
lola: 13419109 markings, 32357747 edges, 44368 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((A ((FIREABLE(t2514) U FIREABLE(t421))) OR (E (F (FIREABLE(t2955))) OR A (F (FIREABLE(t1268))))) AND ((NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763)) OR (((FIREABLE(t1293) AND FIREABLE(t2858)) OR FIREABLE(t1247)) AND A (G (FIREABLE(t1832)))))) OR A (F (E (G ((FIREABLE(t734) OR FIREABLE(t2589)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t2514) U FIREABLE(t421)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t2514) U FIREABLE(t421)))
lola: processed formula: A ((FIREABLE(t2514) U FIREABLE(t421)))
lola: processed formula length: 38
lola: 0 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 372 markings, 372 edges
lola: ========================================
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2955)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 103 markings, 102 edges
lola: ========================================
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t2391) OR NOT FIREABLE(t1364) OR NOT FIREABLE(t464) OR NOT FIREABLE(t2763))
lola: processed formula length: 92
lola: 0 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-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: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (((FIREABLE(t3059) OR FIREABLE(t1)) U (FIREABLE(t2150) OR FIREABLE(t994))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U E((FIREABLE(t3059) OR FIREABLE(t1)) U (FIREABLE(t2150) OR FIREABLE(t994))))
lola: processed formula length: 86
lola: 2 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
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: 225 markings, 227 edges
lola: ========================================
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E ((E (F (FIREABLE(t571))) U FIREABLE(t477))) OR A (X ((FIREABLE(t1378) AND FIREABLE(t2661) AND NOT FIREABLE(t295) AND (FIREABLE(t2831) OR FIREABLE(t2982))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (F (FIREABLE(t571))) U FIREABLE(t477)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(E(TRUE U FIREABLE(t571)) U FIREABLE(t477))
lola: processed formula length: 44
lola: 2 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
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: 412201 markings, 494684 edges, 82427 markings/sec, 0 secs
lola: 832061 markings, 1003113 edges, 83972 markings/sec, 5 secs
lola: 1254191 markings, 1508395 edges, 84426 markings/sec, 10 secs
lola: 1677451 markings, 2016797 edges, 84652 markings/sec, 15 secs
lola: 2097912 markings, 2523115 edges, 84092 markings/sec, 20 secs
lola: 2518316 markings, 3025822 edges, 84081 markings/sec, 25 secs
lola: 2932807 markings, 3523539 edges, 82898 markings/sec, 30 secs
lola: 3343459 markings, 4019315 edges, 82130 markings/sec, 35 secs
lola: 3754848 markings, 4518513 edges, 82278 markings/sec, 40 secs
lola: 4170257 markings, 5019597 edges, 83082 markings/sec, 45 secs
lola: 4584873 markings, 5519493 edges, 82923 markings/sec, 50 secs
lola: 5000683 markings, 6018683 edges, 83162 markings/sec, 55 secs
lola: 5414084 markings, 6517305 edges, 82680 markings/sec, 60 secs
lola: 5825548 markings, 7013184 edges, 82293 markings/sec, 65 secs
lola: 6242903 markings, 7513688 edges, 83471 markings/sec, 70 secs
lola: 6660767 markings, 8014863 edges, 83573 markings/sec, 75 secs
lola: 7069868 markings, 8509698 edges, 81820 markings/sec, 80 secs
lola: 7484427 markings, 9005860 edges, 82912 markings/sec, 85 secs
lola: 7898066 markings, 9503219 edges, 82728 markings/sec, 90 secs
lola: 8307720 markings, 9998858 edges, 81931 markings/sec, 95 secs
lola: 8697786 markings, 10467567 edges, 78013 markings/sec, 100 secs
lola: 9104284 markings, 10958053 edges, 81300 markings/sec, 105 secs
lola: 9518076 markings, 11455053 edges, 82758 markings/sec, 110 secs
lola: 9924996 markings, 11945778 edges, 81384 markings/sec, 115 secs
lola: 10339717 markings, 12444702 edges, 82944 markings/sec, 120 secs
lola: 10739869 markings, 12926383 edges, 80030 markings/sec, 125 secs
lola: 11151319 markings, 13424072 edges, 82290 markings/sec, 130 secs
lola: 11566645 markings, 13922126 edges, 83065 markings/sec, 135 secs
lola: 11985947 markings, 14425048 edges, 83860 markings/sec, 140 secs
lola: 12403463 markings, 14925992 edges, 83503 markings/sec, 145 secs
lola: 12821080 markings, 15428133 edges, 83523 markings/sec, 150 secs
lola: 13232532 markings, 15925667 edges, 82290 markings/sec, 155 secs
lola: 13644202 markings, 16420492 edges, 82334 markings/sec, 160 secs
lola: 14055256 markings, 16917326 edges, 82211 markings/sec, 165 secs
lola: 14466942 markings, 17413228 edges, 82337 markings/sec, 170 secs
lola: 14880971 markings, 17913221 edges, 82806 markings/sec, 175 secs
lola: 15294297 markings, 18410640 edges, 82665 markings/sec, 180 secs
lola: 15699424 markings, 18900641 edges, 81025 markings/sec, 185 secs
lola: 16104334 markings, 19390144 edges, 80982 markings/sec, 190 secs
lola: 16508851 markings, 19878842 edges, 80903 markings/sec, 195 secs
lola: 16916046 markings, 20370877 edges, 81439 markings/sec, 200 secs
lola: 17324934 markings, 20863608 edges, 81778 markings/sec, 205 secs
lola: 17733760 markings, 21356417 edges, 81765 markings/sec, 210 secs
lola: 18141058 markings, 21849377 edges, 81460 markings/sec, 215 secs
lola: 18546720 markings, 22339784 edges, 81132 markings/sec, 220 secs
lola: 18955323 markings, 22833324 edges, 81721 markings/sec, 225 secs
lola: 19363391 markings, 23325720 edges, 81614 markings/sec, 230 secs
lola: 19774316 markings, 23821504 edges, 82185 markings/sec, 235 secs
lola: 20180283 markings, 24313955 edges, 81193 markings/sec, 240 secs
lola: 20583149 markings, 24802310 edges, 80573 markings/sec, 245 secs
lola: 20987738 markings, 25291929 edges, 80918 markings/sec, 250 secs
lola: 21391377 markings, 25780071 edges, 80728 markings/sec, 255 secs
lola: 21795633 markings, 26269653 edges, 80851 markings/sec, 260 secs
lola: 22204157 markings, 26760405 edges, 81705 markings/sec, 265 secs
lola: 22606955 markings, 27247862 edges, 80560 markings/sec, 270 secs
lola: 23014014 markings, 27736992 edges, 81412 markings/sec, 275 secs
lola: 23420159 markings, 28228183 edges, 81229 markings/sec, 280 secs
lola: 23822698 markings, 28715687 edges, 80508 markings/sec, 285 secs
lola: 24228837 markings, 29207331 edges, 81228 markings/sec, 290 secs
lola: 24631649 markings, 29695656 edges, 80562 markings/sec, 295 secs
lola: 25032462 markings, 30181050 edges, 80163 markings/sec, 300 secs
lola: 25421346 markings, 30652014 edges, 77777 markings/sec, 305 secs
lola: 25823962 markings, 31139302 edges, 80523 markings/sec, 310 secs
lola: 26245656 markings, 31644954 edges, 84339 markings/sec, 315 secs
lola: 26663574 markings, 32149825 edges, 83584 markings/sec, 320 secs
lola: 27083639 markings, 32654700 edges, 84013 markings/sec, 325 secs
lola: 27500579 markings, 33155735 edges, 83388 markings/sec, 330 secs
lola: 27915627 markings, 33655624 edges, 83010 markings/sec, 335 secs
lola: 28331640 markings, 34154485 edges, 83203 markings/sec, 340 secs
lola: 28748103 markings, 34656148 edges, 83293 markings/sec, 345 secs
lola: 29161078 markings, 35155640 edges, 82595 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t810) AND E (F (FIREABLE(t1101))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (FIREABLE(t810) AND E(TRUE U FIREABLE(t1101))))
lola: processed formula length: 56
lola: 2 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
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: 476 markings, 476 edges
lola: ========================================
lola: subprocess 9 will run for 412 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t464)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t464)))
lola: processed formula: A (F (FIREABLE(t464)))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 454 markings, 454 edges
lola: ========================================
lola: subprocess 10 will run for 480 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((A (X (NOT FIREABLE(t2741))) U E (G ((FIREABLE(t1647) OR FIREABLE(t1830))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(AX(NOT FIREABLE(t2741)) U NOT(A(TRUE U (NOT FIREABLE(t1647) AND NOT FIREABLE(t1830)))))
lola: processed formula length: 89
lola: 4 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
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: 821 markings, 1603 edges
lola: ========================================
lola: subprocess 11 will run for 576 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t44) AND FIREABLE(t2899))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((NOT FIREABLE(t44) AND FIREABLE(t2899))))
lola: processed formula: A (F ((NOT FIREABLE(t44) AND FIREABLE(t2899))))
lola: processed formula length: 47
lola: 0 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 454 markings, 454 edges
lola: ========================================
lola: subprocess 12 will run for 721 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((E (G (FIREABLE(t1987))) OR E (G (FIREABLE(t425)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U NOT FIREABLE(t1987))) OR NOT(A(TRUE U NOT FIREABLE(t425))))))
lola: processed formula length: 88
lola: 13 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 475 markings, 1425 edges
lola: ========================================
lola: subprocess 13 will run for 961 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((E (X (FIREABLE(t1680))) OR A (F (FIREABLE(t944)))) OR A ((FIREABLE(t193) U FIREABLE(t1624)))) OR (FIREABLE(t2300) AND A (G ((FIREABLE(t3097) OR FIREABLE(t2187)))))) OR NOT(NOT(((FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227)) AND A (X (FIREABLE(t2416)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 961 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (FIREABLE(t1680)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(FIREABLE(t1680))
lola: processed formula length: 19
lola: 17 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t944)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t944)))
lola: processed formula: A (F (FIREABLE(t944)))
lola: processed formula length: 22
lola: 16 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 456 markings, 456 edges
lola: ========================================
lola: subprocess 15 will run for 2884 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t193) U FIREABLE(t1624)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t193) U FIREABLE(t1624)))
lola: processed formula: A ((FIREABLE(t193) U FIREABLE(t1624)))
lola: processed formula length: 38
lola: 16 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 448 markings, 448 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=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t3097) OR FIREABLE(t2187))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t2184) OR FIREABLE(t128) OR NOT FIREABLE(t227))
lola: processed formula length: 59
lola: 16 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 19 will run for 1 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t2416)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (FIREABLE(t2416)))
lola: processed formula: A (X (FIREABLE(t2416)))
lola: processed formula length: 23
lola: 16 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 48 markings, 48 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 1442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((FIREABLE(t919) OR NOT(((FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177)) OR E (F (FIREABLE(t1938)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t919)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t919)
lola: processed formula length: 18
lola: 12 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2884 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t1742) AND FIREABLE(t161) AND NOT FIREABLE(t3177))
lola: processed formula length: 60
lola: 12 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 2884 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (F ((FIREABLE(t2402) AND FIREABLE(t2159)))) U FIREABLE(t207)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(E(TRUE U (FIREABLE(t2402) AND FIREABLE(t2159))) U FIREABLE(t207))
lola: processed formula length: 67
lola: 2 rewrites
lola: formula mentions 0 of 2483 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-2b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
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: 407755 markings, 488453 edges, 3689348869717491712 markings/sec, 0 secs
lola: 828995 markings, 998503 edges, 84248 markings/sec, 5 secs
lola: 1250613 markings, 1503241 edges, 84324 markings/sec, 10 secs
lola: 1672833 markings, 2010369 edges, 84444 markings/sec, 15 secs
lola: 2091353 markings, 2514519 edges, 83704 markings/sec, 20 secs
lola: 2510926 markings, 3015995 edges, 83915 markings/sec, 25 secs
lola: 2928922 markings, 3517988 edges, 83599 markings/sec, 30 secs
lola: 3341802 markings, 4016337 edges, 82576 markings/sec, 35 secs
lola: 3752638 markings, 4514915 edges, 82167 markings/sec, 40 secs
lola: 4166353 markings, 5013831 edges, 82743 markings/sec, 45 secs
lola: 4584141 markings, 5517633 edges, 83558 markings/sec, 50 secs
lola: 5003586 markings, 6021259 edges, 83889 markings/sec, 55 secs
lola: 5421173 markings, 6525252 edges, 83517 markings/sec, 60 secs
lola: 5839526 markings, 7028851 edges, 83671 markings/sec, 65 secs
lola: 6259252 markings, 7532512 edges, 83945 markings/sec, 70 secs
lola: 6676444 markings, 8032723 edges, 83438 markings/sec, 75 secs
lola: 7089211 markings, 8531863 edges, 82553 markings/sec, 80 secs
lola: 7477439 markings, 8996620 edges, 77646 markings/sec, 85 secs
lola: 7885246 markings, 9486903 edges, 81561 markings/sec, 90 secs
lola: 8293645 markings, 9980697 edges, 81680 markings/sec, 95 secs
lola: 8706292 markings, 10476796 edges, 82529 markings/sec, 100 secs
lola: 9121555 markings, 10977418 edges, 83053 markings/sec, 105 secs
lola: 9539006 markings, 11479721 edges, 83490 markings/sec, 110 secs
lola: 9950564 markings, 11975641 edges, 82312 markings/sec, 115 secs
lola: 10363116 markings, 12472156 edges, 82510 markings/sec, 120 secs
lola: 10776267 markings, 12969293 edges, 82630 markings/sec, 125 secs
lola: 11191931 markings, 13472021 edges, 83133 markings/sec, 130 secs
lola: 11606073 markings, 13968834 edges, 82828 markings/sec, 135 secs
lola: 12027893 markings, 14474486 edges, 84364 markings/sec, 140 secs
lola: 12442752 markings, 14972470 edges, 82972 markings/sec, 145 secs
lola: 12852474 markings, 15465553 edges, 81944 markings/sec, 150 secs
lola: 13260792 markings, 15958727 edges, 81664 markings/sec, 155 secs
lola: 13670158 markings, 16450814 edges, 81873 markings/sec, 160 secs
lola: 14080042 markings, 16946396 edges, 81977 markings/sec, 165 secs
lola: 14493730 markings, 17444761 edges, 82738 markings/sec, 170 secs
lola: 14909120 markings, 17945654 edges, 83078 markings/sec, 175 secs
lola: 15320485 markings, 18441248 edges, 82273 markings/sec, 180 secs
lola: 15722370 markings, 18927826 edges, 80377 markings/sec, 185 secs
lola: 16128619 markings, 19419276 edges, 81250 markings/sec, 190 secs
lola: 16539689 markings, 19915395 edges, 82214 markings/sec, 195 secs
lola: 16950398 markings, 20411818 edges, 82142 markings/sec, 200 secs
lola: 17361011 markings, 20906460 edges, 82123 markings/sec, 205 secs
lola: 17772800 markings, 21402562 edges, 82358 markings/sec, 210 secs
lola: 18180964 markings, 21896531 edges, 81633 markings/sec, 215 secs
lola: 18587159 markings, 22388230 edges, 81239 markings/sec, 220 secs
lola: 18995951 markings, 22881529 edges, 81758 markings/sec, 225 secs
lola: 19402359 markings, 23371588 edges, 81282 markings/sec, 230 secs
lola: 19811122 markings, 23865523 edges, 81753 markings/sec, 235 secs
lola: 20217915 markings, 24358528 edges, 81359 markings/sec, 240 secs
lola: 20620968 markings, 24848106 edges, 80611 markings/sec, 245 secs
lola: 21027305 markings, 25339541 edges, 81267 markings/sec, 250 secs
lola: 21432900 markings, 25829265 edges, 81119 markings/sec, 255 secs
lola: 21838061 markings, 26320066 edges, 81032 markings/sec, 260 secs
lola: 22247433 markings, 26811563 edges, 81874 markings/sec, 265 secs
lola: 22651672 markings, 27300567 edges, 80848 markings/sec, 270 secs
lola: 23059441 markings, 27791429 edges, 81554 markings/sec, 275 secs
lola: 23466400 markings, 28282499 edges, 81392 markings/sec, 280 secs
lola: 23871389 markings, 28773013 edges, 80998 markings/sec, 285 secs
lola: 24276687 markings, 29264334 edges, 81060 markings/sec, 290 secs
lola: 24680632 markings, 29753788 edges, 80789 markings/sec, 295 secs
lola: 25084738 markings, 30243009 edges, 80821 markings/sec, 300 secs
lola: 25488989 markings, 30733869 edges, 80850 markings/sec, 305 secs
lola: 25894408 markings, 31223167 edges, 81084 markings/sec, 310 secs
lola: 26317251 markings, 31730664 edges, 84569 markings/sec, 315 secs
lola: 26733044 markings, 32232561 edges, 83159 markings/sec, 320 secs
lola: 27150505 markings, 32734434 edges, 83492 markings/sec, 325 secs
lola: 27564448 markings, 33232016 edges, 82789 markings/sec, 330 secs
lola: 27977706 markings, 33729150 edges, 82652 markings/sec, 335 secs
lola: 28391732 markings, 34225387 edges, 82805 markings/sec, 340 secs
lola: 28805672 markings, 34724489 edges, 82788 markings/sec, 345 secs
lola: 29218404 markings, 35222737 edges, 82546 markings/sec, 350 secs
lola: 29630562 markings, 35717352 edges, 82432 markings/sec, 355 secs
lola: 30045805 markings, 36215709 edges, 83049 markings/sec, 360 secs
lola: 30460520 markings, 36714845 edges, 82943 markings/sec, 365 secs
lola: 30873541 markings, 37211510 edges, 82604 markings/sec, 370 secs
lola: 31287787 markings, 37708283 edges, 82849 markings/sec, 375 secs
lola: 31700250 markings, 38202532 edges, 82493 markings/sec, 380 secs
lola: 32110662 markings, 38696524 edges, 82082 markings/sec, 385 secs
lola: 32517850 markings, 39189050 edges, 81438 markings/sec, 390 secs
lola: 32929558 markings, 39684285 edges, 82342 markings/sec, 395 secs
lola: 33340377 markings, 40178649 edges, 82164 markings/sec, 400 secs
lola: 33750562 markings, 40670422 edges, 82037 markings/sec, 405 secs
lola: 34156475 markings, 41159036 edges, 81183 markings/sec, 410 secs
lola: 34562870 markings, 41649961 edges, 81279 markings/sec, 415 secs
lola: 34968127 markings, 42140087 edges, 81051 markings/sec, 420 secs
lola: 35377744 markings, 42631654 edges, 81923 markings/sec, 425 secs
lola: 35791810 markings, 43130003 edges, 82813 markings/sec, 430 secs
lola: 36199197 markings, 43621321 edges, 81477 markings/sec, 435 secs
lola: 36607354 markings, 44114754 edges, 81631 markings/sec, 440 secs
lola: 37014384 markings, 44606605 edges, 81406 markings/sec, 445 secs
lola: 37419773 markings, 45095511 edges, 81078 markings/sec, 450 secs
lola: 37826807 markings, 45586012 edges, 81407 markings/sec, 455 secs
lola: 38230262 markings, 46074630 edges, 80691 markings/sec, 460 secs
lola: 38631746 markings, 46563937 edges, 80297 markings/sec, 465 secs
lola: 39038997 markings, 47055642 edges, 81450 markings/sec, 470 secs
lola: 39445001 markings, 47543945 edges, 81201 markings/sec, 475 secs
lola: 39853613 markings, 48037280 edges, 81722 markings/sec, 480 secs
lola: 40262812 markings, 48526740 edges, 81840 markings/sec, 485 secs
lola: 40676138 markings, 49022650 edges, 82665 markings/sec, 490 secs
lola: 41082357 markings, 49514587 edges, 81244 markings/sec, 495 secs
lola: 41482868 markings, 49999455 edges, 80102 markings/sec, 500 secs
lola: 41889671 markings, 50490699 edges, 81361 markings/sec, 505 secs
lola: 42293185 markings, 50980401 edges, 80703 markings/sec, 510 secs
lola: 42694368 markings, 51466897 edges, 80237 markings/sec, 515 secs
lola: 43099244 markings, 51955122 edges, 80975 markings/sec, 520 secs
lola: 43502181 markings, 52443621 edges, 80587 markings/sec, 525 secs
lola: 43903456 markings, 52927931 edges, 80255 markings/sec, 530 secs
lola: 44307792 markings, 53416669 edges, 80867 markings/sec, 535 secs
lola: 44711111 markings, 53903522 edges, 80664 markings/sec, 540 secs
lola: 45115127 markings, 54390912 edges, 80803 markings/sec, 545 secs
lola: 45520270 markings, 54880339 edges, 81029 markings/sec, 550 secs
lola: 45925799 markings, 55369431 edges, 81106 markings/sec, 555 secs
lola: 46327515 markings, 55854275 edges, 80343 markings/sec, 560 secs
lola: 46728819 markings, 56338398 edges, 80261 markings/sec, 565 secs
lola: 47126402 markings, 56822332 edges, 79517 markings/sec, 570 secs
lola: 47521289 markings, 57303269 edges, 78977 markings/sec, 575 secs
lola: 47918792 markings, 57785806 edges, 79501 markings/sec, 580 secs
lola: 48317671 markings, 58268200 edges, 79776 markings/sec, 585 secs
lola: 48716342 markings, 58752872 edges, 79734 markings/sec, 590 secs
lola: 49115620 markings, 59234452 edges, 79856 markings/sec, 595 secs
lola: 49515025 markings, 59716417 edges, 79881 markings/sec, 600 secs
lola: 49920767 markings, 60207075 edges, 81148 markings/sec, 605 secs
lola: 50322415 markings, 60692825 edges, 80330 markings/sec, 610 secs
lola: 50724415 markings, 61181066 edges, 80400 markings/sec, 615 secs
lola: 51127608 markings, 61671401 edges, 80639 markings/sec, 620 secs
lola: 51530416 markings, 62161387 edges, 80562 markings/sec, 625 secs
lola: 51932218 markings, 62649347 edges, 80360 markings/sec, 630 secs
lola: 52338413 markings, 63142531 edges, 81239 markings/sec, 635 secs
lola: 52737170 markings, 63628434 edges, 79751 markings/sec, 640 secs
lola: 53141494 markings, 64119414 edges, 80865 markings/sec, 645 secs
lola: 53544152 markings, 64606571 edges, 80532 markings/sec, 650 secs
lola: 53947370 markings, 65095084 edges, 80644 markings/sec, 655 secs
lola: 54343610 markings, 65577122 edges, 79248 markings/sec, 660 secs
lola: 54746708 markings, 66066116 edges, 80620 markings/sec, 665 secs
lola: 55149293 markings, 66552318 edges, 80517 markings/sec, 670 secs
lola: 55551272 markings, 67038804 edges, 80396 markings/sec, 675 secs
lola: 55952810 markings, 67523604 edges, 80308 markings/sec, 680 secs
lola: 56352595 markings, 68005838 edges, 79957 markings/sec, 685 secs
lola: 56750079 markings, 68488882 edges, 79497 markings/sec, 690 secs
lola: 57147018 markings, 68973088 edges, 79388 markings/sec, 695 secs
lola: 57545597 markings, 69457759 edges, 79716 markings/sec, 700 secs
lola: 57944409 markings, 69941395 edges, 79762 markings/sec, 705 secs
lola: 58348223 markings, 70428247 edges, 80763 markings/sec, 710 secs
lola: 58751029 markings, 70911594 edges, 80561 markings/sec, 715 secs
lola: 59150906 markings, 71395241 edges, 79975 markings/sec, 720 secs
lola: 59546790 markings, 71875427 edges, 79177 markings/sec, 725 secs
lola: 59942444 markings, 72355514 edges, 79131 markings/sec, 730 secs
lola: 60340394 markings, 72835553 edges, 79590 markings/sec, 735 secs
lola: 60739267 markings, 73318325 edges, 79775 markings/sec, 740 secs
lola: 61137235 markings, 73802859 edges, 79594 markings/sec, 745 secs
lola: 61536558 markings, 74286275 edges, 79865 markings/sec, 750 secs
lola: 61933077 markings, 74764796 edges, 79304 markings/sec, 755 secs
lola: 62330176 markings, 75245084 edges, 79420 markings/sec, 760 secs
lola: 62730281 markings, 75731210 edges, 80021 markings/sec, 765 secs
lola: 63129078 markings, 76214141 edges, 79759 markings/sec, 770 secs
lola: 63527859 markings, 76697189 edges, 79756 markings/sec, 775 secs
lola: 63925392 markings, 77179215 edges, 79507 markings/sec, 780 secs
lola: 64322969 markings, 77660813 edges, 79515 markings/sec, 785 secs
lola: 64724283 markings, 78144821 edges, 80263 markings/sec, 790 secs
lola: 65123370 markings, 78628383 edges, 79817 markings/sec, 795 secs
lola: 65523495 markings, 79111989 edges, 80025 markings/sec, 800 secs
lola: 65921733 markings, 79595070 edges, 79648 markings/sec, 805 secs
lola: 66319123 markings, 80077912 edges, 79478 markings/sec, 810 secs
lola: 66721640 markings, 80563793 edges, 80503 markings/sec, 815 secs
lola: 67126260 markings, 81053172 edges, 80924 markings/sec, 820 secs
lola: 67532247 markings, 81540478 edges, 81197 markings/sec, 825 secs
lola: 67932843 markings, 82023161 edges, 80119 markings/sec, 830 secs
lola: 68333262 markings, 82508812 edges, 80084 markings/sec, 835 secs
lola: 68730208 markings, 82990227 edges, 79389 markings/sec, 840 secs
lola: 69131004 markings, 83476086 edges, 80159 markings/sec, 845 secs
lola: 69527395 markings, 83956156 edges, 79278 markings/sec, 850 secs
lola: 69924047 markings, 84436616 edges, 79330 markings/sec, 855 secs
lola: 70323093 markings, 84919228 edges, 79809 markings/sec, 860 secs
lola: 70724643 markings, 85404210 edges, 80310 markings/sec, 865 secs
lola: 71121442 markings, 85884773 edges, 79360 markings/sec, 870 secs
lola: 71518902 markings, 86365438 edges, 79492 markings/sec, 875 secs
lola: 71913077 markings, 86846066 edges, 78835 markings/sec, 880 secs
lola: 72313165 markings, 87329685 edges, 80018 markings/sec, 885 secs
lola: 72714784 markings, 87814591 edges, 80324 markings/sec, 890 secs
lola: 73116568 markings, 88297932 edges, 80357 markings/sec, 895 secs
lola: 73518889 markings, 88781072 edges, 80464 markings/sec, 900 secs
lola: 73918125 markings, 89261285 edges, 79847 markings/sec, 905 secs
lola: 74313992 markings, 89739885 edges, 79173 markings/sec, 910 secs
lola: 74709246 markings, 90216628 edges, 79051 markings/sec, 915 secs
lola: 75107305 markings, 90696628 edges, 79612 markings/sec, 920 secs
lola: 75505669 markings, 91176370 edges, 79673 markings/sec, 925 secs
lola: 75905373 markings, 91656732 edges, 79941 markings/sec, 930 secs
lola: 76301836 markings, 92138076 edges, 79293 markings/sec, 935 secs
lola: 76698770 markings, 92617926 edges, 79387 markings/sec, 940 secs
lola: 77103198 markings, 93108691 edges, 80886 markings/sec, 945 secs
lola: 77502367 markings, 93592596 edges, 79834 markings/sec, 950 secs
lola: 77902712 markings, 94079803 edges, 80069 markings/sec, 955 secs
lola: 78303353 markings, 94563411 edges, 80128 markings/sec, 960 secs
lola: 78702904 markings, 95047494 edges, 79910 markings/sec, 965 secs
lola: 79102458 markings, 95529704 edges, 79911 markings/sec, 970 secs
lola: 79505646 markings, 96015768 edges, 80638 markings/sec, 975 secs
lola: 79908541 markings, 96501581 edges, 80579 markings/sec, 980 secs
lola: 80300453 markings, 96976119 edges, 78382 markings/sec, 985 secs
lola: 80682656 markings, 97441350 edges, 76441 markings/sec, 990 secs
lola: 81070372 markings, 97910866 edges, 77543 markings/sec, 995 secs
lola: 81464644 markings, 98390055 edges, 78854 markings/sec, 1000 secs
lola: 81860246 markings, 98867964 edges, 79120 markings/sec, 1005 secs
lola: 82255318 markings, 99346731 edges, 79014 markings/sec, 1010 secs
lola: 82654259 markings, 99829343 edges, 79788 markings/sec, 1015 secs
lola: 83047967 markings, 100306575 edges, 78742 markings/sec, 1020 secs
lola: 83440318 markings, 100777257 edges, 78470 markings/sec, 1025 secs
lola: 83833762 markings, 101250107 edges, 78689 markings/sec, 1030 secs
lola: 84223291 markings, 101717801 edges, 77906 markings/sec, 1035 secs
lola: 84614244 markings, 102190663 edges, 78191 markings/sec, 1040 secs
lola: 85003135 markings, 102662448 edges, 77778 markings/sec, 1045 secs
lola: 85392824 markings, 103131449 edges, 77938 markings/sec, 1050 secs
lola: 85783783 markings, 103600447 edges, 78192 markings/sec, 1055 secs
lola: 86170891 markings, 104064664 edges, 77422 markings/sec, 1060 secs
lola: 86559524 markings, 104534128 edges, 77727 markings/sec, 1065 secs
lola: 86946096 markings, 104999170 edges, 77314 markings/sec, 1070 secs
lola: 87331865 markings, 105465183 edges, 77154 markings/sec, 1075 secs
lola: 87719909 markings, 105933754 edges, 77609 markings/sec, 1080 secs
lola: 88104188 markings, 106396155 edges, 76856 markings/sec, 1085 secs
lola: 88493033 markings, 106863856 edges, 77769 markings/sec, 1090 secs
lola: 88880569 markings, 107330926 edges, 77507 markings/sec, 1095 secs
lola: 89271850 markings, 107800378 edges, 78256 markings/sec, 1100 secs
lola: 89655454 markings, 108264257 edges, 76721 markings/sec, 1105 secs
lola: 90042021 markings, 108731809 edges, 77313 markings/sec, 1110 secs
lola: 90430465 markings, 109203548 edges, 77689 markings/sec, 1115 secs
lola: 90815174 markings, 109667168 edges, 76942 markings/sec, 1120 secs
lola: 91198630 markings, 110129205 edges, 76691 markings/sec, 1125 secs
lola: 91306361 markings, 110258878 edges, 21546 markings/sec, 1130 secs
lola: 91309149 markings, 110262167 edges, 558 markings/sec, 1135 secs
lola: 91311645 markings, 110265070 edges, 499 markings/sec, 1140 secs
lola: 91313489 markings, 110267254 edges, 369 markings/sec, 1145 secs
lola: 91313578 markings, 110267359 edges, 18 markings/sec, 1150 secs
lola: 91313799 markings, 110267631 edges, 44 markings/sec, 1155 secs
lola: 91313830 markings, 110267666 edges, 6 markings/sec, 1160 secs
lola: 91314115 markings, 110268038 edges, 57 markings/sec, 1165 secs
lola: 91314905 markings, 110268979 edges, 158 markings/sec, 1170 secs
lola: 91314925 markings, 110269002 edges, 4 markings/sec, 1175 secs
lola: 91314961 markings, 110269041 edges, 7 markings/sec, 1180 secs
lola: 91315905 markings, 110270150 edges, 189 markings/sec, 1185 secs
lola: 91315928 markings, 110270177 edges, 5 markings/sec, 1190 secs
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '
'
Aborted (core dumped)
FORMULA DLCshifumi-PT-2b-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-2b-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
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-2b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="irma4mcc-structural"
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-2b.tgz
mv DLCshifumi-PT-2b 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 irma4mcc-structural"
echo " Input is DLCshifumi-PT-2b, 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 r067-smll-152649739700165"
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 ;