About the Execution of M4M.full for DLCround-PT-11a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7563.940 | 1210444.00 | 1214208.00 | 4255.40 | ???????????????? | 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 928K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 762K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-11a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649742900116
=====================================================================
--------------------
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 DLCround-PT-11a-CTLFireability-00
FORMULA_NAME DLCround-PT-11a-CTLFireability-01
FORMULA_NAME DLCround-PT-11a-CTLFireability-02
FORMULA_NAME DLCround-PT-11a-CTLFireability-03
FORMULA_NAME DLCround-PT-11a-CTLFireability-04
FORMULA_NAME DLCround-PT-11a-CTLFireability-05
FORMULA_NAME DLCround-PT-11a-CTLFireability-06
FORMULA_NAME DLCround-PT-11a-CTLFireability-07
FORMULA_NAME DLCround-PT-11a-CTLFireability-08
FORMULA_NAME DLCround-PT-11a-CTLFireability-09
FORMULA_NAME DLCround-PT-11a-CTLFireability-10
FORMULA_NAME DLCround-PT-11a-CTLFireability-11
FORMULA_NAME DLCround-PT-11a-CTLFireability-12
FORMULA_NAME DLCround-PT-11a-CTLFireability-13
FORMULA_NAME DLCround-PT-11a-CTLFireability-14
FORMULA_NAME DLCround-PT-11a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526687198394
BK_STOP 1526688408838
--------------------
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 DLCround-PT-11a as instance name.
Using DLCround as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 14558, 'Memory': 570.69, 'Tool': 'itstools'}, {'Time': 3106164, 'Memory': 15949.1, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 213.364747904932x far from the best tool itstools.
CTLFireability lola DLCround-PT-11a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-11a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-11a: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ DLCround-PT-11a @ 3540 seconds
make: [verify] Error 134 (ignored)
Makefile:222: recipe for target 'verify' failed
----- 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: 3370/65536 symbol table entries, 452 collisions
lola: preprocessing...
lola: finding significant places
lola: 377 places, 2993 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2646 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11a-CTLFireability.task
lola: A (G (A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467)))))) : E (((NOT FIREABLE(t2846) OR E (G (FIREABLE(t1074)))) U (A (G (FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944)))))) : E (F (NOT((E (G (FIREABLE(t2485))) OR E (F (FIREABLE(t2521))))))) : ((((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192)) AND E (F (E (F (FIREABLE(t1911)))))) AND A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))) : NOT(NOT(A (G (E (F (FIREABLE(t328))))))) : E (X (E (X (E (G (FIREABLE(t2409))))))) : (E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678)))))) OR (NOT(E (F ((FIREABLE(t1013) AND FIREABLE(t564))))) AND E (((FIREABLE(t1919) OR FIREABLE(t1138)) U NOT FIREABLE(t290))))) : E (F ((FIREABLE(t734) AND FIREABLE(t2520)))) : E (((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U NOT(E (F (FIREABLE(t2901)))))) : NOT(E ((A (F (FIREABLE(t1659))) U A (F (FIREABLE(t2779)))))) : A (G ((E (F (NOT FIREABLE(t321))) AND A (F (NOT FIREABLE(t480)))))) : ((FIREABLE(t255) OR A (G (E (F (FIREABLE(t1299)))))) OR E (G (FIREABLE(t973)))) : E (F (FIREABLE(t51))) : NOT((A (G ((NOT FIREABLE(t1319) OR NOT FIREABLE(t2069)))) OR FIREABLE(t1906))) : E (((E (F (FIREABLE(t2753))) OR FIREABLE(t2921)) U FIREABLE(t938))) : E (F (A (G ((FIREABLE(t1806) OR FIREABLE(t1372) OR (FIREABLE(t2545) AND FIREABLE(t865)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t2846) OR E (G (FIREABLE(t1074)))) U (A (G (FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((NOT FIREABLE(t2846) OR NOT(A(TRUE U NOT FIREABLE(t1074)))) U (NOT(E(TRUE U NOT FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944)))))
lola: processed formula length: 163
lola: 5 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 102981 markings, 5130320 edges, 3689348869717491712 markings/sec, 0 secs
lola: 227298 markings, 11022498 edges, 24863 markings/sec, 5 secs
lola: 351250 markings, 16729279 edges, 24790 markings/sec, 10 secs
lola: 478867 markings, 21990254 edges, 25523 markings/sec, 15 secs
lola: 604638 markings, 27236575 edges, 25154 markings/sec, 20 secs
lola: 729232 markings, 32527115 edges, 24919 markings/sec, 25 secs
lola: 856288 markings, 37962912 edges, 25411 markings/sec, 30 secs
lola: 979278 markings, 43110925 edges, 24598 markings/sec, 35 secs
lola: 1095548 markings, 48044771 edges, 23254 markings/sec, 40 secs
lola: 1208104 markings, 52866264 edges, 22511 markings/sec, 45 secs
lola: 1330734 markings, 58157831 edges, 24526 markings/sec, 50 secs
lola: 1449056 markings, 63141261 edges, 23664 markings/sec, 55 secs
lola: 1568335 markings, 68077562 edges, 23856 markings/sec, 60 secs
lola: 1690517 markings, 73235512 edges, 24436 markings/sec, 65 secs
lola: 1808062 markings, 78205443 edges, 23509 markings/sec, 70 secs
lola: 1928105 markings, 83462317 edges, 24009 markings/sec, 75 secs
lola: 2038266 markings, 88235476 edges, 22032 markings/sec, 80 secs
lola: 2146693 markings, 93057827 edges, 21685 markings/sec, 85 secs
lola: 2256973 markings, 97929975 edges, 22056 markings/sec, 90 secs
lola: 2371989 markings, 102829207 edges, 23003 markings/sec, 95 secs
lola: 2497993 markings, 108237556 edges, 25201 markings/sec, 100 secs
lola: 2610961 markings, 113168784 edges, 22594 markings/sec, 105 secs
lola: 2722137 markings, 118026965 edges, 22235 markings/sec, 110 secs
lola: 2835173 markings, 123004720 edges, 22607 markings/sec, 115 secs
lola: 2938615 markings, 127537192 edges, 20688 markings/sec, 120 secs
lola: 3048926 markings, 132344453 edges, 22062 markings/sec, 125 secs
lola: 3160557 markings, 137274646 edges, 22326 markings/sec, 130 secs
lola: 3271558 markings, 142181801 edges, 22200 markings/sec, 135 secs
lola: 3388015 markings, 147326936 edges, 23291 markings/sec, 140 secs
lola: 3503788 markings, 152433251 edges, 23155 markings/sec, 145 secs
lola: 3617408 markings, 157170674 edges, 22724 markings/sec, 150 secs
lola: 3730490 markings, 161973140 edges, 22616 markings/sec, 155 secs
lola: 3846538 markings, 166951902 edges, 23210 markings/sec, 160 secs
lola: 3956216 markings, 171803483 edges, 21936 markings/sec, 165 secs
lola: 4066986 markings, 176748553 edges, 22154 markings/sec, 170 secs
lola: 4182058 markings, 181827133 edges, 23014 markings/sec, 175 secs
lola: 4293829 markings, 186669658 edges, 22354 markings/sec, 180 secs
lola: 4400854 markings, 191308652 edges, 21405 markings/sec, 185 secs
lola: 4504846 markings, 195921330 edges, 20798 markings/sec, 190 secs
lola: 4613645 markings, 200760517 edges, 21760 markings/sec, 195 secs
lola: 4727677 markings, 205793302 edges, 22806 markings/sec, 200 secs
lola: 4843313 markings, 210794816 edges, 23127 markings/sec, 205 secs
lola: 4964165 markings, 215967778 edges, 24170 markings/sec, 210 secs
lola: 5084959 markings, 221206106 edges, 24159 markings/sec, 215 secs
lola: 5192914 markings, 226039380 edges, 21591 markings/sec, 220 secs
lola: 5303118 markings, 230965323 edges, 22041 markings/sec, 225 secs
lola: 5414256 markings, 235886511 edges, 22228 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (NOT((E (G (FIREABLE(t2485))) OR E (F (FIREABLE(t2521)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (A(TRUE U NOT FIREABLE(t2485)) AND NOT(E(TRUE U FIREABLE(t2521)))))
lola: processed formula length: 76
lola: 11 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 56167 markings, 5225424 edges, 3689348869717491712 markings/sec, 0 secs
lola: 137158 markings, 10642048 edges, 16198 markings/sec, 5 secs
lola: 218343 markings, 16448185 edges, 16237 markings/sec, 10 secs
lola: 288776 markings, 22069245 edges, 14087 markings/sec, 15 secs
lola: 378208 markings, 27451123 edges, 17886 markings/sec, 20 secs
lola: 471963 markings, 32501226 edges, 18751 markings/sec, 25 secs
lola: 564173 markings, 37480605 edges, 18442 markings/sec, 30 secs
lola: 653422 markings, 42495971 edges, 17850 markings/sec, 35 secs
lola: 752925 markings, 47537283 edges, 19901 markings/sec, 40 secs
lola: 853425 markings, 52636720 edges, 20100 markings/sec, 45 secs
lola: 951741 markings, 57545637 edges, 19663 markings/sec, 50 secs
lola: 1047709 markings, 62364106 edges, 19194 markings/sec, 55 secs
lola: 1124438 markings, 66945712 edges, 15346 markings/sec, 60 secs
lola: 1215700 markings, 71485516 edges, 18252 markings/sec, 65 secs
lola: 1311886 markings, 76560177 edges, 19237 markings/sec, 70 secs
lola: 1393411 markings, 81253365 edges, 16305 markings/sec, 75 secs
lola: 1482133 markings, 85784570 edges, 17744 markings/sec, 80 secs
lola: 1576262 markings, 90489009 edges, 18826 markings/sec, 85 secs
lola: 1673877 markings, 95458706 edges, 19523 markings/sec, 90 secs
lola: 1770796 markings, 100280781 edges, 19384 markings/sec, 95 secs
lola: 1869633 markings, 105310056 edges, 19767 markings/sec, 100 secs
lola: 1967630 markings, 110264316 edges, 19599 markings/sec, 105 secs
lola: 2040292 markings, 114839026 edges, 14532 markings/sec, 110 secs
lola: 2130275 markings, 119495234 edges, 17997 markings/sec, 115 secs
lola: 2222089 markings, 124284323 edges, 18363 markings/sec, 120 secs
lola: 2312589 markings, 128859516 edges, 18100 markings/sec, 125 secs
lola: 2402614 markings, 133446618 edges, 18005 markings/sec, 130 secs
lola: 2497431 markings, 138383645 edges, 18963 markings/sec, 135 secs
lola: 2588959 markings, 143081195 edges, 18306 markings/sec, 140 secs
lola: 2677197 markings, 147675677 edges, 17648 markings/sec, 145 secs
lola: 2759383 markings, 151970928 edges, 16437 markings/sec, 150 secs
lola: 2849512 markings, 156635305 edges, 18026 markings/sec, 155 secs
lola: 2937388 markings, 161152793 edges, 17575 markings/sec, 160 secs
lola: 3025328 markings, 165865615 edges, 17588 markings/sec, 165 secs
lola: 3115021 markings, 170536361 edges, 17939 markings/sec, 170 secs
lola: 3210762 markings, 175305163 edges, 19148 markings/sec, 175 secs
lola: 3303799 markings, 180016226 edges, 18607 markings/sec, 180 secs
lola: 3398149 markings, 184834138 edges, 18870 markings/sec, 185 secs
lola: 3495461 markings, 189734136 edges, 19462 markings/sec, 190 secs
lola: 3571368 markings, 194521407 edges, 15181 markings/sec, 195 secs
lola: 3659559 markings, 199058286 edges, 17638 markings/sec, 200 secs
lola: 3752319 markings, 203811925 edges, 18552 markings/sec, 205 secs
lola: 3842481 markings, 208521478 edges, 18032 markings/sec, 210 secs
lola: 3933395 markings, 213201591 edges, 18183 markings/sec, 215 secs
lola: 4025466 markings, 217970497 edges, 18414 markings/sec, 220 secs
lola: 4116389 markings, 222726021 edges, 18185 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192)) AND E (F (E (F (FIREABLE(t1911)))))) AND A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192))
lola: processed formula length: 67
lola: 2 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1911)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U FIREABLE(t2625))) AND (FIREABLE(t2822) AND NOT FIREABLE(t1659)))))
lola: processed formula length: 93
lola: 6 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 111198 markings, 5412390 edges, 2865122792821489664 markings/sec, 0 secs
lola: 239445 markings, 11359072 edges, 25649 markings/sec, 5 secs
lola: 369529 markings, 17067791 edges, 26017 markings/sec, 10 secs
lola: 499814 markings, 22350965 edges, 26057 markings/sec, 15 secs
lola: 629602 markings, 27618514 edges, 25958 markings/sec, 20 secs
lola: 760538 markings, 33042312 edges, 26187 markings/sec, 25 secs
lola: 890466 markings, 38407103 edges, 25986 markings/sec, 30 secs
lola: 1017579 markings, 43687654 edges, 25423 markings/sec, 35 secs
lola: 1136184 markings, 48598474 edges, 23721 markings/sec, 40 secs
lola: 1262394 markings, 53807786 edges, 25242 markings/sec, 45 secs
lola: 1384074 markings, 58854482 edges, 24336 markings/sec, 50 secs
lola: 1508417 markings, 63991727 edges, 24869 markings/sec, 55 secs
lola: 1635553 markings, 69172729 edges, 25427 markings/sec, 60 secs
lola: 1761608 markings, 74326764 edges, 25211 markings/sec, 65 secs
lola: 1886836 markings, 79591441 edges, 25046 markings/sec, 70 secs
lola: 2004963 markings, 84618522 edges, 23625 markings/sec, 75 secs
lola: 2115426 markings, 89397540 edges, 22093 markings/sec, 80 secs
lola: 2233047 markings, 94448042 edges, 23524 markings/sec, 85 secs
lola: 2347450 markings, 99257163 edges, 22881 markings/sec, 90 secs
lola: 2482046 markings, 104870026 edges, 26919 markings/sec, 95 secs
lola: 2600694 markings, 109915047 edges, 23730 markings/sec, 100 secs
lola: 2717005 markings, 114871213 edges, 23262 markings/sec, 105 secs
lola: 2835039 markings, 119931232 edges, 23607 markings/sec, 110 secs
lola: 2950561 markings, 124854645 edges, 23104 markings/sec, 115 secs
lola: 3064621 markings, 129720794 edges, 22812 markings/sec, 120 secs
lola: 3179705 markings, 134672227 edges, 23017 markings/sec, 125 secs
lola: 3295825 markings, 139644766 edges, 23224 markings/sec, 130 secs
lola: 3413933 markings, 144766356 edges, 23622 markings/sec, 135 secs
lola: 3533582 markings, 149936532 edges, 23930 markings/sec, 140 secs
lola: 3649883 markings, 154559813 edges, 23260 markings/sec, 145 secs
lola: 3766327 markings, 159446045 edges, 23289 markings/sec, 150 secs
lola: 3883660 markings, 164419396 edges, 23467 markings/sec, 155 secs
lola: 3997875 markings, 169340204 edges, 22843 markings/sec, 160 secs
lola: 4113488 markings, 174336400 edges, 23123 markings/sec, 165 secs
lola: 4232274 markings, 179405572 edges, 23757 markings/sec, 170 secs
lola: 4342703 markings, 184058259 edges, 22086 markings/sec, 175 secs
lola: 4453577 markings, 188844739 edges, 22175 markings/sec, 180 secs
lola: 4562575 markings, 193550335 edges, 21800 markings/sec, 185 secs
lola: 4676223 markings, 198472037 edges, 22730 markings/sec, 190 secs
lola: 4798107 markings, 203665363 edges, 24377 markings/sec, 195 secs
lola: 4917537 markings, 208697250 edges, 23886 markings/sec, 200 secs
lola: 5045070 markings, 213959770 edges, 25507 markings/sec, 205 secs
lola: 5160983 markings, 219037407 edges, 23183 markings/sec, 210 secs
lola: 5273096 markings, 223880745 edges, 22423 markings/sec, 215 secs
lola: 5385892 markings, 228802113 edges, 22559 markings/sec, 220 secs
lola: 5499917 markings, 233716695 edges, 22805 markings/sec, 225 secs
lola: 5619875 markings, 238812573 edges, 23992 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G (E (F (FIREABLE(t328)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: liveness not yet implemented, converting to CTL...
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U FIREABLE(t328)))))
lola: processed formula length: 44
lola: 12 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 107869 markings, 5257325 edges, 3689330178019819520 markings/sec, 0 secs
lola: 235111 markings, 11147589 edges, 25448 markings/sec, 5 secs
lola: 364026 markings, 16844082 edges, 25783 markings/sec, 10 secs
lola: 494031 markings, 22106491 edges, 26001 markings/sec, 15 secs
lola: 623091 markings, 27355339 edges, 25812 markings/sec, 20 secs
lola: 753431 markings, 32736330 edges, 26068 markings/sec, 25 secs
lola: 883845 markings, 38117763 edges, 26083 markings/sec, 30 secs
lola: 1011291 markings, 43415286 edges, 25489 markings/sec, 35 secs
lola: 1130259 markings, 48346407 edges, 23794 markings/sec, 40 secs
lola: 1255002 markings, 53504480 edges, 24949 markings/sec, 45 secs
lola: 1377634 markings, 58571011 edges, 24526 markings/sec, 50 secs
lola: 1502063 markings, 63724345 edges, 24886 markings/sec, 55 secs
lola: 1628471 markings, 68877836 edges, 25282 markings/sec, 60 secs
lola: 1754095 markings, 74034795 edges, 25125 markings/sec, 65 secs
lola: 1880419 markings, 79311982 edges, 25265 markings/sec, 70 secs
lola: 1998917 markings, 84371087 edges, 23700 markings/sec, 75 secs
lola: 2108235 markings, 89090942 edges, 21864 markings/sec, 80 secs
lola: 2225798 markings, 94141736 edges, 23513 markings/sec, 85 secs
lola: 2340393 markings, 98962154 edges, 22919 markings/sec, 90 secs
lola: 2473846 markings, 104542462 edges, 26691 markings/sec, 95 secs
lola: 2593974 markings, 109630052 edges, 24026 markings/sec, 100 secs
lola: 2710321 markings, 114577291 edges, 23269 markings/sec, 105 secs
lola: 2826449 markings, 119585333 edges, 23226 markings/sec, 110 secs
lola: 2942504 markings, 124518968 edges, 23211 markings/sec, 115 secs
lola: 3057471 markings, 129411888 edges, 22993 markings/sec, 120 secs
lola: 3173755 markings, 134423863 edges, 23257 markings/sec, 125 secs
lola: 3290455 markings, 139426092 edges, 23340 markings/sec, 130 secs
lola: 3409755 markings, 144598022 edges, 23860 markings/sec, 135 secs
lola: 3531548 markings, 149843725 edges, 24359 markings/sec, 140 secs
lola: 3650139 markings, 154571653 edges, 23718 markings/sec, 145 secs
lola: 3769112 markings, 159560073 edges, 23795 markings/sec, 150 secs
lola: 3887938 markings, 164605641 edges, 23765 markings/sec, 155 secs
lola: 4003535 markings, 169593447 edges, 23119 markings/sec, 160 secs
lola: 4121131 markings, 174659501 edges, 23519 markings/sec, 165 secs
lola: 4240549 markings, 179758369 edges, 23884 markings/sec, 170 secs
lola: 4351330 markings, 184431543 edges, 22156 markings/sec, 175 secs
lola: 4463353 markings, 189274081 edges, 22405 markings/sec, 180 secs
lola: 4574418 markings, 194069371 edges, 22213 markings/sec, 185 secs
lola: 4687792 markings, 199000119 edges, 22675 markings/sec, 190 secs
lola: 4812072 markings, 204258253 edges, 24856 markings/sec, 195 secs
lola: 4934655 markings, 209391695 edges, 24517 markings/sec, 200 secs
lola: 5060343 markings, 214628742 edges, 25138 markings/sec, 205 secs
lola: 5176146 markings, 219702331 edges, 23161 markings/sec, 210 secs
lola: 5290199 markings, 224620261 edges, 22811 markings/sec, 215 secs
lola: 5403452 markings, 229568121 edges, 22651 markings/sec, 220 secs
lola: 5518721 markings, 234512443 edges, 23054 markings/sec, 225 secs
lola: 5638712 markings, 239630808 edges, 23998 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (E (G (FIREABLE(t2409)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(EX(NOT(A(TRUE U NOT FIREABLE(t2409)))))
lola: processed formula length: 42
lola: 4 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 4 markings, 8 edges
lola: ========================================
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678)))))) OR (NOT(E (F ((FIREABLE(t1013) AND FIREABLE(t564))))) AND E (((FIREABLE(t1919) OR FIREABLE(t1138)) U NOT FIREABLE(t290)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: possible invariance not yet implemented, converting to CTL...
lola: processed formula: E(TRUE U NOT(E(TRUE U (NOT FIREABLE(t2544) OR NOT FIREABLE(t678)))))
lola: processed formula length: 69
lola: 6 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 106696 markings, 5325402 edges, 21326 markings/sec, 0 secs
lola: 231411 markings, 11239816 edges, 24943 markings/sec, 5 secs
lola: 356207 markings, 16964989 edges, 24959 markings/sec, 10 secs
lola: 478362 markings, 22010159 edges, 24431 markings/sec, 15 secs
lola: 603724 markings, 27255680 edges, 25072 markings/sec, 20 secs
lola: 727966 markings, 32548834 edges, 24848 markings/sec, 25 secs
lola: 853671 markings, 37947771 edges, 25141 markings/sec, 30 secs
lola: 977423 markings, 43147635 edges, 24750 markings/sec, 35 secs
lola: 1094488 markings, 48135620 edges, 23413 markings/sec, 40 secs
lola: 1207923 markings, 53014082 edges, 22687 markings/sec, 45 secs
lola: 1329656 markings, 58310905 edges, 24347 markings/sec, 50 secs
lola: 1449306 markings, 63358492 edges, 23930 markings/sec, 55 secs
lola: 1569333 markings, 68341832 edges, 24005 markings/sec, 60 secs
lola: 1691856 markings, 73535906 edges, 24505 markings/sec, 65 secs
lola: 1809174 markings, 78515440 edges, 23464 markings/sec, 70 secs
lola: 1929612 markings, 83817673 edges, 24088 markings/sec, 75 secs
lola: 2039507 markings, 88599121 edges, 21979 markings/sec, 80 secs
lola: 2147552 markings, 93425438 edges, 21609 markings/sec, 85 secs
lola: 2258258 markings, 98341663 edges, 22141 markings/sec, 90 secs
lola: 2374659 markings, 103311776 edges, 23280 markings/sec, 95 secs
lola: 2501009 markings, 108756362 edges, 25270 markings/sec, 100 secs
lola: 2614088 markings, 113723501 edges, 22616 markings/sec, 105 secs
lola: 2725596 markings, 118598720 edges, 22302 markings/sec, 110 secs
lola: 2839163 markings, 123631771 edges, 22713 markings/sec, 115 secs
lola: 2950673 markings, 128518406 edges, 22302 markings/sec, 120 secs
lola: 3061154 markings, 133365050 edges, 22096 markings/sec, 125 secs
lola: 3172418 markings, 138310313 edges, 22253 markings/sec, 130 secs
lola: 3283431 markings, 143228873 edges, 22203 markings/sec, 135 secs
lola: 3399404 markings, 148384573 edges, 23195 markings/sec, 140 secs
lola: 3516664 markings, 153600944 edges, 23452 markings/sec, 145 secs
lola: 3631202 markings, 158344671 edges, 22908 markings/sec, 150 secs
lola: 3747790 markings, 163336421 edges, 23318 markings/sec, 155 secs
lola: 3862402 markings, 168297050 edges, 22922 markings/sec, 160 secs
lola: 3972046 markings, 173176375 edges, 21929 markings/sec, 165 secs
lola: 4084259 markings, 178189462 edges, 22443 markings/sec, 170 secs
lola: 4200699 markings, 183290690 edges, 23288 markings/sec, 175 secs
lola: 4311790 markings, 188109203 edges, 22218 markings/sec, 180 secs
lola: 4418840 markings, 192838149 edges, 21410 markings/sec, 185 secs
lola: 4522207 markings, 197429440 edges, 20673 markings/sec, 190 secs
lola: 4633103 markings, 202363761 edges, 22179 markings/sec, 195 secs
lola: 4746972 markings, 207422655 edges, 22774 markings/sec, 200 secs
lola: 4862331 markings, 212458214 edges, 23072 markings/sec, 205 secs
lola: 4983840 markings, 217654345 edges, 24302 markings/sec, 210 secs
lola: 5105074 markings, 222980988 edges, 24247 markings/sec, 215 secs
lola: 5211276 markings, 227761921 edges, 21240 markings/sec, 220 secs
lola: 5320959 markings, 232683370 edges, 21937 markings/sec, 225 secs
lola: 5435417 markings, 237730318 edges, 22892 markings/sec, 230 secs
lola: 5545852 markings, 242630786 edges, 22087 markings/sec, 235 secs
lola: 5658714 markings, 247610186 edges, 22572 markings/sec, 240 secs
lola: 5765195 markings, 252252549 edges, 21296 markings/sec, 245 secs
lola: 5877889 markings, 257184290 edges, 22539 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '`'
Aborted (core dumped)
FORMULA DLCround-PT-11a-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- 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="DLCround-PT-11a"
export BK_EXAMINATION="CTLFireability"
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/DLCround-PT-11a.tgz
mv DLCround-PT-11a 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 DLCround-PT-11a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649742900116"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;