About the Execution of Irma.struct for DLCround-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15915.070 | 1481475.00 | 1492074.00 | 7134.60 | ???????????????? | 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 980K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 813K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is DLCround-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r067-smll-152649739500053
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCround-PT-06b-CTLFireability-00
FORMULA_NAME DLCround-PT-06b-CTLFireability-01
FORMULA_NAME DLCround-PT-06b-CTLFireability-02
FORMULA_NAME DLCround-PT-06b-CTLFireability-03
FORMULA_NAME DLCround-PT-06b-CTLFireability-04
FORMULA_NAME DLCround-PT-06b-CTLFireability-05
FORMULA_NAME DLCround-PT-06b-CTLFireability-06
FORMULA_NAME DLCround-PT-06b-CTLFireability-07
FORMULA_NAME DLCround-PT-06b-CTLFireability-08
FORMULA_NAME DLCround-PT-06b-CTLFireability-09
FORMULA_NAME DLCround-PT-06b-CTLFireability-10
FORMULA_NAME DLCround-PT-06b-CTLFireability-11
FORMULA_NAME DLCround-PT-06b-CTLFireability-12
FORMULA_NAME DLCround-PT-06b-CTLFireability-13
FORMULA_NAME DLCround-PT-06b-CTLFireability-14
FORMULA_NAME DLCround-PT-06b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526626527114
BK_STOP 1526628008589
--------------------
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 DLCround-PT-06b as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1371882, 'Memory': 15949.85, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
CTLFireability lola DLCround-PT-06b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-06b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-06b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DLCround-PT-06b @ 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: 5796/65536 symbol table entries, 557 collisions
lola: preprocessing...
lola: finding significant places
lola: 2340 places, 3456 transitions, 2231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4716 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-06b-CTLFireability.task
lola: E (G (A (X ((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011))))))) : (E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))) OR (A (((FIREABLE(t2254) OR FIREABLE(t249)) U (FIREABLE(t1367) OR FIREABLE(t2474)))) OR FIREABLE(t195))) : NOT(A (F ((FIREABLE(t1180) OR FIREABLE(t1672))))) : E (F (E (X ((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678))))))) : NOT(((((NOT FIREABLE(t267) AND NOT FIREABLE(t1886)) OR (NOT FIREABLE(t1382) AND NOT FIREABLE(t938))) OR A (F ((FIREABLE(t3251) OR FIREABLE(t1289))))) AND E (F (FIREABLE(t192))))) : ((E (F (E (F (FIREABLE(t2288))))) AND E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))) AND A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978))))) : E ((E (X (NOT FIREABLE(t2970))) U E (X (FIREABLE(t3439))))) : (((A ((FIREABLE(t932) U FIREABLE(t3070))) OR ((FIREABLE(t2374) OR FIREABLE(t302)) OR E (G (FIREABLE(t1935))))) AND A ((FIREABLE(t2053) U FIREABLE(t1184)))) OR E (F (FIREABLE(t2680)))) : A (F ((((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND E (G (FIREABLE(t737)))))) : A (F (NOT(A (G (NOT FIREABLE(t1262)))))) : (A (F (FIREABLE(t746))) OR E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526))))))) : ((A (F (FIREABLE(t2481))) AND ((A (F (FIREABLE(t710))) OR FIREABLE(t3004)) OR (A (F (FIREABLE(t1622))) OR A (G (FIREABLE(t2118)))))) OR E ((FIREABLE(t941) U FIREABLE(t2454)))) : NOT((A (F (A (F (FIREABLE(t2815))))) OR (A (G (NOT FIREABLE(t2148))) OR FIREABLE(t3385)))) : A (G (A (X (NOT FIREABLE(t1064))))) : (NOT FIREABLE(t3223) AND A (((NOT FIREABLE(t830) OR NOT FIREABLE(t2315)) U (FIREABLE(t41) AND NOT FIREABLE(t2597))))) : E (G (E (F (E (X (FIREABLE(t2406)))))))
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 (G (A (X ((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(AX((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011)))))))
lola: processed formula length: 87
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 593 markings, 593 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))) OR (A (((FIREABLE(t2254) OR FIREABLE(t249)) U (FIREABLE(t1367) OR FIREABLE(t2474)))) OR FIREABLE(t195)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))
lola: processed formula length: 82
lola: 1 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 6077 markings, 6823 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((FIREABLE(t1180) OR FIREABLE(t1672)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(t1180) OR FIREABLE(t1672))))
lola: processed formula length: 52
lola: 5 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 548 markings, 548 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X ((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678)))))
lola: processed formula length: 92
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 216374 markings, 247529 edges, 3689348869717491712 markings/sec, 0 secs
lola: 448441 markings, 516201 edges, 46413 markings/sec, 5 secs
lola: 673586 markings, 776324 edges, 45029 markings/sec, 10 secs
lola: 896656 markings, 1030278 edges, 44614 markings/sec, 15 secs
lola: 1117414 markings, 1282416 edges, 44152 markings/sec, 20 secs
lola: 1334862 markings, 1532047 edges, 43490 markings/sec, 25 secs
lola: 1522937 markings, 1747301 edges, 37615 markings/sec, 30 secs
lola: 1732115 markings, 1985967 edges, 41836 markings/sec, 35 secs
lola: 1946292 markings, 2231780 edges, 42835 markings/sec, 40 secs
lola: 2158635 markings, 2476908 edges, 42469 markings/sec, 45 secs
lola: 2372705 markings, 2718325 edges, 42814 markings/sec, 50 secs
lola: 2584696 markings, 2962346 edges, 42398 markings/sec, 55 secs
lola: 2804122 markings, 3213971 edges, 43885 markings/sec, 60 secs
lola: 3025091 markings, 3464062 edges, 44194 markings/sec, 65 secs
lola: 3243496 markings, 3714970 edges, 43681 markings/sec, 70 secs
lola: 3454138 markings, 3955864 edges, 42128 markings/sec, 75 secs
lola: 3666617 markings, 4206909 edges, 42496 markings/sec, 80 secs
lola: 3898139 markings, 4476680 edges, 46304 markings/sec, 85 secs
lola: 4128286 markings, 4744962 edges, 46029 markings/sec, 90 secs
lola: 4357296 markings, 5012221 edges, 45802 markings/sec, 95 secs
lola: 4589715 markings, 5282625 edges, 46484 markings/sec, 100 secs
lola: 4816989 markings, 5544466 edges, 45455 markings/sec, 105 secs
lola: 5038744 markings, 5797385 edges, 44351 markings/sec, 110 secs
lola: 5259901 markings, 6049749 edges, 44231 markings/sec, 115 secs
lola: 5478222 markings, 6298676 edges, 43664 markings/sec, 120 secs
lola: 5685999 markings, 6537215 edges, 41555 markings/sec, 125 secs
lola: 5905944 markings, 6791751 edges, 43989 markings/sec, 130 secs
lola: 6120297 markings, 7034744 edges, 42871 markings/sec, 135 secs
lola: 6337703 markings, 7286258 edges, 43481 markings/sec, 140 secs
lola: 6561066 markings, 7544290 edges, 44673 markings/sec, 145 secs
lola: 6789708 markings, 7809487 edges, 45728 markings/sec, 150 secs
lola: 7015377 markings, 8072431 edges, 45134 markings/sec, 155 secs
lola: 7239192 markings, 8331696 edges, 44763 markings/sec, 160 secs
lola: 7466707 markings, 8590838 edges, 45503 markings/sec, 165 secs
lola: 7690460 markings, 8846009 edges, 44751 markings/sec, 170 secs
lola: 7904415 markings, 9091203 edges, 42791 markings/sec, 175 secs
lola: 8127505 markings, 9348037 edges, 44618 markings/sec, 180 secs
lola: 8345418 markings, 9599331 edges, 43583 markings/sec, 185 secs
lola: 8574438 markings, 9862846 edges, 45804 markings/sec, 190 secs
lola: 8803332 markings, 10128579 edges, 45779 markings/sec, 195 secs
lola: 9033831 markings, 10397457 edges, 46100 markings/sec, 200 secs
lola: 9262236 markings, 10659201 edges, 45681 markings/sec, 205 secs
lola: 9491034 markings, 10926710 edges, 45760 markings/sec, 210 secs
lola: 9723306 markings, 11194958 edges, 46454 markings/sec, 215 secs
lola: 9949047 markings, 11452565 edges, 45148 markings/sec, 220 secs
lola: 10173641 markings, 11709161 edges, 44919 markings/sec, 225 secs
lola: 10392571 markings, 11958818 edges, 43786 markings/sec, 230 secs
lola: 10602654 markings, 12199816 edges, 42017 markings/sec, 235 secs
lola: 10825460 markings, 12457470 edges, 44561 markings/sec, 240 secs
lola: 11044671 markings, 12705962 edges, 43842 markings/sec, 245 secs
lola: 11264568 markings, 12958339 edges, 43979 markings/sec, 250 secs
lola: 11498072 markings, 13229975 edges, 46701 markings/sec, 255 secs
lola: 11730780 markings, 13496714 edges, 46542 markings/sec, 260 secs
lola: 11955238 markings, 13760698 edges, 44892 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(((((NOT FIREABLE(t267) AND NOT FIREABLE(t1886)) OR (NOT FIREABLE(t1382) AND NOT FIREABLE(t938))) OR A (F ((FIREABLE(t3251) OR FIREABLE(t1289))))) AND E (F (FIREABLE(t192)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t267) OR FIREABLE(t1886)) AND (FIREABLE(t1382) OR FIREABLE(t938)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t267) OR FIREABLE(t1886)) AND (FIREABLE(t1382) OR FIREABLE(t938)))
lola: processed formula length: 79
lola: 9 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t192)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (F (E (F (FIREABLE(t2288))))) AND E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))) AND A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2288)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 86 markings, 85 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 113 markings, 112 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (AX(FIREABLE(t452)) AND FIREABLE(t978)))
lola: processed formula length: 49
lola: 4 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 593 markings, 593 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (X (NOT FIREABLE(t2970))) U E (X (FIREABLE(t3439)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(EX(NOT FIREABLE(t2970)) U EX(FIREABLE(t3439)))
lola: processed formula length: 48
lola: 3 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 650 markings, 655 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((A ((FIREABLE(t932) U FIREABLE(t3070))) OR ((FIREABLE(t2374) OR FIREABLE(t302)) OR E (G (FIREABLE(t1935))))) AND A ((FIREABLE(t2053) U FIREABLE(t1184)))) OR E (F (FIREABLE(t2680))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: processed formula: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: processed formula length: 38
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 7 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 599 markings, 599 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2374) OR FIREABLE(t302))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t2374) OR FIREABLE(t302))
lola: processed formula length: 36
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t1935)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT FIREABLE(t1935)))
lola: processed formula length: 34
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 544 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2680)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 108 markings, 107 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND E (G (FIREABLE(t737))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND NOT(A(TRUE U NOT FIREABLE(t737)))))
lola: processed formula length: 155
lola: 3 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 547 markings, 547 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (NOT(A (G (NOT FIREABLE(t1262))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U E(TRUE U FIREABLE(t1262)))
lola: processed formula length: 35
lola: 5 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 492268 markings, 573607 edges, 3689330178019819520 markings/sec, 0 secs
lola: 995965 markings, 1159927 edges, 100739 markings/sec, 5 secs
lola: 1486400 markings, 1731392 edges, 98087 markings/sec, 10 secs
lola: 1967866 markings, 2296139 edges, 96293 markings/sec, 15 secs
lola: 2456519 markings, 2867683 edges, 97731 markings/sec, 20 secs
lola: 2939085 markings, 3430990 edges, 96513 markings/sec, 25 secs
lola: 3423729 markings, 3997572 edges, 96929 markings/sec, 30 secs
lola: 3921911 markings, 4578816 edges, 99636 markings/sec, 35 secs
lola: 4406056 markings, 5145054 edges, 96829 markings/sec, 40 secs
lola: 4880003 markings, 5703077 edges, 94789 markings/sec, 45 secs
lola: 5359800 markings, 6265300 edges, 95959 markings/sec, 50 secs
lola: 5841817 markings, 6830243 edges, 96403 markings/sec, 55 secs
lola: 6306256 markings, 7373679 edges, 92888 markings/sec, 60 secs
lola: 6779861 markings, 7927356 edges, 94721 markings/sec, 65 secs
lola: 7254089 markings, 8480147 edges, 94846 markings/sec, 70 secs
lola: 7720065 markings, 9025696 edges, 93195 markings/sec, 75 secs
lola: 8194506 markings, 9583073 edges, 94888 markings/sec, 80 secs
lola: 8663599 markings, 10130001 edges, 93819 markings/sec, 85 secs
lola: 9136777 markings, 10682134 edges, 94636 markings/sec, 90 secs
lola: 9610851 markings, 11238913 edges, 94815 markings/sec, 95 secs
lola: 10073201 markings, 11779203 edges, 92470 markings/sec, 100 secs
lola: 10527169 markings, 12310292 edges, 90794 markings/sec, 105 secs
lola: 10994768 markings, 12857240 edges, 93520 markings/sec, 110 secs
lola: 11453715 markings, 13396968 edges, 91789 markings/sec, 115 secs
lola: 11907268 markings, 13929980 edges, 90711 markings/sec, 120 secs
lola: 12363985 markings, 14463516 edges, 91343 markings/sec, 125 secs
lola: 12838562 markings, 15015699 edges, 94915 markings/sec, 130 secs
lola: 13285982 markings, 15542935 edges, 89484 markings/sec, 135 secs
lola: 13750622 markings, 16089298 edges, 92928 markings/sec, 140 secs
lola: 14198979 markings, 16615354 edges, 89671 markings/sec, 145 secs
lola: 14649748 markings, 17146738 edges, 90154 markings/sec, 150 secs
lola: 15108408 markings, 17685607 edges, 91732 markings/sec, 155 secs
lola: 15567009 markings, 18224791 edges, 91720 markings/sec, 160 secs
lola: 16014085 markings, 18754127 edges, 89415 markings/sec, 165 secs
lola: 16472881 markings, 19293697 edges, 91759 markings/sec, 170 secs
lola: 16936313 markings, 19836677 edges, 92686 markings/sec, 175 secs
lola: 17393762 markings, 20378734 edges, 91490 markings/sec, 180 secs
lola: 17851456 markings, 20925011 edges, 91539 markings/sec, 185 secs
lola: 18294044 markings, 21452007 edges, 88518 markings/sec, 190 secs
lola: 18751656 markings, 21991194 edges, 91522 markings/sec, 195 secs
lola: 19221900 markings, 22543172 edges, 94049 markings/sec, 200 secs
lola: 19674525 markings, 23074853 edges, 90525 markings/sec, 205 secs
lola: 20129717 markings, 23610716 edges, 91038 markings/sec, 210 secs
lola: 20592533 markings, 24153170 edges, 92563 markings/sec, 215 secs
lola: 21062724 markings, 24703967 edges, 94038 markings/sec, 220 secs
lola: 21501277 markings, 25220773 edges, 87711 markings/sec, 225 secs
lola: 21965627 markings, 25765198 edges, 92870 markings/sec, 230 secs
lola: 22429237 markings, 26310917 edges, 92722 markings/sec, 235 secs
lola: 22875731 markings, 26841529 edges, 89299 markings/sec, 240 secs
lola: 23323149 markings, 27373213 edges, 89484 markings/sec, 245 secs
lola: 23774387 markings, 27908281 edges, 90248 markings/sec, 250 secs
lola: 24219437 markings, 28438266 edges, 89010 markings/sec, 255 secs
lola: 24657620 markings, 28955780 edges, 87637 markings/sec, 260 secs
lola: 25105652 markings, 29479102 edges, 89606 markings/sec, 265 secs
lola: 25541518 markings, 29999117 edges, 87173 markings/sec, 270 secs
lola: 25989779 markings, 30528001 edges, 89652 markings/sec, 275 secs
lola: 26434719 markings, 31051363 edges, 88988 markings/sec, 280 secs
lola: 26886704 markings, 31582150 edges, 90397 markings/sec, 285 secs
lola: 27327767 markings, 32107430 edges, 88213 markings/sec, 290 secs
lola: 27774526 markings, 32634998 edges, 89352 markings/sec, 295 secs
lola: 28212827 markings, 33158145 edges, 87660 markings/sec, 300 secs
lola: 28648200 markings, 33675354 edges, 87075 markings/sec, 305 secs
lola: 29086747 markings, 34195876 edges, 87709 markings/sec, 310 secs
lola: 29519415 markings, 34715870 edges, 86534 markings/sec, 315 secs
lola: 29961757 markings, 35237889 edges, 88468 markings/sec, 320 secs
lola: 30405754 markings, 35762498 edges, 88799 markings/sec, 325 secs
lola: 30855307 markings, 36292113 edges, 89911 markings/sec, 330 secs
lola: 31286721 markings, 36804170 edges, 86283 markings/sec, 335 secs
lola: 31718943 markings, 37313184 edges, 86444 markings/sec, 340 secs
lola: 32159941 markings, 37834244 edges, 88200 markings/sec, 345 secs
lola: 32592316 markings, 38345744 edges, 86475 markings/sec, 350 secs
lola: 33039025 markings, 38873718 edges, 89342 markings/sec, 355 secs
lola: 33463818 markings, 39377725 edges, 84959 markings/sec, 360 secs
lola: 33910085 markings, 39901701 edges, 89253 markings/sec, 365 secs
lola: 34341008 markings, 40416099 edges, 86185 markings/sec, 370 secs
lola: 34781981 markings, 40944783 edges, 88195 markings/sec, 375 secs
lola: 35219878 markings, 41471712 edges, 87579 markings/sec, 380 secs
lola: 35653578 markings, 41985588 edges, 86740 markings/sec, 385 secs
lola: 36098206 markings, 42519044 edges, 88926 markings/sec, 390 secs
lola: 36551762 markings, 43052587 edges, 90711 markings/sec, 395 secs
lola: 37005580 markings, 43584370 edges, 90764 markings/sec, 400 secs
lola: 37454108 markings, 44110696 edges, 89706 markings/sec, 405 secs
lola: 37914215 markings, 44659178 edges, 92021 markings/sec, 410 secs
lola: 38350656 markings, 45175315 edges, 87288 markings/sec, 415 secs
lola: 38773012 markings, 45678793 edges, 84471 markings/sec, 420 secs
lola: 39200798 markings, 46185088 edges, 85557 markings/sec, 425 secs
lola: 39635137 markings, 46703290 edges, 86868 markings/sec, 430 secs
lola: 40056504 markings, 47210439 edges, 84273 markings/sec, 435 secs
lola: 40483064 markings, 47718735 edges, 85312 markings/sec, 440 secs
lola: 40920797 markings, 48245513 edges, 87547 markings/sec, 445 secs
lola: 41346651 markings, 48756071 edges, 85171 markings/sec, 450 secs
lola: 41777620 markings, 49268539 edges, 86194 markings/sec, 455 secs
lola: 42210929 markings, 49793520 edges, 86662 markings/sec, 460 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t746))) OR E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t746)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t746)))
lola: processed formula: A (F (FIREABLE(t746)))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 618 markings, 618 edges
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND AX(FIREABLE(t1526))))
lola: processed formula length: 89
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(t2481))) AND ((A (F (FIREABLE(t710))) OR FIREABLE(t3004)) OR (A (F (FIREABLE(t1622))) OR A (G (FIREABLE(t2118)))))) OR E ((FIREABLE(t941) U FIREABLE(t2454))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2481)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t2481)))
lola: processed formula: A (F (FIREABLE(t2481)))
lola: processed formula length: 23
lola: 1 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 617 markings, 617 edges
lola: ========================================
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t941) U FIREABLE(t2454)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(FIREABLE(t941) U FIREABLE(t2454))
lola: processed formula length: 35
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (F (A (F (FIREABLE(t2815))))) OR (A (G (NOT FIREABLE(t2148))) OR FIREABLE(t3385))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t2815)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t2815)))
lola: processed formula length: 30
lola: 12 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 548 markings, 548 edges
lola: ========================================
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2148)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t3385)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t3385)
lola: processed formula length: 19
lola: 10 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X (NOT FIREABLE(t1064)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX(NOT FIREABLE(t1064)))))
lola: processed formula length: 43
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 237486 markings, 270399 edges, 3689330178019819520 markings/sec, 0 secs
lola: 471382 markings, 542352 edges, 46779 markings/sec, 5 secs
lola: 699395 markings, 806869 edges, 45603 markings/sec, 10 secs
lola: 925443 markings, 1064362 edges, 45210 markings/sec, 15 secs
lola: 1147052 markings, 1317267 edges, 44322 markings/sec, 20 secs
lola: 1368243 markings, 1569557 edges, 44238 markings/sec, 25 secs
lola: 1587548 markings, 1819576 edges, 43861 markings/sec, 30 secs
lola: 1795944 markings, 2059265 edges, 41679 markings/sec, 35 secs
lola: 2016868 markings, 2315249 edges, 44185 markings/sec, 40 secs
lola: 2231459 markings, 2558825 edges, 42918 markings/sec, 45 secs
lola: 2445686 markings, 2801630 edges, 42845 markings/sec, 50 secs
lola: 2662599 markings, 3050031 edges, 43383 markings/sec, 55 secs
lola: 2881451 markings, 3304055 edges, 43770 markings/sec, 60 secs
lola: 3102297 markings, 3552225 edges, 44169 markings/sec, 65 secs
lola: 3321975 markings, 3802538 edges, 43936 markings/sec, 70 secs
lola: 3529129 markings, 4043540 edges, 41431 markings/sec, 75 secs
lola: 3750664 markings, 4304107 edges, 44307 markings/sec, 80 secs
lola: 3976967 markings, 4569839 edges, 45261 markings/sec, 85 secs
lola: 4207308 markings, 4838152 edges, 46068 markings/sec, 90 secs
lola: 4434878 markings, 5101208 edges, 45514 markings/sec, 95 secs
lola: 4663460 markings, 5367223 edges, 45716 markings/sec, 100 secs
lola: 4888172 markings, 5625185 edges, 44942 markings/sec, 105 secs
lola: 5109457 markings, 5875147 edges, 44257 markings/sec, 110 secs
lola: 5327416 markings, 6127193 edges, 43592 markings/sec, 115 secs
lola: 5542395 markings, 6371697 edges, 42996 markings/sec, 120 secs
lola: 5752775 markings, 6612279 edges, 42076 markings/sec, 125 secs
lola: 5972187 markings, 6866754 edges, 43882 markings/sec, 130 secs
lola: 6188412 markings, 7113850 edges, 43245 markings/sec, 135 secs
lola: 6407189 markings, 7368824 edges, 43755 markings/sec, 140 secs
lola: 6639505 markings, 7635366 edges, 46463 markings/sec, 145 secs
lola: 6870792 markings, 7903723 edges, 46257 markings/sec, 150 secs
lola: 7095127 markings, 8164732 edges, 44867 markings/sec, 155 secs
lola: 7323364 markings, 8429292 edges, 45647 markings/sec, 160 secs
lola: 7552471 markings, 8688417 edges, 45821 markings/sec, 165 secs
lola: 7775098 markings, 8942083 edges, 44525 markings/sec, 170 secs
lola: 7992148 markings, 9190310 edges, 43410 markings/sec, 175 secs
lola: 8200363 markings, 9432504 edges, 41643 markings/sec, 180 secs
lola: 8399780 markings, 9663887 edges, 39883 markings/sec, 185 secs
lola: 8629634 markings, 9926160 edges, 45971 markings/sec, 190 secs
lola: 8855646 markings, 10189888 edges, 45202 markings/sec, 195 secs
lola: 9086500 markings, 10456131 edges, 46171 markings/sec, 200 secs
lola: 9311263 markings, 10717498 edges, 44953 markings/sec, 205 secs
lola: 9542956 markings, 10988349 edges, 46339 markings/sec, 210 secs
lola: 9773646 markings, 11252448 edges, 46138 markings/sec, 215 secs
lola: 9984165 markings, 11491642 edges, 42104 markings/sec, 220 secs
lola: 10203116 markings, 11745515 edges, 43790 markings/sec, 225 secs
lola: 10422287 markings, 11991725 edges, 43834 markings/sec, 230 secs
lola: 10631421 markings, 12232398 edges, 41827 markings/sec, 235 secs
lola: 10853754 markings, 12490518 edges, 44467 markings/sec, 240 secs
lola: 11071621 markings, 12737477 edges, 43573 markings/sec, 245 secs
lola: 11289307 markings, 12985956 edges, 43537 markings/sec, 250 secs
lola: 11519745 markings, 13254913 edges, 46088 markings/sec, 255 secs
lola: 11748505 markings, 13516994 edges, 45752 markings/sec, 260 secs
lola: 11969092 markings, 13776692 edges, 44117 markings/sec, 265 secs
lola: 12197633 markings, 14038641 edges, 45708 markings/sec, 270 secs
lola: 12421903 markings, 14298740 edges, 44854 markings/sec, 275 secs
lola: 12640399 markings, 14546821 edges, 43699 markings/sec, 280 secs
lola: 12856851 markings, 14797645 edges, 43290 markings/sec, 285 secs
lola: 13075824 markings, 15047635 edges, 43795 markings/sec, 290 secs
lola: 13295382 markings, 15296351 edges, 43912 markings/sec, 295 secs
lola: 13511066 markings, 15544557 edges, 43137 markings/sec, 300 secs
lola: 13722702 markings, 15785628 edges, 42327 markings/sec, 305 secs
lola: 13929702 markings, 16022367 edges, 41400 markings/sec, 310 secs
lola: 14146601 markings, 16273937 edges, 43380 markings/sec, 315 secs
lola: 14355846 markings, 16513194 edges, 41849 markings/sec, 320 secs
lola: 14570230 markings, 16756176 edges, 42877 markings/sec, 325 secs
lola: 14783094 markings, 17001872 edges, 42573 markings/sec, 330 secs
lola: 14996087 markings, 17250102 edges, 42599 markings/sec, 335 secs
lola: 15206610 markings, 17490518 edges, 42105 markings/sec, 340 secs
lola: 15419024 markings, 17733870 edges, 42483 markings/sec, 345 secs
lola: 15630985 markings, 17979437 edges, 42392 markings/sec, 350 secs
lola: 15844936 markings, 18244772 edges, 42790 markings/sec, 355 secs
lola: 16068878 markings, 18505271 edges, 44788 markings/sec, 360 secs
lola: 16294065 markings, 18769462 edges, 45037 markings/sec, 365 secs
lola: 16520899 markings, 19030568 edges, 45367 markings/sec, 370 secs
lola: 16741862 markings, 19281450 edges, 44193 markings/sec, 375 secs
lola: 16958460 markings, 19531348 edges, 43320 markings/sec, 380 secs
lola: 17175538 markings, 19776753 edges, 43416 markings/sec, 385 secs
lola: 17380820 markings, 20013182 edges, 41056 markings/sec, 390 secs
lola: 17599388 markings, 20265989 edges, 43714 markings/sec, 395 secs
lola: 17815195 markings, 20512333 edges, 43161 markings/sec, 400 secs
lola: 18027013 markings, 20759575 edges, 42364 markings/sec, 405 secs
lola: 18236909 markings, 21001987 edges, 41979 markings/sec, 410 secs
lola: 18452126 markings, 21245925 edges, 43043 markings/sec, 415 secs
lola: 18666481 markings, 21489482 edges, 42871 markings/sec, 420 secs
lola: 18878467 markings, 21735660 edges, 42397 markings/sec, 425 secs
lola: 19091054 markings, 21974762 edges, 42517 markings/sec, 430 secs
lola: 19295264 markings, 22210108 edges, 40842 markings/sec, 435 secs
lola: 19512178 markings, 22460972 edges, 43383 markings/sec, 440 secs
lola: 19725019 markings, 22702757 edges, 42568 markings/sec, 445 secs
lola: 19938918 markings, 22944910 edges, 42780 markings/sec, 450 secs
lola: 20154928 markings, 23193201 edges, 43202 markings/sec, 455 secs
lola: 20362776 markings, 23426645 edges, 41570 markings/sec, 460 secs
lola: 20569344 markings, 23665310 edges, 41314 markings/sec, 465 secs
lola: 20780344 markings, 23904610 edges, 42200 markings/sec, 470 secs
lola: 20988921 markings, 24143021 edges, 41715 markings/sec, 475 secs
lola: 21191830 markings, 24376454 edges, 40582 markings/sec, 480 secs
lola: 21395010 markings, 24607004 edges, 40636 markings/sec, 485 secs
lola: 21603287 markings, 24845267 edges, 41655 markings/sec, 490 secs
lola: 21805091 markings, 25084187 edges, 40361 markings/sec, 495 secs
lola: 22008323 markings, 25321956 edges, 40646 markings/sec, 500 secs
lola: 22216207 markings, 25564541 edges, 41577 markings/sec, 505 secs
lola: 22439176 markings, 25826163 edges, 44594 markings/sec, 510 secs
lola: 22661466 markings, 26079926 edges, 44458 markings/sec, 515 secs
lola: 22879763 markings, 26338697 edges, 43659 markings/sec, 520 secs
lola: 23100553 markings, 26593007 edges, 44158 markings/sec, 525 secs
lola: 23320495 markings, 26843312 edges, 43988 markings/sec, 530 secs
lola: 23537954 markings, 27091262 edges, 43492 markings/sec, 535 secs
lola: 23751126 markings, 27335636 edges, 42634 markings/sec, 540 secs
lola: 23957517 markings, 27570915 edges, 41278 markings/sec, 545 secs
lola: 24165712 markings, 27807943 edges, 41639 markings/sec, 550 secs
lola: 24378746 markings, 28054707 edges, 42607 markings/sec, 555 secs
lola: 24588148 markings, 28293229 edges, 41880 markings/sec, 560 secs
lola: 24790083 markings, 28528498 edges, 40387 markings/sec, 565 secs
lola: 25015378 markings, 28788124 edges, 45059 markings/sec, 570 secs
lola: 25234235 markings, 29038392 edges, 43771 markings/sec, 575 secs
lola: 25445319 markings, 29288778 edges, 42217 markings/sec, 580 secs
lola: 25659797 markings, 29535313 edges, 42896 markings/sec, 585 secs
lola: 25877655 markings, 29787349 edges, 43572 markings/sec, 590 secs
lola: 26091608 markings, 30029112 edges, 42791 markings/sec, 595 secs
lola: 26296338 markings, 30266707 edges, 40946 markings/sec, 600 secs
lola: 26505171 markings, 30504210 edges, 41767 markings/sec, 605 secs
lola: 26715038 markings, 30742486 edges, 41973 markings/sec, 610 secs
lola: 26921169 markings, 30982347 edges, 41226 markings/sec, 615 secs
lola: 27128052 markings, 31215191 edges, 41377 markings/sec, 620 secs
lola: 27323280 markings, 31440852 edges, 39046 markings/sec, 625 secs
lola: 27532311 markings, 31680803 edges, 41806 markings/sec, 630 secs
lola: 27730187 markings, 31908240 edges, 39575 markings/sec, 635 secs
lola: 27932725 markings, 32135811 edges, 40508 markings/sec, 640 secs
lola: 28132565 markings, 32365288 edges, 39968 markings/sec, 645 secs
lola: 28336056 markings, 32600604 edges, 40698 markings/sec, 650 secs
lola: 28536438 markings, 32834639 edges, 40076 markings/sec, 655 secs
lola: 28739550 markings, 33065823 edges, 40622 markings/sec, 660 secs
lola: 28942261 markings, 33301153 edges, 40542 markings/sec, 665 secs
lola: 29147113 markings, 33534665 edges, 40970 markings/sec, 670 secs
lola: 29343114 markings, 33779417 edges, 39200 markings/sec, 675 secs
lola: 29540597 markings, 34008954 edges, 39497 markings/sec, 680 secs
lola: 29747731 markings, 34244026 edges, 41427 markings/sec, 685 secs
lola: 29956025 markings, 34479362 edges, 41659 markings/sec, 690 secs
lola: 30162506 markings, 34717633 edges, 41296 markings/sec, 695 secs
lola: 30365386 markings, 34948468 edges, 40576 markings/sec, 700 secs
lola: 30565559 markings, 35178319 edges, 40035 markings/sec, 705 secs
lola: 30773586 markings, 35419963 edges, 41605 markings/sec, 710 secs
lola: 30975799 markings, 35650888 edges, 40443 markings/sec, 715 secs
lola: 31181453 markings, 35884280 edges, 41131 markings/sec, 720 secs
lola: 31385002 markings, 36116647 edges, 40710 markings/sec, 725 secs
lola: 31596313 markings, 36363658 edges, 42262 markings/sec, 730 secs
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '
'
Aborted (core dumped)
FORMULA DLCround-PT-06b-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-06b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="irma4mcc-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/DLCround-PT-06b.tgz
mv DLCround-PT-06b 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 irma4mcc-structural"
echo " Input is DLCround-PT-06b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r067-smll-152649739500053"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;