About the Execution of M4M.struct for DLCshifumi-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13442.870 | 1059788.00 | 1059704.00 | 5156.00 | ???????????????? | 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 7.0M
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K 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 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 6.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DLCshifumi-PT-6a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744000213
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526736047723
BK_STOP 1526737107511
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCshifumi-PT-6a as instance name.
Using DLCshifumi as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 121643, 'Memory': 2443.22, 'Tool': 'marcie'}, {'Time': 123857, 'Memory': 2443.32, 'Tool': 'marcie'}, {'Time': 1661746, 'Memory': 15935.02, 'Tool': 'lola'}, {'Time': 2504143, 'Memory': 15936.42, 'Tool': 'lola'}, {'Time': 2724973, 'Memory': 8355, 'Tool': 'itstools'}, {'Time': 2759039, 'Memory': 8339.4, 'Tool': 'itstools'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 13.660843616155471x far from the best tool marcie.
CTLCardinality lola DLCshifumi-PT-6a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCshifumi-PT-6a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCshifumi-PT-6a: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLCardinality @ DLCshifumi-PT-6a @ 3539 seconds
make: [verify] Error 134 (ignored)
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 29504/65536 symbol table entries, 13256 collisions
lola: preprocessing...
lola: finding significant places
lola: 3568 places, 25936 transitions, 1153 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 22565 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-6a-CTLCardinality.task
lola: A (F (((2 <= p833) AND (p207 <= p3491) AND ((p1713 <= p2414) OR (2 <= p2041)) AND (p457 <= 2)))) : (E (F (E (X ((3 <= p733))))) OR ((E (G ((2 <= p1391))) AND (((p1651 <= p1455) AND (2 <= p1718)) OR (2 <= p251))) AND E (((p2932 <= p739) U (p305 <= p3434))))) : A (F (((((p153 <= p2234) AND (2 <= p2552)) OR ((p937 <= p3261) AND (2 <= p2559))) AND (p3373 <= p586)))) : E (((((p891 <= p641) OR (p2166 <= p1313)) AND ((p243 <= p355) OR (3 <= p812))) U E (G ((3 <= p3300))))) : E (X (A (F ((p1702 + 1 <= p1257))))) : A (G (E (F ((2 <= p641))))) : A (G (((2 <= p1705) OR E (F ((1 <= p1221)))))) : (E (G ((((p2917 <= p110) AND (1 <= p1687)) OR (p3510 <= p917)))) OR (E (G ((p1991 <= 2))) OR E (G (((2 <= p1096) AND (p1649 <= p3315)))))) : NOT(((((p2173 <= 1) AND (p3281 + 1 <= p2645)) OR (p626 + 1 <= p1512)) OR A (F ((p3229 + 1 <= p3380))))) : E (G (E (((p2238 <= p1673) U (p1572 <= p2942))))) : A (F (A (G ((3 <= p1007))))) : ((A (F ((p2141 + 1 <= p2476))) AND E (((p3563 <= p2234) U (1 <= p1013)))) OR (3 <= p1024)) : E ((A (F ((3 <= p1261))) U ((p2682 + 1 <= p1477) AND ((p1842 <= p2215) OR (p1337 <= p3353))))) : E ((E (F ((1 <= p1148))) U A (G ((1 <= p854))))) : A (G (E (((p3434 <= p767) U (p1333 <= p1580))))) : E (G ((E (G ((p1770 <= p2356))) AND ((p1518 <= p2112) AND (p1712 <= 2)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((2 <= p833) AND (p207 <= p3491) AND ((p1713 <= p2414) OR (2 <= p2041)) AND (p457 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((2 <= p833) AND (p207 <= p3491) AND ((p1713 <= p2414) OR (2 <= p2041)) AND (p457 <= 2))))
lola: processed formula: A (F (((2 <= p833) AND (p207 <= p3491) AND ((p1713 <= p2414) OR (2 <= p2041)) AND (p457 <= 2))))
lola: processed formula length: 97
lola: 0 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F (E (X ((3 <= p733))))) OR ((E (G ((2 <= p1391))) AND (((p1651 <= p1455) AND (2 <= p1718)) OR (2 <= p251))) AND E (((p2932 <= p739) U (p305 <= p3434)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X ((3 <= p733)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX((3 <= p733)))
lola: processed formula length: 25
lola: 3 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 31 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: 215 markings, 12213 edges, 3689329903141912576 markings/sec, 0 secs
lola: 558 markings, 33383 edges, 69 markings/sec, 5 secs
lola: 878 markings, 53439 edges, 64 markings/sec, 10 secs
lola: 1435 markings, 88561 edges, 111 markings/sec, 15 secs
lola: 2010 markings, 125039 edges, 115 markings/sec, 20 secs
lola: 2596 markings, 162510 edges, 117 markings/sec, 25 secs
lola: 3190 markings, 200509 edges, 119 markings/sec, 30 secs
lola: 3789 markings, 238935 edges, 120 markings/sec, 35 secs
lola: 4392 markings, 278388 edges, 121 markings/sec, 40 secs
lola: 4996 markings, 318658 edges, 121 markings/sec, 45 secs
lola: 5596 markings, 358728 edges, 120 markings/sec, 50 secs
lola: 6204 markings, 399187 edges, 122 markings/sec, 55 secs
lola: 6811 markings, 439487 edges, 121 markings/sec, 60 secs
lola: 7417 markings, 480372 edges, 121 markings/sec, 65 secs
lola: 8016 markings, 521270 edges, 120 markings/sec, 70 secs
lola: 8617 markings, 562658 edges, 120 markings/sec, 75 secs
lola: 9221 markings, 603923 edges, 121 markings/sec, 80 secs
lola: 9826 markings, 646334 edges, 121 markings/sec, 85 secs
lola: 10432 markings, 687646 edges, 121 markings/sec, 90 secs
lola: 11038 markings, 728751 edges, 121 markings/sec, 95 secs
lola: 11647 markings, 770385 edges, 122 markings/sec, 100 secs
lola: 12256 markings, 812272 edges, 122 markings/sec, 105 secs
lola: 12867 markings, 853326 edges, 122 markings/sec, 110 secs
lola: 13482 markings, 895327 edges, 123 markings/sec, 115 secs
lola: 14102 markings, 937945 edges, 124 markings/sec, 120 secs
lola: 14718 markings, 981266 edges, 123 markings/sec, 125 secs
lola: 15337 markings, 1022922 edges, 124 markings/sec, 130 secs
lola: 15960 markings, 1065158 edges, 125 markings/sec, 135 secs
lola: 16585 markings, 1109246 edges, 125 markings/sec, 140 secs
lola: 17209 markings, 1153858 edges, 125 markings/sec, 145 secs
lola: 17832 markings, 1198919 edges, 125 markings/sec, 150 secs
lola: 18458 markings, 1242133 edges, 125 markings/sec, 155 secs
lola: 19084 markings, 1286350 edges, 125 markings/sec, 160 secs
lola: 19708 markings, 1332054 edges, 125 markings/sec, 165 secs
lola: 20332 markings, 1377586 edges, 125 markings/sec, 170 secs
lola: 20900 markings, 1417106 edges, 114 markings/sec, 175 secs
lola: 21489 markings, 1458934 edges, 118 markings/sec, 180 secs
lola: 22086 markings, 1499169 edges, 119 markings/sec, 185 secs
lola: 22693 markings, 1541708 edges, 121 markings/sec, 190 secs
lola: 23314 markings, 1586105 edges, 124 markings/sec, 195 secs
lola: 23935 markings, 1631043 edges, 124 markings/sec, 200 secs
lola: 24515 markings, 1670990 edges, 116 markings/sec, 205 secs
lola: 25099 markings, 1712802 edges, 117 markings/sec, 210 secs
lola: 25692 markings, 1756302 edges, 119 markings/sec, 215 secs
lola: 26289 markings, 1797909 edges, 119 markings/sec, 220 secs
lola: 26888 markings, 1839385 edges, 120 markings/sec, 225 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 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((((p153 <= p2234) AND (2 <= p2552)) OR ((p937 <= p3261) AND (2 <= p2559))) AND (p3373 <= p586))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((((p153 <= p2234) AND (2 <= p2552)) OR ((p937 <= p3261) AND (2 <= p2559))) AND (p3373 <= p586))))
lola: processed formula: A (F (((((p153 <= p2234) AND (2 <= p2552)) OR ((p937 <= p3261) AND (2 <= p2559))) AND (p3373 <= p586))))
lola: processed formula length: 105
lola: 0 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2 markings, 2 edges
lola: ========================================
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((((p891 <= p641) OR (p2166 <= p1313)) AND ((p243 <= p355) OR (3 <= p812))) U E (G ((3 <= p3300)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((((p891 <= p641) OR (p2166 <= p1313)) AND ((p243 <= p355) OR (3 <= p812))) U NOT(A(TRUE U (p3300 <= 2))))
lola: processed formula length: 109
lola: 3 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 31 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: 17267 markings, 1175393 edges, 3453 markings/sec, 0 secs
lola: 33884 markings, 2368328 edges, 3323 markings/sec, 5 secs
lola: 50433 markings, 3590073 edges, 3310 markings/sec, 10 secs
lola: 66849 markings, 4786612 edges, 3283 markings/sec, 15 secs
lola: 83258 markings, 5986676 edges, 3282 markings/sec, 20 secs
lola: 99383 markings, 7181691 edges, 3225 markings/sec, 25 secs
lola: 115895 markings, 8383527 edges, 3302 markings/sec, 30 secs
lola: 132272 markings, 9600775 edges, 3275 markings/sec, 35 secs
lola: 148514 markings, 10788615 edges, 3248 markings/sec, 40 secs
lola: 164688 markings, 11986292 edges, 3235 markings/sec, 45 secs
lola: 181222 markings, 13180669 edges, 3307 markings/sec, 50 secs
lola: 197658 markings, 14392013 edges, 3287 markings/sec, 55 secs
lola: 213969 markings, 15589900 edges, 3262 markings/sec, 60 secs
lola: 230551 markings, 16785267 edges, 3316 markings/sec, 65 secs
lola: 247002 markings, 17983901 edges, 3290 markings/sec, 70 secs
lola: 263770 markings, 19206997 edges, 3354 markings/sec, 75 secs
lola: 280194 markings, 20412459 edges, 3285 markings/sec, 80 secs
lola: 296642 markings, 21630190 edges, 3290 markings/sec, 85 secs
lola: 312948 markings, 22846320 edges, 3261 markings/sec, 90 secs
lola: 329416 markings, 24044246 edges, 3294 markings/sec, 95 secs
lola: 346117 markings, 25259546 edges, 3340 markings/sec, 100 secs
lola: 362711 markings, 26475984 edges, 3319 markings/sec, 105 secs
lola: 379261 markings, 27679290 edges, 3310 markings/sec, 110 secs
lola: 395872 markings, 28884382 edges, 3322 markings/sec, 115 secs
lola: 412467 markings, 30105201 edges, 3319 markings/sec, 120 secs
lola: 429174 markings, 31341581 edges, 3341 markings/sec, 125 secs
lola: 445673 markings, 32577531 edges, 3300 markings/sec, 130 secs
lola: 462148 markings, 33815364 edges, 3295 markings/sec, 135 secs
lola: 479374 markings, 35065271 edges, 3445 markings/sec, 140 secs
lola: 495997 markings, 36301589 edges, 3325 markings/sec, 145 secs
lola: 512523 markings, 37555301 edges, 3305 markings/sec, 150 secs
lola: 529193 markings, 38807308 edges, 3334 markings/sec, 155 secs
lola: 546258 markings, 40059862 edges, 3413 markings/sec, 160 secs
lola: 563059 markings, 41310142 edges, 3360 markings/sec, 165 secs
lola: 579864 markings, 42557177 edges, 3361 markings/sec, 170 secs
lola: 596415 markings, 43803022 edges, 3310 markings/sec, 175 secs
lola: 612959 markings, 45047595 edges, 3309 markings/sec, 180 secs
lola: 629491 markings, 46291971 edges, 3306 markings/sec, 185 secs
lola: 645764 markings, 47543273 edges, 3255 markings/sec, 190 secs
lola: 662136 markings, 48795253 edges, 3274 markings/sec, 195 secs
lola: 678634 markings, 50047314 edges, 3300 markings/sec, 200 secs
lola: 695378 markings, 51284565 edges, 3349 markings/sec, 205 secs
lola: 712081 markings, 52517816 edges, 3341 markings/sec, 210 secs
lola: 728574 markings, 53755072 edges, 3299 markings/sec, 215 secs
lola: 745335 markings, 54994859 edges, 3352 markings/sec, 220 secs
lola: 761656 markings, 56243097 edges, 3264 markings/sec, 225 secs
lola: 778321 markings, 57486477 edges, 3333 markings/sec, 230 secs
lola: 794629 markings, 58732495 edges, 3262 markings/sec, 235 secs
lola: 811020 markings, 59974161 edges, 3278 markings/sec, 240 secs
lola: 827399 markings, 61222764 edges, 3276 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (A (F ((p1702 + 1 <= p1257)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(A(TRUE U (p1702 + 1 <= p1257)))
lola: processed formula length: 34
lola: 2 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((2 <= p641)))))
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 (2 <= p641)))))
lola: processed formula length: 41
lola: 2 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 31 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: 17636 markings, 1184576 edges, 3689329903141912576 markings/sec, 0 secs
lola: 34618 markings, 2389446 edges, 3396 markings/sec, 5 secs
lola: 51499 markings, 3612712 edges, 3376 markings/sec, 10 secs
lola: 68232 markings, 4821637 edges, 3347 markings/sec, 15 secs
lola: 84992 markings, 6030133 edges, 3352 markings/sec, 20 secs
lola: 101592 markings, 7238037 edges, 3320 markings/sec, 25 secs
lola: 118336 markings, 8448310 edges, 3349 markings/sec, 30 secs
lola: 134977 markings, 9660220 edges, 3328 markings/sec, 35 secs
lola: 151555 markings, 10864859 edges, 3316 markings/sec, 40 secs
lola: 168147 markings, 12072072 edges, 3318 markings/sec, 45 secs
lola: 185063 markings, 13279859 edges, 3383 markings/sec, 50 secs
lola: 201912 markings, 14494998 edges, 3370 markings/sec, 55 secs
lola: 218546 markings, 15704845 edges, 3327 markings/sec, 60 secs
lola: 235552 markings, 16910111 edges, 3401 markings/sec, 65 secs
lola: 252545 markings, 18125358 edges, 3399 markings/sec, 70 secs
lola: 269368 markings, 19350731 edges, 3365 markings/sec, 75 secs
lola: 286239 markings, 20574151 edges, 3374 markings/sec, 80 secs
lola: 303061 markings, 21802172 edges, 3364 markings/sec, 85 secs
lola: 319787 markings, 23031195 edges, 3345 markings/sec, 90 secs
lola: 336615 markings, 24241057 edges, 3366 markings/sec, 95 secs
lola: 353752 markings, 25467587 edges, 3427 markings/sec, 100 secs
lola: 369394 markings, 26586869 edges, 3128 markings/sec, 105 secs
lola: 386420 markings, 27811699 edges, 3405 markings/sec, 110 secs
lola: 403380 markings, 29031649 edges, 3392 markings/sec, 115 secs
lola: 420467 markings, 30272391 edges, 3417 markings/sec, 120 secs
lola: 437375 markings, 31515376 edges, 3382 markings/sec, 125 secs
lola: 454276 markings, 32762294 edges, 3380 markings/sec, 130 secs
lola: 471381 markings, 34012449 edges, 3421 markings/sec, 135 secs
lola: 488620 markings, 35256164 edges, 3448 markings/sec, 140 secs
lola: 505374 markings, 36507450 edges, 3351 markings/sec, 145 secs
lola: 522094 markings, 37762194 edges, 3344 markings/sec, 150 secs
lola: 539460 markings, 39015769 edges, 3473 markings/sec, 155 secs
lola: 556580 markings, 40268491 edges, 3424 markings/sec, 160 secs
lola: 573759 markings, 41518666 edges, 3436 markings/sec, 165 secs
lola: 590500 markings, 42773800 edges, 3348 markings/sec, 170 secs
lola: 607542 markings, 44023476 edges, 3408 markings/sec, 175 secs
lola: 624239 markings, 45272696 edges, 3339 markings/sec, 180 secs
lola: 640880 markings, 46524560 edges, 3328 markings/sec, 185 secs
lola: 657419 markings, 47774458 edges, 3308 markings/sec, 190 secs
lola: 674095 markings, 49031142 edges, 3335 markings/sec, 195 secs
lola: 690962 markings, 50272122 edges, 3373 markings/sec, 200 secs
lola: 707983 markings, 51504207 edges, 3404 markings/sec, 205 secs
lola: 724786 markings, 52740663 edges, 3361 markings/sec, 210 secs
lola: 741711 markings, 53976914 edges, 3385 markings/sec, 215 secs
lola: 758196 markings, 55221329 edges, 3297 markings/sec, 220 secs
lola: 774238 markings, 56408631 edges, 3208 markings/sec, 225 secs
lola: 790591 markings, 57652216 edges, 3271 markings/sec, 230 secs
lola: 807453 markings, 58890871 edges, 3372 markings/sec, 235 secs
lola: 824024 markings, 60138177 edges, 3314 markings/sec, 240 secs
lola: 840832 markings, 61385905 edges, 3362 markings/sec, 245 secs
lola: 857162 markings, 62629860 edges, 3266 markings/sec, 250 secs
lola: 873465 markings, 63871764 edges, 3261 markings/sec, 255 secs
lola: 890528 markings, 65112333 edges, 3413 markings/sec, 260 secs
lola: 907493 markings, 66351062 edges, 3393 markings/sec, 265 secs
lola: 924153 markings, 67590914 edges, 3332 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= p1705) OR E (F ((1 <= p1221))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U ((p1705 <= 1) AND NOT(E(TRUE U (1 <= p1221))))))
lola: processed formula length: 61
lola: 4 rewrites
lola: formula mentions 0 of 3568 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-6a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 148 bytes per marking, with 31 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: 15661 markings, 1163048 edges, 3689329903141912576 markings/sec, 0 secs
lola: 32758 markings, 2371912 edges, 3419 markings/sec, 5 secs
lola: 49667 markings, 3601182 edges, 3382 markings/sec, 10 secs
lola: 66542 markings, 4815765 edges, 3375 markings/sec, 15 secs
lola: 83394 markings, 6032109 edges, 3370 markings/sec, 20 secs
lola: 98620 markings, 7143629 edges, 3045 markings/sec, 25 secs
lola: 115476 markings, 8355583 edges, 3371 markings/sec, 30 secs
lola: 132158 markings, 9578439 edges, 3336 markings/sec, 35 secs
lola: 148872 markings, 10784216 edges, 3343 markings/sec, 40 secs
lola: 165522 markings, 11999567 edges, 3330 markings/sec, 45 secs
lola: 182542 markings, 13211372 edges, 3404 markings/sec, 50 secs
lola: 199389 markings, 14434442 edges, 3369 markings/sec, 55 secs
lola: 216112 markings, 15649501 edges, 3345 markings/sec, 60 secs
lola: 231739 markings, 16756456 edges, 3125 markings/sec, 65 secs
lola: 248741 markings, 17975134 edges, 3400 markings/sec, 70 secs
lola: 265767 markings, 19207521 edges, 3405 markings/sec, 75 secs
lola: 282665 markings, 20436425 edges, 3380 markings/sec, 80 secs
lola: 299673 markings, 21668552 edges, 3402 markings/sec, 85 secs
lola: 316423 markings, 22907585 edges, 3350 markings/sec, 90 secs
lola: 333423 markings, 24125598 edges, 3400 markings/sec, 95 secs
lola: 350591 markings, 25357043 edges, 3434 markings/sec, 100 secs
lola: 367722 markings, 26584620 edges, 3426 markings/sec, 105 secs
lola: 384779 markings, 27810716 edges, 3411 markings/sec, 110 secs
lola: 401787 markings, 29032400 edges, 3402 markings/sec, 115 secs
lola: 418851 markings, 30273509 edges, 3413 markings/sec, 120 secs
lola: 435783 markings, 31516026 edges, 3386 markings/sec, 125 secs
lola: 452700 markings, 32764569 edges, 3383 markings/sec, 130 secs
lola: 469793 markings, 34014458 edges, 3419 markings/sec, 135 secs
lola: 487054 markings, 35261654 edges, 3452 markings/sec, 140 secs
lola: 503887 markings, 36514221 edges, 3367 markings/sec, 145 secs
lola: 520612 markings, 37769842 edges, 3345 markings/sec, 150 secs
lola: 537950 markings, 39024008 edges, 3468 markings/sec, 155 secs
lola: 555075 markings, 40277353 edges, 3425 markings/sec, 160 secs
lola: 572309 markings, 41527955 edges, 3447 markings/sec, 165 secs
lola: 589080 markings, 42783602 edges, 3354 markings/sec, 170 secs
lola: 606131 markings, 44034242 edges, 3410 markings/sec, 175 secs
lola: 622810 markings, 45285400 edges, 3336 markings/sec, 180 secs
lola: 639492 markings, 46536317 edges, 3336 markings/sec, 185 secs
lola: 656048 markings, 47787616 edges, 3311 markings/sec, 190 secs
lola: 672699 markings, 49046106 edges, 3330 markings/sec, 195 secs
lola: 689518 markings, 50289886 edges, 3364 markings/sec, 200 secs
lola: 706614 markings, 51524407 edges, 3419 markings/sec, 205 secs
lola: 723465 markings, 52759624 edges, 3370 markings/sec, 210 secs
lola: 740361 markings, 53998182 edges, 3379 markings/sec, 215 secs
lola: 756893 markings, 55242818 edges, 3306 markings/sec, 220 secs
lola: 773695 markings, 56487285 edges, 3360 markings/sec, 225 secs
lola: 790088 markings, 57732697 edges, 3279 markings/sec, 230 secs
lola: 806947 markings, 58971730 edges, 3372 markings/sec, 235 secs
lola: 823502 markings, 60217977 edges, 3311 markings/sec, 240 secs
lola: 840346 markings, 61468972 edges, 3369 markings/sec, 245 secs
lola: 856739 markings, 62717806 edges, 3279 markings/sec, 250 secs
lola: 873161 markings, 63966199 edges, 3284 markings/sec, 255 secs
lola: 890308 markings, 65214163 edges, 3429 markings/sec, 260 secs
lola: 907352 markings, 66459396 edges, 3409 markings/sec, 265 secs
lola: 924119 markings, 67706646 edges, 3353 markings/sec, 270 secs
lola: local time limit reached - aborting
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: '\ufffd'
Aborted (core dumped)
FORMULA DLCshifumi-PT-6a-CTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-6a-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-6a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-6a.tgz
mv DLCshifumi-PT-6a 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-structural"
echo " Input is DLCshifumi-PT-6a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649744000213"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;