About the Execution of LoLA for CloudDeployment-PT-4b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1595.190 | 3570365.00 | 3627838.00 | 8150.50 | ?TFTF??????FTTFT | 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 756K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 591K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-4b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400228
=====================================================================
--------------------
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 CloudDeployment-PT-4b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-4b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526597430268
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-4b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-4b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudDeployment-PT-4b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3006/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1182
lola: finding significant places
lola: 1182 places, 1824 transitions, 1165 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1605 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-4b-CTLFireability.task
lola: E ((E (X (NOT FIREABLE(t791))) U A ((FIREABLE(t1560) U FIREABLE(t324))))) : NOT(A (G (NOT(A (F (FIREABLE(t1183))))))) : ((A (F (E (X (FIREABLE(t443))))) OR FIREABLE(t988)) OR E (X (A (X ((FIREABLE(t1661) AND FIREABLE(t335))))))) : E (F (((A (X (FIREABLE(t462))) OR E (X (FIREABLE(t244)))) OR FIREABLE(t121)))) : A (F (FIREABLE(t610))) : A (G (((E (G (FIREABLE(t1243))) AND FIREABLE(t1591)) OR E (F ((FIREABLE(t1147) AND FIREABLE(t622))))))) : A (X (E ((NOT FIREABLE(t1470) U (FIREABLE(t740) OR FIREABLE(t1803)))))) : A (G (E ((NOT FIREABLE(t1658) U (FIREABLE(t1601) OR FIREABLE(t905)))))) : E (F ((NOT(E (F (FIREABLE(t1089)))) AND ((FIREABLE(t14) OR (FIREABLE(t794) AND FIREABLE(t1735))) AND E (G (FIREABLE(t1320))))))) : ((FIREABLE(t563) OR A (G ((NOT FIREABLE(t1116) AND NOT FIREABLE(t1534))))) OR E ((((FIREABLE(t685) OR FIREABLE(t147)) AND (FIREABLE(t396) OR FIREABLE(t1181))) U E (F (FIREABLE(t1352)))))) : NOT(A (X (NOT(E (F (FIREABLE(t1501))))))) : ((((NOT FIREABLE(t837) OR (FIREABLE(t36) AND FIREABLE(t1699)) OR (FIREABLE(t367) AND FIREABLE(t1627) AND (FIREABLE(t953) OR FIREABLE(t445)))) OR (((FIREABLE(t1695) AND FIREABLE(t1195)) OR NOT FIREABLE(t1507)) OR A (G (FIREABLE(t941))))) OR (((NOT FIREABLE(t627) AND NOT FIREABLE(t73)) OR E (F (FIREABLE(t855)))) AND (E (X (FIREABLE(t1159))) AND (FIREABLE(t915) AND (FIREABLE(t319) OR FIREABLE(t13)))))) AND NOT(E (F (FIREABLE(t1175))))) : E (F (FIREABLE(t1809))) : E (F (NOT((E (F (FIREABLE(t539))) OR A (G (FIREABLE(t1599))))))) : E ((FIREABLE(t743) U E (F (FIREABLE(t1376))))) : NOT(A (F (FIREABLE(t373))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (X (NOT FIREABLE(t791))) U A ((FIREABLE(t1560) U FIREABLE(t324)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(EX(NOT FIREABLE(t791)) U A(FIREABLE(t1560) U FIREABLE(t324)))
lola: processed formula length: 63
lola: 44 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 86057 markings, 424317 edges, 17211 markings/sec, 0 secs
lola: 156587 markings, 853725 edges, 14106 markings/sec, 5 secs
lola: 232063 markings, 1302146 edges, 15095 markings/sec, 10 secs
lola: 300308 markings, 1732703 edges, 13649 markings/sec, 15 secs
lola: 370640 markings, 2190862 edges, 14066 markings/sec, 20 secs
lola: 437715 markings, 2624591 edges, 13415 markings/sec, 25 secs
lola: 502066 markings, 3082287 edges, 12870 markings/sec, 30 secs
lola: 565699 markings, 3537904 edges, 12727 markings/sec, 35 secs
lola: 628702 markings, 3997942 edges, 12601 markings/sec, 40 secs
lola: 695783 markings, 4458664 edges, 13416 markings/sec, 45 secs
lola: 761773 markings, 4887417 edges, 13198 markings/sec, 50 secs
lola: 826231 markings, 5344291 edges, 12892 markings/sec, 55 secs
lola: 889945 markings, 5801562 edges, 12743 markings/sec, 60 secs
lola: 952123 markings, 6255479 edges, 12436 markings/sec, 65 secs
lola: 1025007 markings, 6705442 edges, 14577 markings/sec, 70 secs
lola: 1104527 markings, 7148315 edges, 15904 markings/sec, 75 secs
lola: 1178270 markings, 7588518 edges, 14749 markings/sec, 80 secs
lola: 1247039 markings, 8032224 edges, 13754 markings/sec, 85 secs
lola: 1309486 markings, 8479937 edges, 12489 markings/sec, 90 secs
lola: 1375468 markings, 8943056 edges, 13196 markings/sec, 95 secs
lola: 1438743 markings, 9407024 edges, 12655 markings/sec, 100 secs
lola: 1495381 markings, 9872203 edges, 11328 markings/sec, 105 secs
lola: 1550907 markings, 10333725 edges, 11105 markings/sec, 110 secs
lola: 1606178 markings, 10796138 edges, 11054 markings/sec, 115 secs
lola: 1669699 markings, 11258934 edges, 12704 markings/sec, 120 secs
lola: 1740590 markings, 11717611 edges, 14178 markings/sec, 125 secs
lola: 1804528 markings, 12173143 edges, 12788 markings/sec, 130 secs
lola: 1868629 markings, 12630802 edges, 12820 markings/sec, 135 secs
lola: 1931328 markings, 13088701 edges, 12540 markings/sec, 140 secs
lola: 1997583 markings, 13545183 edges, 13251 markings/sec, 145 secs
lola: 2067993 markings, 14000645 edges, 14082 markings/sec, 150 secs
lola: 2131678 markings, 14454205 edges, 12737 markings/sec, 155 secs
lola: 2194834 markings, 14907063 edges, 12631 markings/sec, 160 secs
lola: 2257247 markings, 15362995 edges, 12483 markings/sec, 165 secs
lola: 2331295 markings, 15813143 edges, 14810 markings/sec, 170 secs
lola: 2410025 markings, 16254963 edges, 15746 markings/sec, 175 secs
lola: 2487796 markings, 16704993 edges, 15554 markings/sec, 180 secs
lola: 2564197 markings, 17170681 edges, 15280 markings/sec, 185 secs
lola: 2649575 markings, 17626821 edges, 17076 markings/sec, 190 secs
lola: 2713333 markings, 18083679 edges, 12752 markings/sec, 195 secs
lola: 2765689 markings, 18549104 edges, 10471 markings/sec, 200 secs
lola: 2838169 markings, 19013570 edges, 14496 markings/sec, 205 secs
lola: 2900919 markings, 19479746 edges, 12550 markings/sec, 210 secs
lola: 2978177 markings, 19933042 edges, 15452 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 374988 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E (X (FIREABLE(t443))))) OR (FIREABLE(t988) OR E (X (A (X ((FIREABLE(t1661) AND FIREABLE(t335))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t988)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t988)
lola: processed formula length: 14
lola: 41 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (FIREABLE(t443)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(FIREABLE(t443)))
lola: processed formula length: 28
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 155 markings, 154 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (X ((FIREABLE(t1661) AND FIREABLE(t335))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(AX((FIREABLE(t1661) AND FIREABLE(t335))))
lola: processed formula length: 44
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (X (FIREABLE(t462))))) OR (E (X (E (F (FIREABLE(t244))))) OR E (F (FIREABLE(t121)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t121)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t121)))
lola: processed formula length: 22
lola: 42 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t121)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-2-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 88 markings, 88 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E ((NOT FIREABLE(t1470) U (FIREABLE(t740) OR FIREABLE(t1803))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(NOT FIREABLE(t1470) U (FIREABLE(t740) OR FIREABLE(t1803))))
lola: processed formula length: 65
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 124750 markings, 400519 edges, 24950 markings/sec, 0 secs
lola: 239542 markings, 841169 edges, 22958 markings/sec, 5 secs
lola: 351499 markings, 1294787 edges, 22391 markings/sec, 10 secs
lola: 463350 markings, 1743775 edges, 22370 markings/sec, 15 secs
lola: 568063 markings, 2188028 edges, 20943 markings/sec, 20 secs
lola: 673309 markings, 2637289 edges, 21049 markings/sec, 25 secs
lola: 769564 markings, 3091065 edges, 19251 markings/sec, 30 secs
lola: 855461 markings, 3538298 edges, 17179 markings/sec, 35 secs
lola: 985583 markings, 3966214 edges, 26024 markings/sec, 40 secs
lola: 1098983 markings, 4400847 edges, 22680 markings/sec, 45 secs
lola: 1199769 markings, 4839276 edges, 20157 markings/sec, 50 secs
lola: 1288393 markings, 5284904 edges, 17725 markings/sec, 55 secs
lola: 1375408 markings, 5727823 edges, 17403 markings/sec, 60 secs
lola: 1466230 markings, 6166092 edges, 18164 markings/sec, 65 secs
lola: 1569064 markings, 6605862 edges, 20567 markings/sec, 70 secs
lola: 1667118 markings, 7040882 edges, 19611 markings/sec, 75 secs
lola: 1776561 markings, 7472659 edges, 21889 markings/sec, 80 secs
lola: 1896479 markings, 7896838 edges, 23984 markings/sec, 85 secs
lola: 1998162 markings, 8332317 edges, 20337 markings/sec, 90 secs
lola: 2130457 markings, 8766055 edges, 26459 markings/sec, 95 secs
lola: 2242579 markings, 9208924 edges, 22424 markings/sec, 100 secs
lola: 2339535 markings, 9660459 edges, 19391 markings/sec, 105 secs
lola: 2449529 markings, 10103046 edges, 21999 markings/sec, 110 secs
lola: 2559367 markings, 10538607 edges, 21968 markings/sec, 115 secs
lola: 2638514 markings, 10984017 edges, 15829 markings/sec, 120 secs
lola: 2730326 markings, 11435360 edges, 18362 markings/sec, 125 secs
lola: 2845812 markings, 11870107 edges, 23097 markings/sec, 130 secs
lola: 2941541 markings, 12311419 edges, 19146 markings/sec, 135 secs
lola: 3019964 markings, 12758770 edges, 15685 markings/sec, 140 secs
lola: 3117592 markings, 13205963 edges, 19526 markings/sec, 145 secs
lola: 3218072 markings, 13642092 edges, 20096 markings/sec, 150 secs
lola: 3298050 markings, 14085398 edges, 15996 markings/sec, 155 secs
lola: 3364195 markings, 14531603 edges, 13229 markings/sec, 160 secs
lola: 3458338 markings, 14979672 edges, 18829 markings/sec, 165 secs
lola: 3563911 markings, 15428815 edges, 21115 markings/sec, 170 secs
lola: 3677443 markings, 15864359 edges, 22706 markings/sec, 175 secs
lola: 3777145 markings, 16314057 edges, 19940 markings/sec, 180 secs
lola: 3876277 markings, 16756924 edges, 19826 markings/sec, 185 secs
lola: 3965167 markings, 17201120 edges, 17778 markings/sec, 190 secs
lola: 4071922 markings, 17644260 edges, 21351 markings/sec, 195 secs
lola: 4174444 markings, 18081396 edges, 20504 markings/sec, 200 secs
lola: 4264803 markings, 18527082 edges, 18072 markings/sec, 205 secs
lola: 4390845 markings, 18945002 edges, 25208 markings/sec, 210 secs
lola: 4522496 markings, 19364139 edges, 26330 markings/sec, 215 secs
lola: 4647930 markings, 19790931 edges, 25087 markings/sec, 220 secs
lola: 4768226 markings, 20221415 edges, 24059 markings/sec, 225 secs
lola: 4876007 markings, 20644646 edges, 21556 markings/sec, 230 secs
lola: 4993960 markings, 21080032 edges, 23591 markings/sec, 235 secs
lola: 5119259 markings, 21496798 edges, 25060 markings/sec, 240 secs
lola: 5238285 markings, 21903751 edges, 23805 markings/sec, 245 secs
lola: 5360927 markings, 22335914 edges, 24528 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 451964 KB
lola: time consumption: 480 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (FIREABLE(t1501)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:626
lola: processed formula: FIREABLE(t1501)
lola: processed formula length: 15
lola: 42 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 128710 markings, 175348 edges, 25742 markings/sec, 0 secs
lola: 240989 markings, 379815 edges, 22456 markings/sec, 5 secs
lola: 380453 markings, 593851 edges, 27893 markings/sec, 10 secs
lola: 532769 markings, 797464 edges, 30463 markings/sec, 15 secs
lola: 694459 markings, 986271 edges, 32338 markings/sec, 20 secs
lola: 857454 markings, 1175335 edges, 32599 markings/sec, 25 secs
lola: 1019052 markings, 1363161 edges, 32320 markings/sec, 30 secs
lola: 1179377 markings, 1552694 edges, 32065 markings/sec, 35 secs
lola: 1345131 markings, 1744826 edges, 33151 markings/sec, 40 secs
lola: 1510431 markings, 1938111 edges, 33060 markings/sec, 45 secs
lola: 1672283 markings, 2132641 edges, 32370 markings/sec, 50 secs
lola: 1835032 markings, 2325037 edges, 32550 markings/sec, 55 secs
lola: 1977737 markings, 2514120 edges, 28541 markings/sec, 60 secs
lola: 2114688 markings, 2731046 edges, 27390 markings/sec, 65 secs
lola: 2240687 markings, 2959726 edges, 25200 markings/sec, 70 secs
lola: 2396859 markings, 3140943 edges, 31234 markings/sec, 75 secs
lola: 2552184 markings, 3323849 edges, 31065 markings/sec, 80 secs
lola: 2688886 markings, 3529980 edges, 27340 markings/sec, 85 secs
lola: 2798776 markings, 3775600 edges, 21978 markings/sec, 90 secs
lola: 2921422 markings, 4012098 edges, 24529 markings/sec, 95 secs
lola: 3062332 markings, 4245003 edges, 28182 markings/sec, 100 secs
lola: 3172148 markings, 4488693 edges, 21963 markings/sec, 105 secs
lola: 3315356 markings, 4706790 edges, 28642 markings/sec, 110 secs
lola: 3450145 markings, 4922915 edges, 26958 markings/sec, 115 secs
lola: 3604765 markings, 5117418 edges, 30924 markings/sec, 120 secs
lola: 3759011 markings, 5309861 edges, 30849 markings/sec, 125 secs
lola: 3917103 markings, 5502132 edges, 31618 markings/sec, 130 secs
lola: 4073951 markings, 5695712 edges, 31370 markings/sec, 135 secs
lola: 4224934 markings, 5892581 edges, 30197 markings/sec, 140 secs
lola: 4382356 markings, 6090577 edges, 31484 markings/sec, 145 secs
lola: 4541409 markings, 6292527 edges, 31811 markings/sec, 150 secs
lola: 4699220 markings, 6493631 edges, 31562 markings/sec, 155 secs
lola: 4850399 markings, 6698255 edges, 30236 markings/sec, 160 secs
lola: 4988518 markings, 6907669 edges, 27624 markings/sec, 165 secs
lola: 5115163 markings, 7126976 edges, 25329 markings/sec, 170 secs
lola: 5245925 markings, 7343665 edges, 26152 markings/sec, 175 secs
lola: 5398897 markings, 7529804 edges, 30594 markings/sec, 180 secs
lola: 5550944 markings, 7717252 edges, 30409 markings/sec, 185 secs
lola: 5687912 markings, 7914456 edges, 27394 markings/sec, 190 secs
lola: 5812222 markings, 8138100 edges, 24862 markings/sec, 195 secs
lola: 5922338 markings, 8383969 edges, 22023 markings/sec, 200 secs
lola: 6024630 markings, 8635467 edges, 20458 markings/sec, 205 secs
lola: 6128582 markings, 8877852 edges, 20790 markings/sec, 210 secs
lola: 6251540 markings, 9112533 edges, 24592 markings/sec, 215 secs
lola: 6375466 markings, 9341770 edges, 24785 markings/sec, 220 secs
lola: 6525020 markings, 9535965 edges, 29911 markings/sec, 225 secs
lola: 6676553 markings, 9733188 edges, 30307 markings/sec, 230 secs
lola: 6829583 markings, 9934126 edges, 30606 markings/sec, 235 secs
lola: 6983911 markings, 10129902 edges, 30866 markings/sec, 240 secs
lola: 7135025 markings, 10329748 edges, 30223 markings/sec, 245 secs
lola: 7277088 markings, 10525320 edges, 28413 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 932232 KB
lola: time consumption: 737 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t837) OR (FIREABLE(t36) AND FIREABLE(t1699)) OR (FIREABLE(t367) AND FIREABLE(t1627) AND (FIREABLE(t953) OR FIREABLE(t445)))) OR (((FIREABLE(t1695) AND FIREABLE(t1195)) OR NOT FIREABLE(t1507)) OR (A (G (FIREABLE(t941))) OR (((NOT FIREABLE(t627) AND NOT FIREABLE(t73)) OR E (F (FIREABLE(t855)))) AND (E (X (FIREABLE(t1159))) AND (FIREABLE(t915) AND (FIREABLE(t319) OR FIREABLE(t13)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t627) AND NOT FIREABLE(t73))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t627) AND NOT FIREABLE(t73))
lola: processed formula length: 42
lola: 41 rewrites
lola: closed formula file CloudDeployment-PT-4b-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 6 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t915) AND (FIREABLE(t319) OR FIREABLE(t13)))
lola:
========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t915) AND (FIREABLE(t319) OR FIREABLE(t13)))
lola: processed formula length: 55
lola: 41 rewrites
lola: closed formula file CloudDeployment-PT-4b-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 7 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t1695) AND FIREABLE(t1195)) OR NOT FIREABLE(t1507))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t1695) AND FIREABLE(t1195)) OR NOT FIREABLE(t1507))
lola: processed formula length: 63
lola: 41 rewrites
lola: closed formula file CloudDeployment-PT-4b-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 8 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1175)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(t1175)))
lola: processed formula length: 27
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(t1175)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 17 markings, 16 edges
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-8-0.sara
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: calling and running sara
lola: subprocess 6 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1183)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
sara: try reading problem file CloudDeployment-PT-4b-CTLFireability-8-0.sara.
lola: processed formula: E (F (FIREABLE(t1183)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1183)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-4b-CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1809)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1809)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1809)
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 23 markings, 22 edges
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1376)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1376)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1376)
lola: state equation: Generated DNF with 14 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-4b-CTLFireability-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t610)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t610)
lola: processed formula length: 18
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 244 markings, 243 edges
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 471 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t373)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t373)))
lola: processed formula length: 26
lola: 41 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 244 markings, 243 edges
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 566 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E ((NOT FIREABLE(t1658) U (FIREABLE(t1601) OR FIREABLE(t905))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(NOT FIREABLE(t1658) U (FIREABLE(t1601) OR FIREABLE(t905))))))
lola: processed formula length: 81
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 142646 markings, 446985 edges, 28529 markings/sec, 0 secs
lola: 268519 markings, 901892 edges, 25175 markings/sec, 5 secs
lola: 420469 markings, 1346267 edges, 30390 markings/sec, 10 secs
lola: 551807 markings, 1791067 edges, 26268 markings/sec, 15 secs
lola: 681385 markings, 2235471 edges, 25916 markings/sec, 20 secs
lola: 800548 markings, 2679351 edges, 23833 markings/sec, 25 secs
lola: 907477 markings, 3131785 edges, 21386 markings/sec, 30 secs
lola: 1037674 markings, 3570219 edges, 26039 markings/sec, 35 secs
lola: 1167129 markings, 4011122 edges, 25891 markings/sec, 40 secs
lola: 1297974 markings, 4449713 edges, 26169 markings/sec, 45 secs
lola: 1410704 markings, 4895844 edges, 22546 markings/sec, 50 secs
lola: 1538446 markings, 5326740 edges, 25548 markings/sec, 55 secs
lola: 1657471 markings, 5763475 edges, 23805 markings/sec, 60 secs
lola: 1775749 markings, 6200977 edges, 23656 markings/sec, 65 secs
lola: 1904706 markings, 6644660 edges, 25791 markings/sec, 70 secs
lola: 2019463 markings, 7087478 edges, 22951 markings/sec, 75 secs
lola: 2126637 markings, 7531633 edges, 21435 markings/sec, 80 secs
lola: 2246164 markings, 7969554 edges, 23905 markings/sec, 85 secs
lola: 2356326 markings, 8409825 edges, 22032 markings/sec, 90 secs
lola: 2477915 markings, 8841844 edges, 24318 markings/sec, 95 secs
lola: 2608500 markings, 9267684 edges, 26117 markings/sec, 100 secs
lola: 2734927 markings, 9711367 edges, 25285 markings/sec, 105 secs
lola: 2884845 markings, 10151224 edges, 29984 markings/sec, 110 secs
lola: 3010677 markings, 10597058 edges, 25166 markings/sec, 115 secs
lola: 3139899 markings, 11038170 edges, 25844 markings/sec, 120 secs
lola: 3255711 markings, 11478575 edges, 23162 markings/sec, 125 secs
lola: 3366378 markings, 11925278 edges, 22133 markings/sec, 130 secs
lola: 3496922 markings, 12358649 edges, 26109 markings/sec, 135 secs
lola: 3622962 markings, 12796296 edges, 25208 markings/sec, 140 secs
lola: 3751278 markings, 13230852 edges, 25663 markings/sec, 145 secs
lola: 3860727 markings, 13670012 edges, 21890 markings/sec, 150 secs
lola: 3989728 markings, 14095444 edges, 25800 markings/sec, 155 secs
lola: 4106388 markings, 14526776 edges, 23332 markings/sec, 160 secs
lola: 4226640 markings, 14958812 edges, 24050 markings/sec, 165 secs
lola: 4351209 markings, 15401728 edges, 24914 markings/sec, 170 secs
lola: 4464807 markings, 15840987 edges, 22720 markings/sec, 175 secs
lola: 4571086 markings, 16279306 edges, 21256 markings/sec, 180 secs
lola: 4690982 markings, 16713485 edges, 23979 markings/sec, 185 secs
lola: 4798709 markings, 17149057 edges, 21545 markings/sec, 190 secs
lola: 4914378 markings, 17580875 edges, 23134 markings/sec, 195 secs
lola: 5017617 markings, 17978069 edges, 20648 markings/sec, 200 secs
lola: 5119195 markings, 18423534 edges, 20316 markings/sec, 205 secs
lola: 5244236 markings, 18870479 edges, 25008 markings/sec, 210 secs
lola: 5360607 markings, 19323118 edges, 23274 markings/sec, 215 secs
lola: 5463887 markings, 19774698 edges, 20656 markings/sec, 220 secs
lola: 5572821 markings, 20219998 edges, 21787 markings/sec, 225 secs
lola: 5670469 markings, 20666072 edges, 19530 markings/sec, 230 secs
lola: 5760553 markings, 21116592 edges, 18017 markings/sec, 235 secs
lola: 5864215 markings, 21561876 edges, 20732 markings/sec, 240 secs
lola: 5979408 markings, 22004980 edges, 23039 markings/sec, 245 secs
lola: 6084486 markings, 22444904 edges, 21016 markings/sec, 250 secs
lola: 6195431 markings, 22883649 edges, 22189 markings/sec, 255 secs
lola: 6292847 markings, 23332315 edges, 19483 markings/sec, 260 secs
lola: 6391459 markings, 23776947 edges, 19722 markings/sec, 265 secs
lola: 6506321 markings, 24219649 edges, 22972 markings/sec, 270 secs
lola: 6614055 markings, 24659031 edges, 21547 markings/sec, 275 secs
lola: 6725807 markings, 25101019 edges, 22350 markings/sec, 280 secs
lola: 6830659 markings, 25556918 edges, 20970 markings/sec, 285 secs
lola: 6960375 markings, 26012634 edges, 25943 markings/sec, 290 secs
lola: 7073842 markings, 26466697 edges, 22693 markings/sec, 295 secs
lola: 7181121 markings, 26921230 edges, 21456 markings/sec, 300 secs
lola: 7280311 markings, 27380973 edges, 19838 markings/sec, 305 secs
lola: 7380876 markings, 27836603 edges, 20113 markings/sec, 310 secs
lola: 7477135 markings, 28294917 edges, 19252 markings/sec, 315 secs
lola: 7592573 markings, 28746045 edges, 23088 markings/sec, 320 secs
lola: 7704056 markings, 29196815 edges, 22297 markings/sec, 325 secs
lola: 7817291 markings, 29644088 edges, 22647 markings/sec, 330 secs
lola: 7917566 markings, 30093155 edges, 20055 markings/sec, 335 secs
lola: 8015434 markings, 30540809 edges, 19574 markings/sec, 340 secs
lola: 8119770 markings, 30980902 edges, 20867 markings/sec, 345 secs
lola: 8219441 markings, 31420492 edges, 19934 markings/sec, 350 secs
lola: 8311641 markings, 31874724 edges, 18440 markings/sec, 355 secs
lola: 8426543 markings, 32326172 edges, 22980 markings/sec, 360 secs
lola: 8534392 markings, 32778371 edges, 21570 markings/sec, 365 secs
lola: 8624681 markings, 33239151 edges, 18058 markings/sec, 370 secs
lola: 8726936 markings, 33688857 edges, 20451 markings/sec, 375 secs
lola: 8820467 markings, 34144696 edges, 18706 markings/sec, 380 secs
lola: 8904554 markings, 34602789 edges, 16817 markings/sec, 385 secs
lola: 8991504 markings, 35058277 edges, 17390 markings/sec, 390 secs
lola: 9089031 markings, 35505416 edges, 19505 markings/sec, 395 secs
lola: 9189970 markings, 35955971 edges, 20188 markings/sec, 400 secs
lola: 9285487 markings, 36402160 edges, 19103 markings/sec, 405 secs
lola: 9384159 markings, 36854620 edges, 19734 markings/sec, 410 secs
lola: 9470613 markings, 37306762 edges, 17291 markings/sec, 415 secs
lola: 9561862 markings, 37752317 edges, 18250 markings/sec, 420 secs
lola: 9675797 markings, 38198321 edges, 22787 markings/sec, 425 secs
lola: 9774543 markings, 38645611 edges, 19749 markings/sec, 430 secs
lola: 9868641 markings, 39087868 edges, 18820 markings/sec, 435 secs
lola: 9969107 markings, 39534754 edges, 20093 markings/sec, 440 secs
lola: 10080772 markings, 39985411 edges, 22333 markings/sec, 445 secs
lola: 10182220 markings, 40434607 edges, 20290 markings/sec, 450 secs
lola: 10267775 markings, 40893616 edges, 17111 markings/sec, 455 secs
lola: 10372664 markings, 41344031 edges, 20978 markings/sec, 460 secs
lola: 10474681 markings, 41789970 edges, 20403 markings/sec, 465 secs
lola: 10566796 markings, 42236305 edges, 18423 markings/sec, 470 secs
lola: 10671301 markings, 42677491 edges, 20901 markings/sec, 475 secs
lola: 10780149 markings, 43129999 edges, 21770 markings/sec, 480 secs
lola: 10881586 markings, 43588974 edges, 20287 markings/sec, 485 secs
lola: 10981730 markings, 44044750 edges, 20029 markings/sec, 490 secs
lola: 11073413 markings, 44502447 edges, 18337 markings/sec, 495 secs
lola: 11178652 markings, 44952519 edges, 21048 markings/sec, 500 secs
lola: 11278498 markings, 45402066 edges, 19969 markings/sec, 505 secs
lola: 11371537 markings, 45845912 edges, 18608 markings/sec, 510 secs
lola: 11461179 markings, 46292539 edges, 17928 markings/sec, 515 secs
lola: 11565860 markings, 46742951 edges, 20936 markings/sec, 520 secs
lola: 11648778 markings, 47159952 edges, 16584 markings/sec, 525 secs
lola: 11735824 markings, 47606259 edges, 17409 markings/sec, 530 secs
lola: 11816661 markings, 48056459 edges, 16167 markings/sec, 535 secs
lola: 11908575 markings, 48503159 edges, 18383 markings/sec, 540 secs
lola: 11999512 markings, 48948793 edges, 18187 markings/sec, 545 secs
lola: 12082247 markings, 49393724 edges, 16547 markings/sec, 550 secs
lola: 12183916 markings, 49833261 edges, 20334 markings/sec, 555 secs
lola: 12278175 markings, 50275115 edges, 18852 markings/sec, 560 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes unknown no yes
lola: memory consumption: 991668 KB
lola: time consumption: 1306 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 566 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (NOT FIREABLE(t539))) AND E (F (NOT FIREABLE(t1599))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(TRUE U (NOT(E(TRUE U FIREABLE(t539))) AND E(TRUE U NOT FIREABLE(t1599))))
lola: processed formula length: 75
lola: 45 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 201140 markings, 451471 edges, 40228 markings/sec, 0 secs
lola: 388236 markings, 904588 edges, 37419 markings/sec, 5 secs
lola: 558631 markings, 1360407 edges, 34079 markings/sec, 10 secs
lola: 758358 markings, 1814047 edges, 39945 markings/sec, 15 secs
lola: 910979 markings, 2267591 edges, 30524 markings/sec, 20 secs
lola: 1083794 markings, 2722283 edges, 34563 markings/sec, 25 secs
lola: 1222073 markings, 3169851 edges, 27656 markings/sec, 30 secs
lola: 1389005 markings, 3617567 edges, 33386 markings/sec, 35 secs
lola: 1557388 markings, 4062817 edges, 33677 markings/sec, 40 secs
lola: 1693469 markings, 4510277 edges, 27216 markings/sec, 45 secs
lola: 1860641 markings, 4955128 edges, 33434 markings/sec, 50 secs
lola: 2001632 markings, 5402240 edges, 28198 markings/sec, 55 secs
lola: 2118295 markings, 5848987 edges, 23333 markings/sec, 60 secs
lola: 2282526 markings, 6294947 edges, 32846 markings/sec, 65 secs
lola: 2452132 markings, 6736312 edges, 33921 markings/sec, 70 secs
lola: 2607478 markings, 7174600 edges, 31069 markings/sec, 75 secs
lola: 2751006 markings, 7608990 edges, 28706 markings/sec, 80 secs
lola: 2863298 markings, 8045423 edges, 22458 markings/sec, 85 secs
lola: 3027264 markings, 8498930 edges, 32793 markings/sec, 90 secs
lola: 3175429 markings, 8947384 edges, 29633 markings/sec, 95 secs
lola: 3306974 markings, 9391379 edges, 26309 markings/sec, 100 secs
lola: 3444583 markings, 9834419 edges, 27522 markings/sec, 105 secs
lola: 3578798 markings, 10286098 edges, 26843 markings/sec, 110 secs
lola: 3694274 markings, 10722689 edges, 23095 markings/sec, 115 secs
lola: 3805080 markings, 11157980 edges, 22161 markings/sec, 120 secs
lola: 3919537 markings, 11597143 edges, 22891 markings/sec, 125 secs
lola: 4051703 markings, 12036406 edges, 26433 markings/sec, 130 secs
lola: 4162484 markings, 12470249 edges, 22156 markings/sec, 135 secs
lola: 4310355 markings, 12909889 edges, 29574 markings/sec, 140 secs
lola: 4437982 markings, 13342939 edges, 25525 markings/sec, 145 secs
lola: 4568107 markings, 13776687 edges, 26025 markings/sec, 150 secs
lola: 4676859 markings, 14208638 edges, 21750 markings/sec, 155 secs
lola: 4777955 markings, 14648731 edges, 20219 markings/sec, 160 secs
lola: 4919721 markings, 15102560 edges, 28353 markings/sec, 165 secs
lola: 5040390 markings, 15518529 edges, 24134 markings/sec, 170 secs
lola: 5147512 markings, 15958359 edges, 21424 markings/sec, 175 secs
lola: 5263968 markings, 16393516 edges, 23291 markings/sec, 180 secs
lola: 5388402 markings, 16841802 edges, 24887 markings/sec, 185 secs
lola: 5492269 markings, 17288882 edges, 20773 markings/sec, 190 secs
lola: 5590533 markings, 17721511 edges, 19653 markings/sec, 195 secs
lola: 5688955 markings, 18151662 edges, 19684 markings/sec, 200 secs
lola: 5783907 markings, 18585424 edges, 18990 markings/sec, 205 secs
lola: 5886451 markings, 19021542 edges, 20509 markings/sec, 210 secs
lola: 5995457 markings, 19460294 edges, 21801 markings/sec, 215 secs
lola: 6091187 markings, 19892706 edges, 19146 markings/sec, 220 secs
lola: 6246368 markings, 20329147 edges, 31036 markings/sec, 225 secs
lola: 6387944 markings, 20763768 edges, 28315 markings/sec, 230 secs
lola: 6536619 markings, 21198424 edges, 29735 markings/sec, 235 secs
lola: 6659772 markings, 21633316 edges, 24631 markings/sec, 240 secs
lola: 6788635 markings, 22064441 edges, 25773 markings/sec, 245 secs
lola: 6922994 markings, 22491280 edges, 26872 markings/sec, 250 secs
lola: 7058688 markings, 22927938 edges, 27139 markings/sec, 255 secs
lola: 7172574 markings, 23366349 edges, 22777 markings/sec, 260 secs
lola: 7275820 markings, 23800393 edges, 20649 markings/sec, 265 secs
lola: 7377097 markings, 24228746 edges, 20255 markings/sec, 270 secs
lola: 7522227 markings, 24659034 edges, 29026 markings/sec, 275 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 7630057 markings, 24986982 edges
lola: ========================================
FORMULA CloudDeployment-PT-4b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((E (G (FIREABLE(t1243))) AND FIREABLE(t1591)) OR E (F ((FIREABLE(t1147) AND FIREABLE(t622)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U ((A(TRUE U NOT FIREABLE(t1243)) OR NOT FIREABLE(t1591)) AND NOT(E(TRUE U (FIREABLE(t1147) AND FIREABLE(t622)))))))
lola: processed formula length: 127
lola: 49 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 192055 markings, 429389 edges, 38411 markings/sec, 0 secs
lola: 379980 markings, 886118 edges, 37585 markings/sec, 5 secs
lola: 551395 markings, 1345678 edges, 34283 markings/sec, 10 secs
lola: 752377 markings, 1802342 edges, 40196 markings/sec, 15 secs
lola: 902426 markings, 2253328 edges, 30010 markings/sec, 20 secs
lola: 1077698 markings, 2709791 edges, 35054 markings/sec, 25 secs
lola: 1217792 markings, 3159599 edges, 28019 markings/sec, 30 secs
lola: 1383922 markings, 3608018 edges, 33226 markings/sec, 35 secs
lola: 1552066 markings, 4051667 edges, 33629 markings/sec, 40 secs
lola: 1689025 markings, 4500465 edges, 27392 markings/sec, 45 secs
lola: 1857228 markings, 4948000 edges, 33641 markings/sec, 50 secs
lola: 1998885 markings, 5396736 edges, 28331 markings/sec, 55 secs
lola: 2114417 markings, 5841916 edges, 23106 markings/sec, 60 secs
lola: 2278353 markings, 6285362 edges, 32787 markings/sec, 65 secs
lola: 2446575 markings, 6725638 edges, 33644 markings/sec, 70 secs
lola: 2603385 markings, 7165331 edges, 31362 markings/sec, 75 secs
lola: 2747200 markings, 7599471 edges, 28763 markings/sec, 80 secs
lola: 2858815 markings, 8033056 edges, 22323 markings/sec, 85 secs
lola: 3022754 markings, 8488574 edges, 32788 markings/sec, 90 secs
lola: 3171703 markings, 8938065 edges, 29790 markings/sec, 95 secs
lola: 3302446 markings, 9379062 edges, 26149 markings/sec, 100 secs
lola: 3439228 markings, 9822081 edges, 27356 markings/sec, 105 secs
lola: 3575215 markings, 10273292 edges, 27197 markings/sec, 110 secs
lola: 3688415 markings, 10707978 edges, 22640 markings/sec, 115 secs
lola: 3801050 markings, 11140586 edges, 22527 markings/sec, 120 secs
lola: 3913779 markings, 11576406 edges, 22546 markings/sec, 125 secs
lola: 4042889 markings, 12014429 edges, 25822 markings/sec, 130 secs
lola: 4156854 markings, 12447084 edges, 22793 markings/sec, 135 secs
lola: 4301607 markings, 12884547 edges, 28951 markings/sec, 140 secs
lola: 4429572 markings, 13321450 edges, 25593 markings/sec, 145 secs
lola: 4559590 markings, 13752076 edges, 26004 markings/sec, 150 secs
lola: 4668552 markings, 14184252 edges, 21792 markings/sec, 155 secs
lola: 4768035 markings, 14618254 edges, 19897 markings/sec, 160 secs
lola: 4909742 markings, 15073241 edges, 28341 markings/sec, 165 secs
lola: 5040662 markings, 15523998 edges, 26184 markings/sec, 170 secs
lola: 5148204 markings, 15964312 edges, 21508 markings/sec, 175 secs
lola: 5264277 markings, 16399596 edges, 23215 markings/sec, 180 secs
lola: 5388020 markings, 16844496 edges, 24749 markings/sec, 185 secs
lola: 5491246 markings, 17289735 edges, 20645 markings/sec, 190 secs
lola: 5590097 markings, 17723697 edges, 19770 markings/sec, 195 secs
lola: 5688394 markings, 18154065 edges, 19659 markings/sec, 200 secs
lola: 5782202 markings, 18583220 edges, 18762 markings/sec, 205 secs
lola: 5884639 markings, 19018881 edges, 20487 markings/sec, 210 secs
lola: 5993256 markings, 19454832 edges, 21723 markings/sec, 215 secs
lola: 6088242 markings, 19884319 edges, 18997 markings/sec, 220 secs
lola: 6243876 markings, 20324028 edges, 31127 markings/sec, 225 secs
lola: 6386101 markings, 20761418 edges, 28445 markings/sec, 230 secs
lola: 6535757 markings, 21198578 edges, 29931 markings/sec, 235 secs
lola: 6658098 markings, 21631171 edges, 24468 markings/sec, 240 secs
lola: 6787339 markings, 22063339 edges, 25848 markings/sec, 245 secs
lola: 6922593 markings, 22492779 edges, 27051 markings/sec, 250 secs
lola: 7056942 markings, 22925648 edges, 26870 markings/sec, 255 secs
lola: 7170310 markings, 23360512 edges, 22674 markings/sec, 260 secs
lola: 7272750 markings, 23792516 edges, 20488 markings/sec, 265 secs
lola: 7375063 markings, 24223977 edges, 20463 markings/sec, 270 secs
lola: 7520361 markings, 24656277 edges, 29060 markings/sec, 275 secs
lola: 7679233 markings, 25091821 edges, 31774 markings/sec, 280 secs
lola: 7876314 markings, 25540517 edges, 39416 markings/sec, 285 secs
lola: 8046597 markings, 25960777 edges, 34057 markings/sec, 290 secs
lola: 8214119 markings, 26404047 edges, 33504 markings/sec, 295 secs
lola: 8412051 markings, 26856501 edges, 39586 markings/sec, 300 secs
lola: 8560607 markings, 27306497 edges, 29711 markings/sec, 305 secs
lola: 8731273 markings, 27761489 edges, 34133 markings/sec, 310 secs
lola: 8862964 markings, 28204989 edges, 26338 markings/sec, 315 secs
lola: 9036827 markings, 28646830 edges, 34773 markings/sec, 320 secs
lola: 9195070 markings, 29077607 edges, 31649 markings/sec, 325 secs
lola: 9335067 markings, 29526159 edges, 27999 markings/sec, 330 secs
lola: 9500211 markings, 29971288 edges, 33029 markings/sec, 335 secs
lola: 9638260 markings, 30418072 edges, 27610 markings/sec, 340 secs
lola: 9756626 markings, 30859734 edges, 23673 markings/sec, 345 secs
lola: 9918604 markings, 31298541 edges, 32396 markings/sec, 350 secs
lola: 10084489 markings, 31734196 edges, 33177 markings/sec, 355 secs
lola: 10236219 markings, 32163939 edges, 30346 markings/sec, 360 secs
lola: 10376652 markings, 32588840 edges, 28087 markings/sec, 365 secs
lola: 10486649 markings, 33016446 edges, 21999 markings/sec, 370 secs
lola: 10648692 markings, 33466921 edges, 32409 markings/sec, 375 secs
lola: 10796743 markings, 33912463 edges, 29610 markings/sec, 380 secs
lola: 10926026 markings, 34349401 edges, 25857 markings/sec, 385 secs
lola: 11061596 markings, 34789501 edges, 27114 markings/sec, 390 secs
lola: 11199071 markings, 35236384 edges, 27495 markings/sec, 395 secs
lola: 11310640 markings, 35666564 edges, 22314 markings/sec, 400 secs
lola: 11423339 markings, 36095643 edges, 22540 markings/sec, 405 secs
lola: 11533857 markings, 36524743 edges, 22104 markings/sec, 410 secs
lola: 11658844 markings, 36958552 edges, 24997 markings/sec, 415 secs
lola: 11775890 markings, 37386761 edges, 23409 markings/sec, 420 secs
lola: 11913664 markings, 37815058 edges, 27555 markings/sec, 425 secs
lola: 12038950 markings, 38243217 edges, 25057 markings/sec, 430 secs
lola: 12166331 markings, 38662723 edges, 25476 markings/sec, 435 secs
lola: 12278859 markings, 39088881 edges, 22506 markings/sec, 440 secs
lola: 12375830 markings, 39518371 edges, 19394 markings/sec, 445 secs
lola: 12510978 markings, 39970201 edges, 27030 markings/sec, 450 secs
lola: 12643707 markings, 40418112 edges, 26546 markings/sec, 455 secs
lola: 12752354 markings, 40860954 edges, 21729 markings/sec, 460 secs
lola: 12870589 markings, 41293973 edges, 23647 markings/sec, 465 secs
lola: 12988288 markings, 41734928 edges, 23540 markings/sec, 470 secs
lola: 13100708 markings, 42183702 edges, 22484 markings/sec, 475 secs
lola: 13195166 markings, 42613780 edges, 18892 markings/sec, 480 secs
lola: 13298428 markings, 43040096 edges, 20652 markings/sec, 485 secs
lola: 13383474 markings, 43467276 edges, 17009 markings/sec, 490 secs
lola: 13484858 markings, 43900220 edges, 20277 markings/sec, 495 secs
lola: 13602934 markings, 44340362 edges, 23615 markings/sec, 500 secs
lola: 13693124 markings, 44769806 edges, 18038 markings/sec, 505 secs
lola: 13840590 markings, 45205104 edges, 29493 markings/sec, 510 secs
lola: 13966730 markings, 45637739 edges, 25228 markings/sec, 515 secs
lola: 14129133 markings, 46072188 edges, 32481 markings/sec, 520 secs
lola: 14262170 markings, 46509734 edges, 26607 markings/sec, 525 secs
lola: 14384115 markings, 46939996 edges, 24389 markings/sec, 530 secs
lola: 14510037 markings, 47363690 edges, 25184 markings/sec, 535 secs
lola: 14656241 markings, 47796103 edges, 29241 markings/sec, 540 secs
lola: 14772063 markings, 48231252 edges, 23164 markings/sec, 545 secs
lola: 14870205 markings, 48662449 edges, 19628 markings/sec, 550 secs
lola: 14980887 markings, 49092016 edges, 22136 markings/sec, 555 secs
lola: 15095382 markings, 49515725 edges, 22899 markings/sec, 560 secs
lola: 15248266 markings, 49945643 edges, 30577 markings/sec, 565 secs
lola: 15417304 markings, 50396564 edges, 33808 markings/sec, 570 secs
lola: 15588554 markings, 50844014 edges, 34250 markings/sec, 575 secs
lola: 15754356 markings, 51296601 edges, 33160 markings/sec, 580 secs
lola: 15904494 markings, 51748624 edges, 30028 markings/sec, 585 secs
lola: 16060253 markings, 52190476 edges, 31152 markings/sec, 590 secs
lola: 16209169 markings, 52615358 edges, 29783 markings/sec, 595 secs
lola: 16349479 markings, 53057438 edges, 28062 markings/sec, 600 secs
lola: 16520958 markings, 53516642 edges, 34296 markings/sec, 605 secs
lola: 16682285 markings, 53970958 edges, 32265 markings/sec, 610 secs
lola: 16818801 markings, 54421134 edges, 27303 markings/sec, 615 secs
lola: 16966949 markings, 54879206 edges, 29630 markings/sec, 620 secs
lola: 17099582 markings, 55331039 edges, 26527 markings/sec, 625 secs
lola: 17217444 markings, 55778331 edges, 23572 markings/sec, 630 secs
lola: 17358092 markings, 56213670 edges, 28130 markings/sec, 635 secs
lola: 17501783 markings, 56661073 edges, 28738 markings/sec, 640 secs
lola: 17638273 markings, 57106239 edges, 27298 markings/sec, 645 secs
lola: 17799843 markings, 57546460 edges, 32314 markings/sec, 650 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: memory consumption: 1432924 KB
lola: time consumption: 2250 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (NOT FIREABLE(t1089))) AND ((FIREABLE(t14) OR (FIREABLE(t794) AND FIREABLE(t1735))) AND E (G (FIREABLE(t1320)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(TRUE U (NOT(E(TRUE U FIREABLE(t1089))) AND ((FIREABLE(t14) OR (FIREABLE(t794) AND FIREABLE(t1735))) AND NOT(A(TRUE U NOT FIREABLE(t1320))))))
lola: processed formula length: 144
lola: 46 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 201042 markings, 452748 edges, 40208 markings/sec, 0 secs
lola: 389145 markings, 908712 edges, 37621 markings/sec, 5 secs
lola: 560054 markings, 1367508 edges, 34182 markings/sec, 10 secs
lola: 761488 markings, 1822205 edges, 40287 markings/sec, 15 secs
lola: 913242 markings, 2273136 edges, 30351 markings/sec, 20 secs
lola: 1085369 markings, 2728910 edges, 34425 markings/sec, 25 secs
lola: 1223714 markings, 3178018 edges, 27669 markings/sec, 30 secs
lola: 1392084 markings, 3625584 edges, 33674 markings/sec, 35 secs
lola: 1558547 markings, 4069041 edges, 33293 markings/sec, 40 secs
lola: 1695453 markings, 4516655 edges, 27381 markings/sec, 45 secs
lola: 1862224 markings, 4962417 edges, 33354 markings/sec, 50 secs
lola: 2002987 markings, 5409357 edges, 28153 markings/sec, 55 secs
lola: 2118888 markings, 5852350 edges, 23180 markings/sec, 60 secs
lola: 2280955 markings, 6293219 edges, 32413 markings/sec, 65 secs
lola: 2449655 markings, 6732204 edges, 33740 markings/sec, 70 secs
lola: 2605666 markings, 7171961 edges, 31202 markings/sec, 75 secs
lola: 2748853 markings, 7605394 edges, 28637 markings/sec, 80 secs
lola: 2859973 markings, 8038212 edges, 22224 markings/sec, 85 secs
lola: 3024030 markings, 8492365 edges, 32811 markings/sec, 90 secs
lola: 3172459 markings, 8940378 edges, 29686 markings/sec, 95 secs
lola: 3302838 markings, 9380042 edges, 26076 markings/sec, 100 secs
lola: 3439150 markings, 9821857 edges, 27262 markings/sec, 105 secs
lola: 3575095 markings, 10272577 edges, 27189 markings/sec, 110 secs
lola: 3688105 markings, 10706954 edges, 22602 markings/sec, 115 secs
lola: 3800655 markings, 11138475 edges, 22510 markings/sec, 120 secs
lola: 3913007 markings, 11573709 edges, 22470 markings/sec, 125 secs
lola: 4041627 markings, 12011536 edges, 25724 markings/sec, 130 secs
lola: 4155929 markings, 12443793 edges, 22860 markings/sec, 135 secs
lola: 4300146 markings, 12879197 edges, 28843 markings/sec, 140 secs
lola: 4426344 markings, 13312912 edges, 25240 markings/sec, 145 secs
lola: 4557079 markings, 13741568 edges, 26147 markings/sec, 150 secs
lola: 4665140 markings, 14170436 edges, 21612 markings/sec, 155 secs
lola: 4763594 markings, 14603391 edges, 19691 markings/sec, 160 secs
lola: 4904751 markings, 15057341 edges, 28231 markings/sec, 165 secs
lola: 5036021 markings, 15505750 edges, 26254 markings/sec, 170 secs
lola: 5142656 markings, 15944778 edges, 21327 markings/sec, 175 secs
lola: 5258755 markings, 16376358 edges, 23220 markings/sec, 180 secs
lola: 5380154 markings, 16820204 edges, 24280 markings/sec, 185 secs
lola: 5486054 markings, 17265622 edges, 21180 markings/sec, 190 secs
lola: 5582456 markings, 17694875 edges, 19280 markings/sec, 195 secs
lola: 5682483 markings, 18122113 edges, 20005 markings/sec, 200 secs
lola: 5772433 markings, 18550131 edges, 17990 markings/sec, 205 secs
lola: 5874601 markings, 18983988 edges, 20434 markings/sec, 210 secs
lola: 5986741 markings, 19421242 edges, 22428 markings/sec, 215 secs
lola: 6079997 markings, 19847940 edges, 18651 markings/sec, 220 secs
lola: 6232173 markings, 20282922 edges, 30435 markings/sec, 225 secs
lola: 6365392 markings, 20714702 edges, 26644 markings/sec, 230 secs
lola: 6521910 markings, 21148569 edges, 31304 markings/sec, 235 secs
lola: 6647225 markings, 21582285 edges, 25063 markings/sec, 240 secs
lola: 6770997 markings, 22011629 edges, 24754 markings/sec, 245 secs
lola: 6901386 markings, 22436785 edges, 26078 markings/sec, 250 secs
lola: 7043993 markings, 22870480 edges, 28521 markings/sec, 255 secs
lola: 7158657 markings, 23308575 edges, 22933 markings/sec, 260 secs
lola: 7258891 markings, 23739887 edges, 20047 markings/sec, 265 secs
lola: 7365559 markings, 24169700 edges, 21334 markings/sec, 270 secs
lola: 7496500 markings, 24597994 edges, 26188 markings/sec, 275 secs
lola: 7649922 markings, 25029432 edges, 30684 markings/sec, 280 secs
lola: 7846354 markings, 25474909 edges, 39286 markings/sec, 285 secs
lola: 8019656 markings, 25898729 edges, 34660 markings/sec, 290 secs
lola: 8183960 markings, 26340127 edges, 32861 markings/sec, 295 secs
lola: 8382411 markings, 26791141 edges, 39690 markings/sec, 300 secs
lola: 8529395 markings, 27235654 edges, 29397 markings/sec, 305 secs
lola: 8702461 markings, 27686157 edges, 34613 markings/sec, 310 secs
lola: 8841680 markings, 28130151 edges, 27844 markings/sec, 315 secs
lola: 9004161 markings, 28574179 edges, 32496 markings/sec, 320 secs
lola: 9168739 markings, 29007345 edges, 32916 markings/sec, 325 secs
lola: 9309146 markings, 29452130 edges, 28081 markings/sec, 330 secs
lola: 9469276 markings, 29891165 edges, 32026 markings/sec, 335 secs
lola: 9615519 markings, 30339819 edges, 29249 markings/sec, 340 secs
lola: 9732463 markings, 30785449 edges, 23389 markings/sec, 345 secs
lola: 9886471 markings, 31224664 edges, 30802 markings/sec, 350 secs
lola: 10053299 markings, 31660829 edges, 33366 markings/sec, 355 secs
lola: 10211300 markings, 32091777 edges, 31600 markings/sec, 360 secs
lola: 10355894 markings, 32516844 edges, 28919 markings/sec, 365 secs
lola: 10471286 markings, 32937653 edges, 23078 markings/sec, 370 secs
lola: 10618450 markings, 33384510 edges, 29433 markings/sec, 375 secs
lola: 10773876 markings, 33833444 edges, 31085 markings/sec, 380 secs
lola: 10900877 markings, 34270723 edges, 25400 markings/sec, 385 secs
lola: 11032119 markings, 34706533 edges, 26248 markings/sec, 390 secs
lola: 11180757 markings, 35154763 edges, 29728 markings/sec, 395 secs
lola: 11288008 markings, 35591596 edges, 21450 markings/sec, 400 secs
lola: 11406245 markings, 36018299 edges, 23647 markings/sec, 405 secs
lola: 11513413 markings, 36451419 edges, 21434 markings/sec, 410 secs
lola: 11636568 markings, 36890416 edges, 24631 markings/sec, 415 secs
lola: 11762890 markings, 37327996 edges, 25264 markings/sec, 420 secs
lola: 11895819 markings, 37761804 edges, 26586 markings/sec, 425 secs
lola: 12028039 markings, 38200003 edges, 26444 markings/sec, 430 secs
lola: 12154812 markings, 38625664 edges, 25355 markings/sec, 435 secs
lola: 12271865 markings, 39053726 edges, 23411 markings/sec, 440 secs
lola: 12369702 markings, 39481387 edges, 19567 markings/sec, 445 secs
lola: 12500010 markings, 39933044 edges, 26062 markings/sec, 450 secs
lola: 12633214 markings, 40385704 edges, 26641 markings/sec, 455 secs
lola: 12743718 markings, 40831274 edges, 22101 markings/sec, 460 secs
lola: 12865417 markings, 41267984 edges, 24340 markings/sec, 465 secs
lola: 12980593 markings, 41710931 edges, 23035 markings/sec, 470 secs
lola: 13097152 markings, 42162156 edges, 23312 markings/sec, 475 secs
lola: 13191625 markings, 42598932 edges, 18895 markings/sec, 480 secs
lola: 13296693 markings, 43030621 edges, 21014 markings/sec, 485 secs
lola: 13382452 markings, 43464347 edges, 17152 markings/sec, 490 secs
lola: 13485609 markings, 43903708 edges, 20631 markings/sec, 495 secs
lola: 13604284 markings, 44344194 edges, 23735 markings/sec, 500 secs
lola: 13692941 markings, 44769153 edges, 17731 markings/sec, 505 secs
lola: 13839010 markings, 45202021 edges, 29214 markings/sec, 510 secs
lola: 13964995 markings, 45630414 edges, 25197 markings/sec, 515 secs
lola: 14126114 markings, 46059479 edges, 32224 markings/sec, 520 secs
lola: 14255679 markings, 46490976 edges, 25913 markings/sec, 525 secs
lola: 14377555 markings, 46916866 edges, 24375 markings/sec, 530 secs
lola: 14498737 markings, 47338458 edges, 24236 markings/sec, 535 secs
lola: 14649040 markings, 47768555 edges, 30061 markings/sec, 540 secs
lola: 14763752 markings, 48202523 edges, 22942 markings/sec, 545 secs
lola: 14863201 markings, 48631491 edges, 19890 markings/sec, 550 secs
lola: 14973864 markings, 49062234 edges, 22133 markings/sec, 555 secs
lola: 15086394 markings, 49485204 edges, 22506 markings/sec, 560 secs
lola: 15240506 markings, 49914552 edges, 30822 markings/sec, 565 secs
lola: 15403776 markings, 50362057 edges, 32654 markings/sec, 570 secs
lola: 15574048 markings, 50808776 edges, 34054 markings/sec, 575 secs
lola: 15740488 markings, 51261063 edges, 33288 markings/sec, 580 secs
lola: 15891453 markings, 51711716 edges, 30193 markings/sec, 585 secs
lola: 16045902 markings, 52152402 edges, 30890 markings/sec, 590 secs
lola: 16179741 markings, 52534545 edges, 26768 markings/sec, 595 secs
lola: 16327146 markings, 52970610 edges, 29481 markings/sec, 600 secs
lola: 16488195 markings, 53423929 edges, 32210 markings/sec, 605 secs
lola: 16653983 markings, 53877197 edges, 33158 markings/sec, 610 secs
lola: 16774165 markings, 54322933 edges, 24036 markings/sec, 615 secs
lola: 16935328 markings, 54775134 edges, 32233 markings/sec, 620 secs
lola: 17077585 markings, 55225312 edges, 28451 markings/sec, 625 secs
lola: 17176486 markings, 55669513 edges, 19780 markings/sec, 630 secs
lola: 17330862 markings, 56107117 edges, 30875 markings/sec, 635 secs
lola: 17468432 markings, 56543464 edges, 27514 markings/sec, 640 secs
lola: 17612551 markings, 56988174 edges, 28824 markings/sec, 645 secs
lola: 17755023 markings, 57424566 edges, 28494 markings/sec, 650 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: memory consumption: 1429812 KB
lola: time consumption: 2910 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t563) OR (A (G ((NOT FIREABLE(t1116) AND NOT FIREABLE(t1534)))) OR E (F (FIREABLE(t1352)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1352)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1352)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1352)
lola: state equation: Generated DNF with 14 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-4b-CTLFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1116) AND NOT FIREABLE(t1534))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t1116) AND NOT FIREABLE(t1534))))
lola: processed formula length: 53
lola: 43 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t1116) OR FIREABLE(t1534))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-4b-CTLFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-4b-CTLFireability-17-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 180 markings, 185 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E ((E (X (NOT FIREABLE(t791))) U A ((FIREABLE(t1560) U FIREABLE(t324)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(EX(NOT FIREABLE(t791)) U A(FIREABLE(t1560) U FIREABLE(t324)))
lola: processed formula length: 63
lola: 44 rewrites
lola: closed formula file CloudDeployment-PT-4b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 92193 markings, 455135 edges, 18439 markings/sec, 0 secs
lola: 165581 markings, 903625 edges, 14678 markings/sec, 5 secs
lola: 240470 markings, 1353896 edges, 14978 markings/sec, 10 secs
lola: 310486 markings, 1802727 edges, 14003 markings/sec, 15 secs
lola: 384479 markings, 2259905 edges, 14799 markings/sec, 20 secs
lola: 452643 markings, 2725756 edges, 13633 markings/sec, 25 secs
lola: 518624 markings, 3190081 edges, 13196 markings/sec, 30 secs
lola: 582039 markings, 3653319 edges, 12683 markings/sec, 35 secs
lola: 639128 markings, 4117035 edges, 11418 markings/sec, 40 secs
lola: 717853 markings, 4581186 edges, 15745 markings/sec, 45 secs
lola: 786466 markings, 5046760 edges, 13723 markings/sec, 50 secs
lola: 850131 markings, 5500260 edges, 12733 markings/sec, 55 secs
lola: 912040 markings, 5954132 edges, 12382 markings/sec, 60 secs
lola: 966416 markings, 6403311 edges, 10875 markings/sec, 65 secs
lola: 1049860 markings, 6853117 edges, 16689 markings/sec, 70 secs
lola: 1126769 markings, 7294939 edges, 15382 markings/sec, 75 secs
lola: 1204564 markings, 7733276 edges, 15559 markings/sec, 80 secs
lola: 1269891 markings, 8181440 edges, 13065 markings/sec, 85 secs
lola: 1333055 markings, 8629330 edges, 12633 markings/sec, 90 secs
lola: 1396630 markings, 9091449 edges, 12715 markings/sec, 95 secs
lola: 1452708 markings, 9537246 edges, 11216 markings/sec, 100 secs
lola: 1510851 markings, 9989643 edges, 11629 markings/sec, 105 secs
lola: 1564464 markings, 10440980 edges, 10723 markings/sec, 110 secs
lola: 1615491 markings, 10895759 edges, 10205 markings/sec, 115 secs
lola: 1686319 markings, 11348916 edges, 14166 markings/sec, 120 secs
lola: 1754672 markings, 11809988 edges, 13671 markings/sec, 125 secs
lola: 1819288 markings, 12268745 edges, 12923 markings/sec, 130 secs
lola: 1882523 markings, 12727515 edges, 12647 markings/sec, 135 secs
lola: 1941420 markings, 13183471 edges, 11779 markings/sec, 140 secs
lola: 2015622 markings, 13641484 edges, 14840 markings/sec, 145 secs
lola: 2082776 markings, 14100866 edges, 13431 markings/sec, 150 secs
lola: 2147082 markings, 14554430 edges, 12861 markings/sec, 155 secs
lola: 2208355 markings, 15001019 edges, 12255 markings/sec, 160 secs
lola: 2267371 markings, 15456811 edges, 11803 markings/sec, 165 secs
lola: 2348877 markings, 15908132 edges, 16301 markings/sec, 170 secs
lola: 2427831 markings, 16349913 edges, 15791 markings/sec, 175 secs
lola: 2504177 markings, 16807293 edges, 15269 markings/sec, 180 secs
lola: 2579853 markings, 17272035 edges, 15135 markings/sec, 185 secs
lola: 2674390 markings, 17720626 edges, 18907 markings/sec, 190 secs
lola: 2714041 markings, 18177402 edges, 7930 markings/sec, 195 secs
lola: 2778185 markings, 18640724 edges, 12829 markings/sec, 200 secs
lola: 2848065 markings, 19103030 edges, 13976 markings/sec, 205 secs
lola: 2913156 markings, 19566557 edges, 13018 markings/sec, 210 secs
lola: 2996986 markings, 20011692 edges, 16766 markings/sec, 215 secs
lola: 3039485 markings, 20464629 edges, 8500 markings/sec, 220 secs
lola: 3084299 markings, 20925978 edges, 8963 markings/sec, 225 secs
lola: 3158614 markings, 21370209 edges, 14863 markings/sec, 230 secs
lola: 3224652 markings, 21827071 edges, 13208 markings/sec, 235 secs
lola: 3291780 markings, 22290859 edges, 13426 markings/sec, 240 secs
lola: 3354840 markings, 22745525 edges, 12612 markings/sec, 245 secs
lola: 3441172 markings, 23185800 edges, 17266 markings/sec, 250 secs
lola: 3464880 markings, 23643692 edges, 4742 markings/sec, 255 secs
lola: 3526941 markings, 24101015 edges, 12412 markings/sec, 260 secs
lola: 3587870 markings, 24544041 edges, 12186 markings/sec, 265 secs
lola: 3652909 markings, 25006797 edges, 13008 markings/sec, 270 secs
lola: 3709009 markings, 25471322 edges, 11220 markings/sec, 275 secs
lola: 3762525 markings, 25928802 edges, 10703 markings/sec, 280 secs
lola: 3844577 markings, 26365963 edges, 16410 markings/sec, 285 secs
lola: 3857677 markings, 26819801 edges, 2620 markings/sec, 290 secs
lola: 3910065 markings, 27280584 edges, 10478 markings/sec, 295 secs
lola: 3986572 markings, 27743348 edges, 15301 markings/sec, 300 secs
lola: 4058746 markings, 28204075 edges, 14435 markings/sec, 305 secs
lola: 4124292 markings, 28667973 edges, 13109 markings/sec, 310 secs
lola: 4185145 markings, 29131475 edges, 12171 markings/sec, 315 secs
lola: 4242320 markings, 29591049 edges, 11435 markings/sec, 320 secs
lola: 4318459 markings, 30053493 edges, 15228 markings/sec, 325 secs
lola: 4386254 markings, 30515249 edges, 13559 markings/sec, 330 secs
lola: 4456016 markings, 30977578 edges, 13952 markings/sec, 335 secs
lola: 4516002 markings, 31442677 edges, 11997 markings/sec, 340 secs
lola: 4575353 markings, 31903742 edges, 11870 markings/sec, 345 secs
lola: 4650656 markings, 32365565 edges, 15061 markings/sec, 350 secs
lola: 4716239 markings, 32826151 edges, 13117 markings/sec, 355 secs
lola: 4787573 markings, 33287888 edges, 14267 markings/sec, 360 secs
lola: 4846729 markings, 33753218 edges, 11831 markings/sec, 365 secs
lola: 4912634 markings, 34212381 edges, 13181 markings/sec, 370 secs
lola: 5017548 markings, 34667190 edges, 20983 markings/sec, 375 secs
lola: 5089288 markings, 35129623 edges, 14348 markings/sec, 380 secs
lola: 5193997 markings, 35581940 edges, 20942 markings/sec, 385 secs
lola: 5264904 markings, 36042610 edges, 14181 markings/sec, 390 secs
lola: 5370184 markings, 36494703 edges, 21056 markings/sec, 395 secs
lola: 5435231 markings, 36956614 edges, 13009 markings/sec, 400 secs
lola: 5523062 markings, 37407541 edges, 17566 markings/sec, 405 secs
lola: 5576730 markings, 37864207 edges, 10734 markings/sec, 410 secs
lola: 5663934 markings, 38325238 edges, 17441 markings/sec, 415 secs
lola: 5756137 markings, 38781769 edges, 18441 markings/sec, 420 secs
lola: 5830804 markings, 39238248 edges, 14933 markings/sec, 425 secs
lola: 5911564 markings, 39689431 edges, 16152 markings/sec, 430 secs
lola: 5987641 markings, 40137571 edges, 15215 markings/sec, 435 secs
lola: 6060336 markings, 40584640 edges, 14539 markings/sec, 440 secs
lola: 6123491 markings, 41030578 edges, 12631 markings/sec, 445 secs
lola: 6230009 markings, 41465683 edges, 21304 markings/sec, 450 secs
lola: 6293832 markings, 41916473 edges, 12765 markings/sec, 455 secs
lola: 6391529 markings, 42349319 edges, 19539 markings/sec, 460 secs
lola: 6493108 markings, 42776624 edges, 20316 markings/sec, 465 secs
lola: 6580376 markings, 43212063 edges, 17454 markings/sec, 470 secs
lola: 6659451 markings, 43648575 edges, 15815 markings/sec, 475 secs
lola: 6733130 markings, 44083350 edges, 14736 markings/sec, 480 secs
lola: 6772072 markings, 44524662 edges, 7788 markings/sec, 485 secs
lola: 6773485 markings, 44966047 edges, 283 markings/sec, 490 secs
lola: 6773838 markings, 45409618 edges, 71 markings/sec, 495 secs
lola: 6814187 markings, 45857595 edges, 8070 markings/sec, 500 secs
lola: 6890050 markings, 46304479 edges, 15173 markings/sec, 505 secs
lola: 6946270 markings, 46753748 edges, 11244 markings/sec, 510 secs
lola: 7020582 markings, 47209258 edges, 14862 markings/sec, 515 secs
lola: 7107383 markings, 47659984 edges, 17360 markings/sec, 520 secs
lola: 7162720 markings, 48115588 edges, 11067 markings/sec, 525 secs
lola: 7250495 markings, 48574444 edges, 17555 markings/sec, 530 secs
lola: 7320248 markings, 49027279 edges, 13951 markings/sec, 535 secs
lola: 7388044 markings, 49467797 edges, 13559 markings/sec, 540 secs
lola: 7472422 markings, 49898833 edges, 16876 markings/sec, 545 secs
lola: 7523143 markings, 50337062 edges, 10144 markings/sec, 550 secs
lola: 7606953 markings, 50770084 edges, 16762 markings/sec, 555 secs
lola: 7662790 markings, 51203291 edges, 11167 markings/sec, 560 secs
lola: 7731338 markings, 51642050 edges, 13710 markings/sec, 565 secs
lola: 7804294 markings, 52072361 edges, 14591 markings/sec, 570 secs
lola: 7845587 markings, 52502642 edges, 8259 markings/sec, 575 secs
lola: 7910892 markings, 52942211 edges, 13061 markings/sec, 580 secs
lola: 7978907 markings, 53381634 edges, 13603 markings/sec, 585 secs
lola: 8060709 markings, 53812815 edges, 16360 markings/sec, 590 secs
lola: 8113592 markings, 54248273 edges, 10577 markings/sec, 595 secs
lola: 8178859 markings, 54674751 edges, 13053 markings/sec, 600 secs
lola: 8243197 markings, 55097444 edges, 12868 markings/sec, 605 secs
lola: 8316588 markings, 55518741 edges, 14678 markings/sec, 610 secs
lola: 8371637 markings, 55941984 edges, 11010 markings/sec, 615 secs
lola: 8420445 markings, 56360614 edges, 9762 markings/sec, 620 secs
lola: 8484936 markings, 56781017 edges, 12898 markings/sec, 625 secs
lola: 8541382 markings, 57209015 edges, 11289 markings/sec, 630 secs
lola: 8630398 markings, 57618496 edges, 17803 markings/sec, 635 secs
lola: 8720409 markings, 58022843 edges, 18002 markings/sec, 640 secs
lola: 8799393 markings, 58427656 edges, 15797 markings/sec, 645 secs
lola: 8868704 markings, 58838980 edges, 13862 markings/sec, 650 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: memory consumption: 1077576 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes no unknown unknown unknown unknown unknown unknown no yes yes no yes
lola: memory consumption: 1077576 KB
lola: time consumption: 3570 seconds
BK_STOP 1526601000633
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-4b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-4b.tgz
mv CloudDeployment-PT-4b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-4b, 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 r040-smll-152646357400228"
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 ;