About the Execution of M4M.struct for DNAwalker-PT-09ringLR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1535.660 | 1422740.00 | 2849329.00 | 4529.30 | ???????????????? | 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 276K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.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 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DNAwalker-PT-09ringLR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744100285
=====================================================================
--------------------
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 DNAwalker-PT-09ringLR-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526751099923
BK_STOP 1526752522663
--------------------
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 DNAwalker-PT-09ringLR as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3244, 'Memory': 279, 'Tool': 'itstools'}, {'Time': 3395, 'Memory': 302.21, 'Tool': 'itstools'}, {'Time': 11416, 'Memory': 7580.01, 'Tool': 'marcie'}, {'Time': 12106, 'Memory': 7579.87, 'Tool': 'marcie'}, {'Time': 2244589, 'Memory': 1957.9, 'Tool': 'lola'}, {'Time': 2254351, 'Memory': 1955.03, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 691.9201602959309x far from the best tool itstools.
ReachabilityCardinality lola DNAwalker-PT-09ringLR...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DNAwalker-PT-09ringLR: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-09ringLR: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-09ringLR @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-09ringLR-ReachabilityCardinality.task
lola: E (F (((2 <= A1) AND (1 <= A20) AND (1 <= B20) AND (B20 <= A8)))) : E (F (((2 <= A19) AND (2 <= A11) AND (A11 <= A3) AND (B21 <= A6)))) : E (F ((3 <= A5))) : E (F (((2 <= B10) OR (2 <= B11) OR (3 <= A9)))) : E (F ((((A1 <= A13) OR (2 <= A14) OR ((2 <= A19) AND (2 <= A16))) AND (3 <= A17)))) : E (F (((2 <= A1) AND (A12 <= A8) AND ((2 <= A11) OR (3 <= B11)) AND (A8 + 1 <= B3)))) : A (G ((((A19 <= B21) AND (A10 <= A11)) OR (A12 <= 2)))) : A (G ((A21 <= 2))) : E (F (((A13 <= 0) AND (2 <= B21) AND (((2 <= A18) AND (A17 <= A13)) OR ((1 <= A1) AND (3 <= A5)))))) : A (G (((1 <= A11) OR (A3 <= 2) OR ((A20 <= A5) AND (B21 <= A2)) OR (3 <= A16)))) : E (F (((3 <= A1) AND (A18 <= A1) AND (2 <= B10) AND ((A10 <= 1) OR ((A4 <= A20) AND (A7 <= B11)))))) : A (G (())) : A (G (((A8 <= A21) OR (B21 <= A19) OR (A5 <= A18) OR (A20 <= A1) OR ((A20 + 1 <= A6) AND ((A2 <= A19) OR (A11 <= A10)))))) : A (G (((2 <= B20) OR ((B11 <= 2) AND (A21 <= 2))))) : A (G ((A8 <= 2))) : A (G (((B11 <= 1) OR (B21 <= 0) OR (1 <= A4))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A1) AND (1 <= A20) AND (1 <= B20) AND (B20 <= A8))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A19) AND (2 <= A11) AND (A11 <= A3) AND (B21 <= A6))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 388550 markings, 1681690 edges, 77710 markings/sec, 0 secs
lola: sara is running 5 secs || 772133 markings, 3658887 edges, 76717 markings/sec, 5 secs
lola: sara is running 10 secs || 1166793 markings, 5534645 edges, 78932 markings/sec, 10 secs
lola: sara is running 15 secs || 1549740 markings, 7380631 edges, 76589 markings/sec, 15 secs
lola: sara is running 20 secs || 1933753 markings, 9368241 edges, 76803 markings/sec, 20 secs
lola: sara is running 25 secs || 2312258 markings, 11177714 edges, 75701 markings/sec, 25 secs
lola: sara is running 30 secs || 2675138 markings, 13058055 edges, 72576 markings/sec, 30 secs
lola: sara is running 35 secs || 3039539 markings, 15004854 edges, 72880 markings/sec, 35 secs
lola: sara is running 40 secs || 3369930 markings, 17014471 edges, 66078 markings/sec, 40 secs
lola: sara is running 45 secs || 3713563 markings, 19007817 edges, 68727 markings/sec, 45 secs
lola: sara is running 50 secs || 4112716 markings, 20812875 edges, 79831 markings/sec, 50 secs
lola: sara is running 55 secs || 4502389 markings, 22602603 edges, 77935 markings/sec, 55 secs
lola: sara is running 60 secs || 4866976 markings, 24600654 edges, 72917 markings/sec, 60 secs
lola: sara is running 65 secs || 5242295 markings, 26377608 edges, 75064 markings/sec, 65 secs
lola: sara is running 70 secs || 5604397 markings, 28291039 edges, 72420 markings/sec, 70 secs
lola: sara is running 75 secs || 5923307 markings, 30244603 edges, 63782 markings/sec, 75 secs
lola: sara is running 80 secs || 6295666 markings, 31969170 edges, 74472 markings/sec, 80 secs
lola: sara is running 85 secs || 6659964 markings, 33694460 edges, 72860 markings/sec, 85 secs
lola: sara is running 90 secs || 7013171 markings, 35398161 edges, 70641 markings/sec, 90 secs
lola: sara is running 95 secs || 7359899 markings, 37085785 edges, 69346 markings/sec, 95 secs
lola: sara is running 100 secs || 7703700 markings, 38893697 edges, 68760 markings/sec, 100 secs
lola: sara is running 105 secs || 8031000 markings, 40761097 edges, 65460 markings/sec, 105 secs
lola: sara is running 110 secs || 8359537 markings, 42711449 edges, 65707 markings/sec, 110 secs
lola: sara is running 115 secs || 8700596 markings, 44671108 edges, 68212 markings/sec, 115 secs
lola: sara is running 120 secs || 9026541 markings, 46707088 edges, 65189 markings/sec, 120 secs
lola: sara is running 125 secs || 9333196 markings, 48807186 edges, 61331 markings/sec, 125 secs
lola: sara is running 130 secs || 9622229 markings, 50895815 edges, 57807 markings/sec, 130 secs
lola: sara is running 135 secs || 9937753 markings, 52961272 edges, 63105 markings/sec, 135 secs
lola: sara is running 140 secs || 10245134 markings, 54895033 edges, 61476 markings/sec, 140 secs
lola: sara is running 145 secs || 10593242 markings, 56856837 edges, 69622 markings/sec, 145 secs
lola: sara is running 150 secs || 10925388 markings, 58927674 edges, 66429 markings/sec, 150 secs
lola: sara is running 155 secs || 11266514 markings, 60861393 edges, 68225 markings/sec, 155 secs
lola: sara is running 160 secs || 11589757 markings, 62846324 edges, 64649 markings/sec, 160 secs
lola: sara is running 165 secs || 11894970 markings, 64975619 edges, 61043 markings/sec, 165 secs
lola: sara is running 170 secs || 12200986 markings, 66970470 edges, 61203 markings/sec, 170 secs
lola: sara is running 175 secs || 12501204 markings, 68934822 edges, 60044 markings/sec, 175 secs
lola: sara is running 180 secs || 12763017 markings, 70846405 edges, 52363 markings/sec, 180 secs
lola: sara is running 185 secs || 13054440 markings, 72830416 edges, 58285 markings/sec, 185 secs
lola: sara is running 190 secs || 13360129 markings, 74877110 edges, 61138 markings/sec, 190 secs
lola: sara is running 195 secs || 13649648 markings, 76989768 edges, 57904 markings/sec, 195 secs
lola: sara is running 200 secs || 13954430 markings, 79254005 edges, 60956 markings/sec, 200 secs
lola: sara is running 205 secs || 14291821 markings, 81274495 edges, 67478 markings/sec, 205 secs
lola: sara is running 210 secs || 14600478 markings, 83147743 edges, 61731 markings/sec, 210 secs
lola: sara is running 215 secs || 14884469 markings, 85263677 edges, 56798 markings/sec, 215 secs
lola: sara is running 220 secs || 15192267 markings, 87237866 edges, 61560 markings/sec, 220 secs
lola: sara is running 225 secs || 15481787 markings, 89315565 edges, 57904 markings/sec, 225 secs
lola: sara is running 230 secs || 15742932 markings, 91433783 edges, 52229 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A5)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-2.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 351839 markings, 1860563 edges, 70368 markings/sec, 0 secs
lola: sara is running 5 secs || 659420 markings, 3932286 edges, 61516 markings/sec, 5 secs
lola: sara is running 10 secs || 961013 markings, 5996226 edges, 60319 markings/sec, 10 secs
lola: sara is running 15 secs || 1276473 markings, 7893612 edges, 63092 markings/sec, 15 secs
lola: sara is running 20 secs || 1572304 markings, 9836565 edges, 59166 markings/sec, 20 secs
lola: sara is running 25 secs || 1859484 markings, 11934679 edges, 57436 markings/sec, 25 secs
lola: sara is running 30 secs || 2146246 markings, 14123983 edges, 57352 markings/sec, 30 secs
lola: sara is running 35 secs || 2443247 markings, 16317877 edges, 59400 markings/sec, 35 secs
lola: sara is running 40 secs || 2719904 markings, 18607315 edges, 55331 markings/sec, 40 secs
lola: sara is running 45 secs || 3002963 markings, 21003174 edges, 56612 markings/sec, 45 secs
lola: sara is running 50 secs || 3327370 markings, 22918665 edges, 64881 markings/sec, 50 secs
lola: sara is running 55 secs || 3637621 markings, 24759978 edges, 62050 markings/sec, 55 secs
lola: sara is running 60 secs || 3918274 markings, 26795818 edges, 56131 markings/sec, 60 secs
lola: sara is running 65 secs || 4211861 markings, 28881509 edges, 58717 markings/sec, 65 secs
lola: sara is running 70 secs || 4487640 markings, 31148591 edges, 55156 markings/sec, 70 secs
lola: sara is running 75 secs || 4777104 markings, 33056015 edges, 57893 markings/sec, 75 secs
lola: sara is running 80 secs || 5048708 markings, 35124931 edges, 54321 markings/sec, 80 secs
lola: sara is running 85 secs || 5310202 markings, 37121711 edges, 52299 markings/sec, 85 secs
lola: sara is running 90 secs || 5551738 markings, 39110384 edges, 48307 markings/sec, 90 secs
lola: sara is running 95 secs || 5786353 markings, 41275094 edges, 46923 markings/sec, 95 secs
lola: sara is running 100 secs || 6041454 markings, 43321090 edges, 51020 markings/sec, 100 secs
lola: sara is running 105 secs || 6275569 markings, 45412784 edges, 46823 markings/sec, 105 secs
lola: sara is running 110 secs || 6580695 markings, 47375404 edges, 61025 markings/sec, 110 secs
lola: sara is running 115 secs || 6915484 markings, 49195003 edges, 66958 markings/sec, 115 secs
lola: sara is running 120 secs || 7228617 markings, 51139239 edges, 62627 markings/sec, 120 secs
lola: sara is running 125 secs || 7537630 markings, 53198009 edges, 61803 markings/sec, 125 secs
lola: sara is running 130 secs || 7833073 markings, 55309283 edges, 59089 markings/sec, 130 secs
lola: sara is running 135 secs || 8118555 markings, 57190543 edges, 57096 markings/sec, 135 secs
lola: sara is running 140 secs || 8395634 markings, 59127506 edges, 55416 markings/sec, 140 secs
lola: sara is running 145 secs || 8645423 markings, 61014703 edges, 49958 markings/sec, 145 secs
lola: sara is running 150 secs || 8896382 markings, 63035510 edges, 50192 markings/sec, 150 secs
lola: sara is running 155 secs || 9161813 markings, 65130022 edges, 53086 markings/sec, 155 secs
lola: sara is running 160 secs || 9486938 markings, 66981309 edges, 65025 markings/sec, 160 secs
lola: sara is running 165 secs || 9844005 markings, 68692939 edges, 71413 markings/sec, 165 secs
lola: sara is running 170 secs || 10131813 markings, 70466206 edges, 57562 markings/sec, 170 secs
lola: sara is running 175 secs || 10412154 markings, 72330129 edges, 56068 markings/sec, 175 secs
lola: sara is running 180 secs || 10695931 markings, 74241706 edges, 56755 markings/sec, 180 secs
lola: sara is running 185 secs || 10997168 markings, 75998573 edges, 60247 markings/sec, 185 secs
lola: sara is running 190 secs || 11262464 markings, 77824188 edges, 53059 markings/sec, 190 secs
lola: sara is running 195 secs || 11506481 markings, 79578541 edges, 48803 markings/sec, 195 secs
lola: sara is running 200 secs || 11763176 markings, 81353058 edges, 51339 markings/sec, 200 secs
lola: sara is running 205 secs || 12011275 markings, 83224067 edges, 49620 markings/sec, 205 secs
lola: sara is running 210 secs || 12237831 markings, 85112415 edges, 45311 markings/sec, 210 secs
lola: sara is running 215 secs || 12466756 markings, 87016222 edges, 45785 markings/sec, 215 secs
lola: sara is running 220 secs || 12697279 markings, 88814306 edges, 46105 markings/sec, 220 secs
lola: sara is running 225 secs || 12909439 markings, 90780231 edges, 42432 markings/sec, 225 secs
lola: sara is running 230 secs || 13191477 markings, 92651684 edges, 56408 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= B10) OR (2 <= B11) OR (3 <= A9))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 345874 markings, 1845570 edges, 69175 markings/sec, 0 secs
lola: sara is running 5 secs || 661673 markings, 3729700 edges, 63160 markings/sec, 5 secs
lola: sara is running 10 secs || 983820 markings, 5556780 edges, 64429 markings/sec, 10 secs
lola: sara is running 15 secs || 1275810 markings, 7521788 edges, 58398 markings/sec, 15 secs
lola: sara is running 20 secs || 1587769 markings, 9403304 edges, 62392 markings/sec, 20 secs
lola: sara is running 25 secs || 1898231 markings, 11286681 edges, 62092 markings/sec, 25 secs
lola: sara is running 30 secs || 2193962 markings, 13221290 edges, 59146 markings/sec, 30 secs
lola: sara is running 35 secs || 2489803 markings, 15169233 edges, 59168 markings/sec, 35 secs
lola: sara is running 40 secs || 2769271 markings, 17123064 edges, 55894 markings/sec, 40 secs
lola: sara is running 45 secs || 3038910 markings, 19202173 edges, 53928 markings/sec, 45 secs
lola: sara is running 50 secs || 3339189 markings, 21318833 edges, 60056 markings/sec, 50 secs
lola: sara is running 55 secs || 3616073 markings, 23503620 edges, 55377 markings/sec, 55 secs
lola: sara is running 60 secs || 3893618 markings, 25687031 edges, 55509 markings/sec, 60 secs
lola: sara is running 65 secs || 4162645 markings, 27824106 edges, 53805 markings/sec, 65 secs
lola: sara is running 70 secs || 4409355 markings, 30052520 edges, 49342 markings/sec, 70 secs
lola: sara is running 75 secs || 4736479 markings, 31749784 edges, 65425 markings/sec, 75 secs
lola: sara is running 80 secs || 5043426 markings, 33554617 edges, 61389 markings/sec, 80 secs
lola: sara is running 85 secs || 5331113 markings, 35633007 edges, 57537 markings/sec, 85 secs
lola: sara is running 90 secs || 5612460 markings, 37748485 edges, 56269 markings/sec, 90 secs
lola: sara is running 95 secs || 5904628 markings, 39702883 edges, 58434 markings/sec, 95 secs
lola: sara is running 100 secs || 6180502 markings, 41731073 edges, 55175 markings/sec, 100 secs
lola: sara is running 105 secs || 6446630 markings, 43759643 edges, 53226 markings/sec, 105 secs
lola: sara is running 110 secs || 6720215 markings, 45759317 edges, 54717 markings/sec, 110 secs
lola: sara is running 115 secs || 6975922 markings, 47774741 edges, 51141 markings/sec, 115 secs
lola: sara is running 120 secs || 7247175 markings, 49882509 edges, 54251 markings/sec, 120 secs
lola: sara is running 125 secs || 7629699 markings, 51594301 edges, 76505 markings/sec, 125 secs
lola: sara is running 130 secs || 7924682 markings, 53462950 edges, 58997 markings/sec, 130 secs
lola: sara is running 135 secs || 8254237 markings, 55211962 edges, 65911 markings/sec, 135 secs
lola: sara is running 140 secs || 8559732 markings, 57050406 edges, 61099 markings/sec, 140 secs
lola: sara is running 145 secs || 8864517 markings, 58973464 edges, 60957 markings/sec, 145 secs
lola: sara is running 150 secs || 9193195 markings, 61055299 edges, 65736 markings/sec, 150 secs
lola: sara is running 155 secs || 9504938 markings, 63152584 edges, 62349 markings/sec, 155 secs
lola: sara is running 160 secs || 9824704 markings, 65265515 edges, 63953 markings/sec, 160 secs
lola: sara is running 165 secs || 10190588 markings, 67026163 edges, 73177 markings/sec, 165 secs
lola: sara is running 170 secs || 10499993 markings, 68864297 edges, 61881 markings/sec, 170 secs
lola: sara is running 175 secs || 10784488 markings, 70806073 edges, 56899 markings/sec, 175 secs
lola: sara is running 180 secs || 11093398 markings, 72943261 edges, 61782 markings/sec, 180 secs
lola: sara is running 185 secs || 11426985 markings, 74842391 edges, 66717 markings/sec, 185 secs
lola: sara is running 190 secs || 11689914 markings, 76752437 edges, 52586 markings/sec, 190 secs
lola: sara is running 195 secs || 11992575 markings, 78836924 edges, 60532 markings/sec, 195 secs
lola: sara is running 200 secs || 12296521 markings, 80757429 edges, 60789 markings/sec, 200 secs
lola: sara is running 205 secs || 12578155 markings, 82724929 edges, 56327 markings/sec, 205 secs
lola: sara is running 210 secs || 12870088 markings, 84638729 edges, 58387 markings/sec, 210 secs
lola: sara is running 215 secs || 13155327 markings, 86455683 edges, 57048 markings/sec, 215 secs
lola: sara is running 220 secs || 13429159 markings, 88281348 edges, 54766 markings/sec, 220 secs
lola: sara is running 225 secs || 13684588 markings, 90172640 edges, 51086 markings/sec, 225 secs
lola: sara is running 230 secs || 13950472 markings, 92001028 edges, 53177 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((A1 <= A13) OR (2 <= A14) OR ((2 <= A19) AND (2 <= A16))) AND (3 <= A17))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-4.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 318419 markings, 1689000 edges, 63684 markings/sec, 0 secs
lola: sara is running 5 secs || 606270 markings, 3472297 edges, 57570 markings/sec, 5 secs
lola: sara is running 10 secs || 894051 markings, 5219006 edges, 57556 markings/sec, 10 secs
lola: sara is running 15 secs || 1169409 markings, 6948069 edges, 55072 markings/sec, 15 secs
lola: sara is running 20 secs || 1445815 markings, 8706475 edges, 55281 markings/sec, 20 secs
lola: sara is running 25 secs || 1703156 markings, 10625692 edges, 51468 markings/sec, 25 secs
lola: sara is running 30 secs || 1968316 markings, 12572863 edges, 53032 markings/sec, 30 secs
lola: sara is running 35 secs || 2222387 markings, 14471627 edges, 50814 markings/sec, 35 secs
lola: sara is running 40 secs || 2477593 markings, 16334040 edges, 51041 markings/sec, 40 secs
lola: sara is running 45 secs || 2710468 markings, 18232510 edges, 46575 markings/sec, 45 secs
lola: sara is running 50 secs || 2953963 markings, 20074546 edges, 48699 markings/sec, 50 secs
lola: sara is running 55 secs || 3194935 markings, 21941615 edges, 48194 markings/sec, 55 secs
lola: sara is running 60 secs || 3439754 markings, 23801430 edges, 48964 markings/sec, 60 secs
lola: sara is running 65 secs || 3670123 markings, 25827758 edges, 46074 markings/sec, 65 secs
lola: sara is running 70 secs || 3914648 markings, 27786034 edges, 48905 markings/sec, 70 secs
lola: sara is running 75 secs || 4192227 markings, 29431492 edges, 55516 markings/sec, 75 secs
lola: sara is running 80 secs || 4470179 markings, 31050301 edges, 55590 markings/sec, 80 secs
lola: sara is running 85 secs || 4731444 markings, 32813880 edges, 52253 markings/sec, 85 secs
lola: sara is running 90 secs || 4975160 markings, 34564142 edges, 48743 markings/sec, 90 secs
lola: sara is running 95 secs || 5216685 markings, 36351838 edges, 48305 markings/sec, 95 secs
lola: sara is running 100 secs || 5473830 markings, 38175477 edges, 51429 markings/sec, 100 secs
lola: sara is running 105 secs || 5715951 markings, 39936020 edges, 48424 markings/sec, 105 secs
lola: sara is running 110 secs || 5957119 markings, 41737276 edges, 48234 markings/sec, 110 secs
lola: sara is running 115 secs || 6203889 markings, 43454855 edges, 49354 markings/sec, 115 secs
lola: sara is running 120 secs || 6456374 markings, 45123511 edges, 50497 markings/sec, 120 secs
lola: sara is running 125 secs || 6697304 markings, 46895527 edges, 48186 markings/sec, 125 secs
lola: sara is running 130 secs || 6930361 markings, 48783314 edges, 46611 markings/sec, 130 secs
lola: sara is running 135 secs || 7152319 markings, 50753543 edges, 44392 markings/sec, 135 secs
lola: sara is running 140 secs || 7374338 markings, 52592567 edges, 44404 markings/sec, 140 secs
lola: sara is running 145 secs || 7588059 markings, 54464370 edges, 42744 markings/sec, 145 secs
lola: sara is running 150 secs || 7805945 markings, 56285927 edges, 43577 markings/sec, 150 secs
lola: sara is running 155 secs || 8029316 markings, 58058869 edges, 44674 markings/sec, 155 secs
lola: sara is running 160 secs || 8245705 markings, 59930066 edges, 43278 markings/sec, 160 secs
lola: sara is running 165 secs || 8453222 markings, 61897022 edges, 41503 markings/sec, 165 secs
lola: sara is running 170 secs || 8675517 markings, 63918680 edges, 44459 markings/sec, 170 secs
lola: sara is running 175 secs || 8940543 markings, 65860538 edges, 53005 markings/sec, 175 secs
lola: sara is running 180 secs || 9191914 markings, 67885899 edges, 50274 markings/sec, 180 secs
lola: sara is running 185 secs || 9423418 markings, 69912651 edges, 46301 markings/sec, 185 secs
lola: sara is running 190 secs || 9651896 markings, 71906453 edges, 45696 markings/sec, 190 secs
lola: sara is running 195 secs || 9887931 markings, 74048697 edges, 47207 markings/sec, 195 secs
lola: sara is running 200 secs || 10131088 markings, 76123805 edges, 48631 markings/sec, 200 secs
lola: sara is running 205 secs || 10358566 markings, 78177909 edges, 45496 markings/sec, 205 secs
lola: sara is running 210 secs || 10588901 markings, 80141651 edges, 46067 markings/sec, 210 secs
lola: sara is running 215 secs || 10819292 markings, 82020237 edges, 46078 markings/sec, 215 secs
lola: sara is running 220 secs || 11038630 markings, 83959094 edges, 43868 markings/sec, 220 secs
lola: sara is running 225 secs || 11253796 markings, 86068708 edges, 43033 markings/sec, 225 secs
lola: sara is running 230 secs || 11465641 markings, 88198845 edges, 42369 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= A1) AND (A12 <= A8) AND ((2 <= A11) OR (3 <= B11)) AND (A8 + 1 <= B3))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 464004 markings, 1776170 edges, 92801 markings/sec, 0 secs
lola: sara is running 5 secs || 844864 markings, 3562928 edges, 76172 markings/sec, 5 secs
lola: sara is running 10 secs || 1162826 markings, 5422882 edges, 63592 markings/sec, 10 secs
lola: sara is running 15 secs || 1614626 markings, 7190086 edges, 90360 markings/sec, 15 secs
lola: sara is running 20 secs || 1900758 markings, 9006480 edges, 57226 markings/sec, 20 secs
lola: sara is running 25 secs || 2312836 markings, 10707678 edges, 82416 markings/sec, 25 secs
lola: sara is running 30 secs || 2629932 markings, 12588115 edges, 63419 markings/sec, 30 secs
lola: sara is running 35 secs || 3032446 markings, 14391087 edges, 80503 markings/sec, 35 secs
lola: sara is running 40 secs || 3438910 markings, 16207641 edges, 81293 markings/sec, 40 secs
lola: sara is running 45 secs || 3838899 markings, 17963087 edges, 79998 markings/sec, 45 secs
lola: sara is running 50 secs || 4169279 markings, 19762034 edges, 66076 markings/sec, 50 secs
lola: sara is running 55 secs || 4494482 markings, 21492169 edges, 65041 markings/sec, 55 secs
lola: sara is running 60 secs || 4789182 markings, 23257546 edges, 58940 markings/sec, 60 secs
lola: sara is running 65 secs || 5096046 markings, 25138597 edges, 61373 markings/sec, 65 secs
lola: sara is running 70 secs || 5364574 markings, 27020206 edges, 53706 markings/sec, 70 secs
lola: sara is running 75 secs || 5680917 markings, 28906694 edges, 63269 markings/sec, 75 secs
lola: sara is running 80 secs || 6311006 markings, 30633239 edges, 126018 markings/sec, 80 secs
lola: sara is running 85 secs || 6604724 markings, 32505533 edges, 58744 markings/sec, 85 secs
lola: sara is running 90 secs || 6898740 markings, 34374926 edges, 58803 markings/sec, 90 secs
lola: sara is running 95 secs || 7208544 markings, 36241461 edges, 61961 markings/sec, 95 secs
lola: sara is running 100 secs || 7568788 markings, 38015301 edges, 72049 markings/sec, 100 secs
lola: sara is running 105 secs || 7882918 markings, 39875422 edges, 62826 markings/sec, 105 secs
lola: sara is running 110 secs || 8197077 markings, 41771895 edges, 62832 markings/sec, 110 secs
lola: sara is running 115 secs || 8499796 markings, 43685443 edges, 60544 markings/sec, 115 secs
lola: sara is running 120 secs || 8817525 markings, 45506095 edges, 63546 markings/sec, 120 secs
lola: sara is running 125 secs || 9244114 markings, 47535263 edges, 85318 markings/sec, 125 secs
lola: sara is running 130 secs || 9591505 markings, 49590025 edges, 69478 markings/sec, 130 secs
lola: sara is running 135 secs || 10001625 markings, 51512438 edges, 82024 markings/sec, 135 secs
lola: sara is running 140 secs || 10289344 markings, 53392748 edges, 57544 markings/sec, 140 secs
lola: sara is running 145 secs || 10728999 markings, 55236032 edges, 87931 markings/sec, 145 secs
lola: sara is running 150 secs || 11344990 markings, 56933488 edges, 123198 markings/sec, 150 secs
lola: sara is running 155 secs || 11936205 markings, 58685906 edges, 118243 markings/sec, 155 secs
lola: sara is running 160 secs || 12261946 markings, 60457808 edges, 65148 markings/sec, 160 secs
lola: sara is running 165 secs || 12517990 markings, 62279723 edges, 51209 markings/sec, 165 secs
lola: sara is running 170 secs || 12773522 markings, 64092967 edges, 51106 markings/sec, 170 secs
lola: sara is running 175 secs || 13008751 markings, 65849023 edges, 47046 markings/sec, 175 secs
lola: sara is running 180 secs || 13249311 markings, 67770744 edges, 48112 markings/sec, 180 secs
lola: sara is running 185 secs || 13507549 markings, 69716150 edges, 51648 markings/sec, 185 secs
lola: sara is running 190 secs || 13757921 markings, 71660323 edges, 50074 markings/sec, 190 secs
lola: sara is running 195 secs || 14027985 markings, 73639295 edges, 54013 markings/sec, 195 secs
lola: sara is running 200 secs || 14303753 markings, 75612578 edges, 55154 markings/sec, 200 secs
lola: sara is running 205 secs || 14611363 markings, 77497212 edges, 61522 markings/sec, 205 secs
lola: sara is running 210 secs || 15040612 markings, 79499551 edges, 85850 markings/sec, 210 secs
lola: sara is running 215 secs || 15304391 markings, 81527388 edges, 52756 markings/sec, 215 secs
lola: sara is running 220 secs || 15646832 markings, 83591803 edges, 68488 markings/sec, 220 secs
lola: sara is running 225 secs || 15947266 markings, 85650605 edges, 60087 markings/sec, 225 secs
lola: sara is running 230 secs || 16281142 markings, 87672678 edges, 66775 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((A19 <= B21) AND (A10 <= A11)) OR (A12 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-09ringLR-ReachabilityCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-09ringLR-ReachabilityCardinality-6.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 447763 markings, 1599278 edges, 89553 markings/sec, 0 secs
lola: sara is running 5 secs || 887895 markings, 3329523 edges, 88026 markings/sec, 5 secs
lola: sara is running 10 secs || 1305227 markings, 5149287 edges, 83466 markings/sec, 10 secs
lola: sara is running 15 secs || 1707229 markings, 7031668 edges, 80400 markings/sec, 15 secs
lola: sara is running 20 secs || 2057688 markings, 8933682 edges, 70092 markings/sec, 20 secs
lola: sara is running 25 secs || 2437629 markings, 10612454 edges, 75988 markings/sec, 25 secs
lola: sara is running 30 secs || 2790212 markings, 12491356 edges, 70517 markings/sec, 30 secs
lola: sara is running 35 secs || 3118723 markings, 14426386 edges, 65702 markings/sec, 35 secs
lola: sara is running 40 secs || 3431166 markings, 16323468 edges, 62489 markings/sec, 40 secs
lola: sara is running 45 secs || 3779122 markings, 18067797 edges, 69591 markings/sec, 45 secs
lola: sara is running 50 secs || 4101155 markings, 19836880 edges, 64407 markings/sec, 50 secs
lola: sara is running 55 secs || 4468565 markings, 21634607 edges, 73482 markings/sec, 55 secs
lola: sara is running 60 secs || 4813841 markings, 23485612 edges, 69055 markings/sec, 60 secs
lola: sara is running 65 secs || 5108608 markings, 25493036 edges, 58953 markings/sec, 65 secs
lola: sara is running 70 secs || 5455882 markings, 27479760 edges, 69455 markings/sec, 70 secs
lola: sara is running 75 secs || 5847530 markings, 29530886 edges, 78330 markings/sec, 75 secs
lola: sara is running 80 secs || 6199426 markings, 31646371 edges, 70379 markings/sec, 80 secs
lola: sara is running 85 secs || 6548590 markings, 33680992 edges, 69833 markings/sec, 85 secs
lola: sara is running 90 secs || 6913681 markings, 35612412 edges, 73018 markings/sec, 90 secs
lola: sara is running 95 secs || 7279082 markings, 37593738 edges, 73080 markings/sec, 95 secs
lola: sara is running 100 secs || 7595430 markings, 39829150 edges, 63270 markings/sec, 100 secs
lola: sara is running 105 secs || 7989517 markings, 41617260 edges, 78817 markings/sec, 105 secs
lola: sara is running 110 secs || 8390001 markings, 43242407 edges, 80097 markings/sec, 110 secs
lola: sara is running 115 secs || 8783077 markings, 45013176 edges, 78615 markings/sec, 115 secs
lola: sara is running 120 secs || 9143068 markings, 46811813 edges, 71998 markings/sec, 120 secs
lola: sara is running 125 secs || 9505323 markings, 48664075 edges, 72451 markings/sec, 125 secs
lola: sara is running 130 secs || 9823148 markings, 50518907 edges, 63565 markings/sec, 130 secs
lola: sara is running 135 secs || 10167455 markings, 52215414 edges, 68861 markings/sec, 135 secs
lola: sara is running 140 secs || 10494827 markings, 53976202 edges, 65474 markings/sec, 140 secs
lola: sara is running 145 secs || 10793626 markings, 55745725 edges, 59760 markings/sec, 145 secs
lola: sara is running 150 secs || 11075012 markings, 57544646 edges, 56277 markings/sec, 150 secs
lola: sara is running 155 secs || 11332928 markings, 59403607 edges, 51583 markings/sec, 155 secs
lola: sara is running 160 secs || 11675478 markings, 61147109 edges, 68510 markings/sec, 160 secs
lola: sara is running 165 secs || 11989059 markings, 62887731 edges, 62716 markings/sec, 165 secs
lola: sara is running 170 secs || 12277833 markings, 64702325 edges, 57755 markings/sec, 170 secs
lola: sara is running 175 secs || 12623223 markings, 66446598 edges, 69078 markings/sec, 175 secs
lola: sara is running 180 secs || 12946570 markings, 68259781 edges, 64669 markings/sec, 180 secs
lola: sara is running 185 secs || 13227656 markings, 70213488 edges, 56217 markings/sec, 185 secs
lola: sara is running 190 secs || 13521380 markings, 72183288 edges, 58745 markings/sec, 190 secs
lola: sara is running 195 secs || 13866047 markings, 74107506 edges, 68933 markings/sec, 195 secs
lola: sara is running 200 secs || 14199553 markings, 76102809 edges, 66701 markings/sec, 200 secs
lola: sara is running 205 secs || 14512107 markings, 78144962 edges, 62511 markings/sec, 205 secs
lola: sara is running 210 secs || 14810648 markings, 80085303 edges, 59708 markings/sec, 210 secs
lola: sara is running 215 secs || 15115620 markings, 81932157 edges, 60994 markings/sec, 215 secs
lola: sara is running 220 secs || 15430534 markings, 83760962 edges, 62983 markings/sec, 220 secs
lola: sara is running 225 secs || 15759671 markings, 85597602 edges, 65827 markings/sec, 225 secs
lola: sara is running 230 secs || 16034946 markings, 87695192 edges, 55055 markings/sec, 230 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: 'P'
Aborted (core dumped)
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-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 stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-09ringLR"
export BK_EXAMINATION="ReachabilityCardinality"
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/DNAwalker-PT-09ringLR.tgz
mv DNAwalker-PT-09ringLR 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 DNAwalker-PT-09ringLR, examination is ReachabilityCardinality"
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-152649744100285"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 ;