About the Execution of Irma.full for DLCround-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12886.070 | 1243803.00 | 2488322.00 | 4091.80 | ???????????????? | 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 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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 17K 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 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is DLCround-PT-13b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-smll-152649737200154
=====================================================================
--------------------
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-13b-ReachabilityFireability-00
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-01
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-02
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-03
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-04
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-05
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-06
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-07
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-08
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-09
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-10
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-11
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-12
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-13
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-14
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526652930826
BK_STOP 1526654174629
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-13b as instance name.
Using DLCround as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': 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': 65682, 'Memory': 737.36, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityFireability lola DLCround-PT-13b...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-13b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-13b: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityFireability @ DLCround-PT-13b @ 3540 seconds
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-ReachabilityFireability.task
lola: E (F (FIREABLE(t7317))) : E (F (FIREABLE(t5243))) : A (G (NOT FIREABLE(t4809))) : E (F (((NOT FIREABLE(t88) OR NOT FIREABLE(t5275)) AND FIREABLE(t2079) AND ((FIREABLE(t3718) AND FIREABLE(t651)) OR (FIREABLE(t5964) AND FIREABLE(t3025) AND (FIREABLE(t7269) OR FIREABLE(t5534))))))) : E (F ((FIREABLE(t377) AND FIREABLE(t7710) AND FIREABLE(t6899)))) : E (F ((FIREABLE(t3320) AND FIREABLE(t2846) AND NOT FIREABLE(t5168)))) : E (F ((NOT FIREABLE(t1966) AND NOT FIREABLE(t7199) AND FIREABLE(t6256) AND FIREABLE(t1567) AND FIREABLE(t365)))) : E (F (((NOT FIREABLE(t5395) OR FIREABLE(t7036)) AND FIREABLE(t3958) AND (NOT FIREABLE(t6596) OR FIREABLE(t8025) OR FIREABLE(t8667) OR FIREABLE(t6220) OR FIREABLE(t390) OR FIREABLE(t7976))))) : E (F (((FIREABLE(t2239) OR (NOT FIREABLE(t5276) AND FIREABLE(t5971))) AND (FIREABLE(t3552) OR FIREABLE(t5585) OR NOT FIREABLE(t5959) OR FIREABLE(t200))))) : A (G ((NOT FIREABLE(t6300) OR NOT FIREABLE(t7926) OR NOT FIREABLE(t4795) OR FIREABLE(t108)))) : E (F (((NOT FIREABLE(t3516) OR NOT FIREABLE(t7858)) AND FIREABLE(t6139) AND FIREABLE(t7387)))) : A (G ((NOT FIREABLE(t2237) OR NOT FIREABLE(t5626) OR (NOT FIREABLE(t8703) AND NOT FIREABLE(t2608)) OR NOT FIREABLE(t2599) OR NOT FIREABLE(t4317) OR (FIREABLE(t5402) AND FIREABLE(t7251) AND FIREABLE(t5768) AND FIREABLE(t365))))) : E (F (((NOT FIREABLE(t7986) AND NOT FIREABLE(t7535) AND FIREABLE(t4290)) OR FIREABLE(t416)))) : A (G ((NOT FIREABLE(t8660) OR NOT FIREABLE(t4218) OR (NOT FIREABLE(t3585) AND NOT FIREABLE(t7240)) OR NOT FIREABLE(t5682)))) : E (F ((FIREABLE(t7215) OR (FIREABLE(t2236) AND FIREABLE(t3407))))) : E (F (FIREABLE(t5845)))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t7317)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 280 markings, 279 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t5243)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 49 markings, 48 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t4809)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-2.sara.
lola: sara is running 0 secs || 14483 markings, 17519 edges, 2897 markings/sec, 0 secs
lola: sara is running 5 secs || 28551 markings, 34894 edges, 2814 markings/sec, 5 secs
lola: sara is running 10 secs || 43349 markings, 52736 edges, 2960 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 58780 markings, 71687 edges, 3086 markings/sec, 15 secs
lola: sara is running 20 secs || 74115 markings, 89511 edges, 3067 markings/sec, 20 secs
lola: sara is running 25 secs || 89490 markings, 107350 edges, 3075 markings/sec, 25 secs
lola: sara is running 30 secs || 104705 markings, 125054 edges, 3043 markings/sec, 30 secs
lola: sara is running 35 secs || 120186 markings, 143032 edges, 3096 markings/sec, 35 secs
lola: sara is running 40 secs || 135502 markings, 160830 edges, 3063 markings/sec, 40 secs
lola: sara is running 45 secs || 150741 markings, 178931 edges, 3048 markings/sec, 45 secs
lola: sara is running 50 secs || 165985 markings, 197268 edges, 3049 markings/sec, 50 secs
lola: sara is running 55 secs || 181261 markings, 215934 edges, 3055 markings/sec, 55 secs
lola: sara is running 60 secs || 196639 markings, 234119 edges, 3076 markings/sec, 60 secs
lola: sara is running 65 secs || 211922 markings, 252484 edges, 3057 markings/sec, 65 secs
lola: sara is running 70 secs || 226909 markings, 270425 edges, 2997 markings/sec, 70 secs
lola: sara is running 75 secs || 241540 markings, 287624 edges, 2926 markings/sec, 75 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 3 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t88) OR NOT FIREABLE(t5275)) AND FIREABLE(t2079) AND ((FIREABLE(t3718) AND FIREABLE(t651)) OR (FIREABLE(t5964) AND FIREABLE(t3025) AND (FIREABLE(t7269) OR FIREABLE(t5534)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 54 literals and 9 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-3.sara.
lola: sara is running 0 secs || 41458 markings, 47299 edges, 8292 markings/sec, 0 secs
lola: sara is running 5 secs || 84758 markings, 96966 edges, 8660 markings/sec, 5 secs
lola: sara is running 10 secs || 127897 markings, 146594 edges, 8628 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 172004 markings, 197519 edges, 8821 markings/sec, 15 secs
lola: sara is running 20 secs || 215160 markings, 247039 edges, 8631 markings/sec, 20 secs
lola: sara is running 25 secs || 257736 markings, 295928 edges, 8515 markings/sec, 25 secs
lola: sara is running 30 secs || 300956 markings, 345401 edges, 8644 markings/sec, 30 secs
lola: sara is running 35 secs || 344078 markings, 394768 edges, 8624 markings/sec, 35 secs
lola: sara is running 40 secs || 386491 markings, 443384 edges, 8483 markings/sec, 40 secs
lola: sara is running 45 secs || 428403 markings, 491292 edges, 8382 markings/sec, 45 secs
lola: sara is running 50 secs || 471076 markings, 540308 edges, 8535 markings/sec, 50 secs
lola: sara is running 55 secs || 515633 markings, 591736 edges, 8911 markings/sec, 55 secs
sara: warning, failure of lp_solve (at job 161)
lola: sara is running 60 secs || 559546 markings, 642343 edges, 8783 markings/sec, 60 secs
lola: sara is running 65 secs || 604223 markings, 693636 edges, 8935 markings/sec, 65 secs
lola: sara is running 70 secs || 649103 markings, 745657 edges, 8976 markings/sec, 70 secs
lola: sara is running 75 secs || 692386 markings, 795316 edges, 8657 markings/sec, 75 secs
lola: sara is running 80 secs || 736262 markings, 845503 edges, 8775 markings/sec, 80 secs
lola: sara is running 85 secs || 780805 markings, 896810 edges, 8909 markings/sec, 85 secs
lola: sara is running 90 secs || 824358 markings, 946831 edges, 8711 markings/sec, 90 secs
lola: sara is running 95 secs || 867266 markings, 996025 edges, 8582 markings/sec, 95 secs
lola: sara is running 100 secs || 910124 markings, 1045380 edges, 8572 markings/sec, 100 secs
lola: sara is running 105 secs || 953350 markings, 1095177 edges, 8645 markings/sec, 105 secs
lola: sara is running 110 secs || 996041 markings, 1144221 edges, 8538 markings/sec, 110 secs
lola: sara is running 115 secs || 1038799 markings, 1193365 edges, 8552 markings/sec, 115 secs
lola: sara is running 120 secs || 1080822 markings, 1241497 edges, 8405 markings/sec, 120 secs
lola: sara is running 125 secs || 1123699 markings, 1290761 edges, 8575 markings/sec, 125 secs
lola: sara is running 130 secs || 1165824 markings, 1338968 edges, 8425 markings/sec, 130 secs
lola: sara is running 135 secs || 1208130 markings, 1387593 edges, 8461 markings/sec, 135 secs
lola: sara is running 140 secs || 1251428 markings, 1437423 edges, 8660 markings/sec, 140 secs
lola: sara is running 145 secs || 1294595 markings, 1487063 edges, 8633 markings/sec, 145 secs
lola: sara is running 150 secs || 1336769 markings, 1535313 edges, 8435 markings/sec, 150 secs
lola: sara is running 155 secs || 1379342 markings, 1584277 edges, 8515 markings/sec, 155 secs
lola: sara is running 160 secs || 1421429 markings, 1632447 edges, 8417 markings/sec, 160 secs
lola: sara is running 165 secs || 1463788 markings, 1681069 edges, 8472 markings/sec, 165 secs
lola: sara is running 170 secs || 1505074 markings, 1728164 edges, 8257 markings/sec, 170 secs
lola: sara is running 175 secs || 1547423 markings, 1776797 edges, 8470 markings/sec, 175 secs
lola: sara is running 180 secs || 1589907 markings, 1825804 edges, 8497 markings/sec, 180 secs
lola: sara is running 185 secs || 1631191 markings, 1872984 edges, 8257 markings/sec, 185 secs
lola: sara is running 190 secs || 1672781 markings, 1920429 edges, 8318 markings/sec, 190 secs
lola: sara is running 195 secs || 1714496 markings, 1968154 edges, 8343 markings/sec, 195 secs
lola: sara is running 200 secs || 1756244 markings, 2015940 edges, 8350 markings/sec, 200 secs
lola: sara is running 205 secs || 1798287 markings, 2064192 edges, 8409 markings/sec, 205 secs
lola: sara is running 210 secs || 1840108 markings, 2112431 edges, 8364 markings/sec, 210 secs
lola: sara is running 215 secs || 1881825 markings, 2160377 edges, 8343 markings/sec, 215 secs
lola: sara is running 220 secs || 1923484 markings, 2208264 edges, 8332 markings/sec, 220 secs
lola: sara is running 225 secs || 1964868 markings, 2255974 edges, 8277 markings/sec, 225 secs
lola: sara is running 230 secs || 2006475 markings, 2303687 edges, 8321 markings/sec, 230 secs
lola: sara is running 235 secs || 2048201 markings, 2351446 edges, 8345 markings/sec, 235 secs
lola: sara is running 240 secs || 2089528 markings, 2398725 edges, 8265 markings/sec, 240 secs
lola: sara is running 245 secs || 2131335 markings, 2447012 edges, 8361 markings/sec, 245 secs
lola: sara is running 250 secs || 2173381 markings, 2495869 edges, 8409 markings/sec, 250 secs
lola: sara is running 255 secs || 2215580 markings, 2544582 edges, 8440 markings/sec, 255 secs
lola: sara is running 260 secs || 2257894 markings, 2593596 edges, 8463 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t377) AND FIREABLE(t7710) AND FIREABLE(t6899))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-4.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 483 markings, 482 edges
lola: ========================================
lola: subprocess 5 will run for 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3320) AND FIREABLE(t2846) AND NOT FIREABLE(t5168))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-5.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 343 markings, 342 edges
lola: ========================================
lola: subprocess 6 will run for 319 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t1966) AND NOT FIREABLE(t7199) AND FIREABLE(t6256) AND FIREABLE(t1567) AND FIREABLE(t365))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 12 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 564 markings, 564 edges
lola: ========================================
lola: subprocess 7 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t5395) OR FIREABLE(t7036)) AND FIREABLE(t3958) AND (NOT FIREABLE(t6596) OR FIREABLE(t8025) OR FIREABLE(t8667) OR FIREABLE(t6220) OR FIREABLE(t390) OR FIREABLE(t7976)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 82 literals and 21 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-7.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 12 markings, 11 edges
lola: ========================================
lola: subprocess 8 will run for 399 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t2239) OR (NOT FIREABLE(t5276) AND FIREABLE(t5971))) AND (FIREABLE(t3552) OR FIREABLE(t5585) OR NOT FIREABLE(t5959) OR FIREABLE(t200)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 53 literals and 15 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-8.sara.
lola: sara is running 0 secs || 14297 markings, 16801 edges, 2859 markings/sec, 0 secs
lola: sara is running 5 secs || 28277 markings, 33402 edges, 2796 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 29494 markings, 34845 edges
lola: ========================================
lola: subprocess 9 will run for 454 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6300) OR NOT FIREABLE(t7926) OR NOT FIREABLE(t4795) OR FIREABLE(t108))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-9.sara.
lola: sara is running 0 secs || 36638 markings, 40269 edges, 7328 markings/sec, 0 secs
lola: sara is running 5 secs || 71850 markings, 79488 edges, 7042 markings/sec, 5 secs
lola: sara is running 10 secs || 111565 markings, 123680 edges, 7943 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 10 will run for 527 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t3516) OR NOT FIREABLE(t7858)) AND FIREABLE(t6139) AND FIREABLE(t7387))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 15 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-10.sara.
lola: sara is running 0 secs || 44623 markings, 53965 edges, 8925 markings/sec, 0 secs
lola: sara is running 5 secs || 89102 markings, 107871 edges, 8896 markings/sec, 5 secs
lola: sara is running 10 secs || 133072 markings, 161167 edges, 8794 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 178066 markings, 215689 edges, 8999 markings/sec, 15 secs
lola: sara is running 20 secs || 222197 markings, 269361 edges, 8826 markings/sec, 20 secs
lola: sara is running 25 secs || 267091 markings, 324114 edges, 8979 markings/sec, 25 secs
lola: sara is running 30 secs || 312555 markings, 379370 edges, 9093 markings/sec, 30 secs
lola: sara is running 35 secs || 357180 markings, 433794 edges, 8925 markings/sec, 35 secs
lola: sara is running 40 secs || 403219 markings, 489631 edges, 9208 markings/sec, 40 secs
lola: sara is running 45 secs || 449002 markings, 545364 edges, 9157 markings/sec, 45 secs
lola: sara is running 50 secs || 494822 markings, 601147 edges, 9164 markings/sec, 50 secs
lola: sara is running 55 secs || 540561 markings, 657039 edges, 9148 markings/sec, 55 secs
lola: sara is running 60 secs || 585209 markings, 711450 edges, 8930 markings/sec, 60 secs
lola: sara is running 65 secs || 629859 markings, 765599 edges, 8930 markings/sec, 65 secs
lola: sara is running 70 secs || 674553 markings, 819954 edges, 8939 markings/sec, 70 secs
lola: sara is running 75 secs || 719907 markings, 875070 edges, 9071 markings/sec, 75 secs
lola: sara is running 80 secs || 764328 markings, 929158 edges, 8884 markings/sec, 80 secs
lola: sara is running 85 secs || 809792 markings, 984487 edges, 9093 markings/sec, 85 secs
lola: sara is running 90 secs || 855051 markings, 1039486 edges, 9052 markings/sec, 90 secs
lola: sara is running 95 secs || 899706 markings, 1093909 edges, 8931 markings/sec, 95 secs
lola: sara is running 100 secs || 944524 markings, 1148459 edges, 8964 markings/sec, 100 secs
lola: sara is running 105 secs || 988585 markings, 1202055 edges, 8812 markings/sec, 105 secs
lola: sara is running 110 secs || 1032865 markings, 1256214 edges, 8856 markings/sec, 110 secs
lola: sara is running 115 secs || 1077139 markings, 1310465 edges, 8855 markings/sec, 115 secs
lola: sara is running 120 secs || 1122124 markings, 1365281 edges, 8997 markings/sec, 120 secs
lola: sara is running 125 secs || 1167055 markings, 1420028 edges, 8986 markings/sec, 125 secs
lola: sara is running 130 secs || 1212017 markings, 1474704 edges, 8992 markings/sec, 130 secs
lola: sara is running 135 secs || 1257000 markings, 1529556 edges, 8997 markings/sec, 135 secs
lola: sara is running 140 secs || 1301155 markings, 1583280 edges, 8831 markings/sec, 140 secs
lola: sara is running 145 secs || 1345781 markings, 1637876 edges, 8925 markings/sec, 145 secs
lola: sara is running 150 secs || 1390171 markings, 1692047 edges, 8878 markings/sec, 150 secs
lola: sara is running 155 secs || 1435762 markings, 1747624 edges, 9118 markings/sec, 155 secs
lola: sara is running 160 secs || 1481098 markings, 1802883 edges, 9067 markings/sec, 160 secs
lola: sara is running 165 secs || 1527042 markings, 1858945 edges, 9189 markings/sec, 165 secs
lola: sara is running 170 secs || 1573439 markings, 1915432 edges, 9279 markings/sec, 170 secs
lola: sara is running 175 secs || 1619265 markings, 1971331 edges, 9165 markings/sec, 175 secs
lola: sara is running 180 secs || 1664638 markings, 2026705 edges, 9075 markings/sec, 180 secs
lola: sara is running 185 secs || 1709863 markings, 2081582 edges, 9045 markings/sec, 185 secs
lola: sara is running 190 secs || 1756472 markings, 2138510 edges, 9322 markings/sec, 190 secs
lola: sara is running 195 secs || 1802151 markings, 2194084 edges, 9136 markings/sec, 195 secs
lola: sara is running 200 secs || 1847748 markings, 2249712 edges, 9119 markings/sec, 200 secs
lola: sara is running 205 secs || 1892379 markings, 2304222 edges, 8926 markings/sec, 205 secs
lola: sara is running 210 secs || 1937757 markings, 2359718 edges, 9076 markings/sec, 210 secs
lola: sara is running 215 secs || 1983230 markings, 2415194 edges, 9095 markings/sec, 215 secs
lola: sara is running 220 secs || 2029299 markings, 2471277 edges, 9214 markings/sec, 220 secs
lola: sara is running 225 secs || 2075271 markings, 2527171 edges, 9194 markings/sec, 225 secs
lola: sara is running 230 secs || 2120539 markings, 2582318 edges, 9054 markings/sec, 230 secs
lola: sara is running 235 secs || 2166109 markings, 2637715 edges, 9114 markings/sec, 235 secs
lola: sara is running 240 secs || 2212198 markings, 2693817 edges, 9218 markings/sec, 240 secs
lola: sara is running 245 secs || 2258196 markings, 2749773 edges, 9200 markings/sec, 245 secs
lola: sara is running 250 secs || 2304100 markings, 2805896 edges, 9181 markings/sec, 250 secs
lola: sara is running 255 secs || 2349792 markings, 2861707 edges, 9138 markings/sec, 255 secs
lola: sara is running 260 secs || 2396336 markings, 2918345 edges, 9309 markings/sec, 260 secs
lola: sara is running 265 secs || 2441010 markings, 2972880 edges, 8935 markings/sec, 265 secs
lola: sara is running 270 secs || 2485275 markings, 3026704 edges, 8853 markings/sec, 270 secs
lola: sara is running 275 secs || 2530174 markings, 3081443 edges, 8980 markings/sec, 275 secs
lola: sara is running 280 secs || 2572854 markings, 3133525 edges, 8536 markings/sec, 280 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 11 will run for 575 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t2237) OR NOT FIREABLE(t5626) OR (NOT FIREABLE(t8703) AND NOT FIREABLE(t2608)) OR NOT FIREABLE(t2599) OR NOT FIREABLE(t4317) OR (FIREABLE(t5402) AND FIREABLE(t7251) AND FIREABLE(t5768) AND FIREABLE(t365)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 98 literals and 14 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-11.sara.
lola: sara is running 0 secs || 26591 markings, 30324 edges, 5318 markings/sec, 0 secs
lola: sara is running 5 secs || 72554 markings, 82894 edges, 9193 markings/sec, 5 secs
lola: sara is running 10 secs || 118667 markings, 136296 edges, 9223 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 164410 markings, 189946 edges, 9149 markings/sec, 15 secs
lola: sara is running 20 secs || 210685 markings, 242896 edges, 9255 markings/sec, 20 secs
lola: sara is running 25 secs || 257039 markings, 296332 edges, 9271 markings/sec, 25 secs
lola: sara is running 30 secs || 302946 markings, 348867 edges, 9181 markings/sec, 30 secs
lola: sara is running 35 secs || 348431 markings, 401291 edges, 9097 markings/sec, 35 secs
lola: sara is running 40 secs || 394275 markings, 454061 edges, 9169 markings/sec, 40 secs
lola: sara is running 45 secs || 440200 markings, 506743 edges, 9185 markings/sec, 45 secs
lola: sara is running 50 secs || 485123 markings, 558238 edges, 8985 markings/sec, 50 secs
lola: sara is running 55 secs || 530830 markings, 611256 edges, 9141 markings/sec, 55 secs
lola: sara is running 60 secs || 576549 markings, 664081 edges, 9144 markings/sec, 60 secs
lola: sara is running 65 secs || 622395 markings, 716924 edges, 9169 markings/sec, 65 secs
lola: sara is running 70 secs || 668277 markings, 769673 edges, 9176 markings/sec, 70 secs
lola: sara is running 75 secs || 714313 markings, 822622 edges, 9207 markings/sec, 75 secs
lola: sara is running 80 secs || 760585 markings, 876186 edges, 9254 markings/sec, 80 secs
lola: sara is running 85 secs || 806437 markings, 929030 edges, 9170 markings/sec, 85 secs
lola: sara is running 90 secs || 851738 markings, 980878 edges, 9060 markings/sec, 90 secs
lola: sara is running 95 secs || 896964 markings, 1033104 edges, 9045 markings/sec, 95 secs
lola: sara is running 100 secs || 942018 markings, 1085122 edges, 9011 markings/sec, 100 secs
lola: sara is running 105 secs || 987333 markings, 1137423 edges, 9063 markings/sec, 105 secs
lola: sara is running 110 secs || 1031399 markings, 1188557 edges, 8813 markings/sec, 110 secs
lola: sara is running 115 secs || 1076432 markings, 1240157 edges, 9007 markings/sec, 115 secs
lola: sara is running 120 secs || 1121336 markings, 1291701 edges, 8981 markings/sec, 120 secs
lola: sara is running 125 secs || 1166241 markings, 1343153 edges, 8981 markings/sec, 125 secs
lola: sara is running 130 secs || 1211164 markings, 1395115 edges, 8985 markings/sec, 130 secs
lola: sara is running 135 secs || 1255136 markings, 1445633 edges, 8794 markings/sec, 135 secs
lola: sara is running 140 secs || 1299406 markings, 1496464 edges, 8854 markings/sec, 140 secs
lola: sara is running 145 secs || 1343581 markings, 1547262 edges, 8835 markings/sec, 145 secs
lola: sara is running 150 secs || 1388888 markings, 1598937 edges, 9061 markings/sec, 150 secs
lola: sara is running 155 secs || 1434221 markings, 1651089 edges, 9067 markings/sec, 155 secs
lola: sara is running 160 secs || 1478700 markings, 1702457 edges, 8896 markings/sec, 160 secs
lola: sara is running 165 secs || 1524120 markings, 1754661 edges, 9084 markings/sec, 165 secs
lola: sara is running 170 secs || 1568834 markings, 1805960 edges, 8943 markings/sec, 170 secs
lola: sara is running 175 secs || 1613559 markings, 1857443 edges, 8945 markings/sec, 175 secs
lola: sara is running 180 secs || 1658947 markings, 1909519 edges, 9078 markings/sec, 180 secs
lola: sara is running 185 secs || 1703283 markings, 1960634 edges, 8867 markings/sec, 185 secs
lola: sara is running 190 secs || 1747793 markings, 2011859 edges, 8902 markings/sec, 190 secs
lola: sara is running 195 secs || 1792639 markings, 2063332 edges, 8969 markings/sec, 195 secs
lola: sara is running 200 secs || 1838021 markings, 2115464 edges, 9076 markings/sec, 200 secs
lola: sara is running 205 secs || 1883331 markings, 2167622 edges, 9062 markings/sec, 205 secs
lola: sara is running 210 secs || 1927883 markings, 2218834 edges, 8910 markings/sec, 210 secs
lola: sara is running 215 secs || 1972311 markings, 2270361 edges, 8886 markings/sec, 215 secs
lola: sara is running 220 secs || 2016959 markings, 2322117 edges, 8930 markings/sec, 220 secs
lola: sara is running 225 secs || 2061729 markings, 2373249 edges, 8954 markings/sec, 225 secs
lola: sara is running 230 secs || 2105905 markings, 2423596 edges, 8835 markings/sec, 230 secs
lola: sara is running 235 secs || 2150009 markings, 2473857 edges, 8821 markings/sec, 235 secs
lola: sara is running 240 secs || 2193769 markings, 2523814 edges, 8752 markings/sec, 240 secs
lola: sara is running 245 secs || 2237927 markings, 2574162 edges, 8832 markings/sec, 245 secs
lola: sara is running 250 secs || 2281912 markings, 2624287 edges, 8797 markings/sec, 250 secs
lola: sara is running 255 secs || 2326279 markings, 2674884 edges, 8873 markings/sec, 255 secs
lola: sara is running 260 secs || 2370380 markings, 2725380 edges, 8820 markings/sec, 260 secs
lola: sara is running 265 secs || 2414692 markings, 2775872 edges, 8862 markings/sec, 265 secs
lola: sara is running 270 secs || 2459329 markings, 2826923 edges, 8927 markings/sec, 270 secs
lola: sara is running 275 secs || 2503600 markings, 2877623 edges, 8854 markings/sec, 275 secs
lola: sara is running 280 secs || 2545983 markings, 2925890 edges, 8477 markings/sec, 280 secs
lola: sara is running 285 secs || 2560575 markings, 2943389 edges, 2918 markings/sec, 285 secs
lola: sara is running 290 secs || 2575019 markings, 2960865 edges, 2889 markings/sec, 290 secs
lola: sara is running 295 secs || 2589627 markings, 2978453 edges, 2922 markings/sec, 295 secs
lola: sara is running 300 secs || 2604169 markings, 2996166 edges, 2908 markings/sec, 300 secs
lola: sara is running 305 secs || 2618715 markings, 3014894 edges, 2909 markings/sec, 305 secs
lola: sara is running 310 secs || 2633279 markings, 3032661 edges, 2913 markings/sec, 310 secs
lola: sara is running 315 secs || 2647904 markings, 3050320 edges, 2925 markings/sec, 315 secs
lola: sara is running 320 secs || 2662424 markings, 3068047 edges, 2904 markings/sec, 320 secs
lola: sara is running 325 secs || 2676729 markings, 3085509 edges, 2861 markings/sec, 325 secs
lola: sara is running 330 secs || 2691046 markings, 3103146 edges, 2863 markings/sec, 330 secs
lola: sara is running 335 secs || 2705331 markings, 3120646 edges, 2857 markings/sec, 335 secs
lola: sara is running 340 secs || 2719624 markings, 3138208 edges, 2859 markings/sec, 340 secs
lola: sara is running 345 secs || 2733948 markings, 3155691 edges, 2865 markings/sec, 345 secs
lola: sara is running 350 secs || 2748264 markings, 3173383 edges, 2863 markings/sec, 350 secs
lola: sara is running 355 secs || 2762540 markings, 3191899 edges, 2855 markings/sec, 355 secs
lola: sara is running 360 secs || 2776808 markings, 3209584 edges, 2854 markings/sec, 360 secs
lola: sara is running 365 secs || 2791084 markings, 3227132 edges, 2855 markings/sec, 365 secs
lola: sara is running 370 secs || 2805366 markings, 3244683 edges, 2856 markings/sec, 370 secs
lola: sara is running 375 secs || 2819639 markings, 3262194 edges, 2855 markings/sec, 375 secs
lola: sara is running 380 secs || 2833886 markings, 3279726 edges, 2849 markings/sec, 380 secs
lola: sara is running 385 secs || 2848099 markings, 3297197 edges, 2843 markings/sec, 385 secs
lola: sara is running 390 secs || 2862307 markings, 3314644 edges, 2842 markings/sec, 390 secs
lola: sara is running 395 secs || 2876792 markings, 3332501 edges, 2897 markings/sec, 395 secs
lola: sara is running 400 secs || 2891319 markings, 3350959 edges, 2905 markings/sec, 400 secs
lola: sara is running 405 secs || 2905921 markings, 3369496 edges, 2920 markings/sec, 405 secs
lola: sara is running 410 secs || 2920805 markings, 3387348 edges, 2977 markings/sec, 410 secs
lola: sara is running 415 secs || 2935672 markings, 3405560 edges, 2973 markings/sec, 415 secs
lola: sara is running 420 secs || 2950271 markings, 3422958 edges, 2920 markings/sec, 420 secs
lola: sara is running 425 secs || 2964910 markings, 3440441 edges, 2928 markings/sec, 425 secs
lola: sara is running 430 secs || 2979396 markings, 3457697 edges, 2897 markings/sec, 430 secs
lola: sara is running 435 secs || 2993260 markings, 3474952 edges, 2773 markings/sec, 435 secs
lola: sara is running 440 secs || 3007082 markings, 3491870 edges, 2764 markings/sec, 440 secs
lola: sara is running 445 secs || 3020871 markings, 3508838 edges, 2758 markings/sec, 445 secs
lola: sara is running 450 secs || 3034687 markings, 3525733 edges, 2763 markings/sec, 450 secs
lola: sara is running 455 secs || 3048440 markings, 3542624 edges, 2751 markings/sec, 455 secs
lola: sara is running 460 secs || 3062276 markings, 3559619 edges, 2767 markings/sec, 460 secs
lola: sara is running 465 secs || 3076225 markings, 3576898 edges, 2790 markings/sec, 465 secs
lola: sara is running 470 secs || 3090192 markings, 3594193 edges, 2793 markings/sec, 470 secs
lola: sara is running 475 secs || 3104119 markings, 3612011 edges, 2785 markings/sec, 475 secs
lola: sara is running 480 secs || 3118445 markings, 3629723 edges, 2865 markings/sec, 480 secs
lola: sara is running 485 secs || 3133218 markings, 3647576 edges, 2955 markings/sec, 485 secs
lola: sara is running 490 secs || 3147873 markings, 3665292 edges, 2931 markings/sec, 490 secs
lola: sara is running 495 secs || 3162503 markings, 3682864 edges, 2926 markings/sec, 495 secs
lola: sara is running 500 secs || 3177068 markings, 3700091 edges, 2913 markings/sec, 500 secs
lola: sara is running 505 secs || 3191520 markings, 3717788 edges, 2890 markings/sec, 505 secs
lola: sara is running 510 secs || 3205740 markings, 3735342 edges, 2844 markings/sec, 510 secs
lola: sara is running 515 secs || 3219874 markings, 3752588 edges, 2827 markings/sec, 515 secs
lola: sara is running 520 secs || 3233991 markings, 3770035 edges, 2823 markings/sec, 520 secs
lola: sara is running 525 secs || 3248224 markings, 3787739 edges, 2847 markings/sec, 525 secs
lola: sara is running 530 secs || 3262417 markings, 3805890 edges, 2839 markings/sec, 530 secs
lola: sara is running 535 secs || 3276971 markings, 3823999 edges, 2911 markings/sec, 535 secs
lola: sara is running 540 secs || 3291740 markings, 3841723 edges, 2954 markings/sec, 540 secs
lola: sara is running 545 secs || 3306422 markings, 3859594 edges, 2936 markings/sec, 545 secs
lola: sara is running 550 secs || 3320997 markings, 3877165 edges, 2915 markings/sec, 550 secs
lola: sara is running 555 secs || 3335528 markings, 3894261 edges, 2906 markings/sec, 555 secs
lola: sara is running 560 secs || 3350032 markings, 3911919 edges, 2901 markings/sec, 560 secs
lola: sara is running 565 secs || 3364258 markings, 3929717 edges, 2845 markings/sec, 565 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
FORMULA DLCround-PT-13b-ReachabilityFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-13b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="irma4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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-full"
echo " Input is DLCround-PT-13b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-smll-152649737200154"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;