About the Execution of M4M.full for DLCround-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10853.720 | 1973362.00 | 1988648.00 | 6952.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-full
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 r070-smll-152649742800087
=====================================================================
--------------------
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 1526673229195
BK_STOP 1526675202557
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-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 stdout -----
----- Start make result stderr -----
CTLCardinality @ DLCround-PT-09a @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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 235 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 235 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: 200237 markings, 5977274 edges, 40047 markings/sec, 0 secs
lola: 389602 markings, 11990153 edges, 37873 markings/sec, 5 secs
lola: 580832 markings, 18045452 edges, 38246 markings/sec, 10 secs
lola: 777760 markings, 24220049 edges, 39386 markings/sec, 15 secs
lola: 958209 markings, 30589044 edges, 36090 markings/sec, 20 secs
lola: 1124281 markings, 36653179 edges, 33214 markings/sec, 25 secs
lola: 1292639 markings, 42753654 edges, 33672 markings/sec, 30 secs
lola: 1467207 markings, 48897074 edges, 34914 markings/sec, 35 secs
lola: 1638666 markings, 54865799 edges, 34292 markings/sec, 40 secs
lola: 1798587 markings, 60757049 edges, 31984 markings/sec, 45 secs
lola: 1971067 markings, 66761162 edges, 34496 markings/sec, 50 secs
lola: 2140150 markings, 72624737 edges, 33817 markings/sec, 55 secs
lola: 2297805 markings, 78418410 edges, 31531 markings/sec, 60 secs
lola: 2457375 markings, 84214505 edges, 31914 markings/sec, 65 secs
lola: 2611506 markings, 89914217 edges, 30826 markings/sec, 70 secs
lola: 2766600 markings, 95660550 edges, 31019 markings/sec, 75 secs
lola: 2919435 markings, 101427270 edges, 30567 markings/sec, 80 secs
lola: 3103362 markings, 107351161 edges, 36785 markings/sec, 85 secs
lola: 3283671 markings, 113080814 edges, 36062 markings/sec, 90 secs
lola: 3439054 markings, 118769216 edges, 31077 markings/sec, 95 secs
lola: 3592742 markings, 124432448 edges, 30738 markings/sec, 100 secs
lola: 3763747 markings, 130454097 edges, 34201 markings/sec, 105 secs
lola: 3921008 markings, 136227568 edges, 31452 markings/sec, 110 secs
lola: 4075906 markings, 141914866 edges, 30980 markings/sec, 115 secs
lola: 4244671 markings, 148364741 edges, 33753 markings/sec, 120 secs
lola: 4398531 markings, 154534513 edges, 30772 markings/sec, 125 secs
lola: 4545754 markings, 160511968 edges, 29445 markings/sec, 130 secs
lola: 4704967 markings, 166717504 edges, 31843 markings/sec, 135 secs
lola: 4855924 markings, 172792641 edges, 30191 markings/sec, 140 secs
lola: 5014025 markings, 178948124 edges, 31620 markings/sec, 145 secs
lola: 5166442 markings, 184955522 edges, 30483 markings/sec, 150 secs
lola: 5324303 markings, 190992074 edges, 31572 markings/sec, 155 secs
lola: 5472784 markings, 196942513 edges, 29696 markings/sec, 160 secs
lola: 5622078 markings, 202863524 edges, 29859 markings/sec, 165 secs
lola: 5768229 markings, 208708495 edges, 29230 markings/sec, 170 secs
lola: 5911013 markings, 214524021 edges, 28557 markings/sec, 175 secs
lola: 6058838 markings, 220421093 edges, 29565 markings/sec, 180 secs
lola: 6213747 markings, 226594011 edges, 30982 markings/sec, 185 secs
lola: 6370022 markings, 232682253 edges, 31255 markings/sec, 190 secs
lola: 6516916 markings, 238525518 edges, 29379 markings/sec, 195 secs
lola: 6658664 markings, 244335034 edges, 28350 markings/sec, 200 secs
lola: 6799702 markings, 250046339 edges, 28208 markings/sec, 205 secs
lola: 6937996 markings, 255762812 edges, 27659 markings/sec, 210 secs
lola: 7077563 markings, 261505799 edges, 27913 markings/sec, 215 secs
lola: 7220116 markings, 267189487 edges, 28511 markings/sec, 220 secs
lola: 7366894 markings, 273085891 edges, 29356 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 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: 158805 markings, 4974756 edges, 1885087259615559680 markings/sec, 0 secs
lola: 310684 markings, 9752310 edges, 30376 markings/sec, 5 secs
lola: 457739 markings, 14581549 edges, 29411 markings/sec, 10 secs
lola: 607858 markings, 19500135 edges, 30024 markings/sec, 15 secs
lola: 760713 markings, 24392945 edges, 30571 markings/sec, 20 secs
lola: 905258 markings, 29593187 edges, 28909 markings/sec, 25 secs
lola: 1041759 markings, 34644997 edges, 27300 markings/sec, 30 secs
lola: 1172685 markings, 39607312 edges, 26185 markings/sec, 35 secs
lola: 1309407 markings, 44665092 edges, 27344 markings/sec, 40 secs
lola: 1449648 markings, 49686559 edges, 28048 markings/sec, 45 secs
lola: 1586891 markings, 54633196 edges, 27449 markings/sec, 50 secs
lola: 1717276 markings, 59492083 edges, 26077 markings/sec, 55 secs
lola: 1849820 markings, 64425812 edges, 26509 markings/sec, 60 secs
lola: 1985940 markings, 69258289 edges, 27224 markings/sec, 65 secs
lola: 2120702 markings, 74050689 edges, 26952 markings/sec, 70 secs
lola: 2245100 markings, 78691832 edges, 24880 markings/sec, 75 secs
lola: 2370134 markings, 83400009 edges, 25007 markings/sec, 80 secs
lola: 2496950 markings, 88198035 edges, 25363 markings/sec, 85 secs
lola: 2622185 markings, 92928602 edges, 25047 markings/sec, 90 secs
lola: 2746062 markings, 97692872 edges, 24775 markings/sec, 95 secs
lola: 2870060 markings, 102426702 edges, 24800 markings/sec, 100 secs
lola: 3003135 markings, 107260363 edges, 26615 markings/sec, 105 secs
lola: 3153332 markings, 112040317 edges, 30039 markings/sec, 110 secs
lola: 3294646 markings, 116719732 edges, 28263 markings/sec, 115 secs
lola: 3418140 markings, 121419051 edges, 24699 markings/sec, 120 secs
lola: 3538311 markings, 125955032 edges, 24034 markings/sec, 125 secs
lola: 3669202 markings, 130827670 edges, 26178 markings/sec, 130 secs
lola: 3804735 markings, 135735828 edges, 27107 markings/sec, 135 secs
lola: 3929775 markings, 140489175 edges, 25008 markings/sec, 140 secs
lola: 4053344 markings, 145149881 edges, 24714 markings/sec, 145 secs
lola: 4184981 markings, 150317803 edges, 26327 markings/sec, 150 secs
lola: 4313445 markings, 155431010 edges, 25693 markings/sec, 155 secs
lola: 4436546 markings, 160522521 edges, 24620 markings/sec, 160 secs
lola: 4558463 markings, 165570205 edges, 24383 markings/sec, 165 secs
lola: 4686119 markings, 170670596 edges, 25531 markings/sec, 170 secs
lola: 4811244 markings, 175780161 edges, 25025 markings/sec, 175 secs
lola: 4932719 markings, 180799462 edges, 24295 markings/sec, 180 secs
lola: 5059656 markings, 185854169 edges, 25387 markings/sec, 185 secs
lola: 5183913 markings, 190841384 edges, 24851 markings/sec, 190 secs
lola: 5313469 markings, 195850053 edges, 25911 markings/sec, 195 secs
lola: 5432427 markings, 200833045 edges, 23792 markings/sec, 200 secs
lola: 5556803 markings, 205777169 edges, 24875 markings/sec, 205 secs
lola: 5677889 markings, 210720201 edges, 24217 markings/sec, 210 secs
lola: 5792935 markings, 215541564 edges, 23009 markings/sec, 215 secs
lola: 5910998 markings, 220434409 edges, 23613 markings/sec, 220 secs
lola: 6032557 markings, 225369145 edges, 24312 markings/sec, 225 secs
lola: 6152195 markings, 230343934 edges, 23928 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 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 235 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: 201552 markings, 6015933 edges, 3110627521507360768 markings/sec, 0 secs
lola: 390972 markings, 12038326 edges, 37884 markings/sec, 5 secs
lola: 582657 markings, 18103855 edges, 38337 markings/sec, 10 secs
lola: 779274 markings, 24275031 edges, 39323 markings/sec, 15 secs
lola: 960887 markings, 30687985 edges, 36323 markings/sec, 20 secs
lola: 1128631 markings, 36820117 edges, 33549 markings/sec, 25 secs
lola: 1299633 markings, 42993711 edges, 34200 markings/sec, 30 secs
lola: 1473936 markings, 49146309 edges, 34861 markings/sec, 35 secs
lola: 1640489 markings, 54934486 edges, 33311 markings/sec, 40 secs
lola: 1801724 markings, 60872892 edges, 32247 markings/sec, 45 secs
lola: 1975185 markings, 66902385 edges, 34692 markings/sec, 50 secs
lola: 2144589 markings, 72790352 edges, 33881 markings/sec, 55 secs
lola: 2304664 markings, 78641410 edges, 32015 markings/sec, 60 secs
lola: 2464557 markings, 84476885 edges, 31979 markings/sec, 65 secs
lola: 2620252 markings, 90241108 edges, 31139 markings/sec, 70 secs
lola: 2776947 markings, 96045904 edges, 31339 markings/sec, 75 secs
lola: 2929381 markings, 101819848 edges, 30487 markings/sec, 80 secs
lola: 3117247 markings, 107807592 edges, 37573 markings/sec, 85 secs
lola: 3298574 markings, 113559448 edges, 36265 markings/sec, 90 secs
lola: 3453897 markings, 119294657 edges, 31065 markings/sec, 95 secs
lola: 3609435 markings, 125051022 edges, 31108 markings/sec, 100 secs
lola: 3776329 markings, 130904225 edges, 33379 markings/sec, 105 secs
lola: 3935043 markings, 136731778 edges, 31743 markings/sec, 110 secs
lola: 4093486 markings, 142590764 edges, 31689 markings/sec, 115 secs
lola: 4262028 markings, 149080533 edges, 33708 markings/sec, 120 secs
lola: 4418573 markings, 155351368 edges, 31309 markings/sec, 125 secs
lola: 4570639 markings, 161524263 edges, 30413 markings/sec, 130 secs
lola: 4733423 markings, 167828929 edges, 32557 markings/sec, 135 secs
lola: 4886173 markings, 173995492 edges, 30550 markings/sec, 140 secs
lola: 5046832 markings, 180259299 edges, 32132 markings/sec, 145 secs
lola: 5203505 markings, 186395023 edges, 31335 markings/sec, 150 secs
lola: 5361606 markings, 192486036 edges, 31620 markings/sec, 155 secs
lola: 5509773 markings, 198439600 edges, 29633 markings/sec, 160 secs
lola: 5663967 markings, 204459220 edges, 30839 markings/sec, 165 secs
lola: 5806625 markings, 210322344 edges, 28532 markings/sec, 170 secs
lola: 5959653 markings, 216377572 edges, 30606 markings/sec, 175 secs
lola: 6099809 markings, 222102904 edges, 28031 markings/sec, 180 secs
lola: 6265492 markings, 228548052 edges, 33137 markings/sec, 185 secs
lola: 6422529 markings, 234795481 edges, 31407 markings/sec, 190 secs
lola: 6569274 markings, 240667928 edges, 29349 markings/sec, 195 secs
lola: 6717078 markings, 246661486 edges, 29561 markings/sec, 200 secs
lola: 6859125 markings, 252498789 edges, 28409 markings/sec, 205 secs
lola: 7001533 markings, 258366805 edges, 28482 markings/sec, 210 secs
lola: 7144737 markings, 264168801 edges, 28641 markings/sec, 215 secs
lola: 7284743 markings, 269926929 edges, 28001 markings/sec, 220 secs
lola: 7441910 markings, 276067682 edges, 31433 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 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: 196496 markings, 5875796 edges, 3110627521507360768 markings/sec, 0 secs
lola: 384735 markings, 11822774 edges, 37648 markings/sec, 5 secs
lola: 562938 markings, 17518474 edges, 35641 markings/sec, 10 secs
lola: 754724 markings, 23421834 edges, 38357 markings/sec, 15 secs
lola: 931929 markings, 29641269 edges, 35441 markings/sec, 20 secs
lola: 1098910 markings, 35706220 edges, 33396 markings/sec, 25 secs
lola: 1264074 markings, 41721077 edges, 33033 markings/sec, 30 secs
lola: 1438616 markings, 47832741 edges, 34908 markings/sec, 35 secs
lola: 1607815 markings, 53788212 edges, 33840 markings/sec, 40 secs
lola: 1766916 markings, 59583901 edges, 31820 markings/sec, 45 secs
lola: 1932487 markings, 65498624 edges, 33114 markings/sec, 50 secs
lola: 2103814 markings, 71336453 edges, 34265 markings/sec, 55 secs
lola: 2262376 markings, 77090864 edges, 31712 markings/sec, 60 secs
lola: 2414194 markings, 82602096 edges, 30364 markings/sec, 65 secs
lola: 2565072 markings, 88247374 edges, 30176 markings/sec, 70 secs
lola: 2719391 markings, 93934782 edges, 30864 markings/sec, 75 secs
lola: 2870964 markings, 99590536 edges, 30315 markings/sec, 80 secs
lola: 3040198 markings, 105424998 edges, 33847 markings/sec, 85 secs
lola: 3224104 markings, 111167186 edges, 36781 markings/sec, 90 secs
lola: 3386213 markings, 116812484 edges, 32422 markings/sec, 95 secs
lola: 3538857 markings, 122438221 edges, 30529 markings/sec, 100 secs
lola: 3701114 markings, 128329253 edges, 32451 markings/sec, 105 secs
lola: 3868273 markings, 134187631 edges, 33432 markings/sec, 110 secs
lola: 4017136 markings, 139767282 edges, 29773 markings/sec, 115 secs
lola: 4175483 markings, 145752688 edges, 31669 markings/sec, 120 secs
lola: 4334665 markings, 151949974 edges, 31836 markings/sec, 125 secs
lola: 4483089 markings, 158014865 edges, 29685 markings/sec, 130 secs
lola: 4635015 markings, 164084541 edges, 30385 markings/sec, 135 secs
lola: 4794373 markings, 170282241 edges, 31872 markings/sec, 140 secs
lola: 4942244 markings, 176257860 edges, 29574 markings/sec, 145 secs
lola: 5097493 markings, 182287417 edges, 31050 markings/sec, 150 secs
lola: 5252629 markings, 188275855 edges, 31027 markings/sec, 155 secs
lola: 5405497 markings, 194269253 edges, 30574 markings/sec, 160 secs
lola: 5554678 markings, 200138970 edges, 29836 markings/sec, 165 secs
lola: 5701145 markings, 206008001 edges, 29293 markings/sec, 170 secs
lola: 5843095 markings, 211796109 edges, 28390 markings/sec, 175 secs
lola: 5991777 markings, 217680943 edges, 29736 markings/sec, 180 secs
lola: 6119530 markings, 222934063 edges, 25551 markings/sec, 185 secs
lola: 6119530 markings, 224359123 edges, 0 markings/sec, 190 secs
lola: 6119530 markings, 230070158 edges, 0 markings/sec, 195 secs
lola: 6119530 markings, 235999071 edges, 0 markings/sec, 200 secs
lola: 6119530 markings, 242075947 edges, 0 markings/sec, 205 secs
lola: 6119530 markings, 248192337 edges, 0 markings/sec, 210 secs
lola: 6119530 markings, 254208297 edges, 0 markings/sec, 215 secs
lola: 6119530 markings, 260054936 edges, 0 markings/sec, 220 secs
lola: 6119530 markings, 265967335 edges, 0 markings/sec, 225 secs
lola: 6119530 markings, 271969948 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: 163957 markings, 4963516 edges, 3689330178019819520 markings/sec, 0 secs
lola: 320186 markings, 9752913 edges, 31246 markings/sec, 5 secs
lola: 470728 markings, 14523956 edges, 30108 markings/sec, 10 secs
lola: 623794 markings, 19345996 edges, 30613 markings/sec, 15 secs
lola: 776124 markings, 24163363 edges, 30466 markings/sec, 20 secs
lola: 921012 markings, 29244499 edges, 28978 markings/sec, 25 secs
lola: 1057912 markings, 34192223 edges, 27380 markings/sec, 30 secs
lola: 1190138 markings, 39090536 edges, 26445 markings/sec, 35 secs
lola: 1328837 markings, 44090005 edges, 27740 markings/sec, 40 secs
lola: 1470880 markings, 49035835 edges, 28409 markings/sec, 45 secs
lola: 1610277 markings, 53874629 edges, 27879 markings/sec, 50 secs
lola: 1742253 markings, 58669509 edges, 26395 markings/sec, 55 secs
lola: 1874425 markings, 63507166 edges, 26434 markings/sec, 60 secs
lola: 2017721 markings, 68250869 edges, 28659 markings/sec, 65 secs
lola: 2150529 markings, 73009772 edges, 26562 markings/sec, 70 secs
lola: 2278828 markings, 77734331 edges, 25660 markings/sec, 75 secs
lola: 2410636 markings, 82471138 edges, 26362 markings/sec, 80 secs
lola: 2534958 markings, 87137411 edges, 24864 markings/sec, 85 secs
lola: 2661729 markings, 91793461 edges, 25354 markings/sec, 90 secs
lola: 2788533 markings, 96491750 edges, 25361 markings/sec, 95 secs
lola: 2913358 markings, 101191192 edges, 24965 markings/sec, 100 secs
lola: 3057983 markings, 105946479 edges, 28925 markings/sec, 105 secs
lola: 3206348 markings, 110578549 edges, 29673 markings/sec, 110 secs
lola: 3342452 markings, 115176338 edges, 27221 markings/sec, 115 secs
lola: 3469562 markings, 119826455 edges, 25422 markings/sec, 120 secs
lola: 3593886 markings, 124472724 edges, 24865 markings/sec, 125 secs
lola: 3732742 markings, 129400061 edges, 27771 markings/sec, 130 secs
lola: 3867720 markings, 134167833 edges, 26996 markings/sec, 135 secs
lola: 3990462 markings, 138795191 edges, 24548 markings/sec, 140 secs
lola: 4116637 markings, 143465721 edges, 25235 markings/sec, 145 secs
lola: 4251322 markings, 148640196 edges, 26937 markings/sec, 150 secs
lola: 4378661 markings, 153719989 edges, 25468 markings/sec, 155 secs
lola: 4502159 markings, 158765240 edges, 24700 markings/sec, 160 secs
lola: 4626942 markings, 163787279 edges, 24957 markings/sec, 165 secs
lola: 4759904 markings, 168883590 edges, 26592 markings/sec, 170 secs
lola: 4883591 markings, 173890974 edges, 24737 markings/sec, 175 secs
lola: 5013677 markings, 178933218 edges, 26017 markings/sec, 180 secs
lola: 5137522 markings, 183879049 edges, 24769 markings/sec, 185 secs
lola: 5266317 markings, 188812690 edges, 25759 markings/sec, 190 secs
lola: 5393807 markings, 193792913 edges, 25498 markings/sec, 195 secs
lola: 5515680 markings, 198643727 edges, 24375 markings/sec, 200 secs
lola: 5638821 markings, 203541820 edges, 24628 markings/sec, 205 secs
lola: 5758841 markings, 208345302 edges, 24004 markings/sec, 210 secs
lola: 5879210 markings, 213199980 edges, 24074 markings/sec, 215 secs
lola: 6003207 markings, 218140981 edges, 24799 markings/sec, 220 secs
lola: 6120301 markings, 222963239 edges, 23419 markings/sec, 225 secs
lola: 6254135 markings, 228108153 edges, 26767 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: state equation: write sara problem file to DLCround-PT-09a-CTLCardinality-8.sara
lola: SUBRESULT
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 337 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
----- Kill lola and sara stderr -----
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: 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: ========================================
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: 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 337 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 337 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 337 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
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: 170298 markings, 5463749 edges, 34047 markings/sec, 0 secs
lola: 331666 markings, 10781971 edges, 32274 markings/sec, 5 secs
lola: 488721 markings, 16082467 edges, 31411 markings/sec, 10 secs
lola: 651775 markings, 21441734 edges, 32611 markings/sec, 15 secs
lola: 806822 markings, 26871973 edges, 31009 markings/sec, 20 secs
lola: 955144 markings, 32388896 edges, 29664 markings/sec, 25 secs
lola: 1095403 markings, 37766353 edges, 28052 markings/sec, 30 secs
lola: 1233544 markings, 43121127 edges, 27628 markings/sec, 35 secs
lola: 1380391 markings, 48552810 edges, 29369 markings/sec, 40 secs
lola: 1520570 markings, 53866026 edges, 28036 markings/sec, 45 secs
lola: 1662542 markings, 59120979 edges, 28394 markings/sec, 50 secs
lola: 1798408 markings, 64347385 edges, 27173 markings/sec, 55 secs
lola: 1941407 markings, 69661114 edges, 28600 markings/sec, 60 secs
lola: 2085620 markings, 74892170 edges, 28843 markings/sec, 65 secs
lola: 2222341 markings, 80063449 edges, 27344 markings/sec, 70 secs
lola: 2355907 markings, 85205134 edges, 26713 markings/sec, 75 secs
lola: 2489686 markings, 90387090 edges, 26756 markings/sec, 80 secs
lola: 2620690 markings, 95497771 edges, 26201 markings/sec, 85 secs
lola: 2751684 markings, 100623799 edges, 26199 markings/sec, 90 secs
lola: 2882452 markings, 105774173 edges, 26154 markings/sec, 95 secs
lola: 3023989 markings, 110962808 edges, 28307 markings/sec, 100 secs
lola: 3180543 markings, 116091921 edges, 31311 markings/sec, 105 secs
lola: 3324847 markings, 121166015 edges, 28861 markings/sec, 110 secs
lola: 3455075 markings, 126245449 edges, 26046 markings/sec, 115 secs
lola: 3585330 markings, 131327415 edges, 26051 markings/sec, 120 secs
lola: 3726615 markings, 136662600 edges, 28257 markings/sec, 125 secs
lola: 3866720 markings, 141867331 edges, 28021 markings/sec, 130 secs
lola: 3995230 markings, 146927421 edges, 25702 markings/sec, 135 secs
lola: 4132188 markings, 152330722 edges, 27392 markings/sec, 140 secs
lola: 4269231 markings, 157906272 edges, 27409 markings/sec, 145 secs
lola: 4399852 markings, 163389311 edges, 26124 markings/sec, 150 secs
lola: 4527313 markings, 168836202 edges, 25492 markings/sec, 155 secs
lola: 4659905 markings, 174298912 edges, 26518 markings/sec, 160 secs
lola: 4793296 markings, 179829387 edges, 26678 markings/sec, 165 secs
lola: 4919475 markings, 185185709 edges, 25236 markings/sec, 170 secs
lola: 5053164 markings, 190638284 edges, 26738 markings/sec, 175 secs
lola: 5183428 markings, 196006850 edges, 26053 markings/sec, 180 secs
lola: 5318336 markings, 201380095 edges, 26982 markings/sec, 185 secs
lola: 5442276 markings, 206690930 edges, 24788 markings/sec, 190 secs
lola: 5573357 markings, 212000532 edges, 26216 markings/sec, 195 secs
lola: 5698004 markings, 217278111 edges, 24929 markings/sec, 200 secs
lola: 5819772 markings, 222489639 edges, 24354 markings/sec, 205 secs
lola: 5946302 markings, 227784970 edges, 25306 markings/sec, 210 secs
lola: 6070729 markings, 233057676 edges, 24885 markings/sec, 215 secs
lola: 6201981 markings, 238568570 edges, 26250 markings/sec, 220 secs
lola: 6336030 markings, 243985595 edges, 26810 markings/sec, 225 secs
lola: 6463299 markings, 249295156 edges, 25454 markings/sec, 230 secs
lola: 6584921 markings, 254473515 edges, 24324 markings/sec, 235 secs
lola: 6709490 markings, 259763749 edges, 24914 markings/sec, 240 secs
lola: 6828673 markings, 264914398 edges, 23837 markings/sec, 245 secs
lola: 6948556 markings, 270082347 edges, 23977 markings/sec, 250 secs
lola: 7067344 markings, 275274041 edges, 23758 markings/sec, 255 secs
lola: 7189992 markings, 280416333 edges, 24530 markings/sec, 260 secs
lola: 7310666 markings, 285571372 edges, 24135 markings/sec, 265 secs
lola: 7442181 markings, 290963325 edges, 26303 markings/sec, 270 secs
lola: 7558915 markings, 296049915 edges, 23347 markings/sec, 275 secs
lola: 7675232 markings, 301130830 edges, 23263 markings/sec, 280 secs
lola: 7794780 markings, 306250221 edges, 23910 markings/sec, 285 secs
lola: 7919044 markings, 311438991 edges, 24853 markings/sec, 290 secs
lola: 8037923 markings, 316519502 edges, 23776 markings/sec, 295 secs
lola: 8164417 markings, 321753861 edges, 25299 markings/sec, 300 secs
lola: 8311549 markings, 327094293 edges, 29426 markings/sec, 305 secs
lola: 8445123 markings, 332490697 edges, 26715 markings/sec, 310 secs
lola: 8577177 markings, 337814629 edges, 26411 markings/sec, 315 secs
lola: 8705186 markings, 343053166 edges, 25602 markings/sec, 320 secs
lola: 8835607 markings, 348399693 edges, 26084 markings/sec, 325 secs
lola: 8962832 markings, 353707924 edges, 25445 markings/sec, 330 secs
lola: 9086226 markings, 358940209 edges, 24679 markings/sec, 335 secs
lola: 9200413 markings, 363950050 edges, 22837 markings/sec, 340 secs
lola: 9318455 markings, 369065491 edges, 23608 markings/sec, 345 secs
lola: 9440942 markings, 374265555 edges, 24497 markings/sec, 350 secs
lola: 9564814 markings, 379449865 edges, 24774 markings/sec, 355 secs
lola: 9681230 markings, 384534380 edges, 23283 markings/sec, 360 secs
lola: 9803150 markings, 389724656 edges, 24384 markings/sec, 365 secs
lola: 9940028 markings, 394942602 edges, 27376 markings/sec, 370 secs
lola: 10059520 markings, 399983693 edges, 23898 markings/sec, 375 secs
lola: 10172399 markings, 404998346 edges, 22576 markings/sec, 380 secs
lola: 10286026 markings, 409982469 edges, 22725 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: 216697 markings, 5824851 edges, 43326 markings/sec, 0 secs
lola: 428686 markings, 11816674 edges, 42398 markings/sec, 5 secs
lola: 625468 markings, 17678975 edges, 39356 markings/sec, 10 secs
lola: 840492 markings, 23753043 edges, 43005 markings/sec, 15 secs
lola: 1031451 markings, 29512611 edges, 38192 markings/sec, 20 secs
lola: 1226249 markings, 35793455 edges, 38960 markings/sec, 25 secs
lola: 1403446 markings, 41817333 edges, 35439 markings/sec, 30 secs
lola: 1584008 markings, 47875973 edges, 36112 markings/sec, 35 secs
lola: 1767197 markings, 53876424 edges, 36638 markings/sec, 40 secs
lola: 1956708 markings, 59906365 edges, 37902 markings/sec, 45 secs
lola: 2138336 markings, 65759462 edges, 36326 markings/sec, 50 secs
lola: 2311884 markings, 71564945 edges, 34710 markings/sec, 55 secs
lola: 2485238 markings, 77328964 edges, 34671 markings/sec, 60 secs
lola: 2660048 markings, 83173542 edges, 34962 markings/sec, 65 secs
lola: 2824437 markings, 88841313 edges, 32878 markings/sec, 70 secs
lola: 2990699 markings, 94539022 edges, 33252 markings/sec, 75 secs
lola: 3177848 markings, 100669120 edges, 37430 markings/sec, 80 secs
lola: 3357066 markings, 106670464 edges, 35844 markings/sec, 85 secs
lola: 3532202 markings, 112597058 edges, 35027 markings/sec, 90 secs
lola: 3714137 markings, 119093078 edges, 36387 markings/sec, 95 secs
lola: 3884609 markings, 125360758 edges, 34094 markings/sec, 100 secs
lola: 4058402 markings, 131628510 edges, 34759 markings/sec, 105 secs
lola: 4227492 markings, 137867113 edges, 33818 markings/sec, 110 secs
lola: 4387302 markings, 143835597 edges, 31962 markings/sec, 115 secs
lola: 4557398 markings, 149917837 edges, 34019 markings/sec, 120 secs
lola: 4733522 markings, 156060889 edges, 35225 markings/sec, 125 secs
lola: 4899685 markings, 162071443 edges, 33233 markings/sec, 130 secs
lola: 5061891 markings, 168015589 edges, 32441 markings/sec, 135 secs
lola: 5221979 markings, 173877967 edges, 32018 markings/sec, 140 secs
lola: 5379310 markings, 179789620 edges, 31466 markings/sec, 145 secs
lola: 5533024 markings, 185649928 edges, 30743 markings/sec, 150 secs
lola: 5687324 markings, 191477736 edges, 30860 markings/sec, 155 secs
lola: 5850647 markings, 197475329 edges, 32665 markings/sec, 160 secs
lola: 6000375 markings, 203231767 edges, 29946 markings/sec, 165 secs
lola: 6157102 markings, 209059812 edges, 31345 markings/sec, 170 secs
lola: 6313293 markings, 214912110 edges, 31238 markings/sec, 175 secs
lola: 6485349 markings, 221096944 edges, 34411 markings/sec, 180 secs
lola: 6648542 markings, 227147882 edges, 32639 markings/sec, 185 secs
lola: 6809670 markings, 233111880 edges, 32226 markings/sec, 190 secs
lola: 6965216 markings, 238910737 edges, 31109 markings/sec, 195 secs
lola: 7138957 markings, 244861750 edges, 34748 markings/sec, 200 secs
lola: 7317420 markings, 250997789 edges, 35693 markings/sec, 205 secs
lola: 7484564 markings, 256939231 edges, 33429 markings/sec, 210 secs
lola: 7647255 markings, 262652525 edges, 32538 markings/sec, 215 secs
lola: 7803623 markings, 268415351 edges, 31274 markings/sec, 220 secs
lola: 7954208 markings, 274107322 edges, 30117 markings/sec, 225 secs
lola: 8104272 markings, 279857819 edges, 30013 markings/sec, 230 secs
lola: 8261249 markings, 285624955 edges, 31395 markings/sec, 235 secs
lola: 8409695 markings, 291197490 edges, 29689 markings/sec, 240 secs
lola: 8564590 markings, 296878601 edges, 30979 markings/sec, 245 secs
lola: 8711896 markings, 302481271 edges, 29461 markings/sec, 250 secs
lola: 8860629 markings, 308148641 edges, 29747 markings/sec, 255 secs
lola: 9021564 markings, 313809547 edges, 32187 markings/sec, 260 secs
lola: 9180173 markings, 319736880 edges, 31722 markings/sec, 265 secs
lola: 9327035 markings, 325325268 edges, 29372 markings/sec, 270 secs
lola: 9482225 markings, 331128143 edges, 31038 markings/sec, 275 secs
lola: 9645038 markings, 337035818 edges, 32563 markings/sec, 280 secs
lola: 9795027 markings, 342614878 edges, 29998 markings/sec, 285 secs
lola: 9964151 markings, 348377275 edges, 33825 markings/sec, 290 secs
lola: 10118695 markings, 354108382 edges, 30909 markings/sec, 295 secs
lola: 10258780 markings, 359580723 edges, 28017 markings/sec, 300 secs
lola: 10413957 markings, 365171197 edges, 31035 markings/sec, 305 secs
lola: 10558988 markings, 370624899 edges, 29006 markings/sec, 310 secs
lola: 10713357 markings, 376334697 edges, 30874 markings/sec, 315 secs
lola: 10860568 markings, 381912961 edges, 29442 markings/sec, 320 secs
lola: 11013175 markings, 387480790 edges, 30521 markings/sec, 325 secs
lola: 11177968 markings, 393159229 edges, 32959 markings/sec, 330 secs
lola: 11328455 markings, 398764415 edges, 30097 markings/sec, 335 secs
lola: 11478397 markings, 404409884 edges, 29988 markings/sec, 340 secs
lola: 11621180 markings, 409923184 edges, 28557 markings/sec, 345 secs
lola: 11792400 markings, 416020667 edges, 34244 markings/sec, 350 secs
lola: 11945417 markings, 421758851 edges, 30603 markings/sec, 355 secs
lola: 12092915 markings, 427316571 edges, 29500 markings/sec, 360 secs
lola: 12266404 markings, 433183584 edges, 34698 markings/sec, 365 secs
lola: 12417127 markings, 438809050 edges, 30145 markings/sec, 370 secs
lola: 12554674 markings, 444190036 edges, 27509 markings/sec, 375 secs
lola: 12701567 markings, 449673796 edges, 29379 markings/sec, 380 secs
lola: 12850631 markings, 455180674 edges, 29813 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 stdout -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-09a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-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-full"
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 r070-smll-152649742800087"
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 ;