About the Execution of M4M.full for CloudDeployment-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10110.850 | 1308027.00 | 2541405.00 | 5046.60 | FFTFFFT?TFTFTTTT | 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 5.0M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 7.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 15K 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 4.8M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is CloudDeployment-PT-6b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r046-smll-152646362700259
=====================================================================
--------------------
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-6b-ReachabilityFireability-00
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-01
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-02
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-03
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-04
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-05
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-06
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-07
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-08
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-09
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-10
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-11
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-12
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-13
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-14
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526589034232
BK_STOP 1526590342259
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using CloudDeployment-PT-6b as instance name.
Using CloudDeployment as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': None, 'Source Transition': False, 'Sink Transition': True, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1207357, 'Memory': 638.07, 'Tool': 'lola'}, {'Time': 1240522, 'Memory': 640.09, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityFireability lola CloudDeployment-PT-6b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
CloudDeployment-PT-6b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudDeployment-PT-6b: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityFireability @ CloudDeployment-PT-6b @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2833 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6b-ReachabilityFireability.task
lola: E (F (FIREABLE(t2832))) : E (F (FIREABLE(t3718))) : E (F ((FIREABLE(t1545) OR FIREABLE(t4539)))) : E (F (FIREABLE(t2939))) : E (F ((((FIREABLE(t312) OR FIREABLE(t1761) OR (FIREABLE(t1251) AND FIREABLE(t179))) AND FIREABLE(t2054)) OR (NOT FIREABLE(t2275) AND NOT FIREABLE(t5734) AND FIREABLE(t4161) AND NOT FIREABLE(t64))))) : E (F ((FIREABLE(t1988) AND (FIREABLE(t599) OR FIREABLE(t2206) OR (FIREABLE(t5020) AND FIREABLE(t3877)) OR (NOT FIREABLE(t6241) AND NOT FIREABLE(t3812)))))) : E (F ((FIREABLE(t2990) OR FIREABLE(t1647) OR (FIREABLE(t1714) AND FIREABLE(t668)) OR FIREABLE(t1224) OR (FIREABLE(t733) AND (FIREABLE(t3752) OR FIREABLE(t842) OR FIREABLE(t2454)))))) : E (F (FIREABLE(t6202))) : A (G ((NOT FIREABLE(t4917) OR FIREABLE(t34)))) : E (F ((FIREABLE(t4599) AND FIREABLE(t6552) AND FIREABLE(t3557)))) : A (G (((NOT FIREABLE(t2455) AND NOT FIREABLE(t5787) AND NOT FIREABLE(t1370)) OR NOT FIREABLE(t2034)))) : E (F ((FIREABLE(t3545) AND NOT FIREABLE(t4890) AND (FIREABLE(t1872) OR ((FIREABLE(t2807) OR FIREABLE(t3575)) AND (FIREABLE(t6140) OR FIREABLE(t1961))))))) : E (F (((NOT FIREABLE(t4097) OR NOT FIREABLE(t6428)) AND (FIREABLE(t3542) OR FIREABLE(t1209) OR (FIREABLE(t695) AND FIREABLE(t3460))) AND NOT FIREABLE(t5849) AND NOT FIREABLE(t2418) AND (NOT FIREABLE(t1521) OR NOT FIREABLE(t6462))))) : A (G ((NOT FIREABLE(t3439) OR (NOT FIREABLE(t1945) AND NOT FIREABLE(t3030) AND (NOT FIREABLE(t5178) OR NOT FIREABLE(t3619)))))) : E (F ((FIREABLE(t196) OR FIREABLE(t5830)))) : E (F (FIREABLE(t1740)))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2832)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 20 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability.sara.
lola: sara is running 0 secs || 85044 markings, 113719 edges, 17009 markings/sec, 0 secs
lola: sara is running 5 secs || 153779 markings, 223604 edges, 13747 markings/sec, 5 secs
lola: sara is running 10 secs || 221051 markings, 348683 edges, 13454 markings/sec, 10 secs
lola: sara is running 15 secs || 283958 markings, 478498 edges, 12581 markings/sec, 15 secs
lola: sara is running 20 secs || 351611 markings, 585704 edges, 13531 markings/sec, 20 secs
lola: sara is running 25 secs || 419157 markings, 706811 edges, 13509 markings/sec, 25 secs
lola: sara is running 30 secs || 481766 markings, 842359 edges, 12522 markings/sec, 30 secs
lola: sara is running 35 secs || 548959 markings, 940827 edges, 13439 markings/sec, 35 secs
lola: sara is running 40 secs || 614122 markings, 1072660 edges, 13033 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 678673 markings, 1203283 edges, 12910 markings/sec, 45 secs
lola: sara is running 50 secs || 746072 markings, 1314983 edges, 13480 markings/sec, 50 secs
lola: sara is running 55 secs || 810752 markings, 1450281 edges, 12936 markings/sec, 55 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 1 will run for 231 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t3718)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 20 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability.sara.
lola: sara is running 0 secs || 84908 markings, 113389 edges, 16982 markings/sec, 0 secs
lola: sara is running 5 secs || 154743 markings, 224728 edges, 13967 markings/sec, 5 secs
lola: sara is running 10 secs || 222690 markings, 352290 edges, 13589 markings/sec, 10 secs
lola: sara is running 15 secs || 286899 markings, 482656 edges, 12842 markings/sec, 15 secs
lola: sara is running 20 secs || 354236 markings, 590495 edges, 13467 markings/sec, 20 secs
lola: sara is running 25 secs || 422959 markings, 715302 edges, 13745 markings/sec, 25 secs
lola: sara is running 30 secs || 486275 markings, 850419 edges, 12663 markings/sec, 30 secs
lola: sara is running 35 secs || 554910 markings, 954423 edges, 13727 markings/sec, 35 secs
lola: sara is running 40 secs || 621386 markings, 1085237 edges, 13295 markings/sec, 40 secs
lola: sara is running 45 secs || 686930 markings, 1216754 edges, 13109 markings/sec, 45 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 50 secs || 754287 markings, 1338444 edges, 13471 markings/sec, 50 secs
lola: sara is running 55 secs || 820460 markings, 1468483 edges, 13235 markings/sec, 55 secs
lola: sara is running 60 secs || 887287 markings, 1580859 edges, 13365 markings/sec, 60 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 2 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1545) OR FIREABLE(t4539))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 21 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 235 markings, 234 edges
lola: ========================================
lola: subprocess 3 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2939)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 20 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-3.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-3.sara.
lola: sara is running 0 secs || 89094 markings, 118987 edges, 17819 markings/sec, 0 secs
lola: sara is running 5 secs || 157419 markings, 228280 edges, 13665 markings/sec, 5 secs
lola: sara is running 10 secs || 219818 markings, 346532 edges, 12480 markings/sec, 10 secs
lola: sara is running 15 secs || 282734 markings, 476914 edges, 12583 markings/sec, 15 secs
lola: sara is running 20 secs || 348817 markings, 582207 edges, 13217 markings/sec, 20 secs
lola: sara is running 25 secs || 416533 markings, 702231 edges, 13543 markings/sec, 25 secs
lola: sara is running 30 secs || 479210 markings, 838749 edges, 12535 markings/sec, 30 secs
lola: sara is running 35 secs || 547247 markings, 938035 edges, 13607 markings/sec, 35 secs
lola: sara is running 40 secs || 612539 markings, 1068757 edges, 13058 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 677671 markings, 1201552 edges, 13026 markings/sec, 45 secs
lola: sara is running 50 secs || 745979 markings, 1314690 edges, 13662 markings/sec, 50 secs
lola: sara is running 55 secs || 809882 markings, 1448141 edges, 12781 markings/sec, 55 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 4 will run for 279 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t312) OR FIREABLE(t1761) OR (FIREABLE(t1251) AND FIREABLE(t179))) AND FIREABLE(t2054)) OR (NOT FIREABLE(t2275) AND NOT FIREABLE(t5734) AND FIREABLE(t4161) AND NOT FIREABLE(t64)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 754 literals and 33 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-4.sara.
lola: sara is running 0 secs || 75730 markings, 129109 edges, 15146 markings/sec, 0 secs
lola: sara is running 5 secs || 146712 markings, 246787 edges, 14196 markings/sec, 5 secs
lola: sara is running 10 secs || 211325 markings, 437868 edges, 12923 markings/sec, 10 secs
lola: sara is running 15 secs || 288071 markings, 568730 edges, 15349 markings/sec, 15 secs
lola: sara is running 20 secs || 362365 markings, 698975 edges, 14859 markings/sec, 20 secs
lola: sara is running 25 secs || 430885 markings, 886726 edges, 13704 markings/sec, 25 secs
lola: sara is running 30 secs || 512467 markings, 1014043 edges, 16316 markings/sec, 30 secs
lola: sara is running 35 secs || 590713 markings, 1164190 edges, 15649 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 667112 markings, 1307753 edges, 15280 markings/sec, 40 secs
lola: sara is running 45 secs || 736938 markings, 1469671 edges, 13965 markings/sec, 45 secs
lola: sara is running 50 secs || 817841 markings, 1597256 edges, 16181 markings/sec, 50 secs
lola: sara is running 55 secs || 892695 markings, 1734924 edges, 14971 markings/sec, 55 secs
lola: sara is running 60 secs || 962159 markings, 1885020 edges, 13893 markings/sec, 60 secs
lola: sara is running 65 secs || 1034378 markings, 2033832 edges, 14444 markings/sec, 65 secs
lola: sara is running 70 secs || 1109757 markings, 2169177 edges, 15076 markings/sec, 70 secs
lola: sara is running 75 secs || 1189454 markings, 2316705 edges, 15939 markings/sec, 75 secs
lola: sara is running 80 secs || 1274285 markings, 2437517 edges, 16966 markings/sec, 80 secs
lola: sara is running 85 secs || 1350632 markings, 2587884 edges, 15269 markings/sec, 85 secs
lola: sara is running 90 secs || 1421401 markings, 2727764 edges, 14154 markings/sec, 90 secs
lola: sara is running 95 secs || 1493564 markings, 2864643 edges, 14433 markings/sec, 95 secs
lola: sara is running 100 secs || 1564471 markings, 3007866 edges, 14181 markings/sec, 100 secs
lola: sara is running 105 secs || 1640986 markings, 3147058 edges, 15303 markings/sec, 105 secs
lola: sara is running 110 secs || 1722791 markings, 3273447 edges, 16361 markings/sec, 110 secs
lola: sara is running 115 secs || 1799320 markings, 3421526 edges, 15306 markings/sec, 115 secs
lola: sara is running 120 secs || 1881222 markings, 3550647 edges, 16380 markings/sec, 120 secs
lola: sara is running 125 secs || 1966002 markings, 3667189 edges, 16956 markings/sec, 125 secs
lola: sara is running 130 secs || 2050258 markings, 3784094 edges, 16851 markings/sec, 130 secs
lola: sara is running 135 secs || 2129041 markings, 3907305 edges, 15757 markings/sec, 135 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 5 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1988) AND (FIREABLE(t599) OR FIREABLE(t2206) OR (FIREABLE(t5020) AND FIREABLE(t3877)) OR (NOT FIREABLE(t6241) AND NOT FIREABLE(t3812))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 561 literals and 23 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-5.sara.
lola: sara is running 0 secs || 83902 markings, 111677 edges, 16780 markings/sec, 0 secs
lola: sara is running 5 secs || 151011 markings, 219133 edges, 13422 markings/sec, 5 secs
lola: sara is running 10 secs || 215999 markings, 340344 edges, 12998 markings/sec, 10 secs
lola: sara is running 15 secs || 277425 markings, 469973 edges, 12285 markings/sec, 15 secs
lola: sara is running 20 secs || 339007 markings, 562464 edges, 12316 markings/sec, 20 secs
lola: sara is running 25 secs || 403978 markings, 675018 edges, 12994 markings/sec, 25 secs
lola: sara is running 30 secs || 464346 markings, 814014 edges, 12074 markings/sec, 30 secs
lola: sara is running 35 secs || 528437 markings, 911634 edges, 12818 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 592925 markings, 1033067 edges, 12898 markings/sec, 40 secs
lola: sara is running 45 secs || 658434 markings, 1157858 edges, 13102 markings/sec, 45 secs
lola: sara is running 50 secs || 723495 markings, 1274628 edges, 13012 markings/sec, 50 secs
lola: sara is running 55 secs || 787704 markings, 1409064 edges, 12842 markings/sec, 55 secs
lola: sara is running 60 secs || 852776 markings, 1515032 edges, 13014 markings/sec, 60 secs
lola: sara is running 65 secs || 913884 markings, 1658236 edges, 12222 markings/sec, 65 secs
lola: sara is running 70 secs || 980566 markings, 1771008 edges, 13336 markings/sec, 70 secs
lola: sara is running 75 secs || 1044430 markings, 1905369 edges, 12773 markings/sec, 75 secs
lola: sara is running 80 secs || 1111524 markings, 2015201 edges, 13419 markings/sec, 80 secs
lola: sara is running 85 secs || 1171983 markings, 2161697 edges, 12092 markings/sec, 85 secs
lola: sara is running 90 secs || 1237987 markings, 2262802 edges, 13201 markings/sec, 90 secs
lola: sara is running 95 secs || 1304123 markings, 2383799 edges, 13227 markings/sec, 95 secs
lola: sara is running 100 secs || 1372576 markings, 2481427 edges, 13691 markings/sec, 100 secs
lola: sara is running 105 secs || 1438963 markings, 2597868 edges, 13277 markings/sec, 105 secs
lola: sara is running 110 secs || 1506153 markings, 2690981 edges, 13438 markings/sec, 110 secs
lola: sara is running 115 secs || 1573127 markings, 2789847 edges, 13395 markings/sec, 115 secs
lola: sara is running 120 secs || 1637568 markings, 2923442 edges, 12888 markings/sec, 120 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 6 will run for 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2990) OR FIREABLE(t1647) OR (FIREABLE(t1714) AND FIREABLE(t668)) OR FIREABLE(t1224) OR (FIREABLE(t733) AND (FIREABLE(t3752) OR FIREABLE(t842) OR FIREABLE(t2454))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 68 literals and 7 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-6.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 49 markings, 48 edges
lola: ========================================
lola: subprocess 7 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t6202)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-7.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-7.sara.
lola: sara is running 0 secs || 83599 markings, 111189 edges, 16720 markings/sec, 0 secs
lola: sara is running 5 secs || 150364 markings, 218232 edges, 13353 markings/sec, 5 secs
lola: sara is running 10 secs || 215542 markings, 339709 edges, 13036 markings/sec, 10 secs
lola: sara is running 15 secs || 276954 markings, 469103 edges, 12282 markings/sec, 15 secs
lola: sara is running 20 secs || 340721 markings, 567464 edges, 12753 markings/sec, 20 secs
lola: sara is running 25 secs || 406075 markings, 679733 edges, 13071 markings/sec, 25 secs
lola: sara is running 30 secs || 467191 markings, 819242 edges, 12223 markings/sec, 30 secs
lola: sara is running 35 secs || 532327 markings, 916759 edges, 13027 markings/sec, 35 secs
lola: sara is running 40 secs || 595022 markings, 1035745 edges, 12539 markings/sec, 40 secs
lola: sara is running 45 secs || 659847 markings, 1160496 edges, 12965 markings/sec, 45 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 50 secs || 722674 markings, 1273533 edges, 12565 markings/sec, 50 secs
lola: sara is running 55 secs || 785955 markings, 1405697 edges, 12656 markings/sec, 55 secs
lola: sara is running 60 secs || 849580 markings, 1510622 edges, 12725 markings/sec, 60 secs
lola: sara is running 65 secs || 909843 markings, 1649622 edges, 12053 markings/sec, 65 secs
lola: sara is running 70 secs || 975589 markings, 1763365 edges, 13149 markings/sec, 70 secs
lola: sara is running 75 secs || 1039040 markings, 1895872 edges, 12690 markings/sec, 75 secs
lola: sara is running 80 secs || 1105544 markings, 2005757 edges, 13301 markings/sec, 80 secs
lola: sara is running 85 secs || 1166733 markings, 2153867 edges, 12238 markings/sec, 85 secs
lola: sara is running 90 secs || 1234911 markings, 2256964 edges, 13636 markings/sec, 90 secs
lola: sara is running 95 secs || 1299615 markings, 2377777 edges, 12941 markings/sec, 95 secs
lola: sara is running 100 secs || 1366939 markings, 2473677 edges, 13465 markings/sec, 100 secs
lola: sara is running 105 secs || 1433876 markings, 2591017 edges, 13387 markings/sec, 105 secs
lola: sara is running 110 secs || 1500281 markings, 2682724 edges, 13281 markings/sec, 110 secs
lola: sara is running 115 secs || 1567965 markings, 2780207 edges, 13537 markings/sec, 115 secs
lola: sara is running 120 secs || 1632100 markings, 2914767 edges, 12827 markings/sec, 120 secs
lola: sara is running 125 secs || 1696032 markings, 3034985 edges, 12786 markings/sec, 125 secs
lola: sara is running 130 secs || 1760441 markings, 3145863 edges, 12882 markings/sec, 130 secs
lola: sara is running 135 secs || 1825508 markings, 3239335 edges, 13013 markings/sec, 135 secs
lola: sara is running 140 secs || 1892832 markings, 3335015 edges, 13465 markings/sec, 140 secs
lola: sara is running 145 secs || 1957199 markings, 3449394 edges, 12873 markings/sec, 145 secs
lola: sara is running 150 secs || 2024099 markings, 3550511 edges, 13380 markings/sec, 150 secs
lola: sara is running 155 secs || 2087243 markings, 3656109 edges, 12629 markings/sec, 155 secs
lola: sara is running 160 secs || 2151108 markings, 3771141 edges, 12773 markings/sec, 160 secs
lola: sara is running 165 secs || 2215899 markings, 3873926 edges, 12958 markings/sec, 165 secs
lola: sara is running 170 secs || 2276603 markings, 3970113 edges, 12141 markings/sec, 170 secs
lola: sara is running 175 secs || 2340654 markings, 4067294 edges, 12810 markings/sec, 175 secs
lola: sara is running 180 secs || 2403575 markings, 4177066 edges, 12584 markings/sec, 180 secs
lola: sara is running 185 secs || 2465220 markings, 4301811 edges, 12329 markings/sec, 185 secs
lola: sara is running 190 secs || 2525816 markings, 4422447 edges, 12119 markings/sec, 190 secs
lola: sara is running 195 secs || 2584759 markings, 4550543 edges, 11789 markings/sec, 195 secs
lola: sara is running 200 secs || 2647927 markings, 4664340 edges, 12634 markings/sec, 200 secs
lola: sara is running 205 secs || 2710672 markings, 4772893 edges, 12549 markings/sec, 205 secs
lola: sara is running 210 secs || 2777281 markings, 4874099 edges, 13322 markings/sec, 210 secs
lola: sara is running 215 secs || 2840992 markings, 4986443 edges, 12742 markings/sec, 215 secs
lola: sara is running 220 secs || 2906190 markings, 5088334 edges, 13040 markings/sec, 220 secs
lola: sara is running 225 secs || 2972220 markings, 5194003 edges, 13206 markings/sec, 225 secs
lola: sara is running 230 secs || 3036228 markings, 5312509 edges, 12802 markings/sec, 230 secs
lola: sara is running 235 secs || 3100817 markings, 5426894 edges, 12918 markings/sec, 235 secs
lola: sara is running 240 secs || 3165074 markings, 5542637 edges, 12851 markings/sec, 240 secs
lola: sara is running 245 secs || 3228854 markings, 5665596 edges, 12756 markings/sec, 245 secs
lola: sara is running 250 secs || 3289152 markings, 5803424 edges, 12060 markings/sec, 250 secs
lola: sara is running 255 secs || 3351151 markings, 5936409 edges, 12400 markings/sec, 255 secs
lola: sara is running 260 secs || 3412297 markings, 6063075 edges, 12229 markings/sec, 260 secs
lola: sara is running 265 secs || 3467888 markings, 6209592 edges, 11118 markings/sec, 265 secs
lola: sara is running 270 secs || 3519991 markings, 6378720 edges, 10421 markings/sec, 270 secs
lola: sara is running 275 secs || 3571052 markings, 6565060 edges, 10212 markings/sec, 275 secs
lola: sara is running 280 secs || 3627431 markings, 6729311 edges, 11276 markings/sec, 280 secs
lola: sara is running 285 secs || 3686027 markings, 6860761 edges, 11719 markings/sec, 285 secs
lola: sara is running 290 secs || 3746569 markings, 6992296 edges, 12108 markings/sec, 290 secs
lola: sara is running 295 secs || 3805937 markings, 7122895 edges, 11874 markings/sec, 295 secs
lola: sara is running 300 secs || 3868406 markings, 7245946 edges, 12494 markings/sec, 300 secs
lola: sara is running 305 secs || 3932795 markings, 7364559 edges, 12878 markings/sec, 305 secs
lola: sara is running 310 secs || 4000090 markings, 7461318 edges, 13459 markings/sec, 310 secs
lola: sara is running 315 secs || 4067548 markings, 7557791 edges, 13492 markings/sec, 315 secs
lola: sara is running 320 secs || 4134131 markings, 7659806 edges, 13317 markings/sec, 320 secs
lola: sara is running 325 secs || 4200374 markings, 7766488 edges, 13249 markings/sec, 325 secs
lola: sara is running 330 secs || 4264976 markings, 7877743 edges, 12920 markings/sec, 330 secs
lola: sara is running 335 secs || 4329121 markings, 7997168 edges, 12829 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t4917) OR FIREABLE(t34))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 21 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-8.sara.
lola: sara is running 0 secs || 82551 markings, 109258 edges, 16510 markings/sec, 0 secs
lola: sara is running 5 secs || 145618 markings, 210346 edges, 12613 markings/sec, 5 secs
lola: sara is running 10 secs || 211302 markings, 330623 edges, 13137 markings/sec, 10 secs
lola: sara is running 15 secs || 271999 markings, 461766 edges, 12139 markings/sec, 15 secs
lola: sara is running 20 secs || 337513 markings, 559755 edges, 13103 markings/sec, 20 secs
lola: sara is running 25 secs || 402892 markings, 673227 edges, 13076 markings/sec, 25 secs
lola: sara is running 30 secs || 463821 markings, 813177 edges, 12186 markings/sec, 30 secs
lola: sara is running 35 secs || 526368 markings, 908823 edges, 12509 markings/sec, 35 secs
lola: sara is running 40 secs || 587622 markings, 1025331 edges, 12251 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 651974 markings, 1145487 edges, 12870 markings/sec, 45 secs
lola: sara is running 50 secs || 713627 markings, 1261122 edges, 12331 markings/sec, 50 secs
lola: sara is running 55 secs || 778123 markings, 1386054 edges, 12899 markings/sec, 55 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t4599) AND FIREABLE(t6552) AND FIREABLE(t3557))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 42 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-9.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-9.sara.
lola: sara is running 0 secs || 84003 markings, 111837 edges, 16801 markings/sec, 0 secs
lola: sara is running 5 secs || 149558 markings, 217044 edges, 13111 markings/sec, 5 secs
lola: sara is running 10 secs || 215000 markings, 338628 edges, 13088 markings/sec, 10 secs
lola: sara is running 15 secs || 275104 markings, 466771 edges, 12021 markings/sec, 15 secs
lola: sara is running 20 secs || 340623 markings, 567212 edges, 13104 markings/sec, 20 secs
lola: sara is running 25 secs || 406840 markings, 681581 edges, 13243 markings/sec, 25 secs
lola: sara is running 30 secs || 467077 markings, 819033 edges, 12047 markings/sec, 30 secs
lola: sara is running 35 secs || 532403 markings, 916848 edges, 13065 markings/sec, 35 secs
lola: sara is running 40 secs || 596082 markings, 1037118 edges, 12736 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 661446 markings, 1164386 edges, 13073 markings/sec, 45 secs
lola: sara is running 50 secs || 726777 markings, 1279451 edges, 13066 markings/sec, 50 secs
lola: sara is running 55 secs || 789544 markings, 1411997 edges, 12553 markings/sec, 55 secs
lola: sara is running 60 secs || 855942 markings, 1519848 edges, 13280 markings/sec, 60 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 10 will run for 435 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t2455) AND NOT FIREABLE(t5787) AND NOT FIREABLE(t1370)) OR NOT FIREABLE(t2034))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 101 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-10.sara.
lola: sara is running 0 secs || 97120 markings, 158321 edges, 19424 markings/sec, 0 secs
lola: sara is running 5 secs || 192587 markings, 310964 edges, 19093 markings/sec, 5 secs
lola: sara is running 10 secs || 313113 markings, 472329 edges, 24105 markings/sec, 10 secs
lola: sara is running 15 secs || 425214 markings, 627827 edges, 22420 markings/sec, 15 secs
lola: sara is running 20 secs || 500618 markings, 803687 edges, 15081 markings/sec, 20 secs
lola: sara is running 25 secs || 561583 markings, 1045706 edges, 12193 markings/sec, 25 secs
lola: sara is running 30 secs || 649896 markings, 1268649 edges, 17663 markings/sec, 30 secs
lola: sara is running 35 secs || 741671 markings, 1455266 edges, 18355 markings/sec, 35 secs
lola: sara is running 40 secs || 864988 markings, 1627255 edges, 24663 markings/sec, 40 secs
lola: sara is running 45 secs || 974024 markings, 1798103 edges, 21807 markings/sec, 45 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 50 secs || 1051246 markings, 2013242 edges, 15444 markings/sec, 50 secs
lola: sara is running 55 secs || 1110020 markings, 2274212 edges, 11755 markings/sec, 55 secs
lola: sara is running 60 secs || 1188910 markings, 2515992 edges, 15778 markings/sec, 60 secs
lola: sara is running 65 secs || 1283083 markings, 2670936 edges, 18835 markings/sec, 65 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 11 will run for 507 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3545) AND NOT FIREABLE(t4890) AND (FIREABLE(t1872) OR ((FIREABLE(t2807) OR FIREABLE(t3575)) AND (FIREABLE(t6140) OR FIREABLE(t1961)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 713 literals and 17 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-11.sara.
lola: sara is running 0 secs || 88004 markings, 117702 edges, 17601 markings/sec, 0 secs
lola: sara is running 5 secs || 156407 markings, 226954 edges, 13681 markings/sec, 5 secs
lola: sara is running 10 secs || 223925 markings, 355306 edges, 13504 markings/sec, 10 secs
lola: sara is running 15 secs || 287357 markings, 483329 edges, 12686 markings/sec, 15 secs
lola: sara is running 20 secs || 354731 markings, 591105 edges, 13475 markings/sec, 20 secs
lola: sara is running 25 secs || 422834 markings, 714971 edges, 13621 markings/sec, 25 secs
lola: sara is running 30 secs || 483959 markings, 847139 edges, 12225 markings/sec, 30 secs
lola: sara is running 35 secs || 550806 markings, 944175 edges, 13369 markings/sec, 35 secs
lola: sara is running 40 secs || 615721 markings, 1075656 edges, 12983 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 677109 markings, 1200739 edges, 12278 markings/sec, 45 secs
lola: sara is running 50 secs || 744995 markings, 1312708 edges, 13577 markings/sec, 50 secs
lola: sara is running 55 secs || 809969 markings, 1448321 edges, 12995 markings/sec, 55 secs
lola: sara is running 60 secs || 877568 markings, 1557995 edges, 13520 markings/sec, 60 secs
lola: sara is running 65 secs || 940397 markings, 1708407 edges, 12566 markings/sec, 65 secs
lola: sara is running 70 secs || 1007720 markings, 1829576 edges, 13465 markings/sec, 70 secs
lola: sara is running 75 secs || 1073073 markings, 1959346 edges, 13071 markings/sec, 75 secs
lola: sara is running 80 secs || 1137861 markings, 2080175 edges, 12958 markings/sec, 80 secs
lola: sara is running 85 secs || 1204057 markings, 2210098 edges, 13239 markings/sec, 85 secs
lola: sara is running 90 secs || 1271842 markings, 2335068 edges, 13557 markings/sec, 90 secs
lola: sara is running 95 secs || 1340601 markings, 2438216 edges, 13752 markings/sec, 95 secs
lola: sara is running 100 secs || 1411685 markings, 2538379 edges, 14217 markings/sec, 100 secs
lola: sara is running 105 secs || 1479821 markings, 2654329 edges, 13627 markings/sec, 105 secs
lola: sara is running 110 secs || 1550242 markings, 2753886 edges, 14084 markings/sec, 110 secs
lola: sara is running 115 secs || 1617303 markings, 2888360 edges, 13412 markings/sec, 115 secs
lola: sara is running 120 secs || 1685542 markings, 3015018 edges, 13648 markings/sec, 120 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 12 will run for 602 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t4097) OR NOT FIREABLE(t6428)) AND (FIREABLE(t3542) OR FIREABLE(t1209) OR (FIREABLE(t695) AND FIREABLE(t3460))) AND NOT FIREABLE(t5849) AND NOT FIREABLE(t2418) AND (NOT FIREABLE(t1521) OR NOT FIREABLE(t6462)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 125 markings, 125 edges
lola: ========================================
lola: subprocess 13 will run for 803 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t3439) OR (NOT FIREABLE(t1945) AND NOT FIREABLE(t3030) AND (NOT FIREABLE(t5178) OR NOT FIREABLE(t3619))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 140 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-13.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-13.sara.
lola: sara is running 0 secs || 85373 markings, 114596 edges, 17075 markings/sec, 0 secs
lola: sara is running 5 secs || 154794 markings, 224782 edges, 13884 markings/sec, 5 secs
lola: sara is running 10 secs || 222250 markings, 351094 edges, 13491 markings/sec, 10 secs
lola: sara is running 15 secs || 286067 markings, 481465 edges, 12763 markings/sec, 15 secs
lola: sara is running 20 secs || 352620 markings, 587627 edges, 13311 markings/sec, 20 secs
lola: sara is running 25 secs || 421945 markings, 712662 edges, 13865 markings/sec, 25 secs
lola: sara is running 30 secs || 485459 markings, 849388 edges, 12703 markings/sec, 30 secs
lola: sara is running 35 secs || 552757 markings, 949348 edges, 13460 markings/sec, 35 secs
lola: sara is running 40 secs || 618500 markings, 1080954 edges, 13149 markings/sec, 40 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 45 secs || 682345 markings, 1209398 edges, 12769 markings/sec, 45 secs
lola: sara is running 50 secs || 750967 markings, 1327341 edges, 13724 markings/sec, 50 secs
lola: sara is running 55 secs || 816260 markings, 1461060 edges, 13059 markings/sec, 55 secs
lola: sara is running 60 secs || 883796 markings, 1572489 edges, 13507 markings/sec, 60 secs
lola: sara is running 65 secs || 947822 markings, 1719586 edges, 12805 markings/sec, 65 secs
lola: sara is running 70 secs || 1014006 markings, 1844280 edges, 13237 markings/sec, 70 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 14 will run for 1167 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t196) OR FIREABLE(t5830))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 21 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-14.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-14.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 250 markings, 249 edges
lola: ========================================
lola: subprocess 15 will run for 2335 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1740)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6b-ReachabilityFireability-15.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6b-ReachabilityFireability-15.sara.
lola: sara is running 0 secs || 142528 markings, 154109 edges, 28506 markings/sec, 0 secs
lola: sara is running 5 secs || 294624 markings, 323475 edges, 30419 markings/sec, 5 secs
lola: sara is running 10 secs || 450632 markings, 493423 edges, 31202 markings/sec, 10 secs
lola: sara is running 15 secs || 606098 markings, 670563 edges, 31093 markings/sec, 15 secs
lola: sara is running 20 secs || 743397 markings, 825293 edges, 27460 markings/sec, 20 secs
lola: sara is running 25 secs || 893120 markings, 992687 edges, 29945 markings/sec, 25 secs
lola: sara is running 30 secs || 1043915 markings, 1161227 edges, 30159 markings/sec, 30 secs
lola: sara is running 35 secs || 1193534 markings, 1328517 edges, 29924 markings/sec, 35 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 40 secs || 1345692 markings, 1498582 edges, 30432 markings/sec, 40 secs
lola: sara is running 45 secs || 1494934 markings, 1665429 edges, 29848 markings/sec, 45 secs
lola: sara is running 50 secs || 1645334 markings, 1833700 edges, 30080 markings/sec, 50 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: RESULT
lola:
SUMMARY: no no yes no no no yes unknown yes no yes no yes yes yes yes
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6b-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-6b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="mcc4mcc-full"
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-6b.tgz
mv CloudDeployment-PT-6b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is CloudDeployment-PT-6b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r046-smll-152646362700259"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 ;