About the Execution of M4M.struct for DLCround-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11070.390 | 1973605.00 | 1983644.00 | 5779.90 | ???????????????? | 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 736K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 566K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DLCround-PT-09a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649743900087
=====================================================================
--------------------
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-09a-CTLCardinality-00
FORMULA_NAME DLCround-PT-09a-CTLCardinality-01
FORMULA_NAME DLCround-PT-09a-CTLCardinality-02
FORMULA_NAME DLCround-PT-09a-CTLCardinality-03
FORMULA_NAME DLCround-PT-09a-CTLCardinality-04
FORMULA_NAME DLCround-PT-09a-CTLCardinality-05
FORMULA_NAME DLCround-PT-09a-CTLCardinality-06
FORMULA_NAME DLCround-PT-09a-CTLCardinality-07
FORMULA_NAME DLCround-PT-09a-CTLCardinality-08
FORMULA_NAME DLCround-PT-09a-CTLCardinality-09
FORMULA_NAME DLCround-PT-09a-CTLCardinality-10
FORMULA_NAME DLCround-PT-09a-CTLCardinality-11
FORMULA_NAME DLCround-PT-09a-CTLCardinality-12
FORMULA_NAME DLCround-PT-09a-CTLCardinality-13
FORMULA_NAME DLCround-PT-09a-CTLCardinality-14
FORMULA_NAME DLCround-PT-09a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526677700839
BK_STOP 1526679674444
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-09a as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 5794, 'Memory': 331.71, 'Tool': 'itstools'}, {'Time': 748949, 'Memory': 10826.82, 'Tool': 'gspn'}, {'Time': 2661426, 'Memory': 15938.12, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 459.34173282706246x far from the best tool itstools.
CTLCardinality lola DLCround-PT-09a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-09a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-09a: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLCardinality @ DLCround-PT-09a @ 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: 2542/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 299 places, 2243 transitions, 115 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1970 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-09a-CTLCardinality.task
lola: NOT(E (F ((2 <= p278)))) : (E ((((p179 <= p54) OR (1 <= p240)) U ((3 <= p294) OR (2 <= p53)))) OR E (G (((p150 <= p73) AND (p144 <= 1))))) : A (G ((A (X ((3 <= p37))) OR E (F ((1 <= p196)))))) : (E (X (E (F ((3 <= p230))))) AND E (F ((p173 <= p69)))) : (A (G (E (F ((1 <= p66))))) OR (1 <= p138)) : E (F ((E (X ((p88 <= p77))) AND (2 <= p224)))) : NOT(((p6 + 1 <= p24) OR A (G (((p106 <= p157) OR (p264 <= p85)))))) : (NOT(E (G (((3 <= p282) AND (3 <= p217))))) AND (E (F (((p298 <= p138) AND (3 <= p182)))) OR A (G ((p138 <= 1))))) : (A (G (((p277 <= p297) OR (2 <= p286) OR (p144 <= p78)))) AND ((E (F ((3 <= p266))) AND A (F ((1 <= p120)))) OR ((p47 <= p144) OR (p161 <= p287)))) : (E (F ((2 <= p84))) AND (p27 <= p201)) : (E ((((p290 <= p181) OR (1 <= p160)) U ((p134 <= p209) OR (p129 <= p11)))) AND A (G (E (G ((p223 <= p262)))))) : E (((((p8 <= p13) OR (2 <= p96)) AND (p193 <= p224)) U ((p22 <= p2) AND (p91 <= p294) AND (p48 + 1 <= p115)))) : A (X (E (F ((3 <= p135))))) : E (F (A (G ((p122 <= p41))))) : A (G (E (F ((p117 + 1 <= p43))))) : (NOT(A (((p136 <= p71) U (p153 <= p96)))) OR NOT(NOT(A (G ((p125 <= p293))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (F ((2 <= p278))))
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 16 bytes per marking, with 13 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E ((((p179 <= p54) OR (1 <= p240)) U ((3 <= p294) OR (2 <= p53)))) OR E (G (((p150 <= p73) AND (p144 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((((p179 <= p54) OR (1 <= p240)) U ((3 <= p294) OR (2 <= p53))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(((p179 <= p54) OR (1 <= p240)) U ((3 <= p294) OR (2 <= p53)))
lola: processed formula length: 65
lola: 1 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 199250 markings, 5947424 edges, 39850 markings/sec, 0 secs
lola: 388626 markings, 11956479 edges, 37875 markings/sec, 5 secs
lola: 579486 markings, 18008726 edges, 38172 markings/sec, 10 secs
lola: 775990 markings, 24158781 edges, 39301 markings/sec, 15 secs
lola: 954349 markings, 30449404 edges, 35672 markings/sec, 20 secs
lola: 1120954 markings, 36531251 edges, 33321 markings/sec, 25 secs
lola: 1287300 markings, 42562921 edges, 33269 markings/sec, 30 secs
lola: 1460220 markings, 48624765 edges, 34584 markings/sec, 35 secs
lola: 1628841 markings, 54522039 edges, 33724 markings/sec, 40 secs
lola: 1786569 markings, 60324995 edges, 31546 markings/sec, 45 secs
lola: 1955123 markings, 66239631 edges, 33711 markings/sec, 50 secs
lola: 2122865 markings, 72005197 edges, 33548 markings/sec, 55 secs
lola: 2278857 markings, 77735321 edges, 31198 markings/sec, 60 secs
lola: 2436214 markings, 83441679 edges, 31471 markings/sec, 65 secs
lola: 2589443 markings, 89115198 edges, 30646 markings/sec, 70 secs
lola: 2743301 markings, 94845360 edges, 30772 markings/sec, 75 secs
lola: 2897684 markings, 100582462 edges, 30877 markings/sec, 80 secs
lola: 3073538 markings, 106423388 edges, 35171 markings/sec, 85 secs
lola: 3253319 markings, 112118765 edges, 35956 markings/sec, 90 secs
lola: 3410713 markings, 117712478 edges, 31479 markings/sec, 95 secs
lola: 3564239 markings, 123362726 edges, 30705 markings/sec, 100 secs
lola: 3730017 markings, 129319582 edges, 33156 markings/sec, 105 secs
lola: 3892258 markings, 135125881 edges, 32448 markings/sec, 110 secs
lola: 4041798 markings, 140671969 edges, 29908 markings/sec, 115 secs
lola: 4208909 markings, 147009152 edges, 33422 markings/sec, 120 secs
lola: 4365717 markings, 153187479 edges, 31362 markings/sec, 125 secs
lola: 4514720 markings, 159287806 edges, 29801 markings/sec, 130 secs
lola: 4671521 markings, 165420585 edges, 31360 markings/sec, 135 secs
lola: 4826555 markings, 171577533 edges, 31007 markings/sec, 140 secs
lola: 4980721 markings, 177655495 edges, 30833 markings/sec, 145 secs
lola: 5131310 markings, 183653568 edges, 30118 markings/sec, 150 secs
lola: 5289376 markings, 189683817 edges, 31613 markings/sec, 155 secs
lola: 5438673 markings, 195654347 edges, 29859 markings/sec, 160 secs
lola: 5591123 markings, 201598197 edges, 30490 markings/sec, 165 secs
lola: 5737518 markings, 207464280 edges, 29279 markings/sec, 170 secs
lola: 5881583 markings, 213294688 edges, 28813 markings/sec, 175 secs
lola: 6029140 markings, 219192886 edges, 29511 markings/sec, 180 secs
lola: 6177913 markings, 225220333 edges, 29755 markings/sec, 185 secs
lola: 6336876 markings, 231347598 edges, 31793 markings/sec, 190 secs
lola: 6485734 markings, 237248958 edges, 29772 markings/sec, 195 secs
lola: 6627192 markings, 243036297 edges, 28292 markings/sec, 200 secs
lola: 6769795 markings, 248822770 edges, 28521 markings/sec, 205 secs
lola: 6908286 markings, 254537624 edges, 27698 markings/sec, 210 secs
lola: 7045793 markings, 260272192 edges, 27501 markings/sec, 215 secs
lola: 7187883 markings, 265945940 edges, 28418 markings/sec, 220 secs
lola: 7331436 markings, 271761719 edges, 28711 markings/sec, 225 secs
lola: 7480764 markings, 277657498 edges, 29866 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A (X ((3 <= p37))) OR E (F ((1 <= p196))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U (NOT(AX((3 <= p37))) AND NOT(E(TRUE U (1 <= p196))))))
lola: processed formula length: 67
lola: 4 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 150475 markings, 4729749 edges, 1885087259615559680 markings/sec, 0 secs
lola: 302873 markings, 9491148 edges, 30480 markings/sec, 5 secs
lola: 448892 markings, 14312518 edges, 29204 markings/sec, 10 secs
lola: 599621 markings, 19235479 edges, 30146 markings/sec, 15 secs
lola: 746481 markings, 23903490 edges, 29372 markings/sec, 20 secs
lola: 878171 markings, 28624496 edges, 26338 markings/sec, 25 secs
lola: 1015015 markings, 33628616 edges, 27369 markings/sec, 30 secs
lola: 1145080 markings, 38548996 edges, 26013 markings/sec, 35 secs
lola: 1279106 markings, 43557065 edges, 26805 markings/sec, 40 secs
lola: 1423164 markings, 48690276 edges, 28812 markings/sec, 45 secs
lola: 1559902 markings, 53709842 edges, 27348 markings/sec, 50 secs
lola: 1691870 markings, 58582664 edges, 26394 markings/sec, 55 secs
lola: 1824675 markings, 63498395 edges, 26561 markings/sec, 60 secs
lola: 1960997 markings, 68394069 edges, 27264 markings/sec, 65 secs
lola: 2097841 markings, 73233895 edges, 27369 markings/sec, 70 secs
lola: 2227420 markings, 78033685 edges, 25916 markings/sec, 75 secs
lola: 2354535 markings, 82797550 edges, 25423 markings/sec, 80 secs
lola: 2479118 markings, 87495953 edges, 24917 markings/sec, 85 secs
lola: 2591750 markings, 91786756 edges, 22526 markings/sec, 90 secs
lola: 2716660 markings, 96548928 edges, 24982 markings/sec, 95 secs
lola: 2839213 markings, 101247227 edges, 24511 markings/sec, 100 secs
lola: 2965862 markings, 106037222 edges, 25330 markings/sec, 105 secs
lola: 3116847 markings, 110912123 edges, 30197 markings/sec, 110 secs
lola: 3260056 markings, 115587464 edges, 28642 markings/sec, 115 secs
lola: 3388521 markings, 120281711 edges, 25693 markings/sec, 120 secs
lola: 3513923 markings, 124992224 edges, 25080 markings/sec, 125 secs
lola: 3637347 markings, 129684249 edges, 24685 markings/sec, 130 secs
lola: 3774269 markings, 134602246 edges, 27384 markings/sec, 135 secs
lola: 3901968 markings, 139410103 edges, 25540 markings/sec, 140 secs
lola: 4023327 markings, 144028765 edges, 24272 markings/sec, 145 secs
lola: 4158079 markings, 149253416 edges, 26950 markings/sec, 150 secs
lola: 4290402 markings, 154483744 edges, 26465 markings/sec, 155 secs
lola: 4414084 markings, 159585579 edges, 24736 markings/sec, 160 secs
lola: 4536580 markings, 164690254 edges, 24499 markings/sec, 165 secs
lola: 4663995 markings, 169792889 edges, 25483 markings/sec, 170 secs
lola: 4791929 markings, 174976683 edges, 25587 markings/sec, 175 secs
lola: 4912971 markings, 179976482 edges, 24208 markings/sec, 180 secs
lola: 5041676 markings, 185091264 edges, 25741 markings/sec, 185 secs
lola: 5166427 markings, 190121233 edges, 24950 markings/sec, 190 secs
lola: 5294288 markings, 195162891 edges, 25572 markings/sec, 195 secs
lola: 5416746 markings, 200162380 edges, 24492 markings/sec, 200 secs
lola: 5540061 markings, 205113208 edges, 24663 markings/sec, 205 secs
lola: 5663334 markings, 210097879 edges, 24655 markings/sec, 210 secs
lola: 5780227 markings, 214988520 edges, 23379 markings/sec, 215 secs
lola: 5896459 markings, 219812703 edges, 23246 markings/sec, 220 secs
lola: 6019148 markings, 224804048 edges, 24538 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (X (E (F ((3 <= p230))))) AND E (F ((p173 <= p69))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((3 <= p230)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(E(TRUE U (3 <= p230)))
lola: processed formula length: 25
lola: 2 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 212302 markings, 6352577 edges, 3110627521507360768 markings/sec, 0 secs
lola: 403153 markings, 12416984 edges, 38170 markings/sec, 5 secs
lola: 596752 markings, 18544007 edges, 38720 markings/sec, 10 secs
lola: 792838 markings, 24758605 edges, 39217 markings/sec, 15 secs
lola: 974619 markings, 31175198 edges, 36356 markings/sec, 20 secs
lola: 1143539 markings, 37347639 edges, 33784 markings/sec, 25 secs
lola: 1315629 markings, 43593943 edges, 34418 markings/sec, 30 secs
lola: 1490703 markings, 49766369 edges, 35015 markings/sec, 35 secs
lola: 1662722 markings, 55803458 edges, 34404 markings/sec, 40 secs
lola: 1830789 markings, 61890303 edges, 33613 markings/sec, 45 secs
lola: 2004931 markings, 67845577 edges, 34828 markings/sec, 50 secs
lola: 2172179 markings, 73812247 edges, 33450 markings/sec, 55 secs
lola: 2334245 markings, 79695013 edges, 32413 markings/sec, 60 secs
lola: 2494182 markings, 85587798 edges, 31987 markings/sec, 65 secs
lola: 2650478 markings, 91388081 edges, 31259 markings/sec, 70 secs
lola: 2808314 markings, 97239422 edges, 31567 markings/sec, 75 secs
lola: 2966259 markings, 103083258 edges, 31589 markings/sec, 80 secs
lola: 3159544 markings, 109082568 edges, 38657 markings/sec, 85 secs
lola: 3334460 markings, 114865959 edges, 34983 markings/sec, 90 secs
lola: 3493163 markings, 120672482 edges, 31741 markings/sec, 95 secs
lola: 3652525 markings, 126563324 edges, 31872 markings/sec, 100 secs
lola: 3824440 markings, 132627228 edges, 34383 markings/sec, 105 secs
lola: 3979742 markings, 138401707 edges, 31060 markings/sec, 110 secs
lola: 4145104 markings, 144593592 edges, 33072 markings/sec, 115 secs
lola: 4311664 markings, 151044615 edges, 33312 markings/sec, 120 secs
lola: 4466135 markings, 157308597 edges, 30894 markings/sec, 125 secs
lola: 4618952 markings, 163496080 edges, 30563 markings/sec, 130 secs
lola: 4785196 markings, 169903012 edges, 33249 markings/sec, 135 secs
lola: 4937155 markings, 176051354 edges, 30392 markings/sec, 140 secs
lola: 5097006 markings, 182266583 edges, 31970 markings/sec, 145 secs
lola: 5256318 markings, 188419331 edges, 31862 markings/sec, 150 secs
lola: 5413164 markings, 194595999 edges, 31369 markings/sec, 155 secs
lola: 5569073 markings, 200682399 edges, 31182 markings/sec, 160 secs
lola: 5719334 markings, 206737837 edges, 30052 markings/sec, 165 secs
lola: 5868023 markings, 212756502 edges, 29738 markings/sec, 170 secs
lola: 6020083 markings, 218824809 edges, 30412 markings/sec, 175 secs
lola: 6172595 markings, 225014850 edges, 30502 markings/sec, 180 secs
lola: 6336731 markings, 231341418 edges, 32827 markings/sec, 185 secs
lola: 6489861 markings, 237410682 edges, 30626 markings/sec, 190 secs
lola: 6635122 markings, 243351688 edges, 29052 markings/sec, 195 secs
lola: 6781680 markings, 249289636 edges, 29312 markings/sec, 200 secs
lola: 6923840 markings, 255187877 edges, 28432 markings/sec, 205 secs
lola: 7065556 markings, 261073809 edges, 28343 markings/sec, 210 secs
lola: 7213256 markings, 266932748 edges, 29540 markings/sec, 215 secs
lola: 7364412 markings, 272986370 edges, 30231 markings/sec, 220 secs
lola: 7510269 markings, 278907996 edges, 29171 markings/sec, 225 secs
lola: 7649571 markings, 284680650 edges, 27860 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F ((1 <= p66))))) OR (1 <= p138))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((1 <= p66)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: liveness not yet implemented, converting to CTL...
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U (1 <= p66)))))
lola: processed formula length: 40
lola: 2 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 209585 markings, 6265168 edges, 3110627521507360768 markings/sec, 0 secs
lola: 397545 markings, 12230135 edges, 37592 markings/sec, 5 secs
lola: 587163 markings, 18243257 edges, 37924 markings/sec, 10 secs
lola: 781805 markings, 24364919 edges, 38928 markings/sec, 15 secs
lola: 960402 markings, 30670414 edges, 35719 markings/sec, 20 secs
lola: 1125234 markings, 36690776 edges, 32966 markings/sec, 25 secs
lola: 1291562 markings, 42719697 edges, 33266 markings/sec, 30 secs
lola: 1464467 markings, 48789393 edges, 34581 markings/sec, 35 secs
lola: 1633707 markings, 54697267 edges, 33848 markings/sec, 40 secs
lola: 1791940 markings, 60517558 edges, 31647 markings/sec, 45 secs
lola: 1962626 markings, 66482531 edges, 34137 markings/sec, 50 secs
lola: 2130956 markings, 72293267 edges, 33666 markings/sec, 55 secs
lola: 2287402 markings, 78036300 edges, 31289 markings/sec, 60 secs
lola: 2445128 markings, 83763581 edges, 31545 markings/sec, 65 secs
lola: 2597171 markings, 89409111 edges, 30409 markings/sec, 70 secs
lola: 2750506 markings, 95088542 edges, 30667 markings/sec, 75 secs
lola: 2902064 markings, 100743906 edges, 30312 markings/sec, 80 secs
lola: 3079580 markings, 106610537 edges, 35503 markings/sec, 85 secs
lola: 3260073 markings, 112327986 edges, 36099 markings/sec, 90 secs
lola: 3417484 markings, 117973394 edges, 31482 markings/sec, 95 secs
lola: 3574630 markings, 123738934 edges, 31429 markings/sec, 100 secs
lola: 3744287 markings, 129776317 edges, 33931 markings/sec, 105 secs
lola: 3904335 markings, 135610670 edges, 32010 markings/sec, 110 secs
lola: 4059149 markings, 141297887 edges, 30963 markings/sec, 115 secs
lola: 4230070 markings, 147809936 edges, 34184 markings/sec, 120 secs
lola: 4386787 markings, 154060119 edges, 31343 markings/sec, 125 secs
lola: 4535211 markings, 160095901 edges, 29685 markings/sec, 130 secs
lola: 4691256 markings, 166180052 edges, 31209 markings/sec, 135 secs
lola: 4843670 markings, 172296198 edges, 30483 markings/sec, 140 secs
lola: 5000973 markings, 178426208 edges, 31461 markings/sec, 145 secs
lola: 5154021 markings, 184473268 edges, 30610 markings/sec, 150 secs
lola: 5313209 markings, 190523715 edges, 31838 markings/sec, 155 secs
lola: 5460482 markings, 196483327 edges, 29455 markings/sec, 160 secs
lola: 5611405 markings, 202432313 edges, 30185 markings/sec, 165 secs
lola: 5758428 markings, 208327974 edges, 29405 markings/sec, 170 secs
lola: 5901422 markings, 214124826 edges, 28599 markings/sec, 175 secs
lola: 6048869 markings, 220025235 edges, 29489 markings/sec, 180 secs
lola: 6119530 markings, 222934063 edges, 14132 markings/sec, 185 secs
lola: 6119530 markings, 226786188 edges, 0 markings/sec, 190 secs
lola: 6119530 markings, 232591906 edges, 0 markings/sec, 195 secs
lola: 6119530 markings, 238667235 edges, 0 markings/sec, 200 secs
lola: 6119530 markings, 244842868 edges, 0 markings/sec, 205 secs
lola: 6119530 markings, 250906594 edges, 0 markings/sec, 210 secs
lola: 6119530 markings, 256901573 edges, 0 markings/sec, 215 secs
lola: 6119530 markings, 262830131 edges, 0 markings/sec, 220 secs
lola: 6119530 markings, 268921926 edges, 0 markings/sec, 225 secs
lola: 6119530 markings, 274937895 edges, 0 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((p88 <= p77))) AND (2 <= p224))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (EX((p88 <= p77)) AND (2 <= p224)))
lola: processed formula length: 44
lola: 2 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 166310 markings, 5027282 edges, 3689329903141912576 markings/sec, 0 secs
lola: 324154 markings, 9879153 edges, 31569 markings/sec, 5 secs
lola: 477203 markings, 14730977 edges, 30610 markings/sec, 10 secs
lola: 635752 markings, 19664119 edges, 31710 markings/sec, 15 secs
lola: 788631 markings, 24612247 edges, 30576 markings/sec, 20 secs
lola: 934742 markings, 29748380 edges, 29222 markings/sec, 25 secs
lola: 1074525 markings, 34792549 edges, 27957 markings/sec, 30 secs
lola: 1208402 markings, 39756000 edges, 26775 markings/sec, 35 secs
lola: 1351317 markings, 44833784 edges, 28583 markings/sec, 40 secs
lola: 1491856 markings, 49806698 edges, 28108 markings/sec, 45 secs
lola: 1634458 markings, 54723591 edges, 28520 markings/sec, 50 secs
lola: 1767005 markings, 59587905 edges, 26509 markings/sec, 55 secs
lola: 1901498 markings, 64495654 edges, 26899 markings/sec, 60 secs
lola: 2047061 markings, 69338920 edges, 29113 markings/sec, 65 secs
lola: 2182288 markings, 74168632 edges, 27045 markings/sec, 70 secs
lola: 2312849 markings, 78935418 edges, 26112 markings/sec, 75 secs
lola: 2444188 markings, 83724351 edges, 26268 markings/sec, 80 secs
lola: 2570945 markings, 88458224 edges, 25351 markings/sec, 85 secs
lola: 2701327 markings, 93247650 edges, 26076 markings/sec, 90 secs
lola: 2827842 markings, 97982658 edges, 25303 markings/sec, 95 secs
lola: 2954736 markings, 102726064 edges, 25379 markings/sec, 100 secs
lola: 3109431 markings, 107551514 edges, 30939 markings/sec, 105 secs
lola: 3256966 markings, 112220956 edges, 29507 markings/sec, 110 secs
lola: 3389904 markings, 116941064 edges, 26588 markings/sec, 115 secs
lola: 3518955 markings, 121675543 edges, 25810 markings/sec, 120 secs
lola: 3650734 markings, 126501743 edges, 26356 markings/sec, 125 secs
lola: 3790664 markings, 131436949 edges, 27986 markings/sec, 130 secs
lola: 3919999 markings, 136191177 edges, 25867 markings/sec, 135 secs
lola: 4046827 markings, 140847865 edges, 25366 markings/sec, 140 secs
lola: 4184521 markings, 146117184 edges, 27539 markings/sec, 145 secs
lola: 4316626 markings, 151247007 edges, 26421 markings/sec, 150 secs
lola: 4441757 markings, 156307372 edges, 25026 markings/sec, 155 secs
lola: 4564539 markings, 161268399 edges, 24556 markings/sec, 160 secs
lola: 4695638 markings, 166355507 edges, 26220 markings/sec, 165 secs
lola: 4823854 markings, 171464842 edges, 25643 markings/sec, 170 secs
lola: 4950468 markings, 176553602 edges, 25323 markings/sec, 175 secs
lola: 5080941 markings, 181626042 edges, 26095 markings/sec, 180 secs
lola: 5209704 markings, 186641566 edges, 25753 markings/sec, 185 secs
lola: 5342050 markings, 191692072 edges, 26469 markings/sec, 190 secs
lola: 5465624 markings, 196659845 edges, 24715 markings/sec, 195 secs
lola: 5592311 markings, 201650382 edges, 25337 markings/sec, 200 secs
lola: 5715161 markings, 206580189 edges, 24570 markings/sec, 205 secs
lola: 5834876 markings, 211470565 edges, 23943 markings/sec, 210 secs
lola: 5960904 markings, 216420466 edges, 25206 markings/sec, 215 secs
lola: 6080393 markings, 221311507 edges, 23898 markings/sec, 220 secs
lola: 6210421 markings, 226468494 edges, 26006 markings/sec, 225 secs
lola: 6339403 markings, 231452227 edges, 25796 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(((p6 + 1 <= p24) OR A (G (((p106 <= p157) OR (p264 <= p85))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (p24 <= p6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p24 <= p6)
lola: processed formula length: 11
lola: 5 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p157 + 1 <= p106) AND (p85 + 1 <= p264))))
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 16 bytes per marking, with 13 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-09a-CTLCardinality-7.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-09a-CTLCardinality-7.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (G (((3 <= p282) AND (3 <= p217))))) AND (E (F (((p298 <= p138) AND (3 <= p182)))) OR A (G ((p138 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((p282 <= 2) OR (p217 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((p282 <= 2) OR (p217 <= 2))))
lola: processed formula: A (F (((p282 <= 2) OR (p217 <= 2))))
lola: processed formula length: 37
lola: 3 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p298 <= p138) AND (3 <= p182))))
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 16 bytes per marking, with 13 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: state equation: write sara problem file to DLCround-PT-09a-CTLCardinality-8.sara
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 9 will run for 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p138 <= 1)))
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 16 bytes per marking, with 13 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 2 markings, 1 edges
lola: lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
state equation: write sara problem file to DLCround-PT-09a-CTLCardinality-9.sara
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 8 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (G (((p277 <= p297) OR (2 <= p286) OR (p144 <= p78)))) AND ((E (F ((3 <= p266))) AND A (F ((1 <= p120)))) OR ((p47 <= p144) OR (p161 <= p287))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p277 <= p297) OR (2 <= p286) OR (p144 <= p78))))
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 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: sara: try reading problem file DLCround-PT-09a-CTLCardinality-9.sara.SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DLCround-PT-09a-CTLCardinality-8.sara
lola: lola: ========================================
subprocess 9 will run for 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= p266)))
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 16 bytes per marking, with 13 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-09a-CTLCardinality-9.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((p47 <= p144) OR (p161 <= p287))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p47 <= p144) OR (p161 <= p287))
lola: processed formula length: 34
lola: 0 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 9 will run for 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F ((2 <= p84))) AND (p27 <= p201))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= p84)))
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 16 bytes per marking, with 13 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-09a-CTLCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-09a-CTLCardinality-9.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E ((((p290 <= p181) OR (1 <= p160)) U ((p134 <= p209) OR (p129 <= p11)))) AND A (G (E (G ((p223 <= p262))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((((p290 <= p181) OR (1 <= p160)) U ((p134 <= p209) OR (p129 <= p11))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(((p290 <= p181) OR (1 <= p160)) U ((p134 <= p209) OR (p129 <= p11)))
lola: processed formula length: 72
lola: 1 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 471 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (G ((p223 <= p262)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U A(TRUE U (p262 + 1 <= p223))))
lola: processed formula length: 43
lola: 4 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 173312 markings, 5556137 edges, 34649 markings/sec, 0 secs
lola: 328820 markings, 10682751 edges, 31102 markings/sec, 5 secs
lola: 488257 markings, 16066768 edges, 31887 markings/sec, 10 secs
lola: 653573 markings, 21504557 edges, 33063 markings/sec, 15 secs
lola: 811276 markings, 27038176 edges, 31541 markings/sec, 20 secs
lola: 961572 markings, 32636679 edges, 30059 markings/sec, 25 secs
lola: 1104185 markings, 38112334 edges, 28523 markings/sec, 30 secs
lola: 1246552 markings, 43585146 edges, 28473 markings/sec, 35 secs
lola: 1396767 markings, 49138932 edges, 30043 markings/sec, 40 secs
lola: 1540436 markings, 54580162 edges, 28734 markings/sec, 45 secs
lola: 1681946 markings, 59904032 edges, 28302 markings/sec, 50 secs
lola: 1824895 markings, 65330909 edges, 28590 markings/sec, 55 secs
lola: 1969273 markings, 70636933 edges, 28876 markings/sec, 60 secs
lola: 2113045 markings, 75878932 edges, 28754 markings/sec, 65 secs
lola: 2250346 markings, 81147047 edges, 27460 markings/sec, 70 secs
lola: 2384622 markings, 86300955 edges, 26855 markings/sec, 75 secs
lola: 2517319 markings, 91506661 edges, 26539 markings/sec, 80 secs
lola: 2650119 markings, 96674706 edges, 26560 markings/sec, 85 secs
lola: 2781959 markings, 101810673 edges, 26368 markings/sec, 90 secs
lola: 2911009 markings, 106922329 edges, 25810 markings/sec, 95 secs
lola: 3058991 markings, 112094653 edges, 29596 markings/sec, 100 secs
lola: 3212442 markings, 117206128 edges, 30690 markings/sec, 105 secs
lola: 3352271 markings, 122257589 edges, 27966 markings/sec, 110 secs
lola: 3485637 markings, 127376190 edges, 26673 markings/sec, 115 secs
lola: 3615254 markings, 132485635 edges, 25923 markings/sec, 120 secs
lola: 3760652 markings, 137877771 edges, 29080 markings/sec, 125 secs
lola: 3897885 markings, 143144941 edges, 27447 markings/sec, 130 secs
lola: 4025951 markings, 148164947 edges, 25613 markings/sec, 135 secs
lola: 4162223 markings, 153584528 edges, 27254 markings/sec, 140 secs
lola: 4294846 markings, 158960339 edges, 26525 markings/sec, 145 secs
lola: 4420965 markings, 164285297 edges, 25224 markings/sec, 150 secs
lola: 4544372 markings, 169553945 edges, 24681 markings/sec, 155 secs
lola: 4674121 markings, 174865835 edges, 25950 markings/sec, 160 secs
lola: 4802333 markings, 180209770 edges, 25642 markings/sec, 165 secs
lola: 4924881 markings, 185404944 edges, 24510 markings/sec, 170 secs
lola: 5054374 markings, 190690777 edges, 25899 markings/sec, 175 secs
lola: 5180683 markings, 195896742 edges, 25262 markings/sec, 180 secs
lola: 5312407 markings, 201112652 edges, 26345 markings/sec, 185 secs
lola: 5432569 markings, 206272196 edges, 24032 markings/sec, 190 secs
lola: 5558505 markings, 211405815 edges, 25187 markings/sec, 195 secs
lola: 5681182 markings, 216546014 edges, 24535 markings/sec, 200 secs
lola: 5799048 markings, 221603908 edges, 23573 markings/sec, 205 secs
lola: 5920346 markings, 226729273 edges, 24260 markings/sec, 210 secs
lola: 6042948 markings, 231861958 edges, 24520 markings/sec, 215 secs
lola: 6166464 markings, 237098235 edges, 24703 markings/sec, 220 secs
lola: 6297966 markings, 242432039 edges, 26300 markings/sec, 225 secs
lola: 6422832 markings, 247652442 edges, 24973 markings/sec, 230 secs
lola: 6545207 markings, 252780066 edges, 24475 markings/sec, 235 secs
lola: 6669988 markings, 258137528 edges, 24956 markings/sec, 240 secs
lola: 6793534 markings, 263366552 edges, 24709 markings/sec, 245 secs
lola: 6912732 markings, 268548912 edges, 23840 markings/sec, 250 secs
lola: 7032702 markings, 273771692 edges, 23994 markings/sec, 255 secs
lola: 7157198 markings, 279011589 edges, 24899 markings/sec, 260 secs
lola: 7277518 markings, 284180005 edges, 24064 markings/sec, 265 secs
lola: 7413264 markings, 289726420 edges, 27149 markings/sec, 270 secs
lola: 7532359 markings, 294906008 edges, 23819 markings/sec, 275 secs
lola: 7651660 markings, 300077027 edges, 23860 markings/sec, 280 secs
lola: 7770324 markings, 305237319 edges, 23733 markings/sec, 285 secs
lola: 7895448 markings, 310501339 edges, 25025 markings/sec, 290 secs
lola: 8019998 markings, 315731004 edges, 24910 markings/sec, 295 secs
lola: 8143874 markings, 320989101 edges, 24775 markings/sec, 300 secs
lola: 8295321 markings, 326476438 edges, 30289 markings/sec, 305 secs
lola: 8433005 markings, 331978761 edges, 27537 markings/sec, 310 secs
lola: 8567467 markings, 337406967 edges, 26892 markings/sec, 315 secs
lola: 8698773 markings, 342757244 edges, 26261 markings/sec, 320 secs
lola: 8830427 markings, 348172343 edges, 26331 markings/sec, 325 secs
lola: 8960055 markings, 353593640 edges, 25926 markings/sec, 330 secs
lola: 9085650 markings, 358916169 edges, 25119 markings/sec, 335 secs
lola: 9201729 markings, 364007461 edges, 23216 markings/sec, 340 secs
lola: 9322292 markings, 369223548 edges, 24113 markings/sec, 345 secs
lola: 9445738 markings, 374469963 edges, 24689 markings/sec, 350 secs
lola: 9570933 markings, 379707328 edges, 25039 markings/sec, 355 secs
lola: 9690572 markings, 384901023 edges, 23928 markings/sec, 360 secs
lola: 9813294 markings, 390159619 edges, 24544 markings/sec, 365 secs
lola: 9954086 markings, 395458513 edges, 28158 markings/sec, 370 secs
lola: 10072103 markings, 400532465 edges, 23603 markings/sec, 375 secs
lola: 10187658 markings, 405660886 edges, 23111 markings/sec, 380 secs
lola: 10302585 markings, 410713185 edges, 22985 markings/sec, 385 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 392 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((((p8 <= p13) OR (2 <= p96)) AND (p193 <= p224)) U ((p22 <= p2) AND (p91 <= p294) AND (p48 + 1 <= p115))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((((p8 <= p13) OR (2 <= p96)) AND (p193 <= p224)) U ((p22 <= p2) AND (p91 <= p294) AND (p48 + 1 <= p115)))
lola: processed formula length: 108
lola: 1 rewrites
lola: formula mentions 0 of 299 places; total mentions: 0
lola: closed formula file DLCround-PT-09a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 13 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 238737 markings, 6394170 edges, 47734 markings/sec, 0 secs
lola: 452898 markings, 12494512 edges, 42832 markings/sec, 5 secs
lola: 651654 markings, 18453506 edges, 39751 markings/sec, 10 secs
lola: 869768 markings, 24640382 edges, 43623 markings/sec, 15 secs
lola: 1065931 markings, 30618380 edges, 39233 markings/sec, 20 secs
lola: 1260670 markings, 36937322 edges, 38948 markings/sec, 25 secs
lola: 1438828 markings, 43037613 edges, 35632 markings/sec, 30 secs
lola: 1623105 markings, 49183849 edges, 36855 markings/sec, 35 secs
lola: 1814386 markings, 55358566 edges, 38256 markings/sec, 40 secs
lola: 2006890 markings, 61436838 edges, 38501 markings/sec, 45 secs
lola: 2191049 markings, 67475304 edges, 36832 markings/sec, 50 secs
lola: 2366121 markings, 73348687 edges, 35014 markings/sec, 55 secs
lola: 2546695 markings, 79381684 edges, 36115 markings/sec, 60 secs
lola: 2719087 markings, 85195261 edges, 34478 markings/sec, 65 secs
lola: 2886284 markings, 90977996 edges, 33439 markings/sec, 70 secs
lola: 3060540 markings, 96898286 edges, 34851 markings/sec, 75 secs
lola: 3254847 markings, 103204025 edges, 38861 markings/sec, 80 secs
lola: 3434925 markings, 109282375 edges, 36016 markings/sec, 85 secs
lola: 3615144 markings, 115599933 edges, 36044 markings/sec, 90 secs
lola: 3796614 markings, 122108239 edges, 36294 markings/sec, 95 secs
lola: 3969813 markings, 128481906 edges, 34640 markings/sec, 100 secs
lola: 4144251 markings, 134832475 edges, 34888 markings/sec, 105 secs
lola: 4311715 markings, 141072511 edges, 33493 markings/sec, 110 secs
lola: 4478814 markings, 147181577 edges, 33420 markings/sec, 115 secs
lola: 4659503 markings, 153365141 edges, 36138 markings/sec, 120 secs
lola: 4832714 markings, 159569115 edges, 34642 markings/sec, 125 secs
lola: 4995007 markings, 165598812 edges, 32459 markings/sec, 130 secs
lola: 5161046 markings, 171630292 edges, 33208 markings/sec, 135 secs
lola: 5321547 markings, 177631533 edges, 32100 markings/sec, 140 secs
lola: 5478581 markings, 183585691 edges, 31407 markings/sec, 145 secs
lola: 5634370 markings, 189524665 edges, 31158 markings/sec, 150 secs
lola: 5799634 markings, 195570649 edges, 33053 markings/sec, 155 secs
lola: 5955495 markings, 201491159 edges, 31172 markings/sec, 160 secs
lola: 6112618 markings, 207391904 edges, 31425 markings/sec, 165 secs
lola: 6265898 markings, 213247415 edges, 30656 markings/sec, 170 secs
lola: 6441643 markings, 219493647 edges, 35149 markings/sec, 175 secs
lola: 6610203 markings, 225696420 edges, 33712 markings/sec, 180 secs
lola: 6776603 markings, 231824296 edges, 33280 markings/sec, 185 secs
lola: 6930650 markings, 237650853 edges, 30809 markings/sec, 190 secs
lola: 7099323 markings, 243679783 edges, 33735 markings/sec, 195 secs
lola: 7287700 markings, 249914696 edges, 37675 markings/sec, 200 secs
lola: 7456654 markings, 256019797 edges, 33791 markings/sec, 205 secs
lola: 7626589 markings, 261871139 edges, 33987 markings/sec, 210 secs
lola: 7785705 markings, 267743839 edges, 31823 markings/sec, 215 secs
lola: 7937998 markings, 273486485 edges, 30459 markings/sec, 220 secs
lola: 8088647 markings, 279256196 edges, 30130 markings/sec, 225 secs
lola: 8246860 markings, 285089519 edges, 31643 markings/sec, 230 secs
lola: 8398721 markings, 290759269 edges, 30372 markings/sec, 235 secs
lola: 8556306 markings, 296537594 edges, 31517 markings/sec, 240 secs
lola: 8704747 markings, 302229983 edges, 29688 markings/sec, 245 secs
lola: 8856612 markings, 307999469 edges, 30373 markings/sec, 250 secs
lola: 9020204 markings, 313764000 edges, 32718 markings/sec, 255 secs
lola: 9181923 markings, 319801495 edges, 32344 markings/sec, 260 secs
lola: 9330253 markings, 325455754 edges, 29666 markings/sec, 265 secs
lola: 9486690 markings, 331299377 edges, 31287 markings/sec, 270 secs
lola: 9652324 markings, 337301192 edges, 33127 markings/sec, 275 secs
lola: 9805834 markings, 343019633 edges, 30702 markings/sec, 280 secs
lola: 9981229 markings, 348994775 edges, 35079 markings/sec, 285 secs
lola: 10135756 markings, 354742823 edges, 30905 markings/sec, 290 secs
lola: 10280848 markings, 360366104 edges, 29018 markings/sec, 295 secs
lola: 10439064 markings, 366133342 edges, 31643 markings/sec, 300 secs
lola: 10587577 markings, 371715746 edges, 29703 markings/sec, 305 secs
lola: 10742454 markings, 377421575 edges, 30975 markings/sec, 310 secs
lola: 10888810 markings, 383005532 edges, 29271 markings/sec, 315 secs
lola: 11050099 markings, 388656623 edges, 32258 markings/sec, 320 secs
lola: 11210579 markings, 394390690 edges, 32096 markings/sec, 325 secs
lola: 11363171 markings, 400083037 edges, 30518 markings/sec, 330 secs
lola: 11516218 markings, 405850186 edges, 30609 markings/sec, 335 secs
lola: 11670107 markings, 411671657 edges, 30778 markings/sec, 340 secs
lola: 11840652 markings, 417774278 edges, 34109 markings/sec, 345 secs
lola: 11993044 markings, 423556531 edges, 30478 markings/sec, 350 secs
lola: 12152223 markings, 429309724 edges, 31836 markings/sec, 355 secs
lola: 12323250 markings, 435258153 edges, 34205 markings/sec, 360 secs
lola: 12468906 markings, 440844220 edges, 29131 markings/sec, 365 secs
lola: 12611160 markings, 446357032 edges, 28451 markings/sec, 370 secs
lola: 12759445 markings, 451839495 edges, 29657 markings/sec, 375 secs
lola: 12914151 markings, 457532888 edges, 30941 markings/sec, 380 secs
lola: 13106118 markings, 463320855 edges, 38393 markings/sec, 385 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: '@'
Aborted (core dumped)
FORMULA DLCround-PT-09a-CTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-09a-CTLCardinality-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-09a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-09a.tgz
mv DLCround-PT-09a execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-structural"
echo " Input is DLCround-PT-09a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649743900087"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;