About the Execution of M4M.full for DES-PT-30a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6565.180 | 1598038.00 | 1605325.00 | 5329.70 | ???????????????? | 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 240K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 70K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DES-PT-30a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-152646385700242
=====================================================================
--------------------
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 DES-PT-30a-CTLFireability-00
FORMULA_NAME DES-PT-30a-CTLFireability-01
FORMULA_NAME DES-PT-30a-CTLFireability-02
FORMULA_NAME DES-PT-30a-CTLFireability-03
FORMULA_NAME DES-PT-30a-CTLFireability-04
FORMULA_NAME DES-PT-30a-CTLFireability-05
FORMULA_NAME DES-PT-30a-CTLFireability-06
FORMULA_NAME DES-PT-30a-CTLFireability-07
FORMULA_NAME DES-PT-30a-CTLFireability-08
FORMULA_NAME DES-PT-30a-CTLFireability-09
FORMULA_NAME DES-PT-30a-CTLFireability-10
FORMULA_NAME DES-PT-30a-CTLFireability-11
FORMULA_NAME DES-PT-30a-CTLFireability-12
FORMULA_NAME DES-PT-30a-CTLFireability-13
FORMULA_NAME DES-PT-30a-CTLFireability-14
FORMULA_NAME DES-PT-30a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526542307451
BK_STOP 1526543905489
--------------------
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 DES-PT-30a as instance name.
Using DES as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': None, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 1999134, 'Memory': 3852.77, 'Tool': 'lola'}, {'Time': 1999440, 'Memory': 3917.18, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola DES-PT-30a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DES-PT-30a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DES-PT-30a: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DES-PT-30a @ 3540 seconds
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 425/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 234 places, 191 transitions, 175 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 216 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-30a-CTLFireability.task
lola: A (F (FIREABLE(t126))) : E (X (NOT(A (F (FIREABLE(t16)))))) : E (F (E (X (A (G (FIREABLE(t76))))))) : E (((A (G (FIREABLE(t24))) OR FIREABLE(t159)) U A (F ((FIREABLE(t85) OR FIREABLE(t95)))))) : E ((((NOT FIREABLE(t40) AND NOT FIREABLE(t182)) OR A (F (FIREABLE(t87)))) U E (X (FIREABLE(t159))))) : (A ((A (F (FIREABLE(t81))) U (NOT FIREABLE(t154) AND NOT FIREABLE(t174)))) AND E ((A (F (FIREABLE(t2))) U FIREABLE(t184)))) : NOT(NOT(A (G ((NOT FIREABLE(t116) OR NOT FIREABLE(t100)))))) : (A (G ((FIREABLE(t173) AND FIREABLE(t63)))) OR A (G (A (X (NOT FIREABLE(t38)))))) : E (F (FIREABLE(t124))) : E (G ((NOT FIREABLE(t13) AND NOT FIREABLE(t81)))) : (E (((FIREABLE(t5) OR NOT FIREABLE(t176)) U (FIREABLE(t43) AND FIREABLE(t26) AND FIREABLE(t73) AND FIREABLE(t66)))) OR A (F ((FIREABLE(t186) OR FIREABLE(t148) OR (FIREABLE(t149) AND FIREABLE(t115)) OR ((FIREABLE(t122) OR FIREABLE(t52)) AND NOT FIREABLE(t31)))))) : E (F (A (G (((FIREABLE(t111) OR FIREABLE(t42)) AND (FIREABLE(t19) OR FIREABLE(t95))))))) : NOT(A (F ((E (X (FIREABLE(t59))) AND A (F (FIREABLE(t71))))))) : E (G (E (X (A (F (FIREABLE(t178))))))) : (NOT(A (F (FIREABLE(t43)))) OR FIREABLE(t82)) : A (F (((A (F (FIREABLE(t160))) AND FIREABLE(t187)) AND FIREABLE(t47))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t126)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t126)))
lola: processed formula: A (F (FIREABLE(t126)))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 35 markings, 35 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (NOT(A (F (FIREABLE(t16))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(A(TRUE U FIREABLE(t16))))
lola: processed formula length: 32
lola: 6 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 44 markings, 43 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X (A (G (FIREABLE(t76)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX(NOT(E(TRUE U NOT FIREABLE(t76)))))
lola: processed formula length: 46
lola: 4 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 308530 markings, 4105773 edges, 3689348869717491712 markings/sec, 0 secs
lola: 592574 markings, 8562044 edges, 56809 markings/sec, 5 secs
lola: 866339 markings, 12926810 edges, 54753 markings/sec, 10 secs
lola: 1128924 markings, 17302725 edges, 52517 markings/sec, 15 secs
lola: 1370920 markings, 21611219 edges, 48399 markings/sec, 20 secs
lola: 1609767 markings, 25907803 edges, 47769 markings/sec, 25 secs
lola: 1839527 markings, 30260211 edges, 45952 markings/sec, 30 secs
lola: 2057889 markings, 34863034 edges, 43672 markings/sec, 35 secs
lola: 2295920 markings, 39283029 edges, 47606 markings/sec, 40 secs
lola: 2544638 markings, 43775248 edges, 49744 markings/sec, 45 secs
lola: 2797903 markings, 48315958 edges, 50653 markings/sec, 50 secs
lola: 3069764 markings, 52751711 edges, 54372 markings/sec, 55 secs
lola: 3354289 markings, 57255533 edges, 56905 markings/sec, 60 secs
lola: 3629685 markings, 61613883 edges, 55079 markings/sec, 65 secs
lola: 3883763 markings, 65843942 edges, 50816 markings/sec, 70 secs
lola: 4109357 markings, 69927997 edges, 45119 markings/sec, 75 secs
lola: 4378737 markings, 74051561 edges, 53876 markings/sec, 80 secs
lola: 4628356 markings, 78097767 edges, 49924 markings/sec, 85 secs
lola: 4903889 markings, 82332282 edges, 55107 markings/sec, 90 secs
lola: 5145889 markings, 86544760 edges, 48400 markings/sec, 95 secs
lola: 5375105 markings, 90654256 edges, 45843 markings/sec, 100 secs
lola: 5599892 markings, 94797515 edges, 44957 markings/sec, 105 secs
lola: 5825906 markings, 98950674 edges, 45203 markings/sec, 110 secs
lola: 6031840 markings, 103062785 edges, 41187 markings/sec, 115 secs
lola: 6233319 markings, 107115039 edges, 40296 markings/sec, 120 secs
lola: 6435380 markings, 111256665 edges, 40412 markings/sec, 125 secs
lola: 6630277 markings, 115595562 edges, 38979 markings/sec, 130 secs
lola: 6808577 markings, 119946515 edges, 35660 markings/sec, 135 secs
lola: 7016550 markings, 124022813 edges, 41595 markings/sec, 140 secs
lola: 7245753 markings, 128337713 edges, 45841 markings/sec, 145 secs
lola: 7458791 markings, 132622040 edges, 42608 markings/sec, 150 secs
lola: 7673566 markings, 136738647 edges, 42955 markings/sec, 155 secs
lola: 7930599 markings, 141057295 edges, 51407 markings/sec, 160 secs
lola: 8160172 markings, 145209362 edges, 45915 markings/sec, 165 secs
lola: 8387242 markings, 149306792 edges, 45414 markings/sec, 170 secs
lola: 8589398 markings, 153265304 edges, 40431 markings/sec, 175 secs
lola: 8783393 markings, 157143793 edges, 38799 markings/sec, 180 secs
lola: 9014800 markings, 161047768 edges, 46281 markings/sec, 185 secs
lola: 9227828 markings, 164906263 edges, 42606 markings/sec, 190 secs
lola: 9489011 markings, 169072925 edges, 52237 markings/sec, 195 secs
lola: 9771345 markings, 173572703 edges, 56467 markings/sec, 200 secs
lola: 10033363 markings, 177970108 edges, 52404 markings/sec, 205 secs
lola: 10220906 markings, 182443519 edges, 37509 markings/sec, 210 secs
lola: 10412596 markings, 186846031 edges, 38338 markings/sec, 215 secs
lola: 10661277 markings, 191197242 edges, 49736 markings/sec, 220 secs
lola: 10887533 markings, 195470375 edges, 45251 markings/sec, 225 secs
lola: 11041548 markings, 199832810 edges, 30803 markings/sec, 230 secs
lola: 11215469 markings, 204208710 edges, 34784 markings/sec, 235 secs
lola: 11401241 markings, 208757517 edges, 37154 markings/sec, 240 secs
lola: 11602974 markings, 213185840 edges, 40347 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((A (G (FIREABLE(t24))) OR FIREABLE(t159)) U A (F ((FIREABLE(t85) OR FIREABLE(t95))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((NOT(E(TRUE U NOT FIREABLE(t24))) OR FIREABLE(t159)) U A(TRUE U (FIREABLE(t85) OR FIREABLE(t95))))
lola: processed formula length: 101
lola: 4 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 45 markings, 46 edges
lola: ========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((((NOT FIREABLE(t40) AND NOT FIREABLE(t182)) OR A (F (FIREABLE(t87)))) U E (X (FIREABLE(t159)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(((NOT FIREABLE(t40) AND NOT FIREABLE(t182)) OR A(TRUE U FIREABLE(t87))) U EX(FIREABLE(t159)))
lola: processed formula length: 95
lola: 3 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 213021 markings, 1177349 edges
lola: ========================================
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A ((A (F (FIREABLE(t81))) U (NOT FIREABLE(t154) AND NOT FIREABLE(t174)))) AND E ((A (F (FIREABLE(t2))) U FIREABLE(t184))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (F (FIREABLE(t81))) U (NOT FIREABLE(t154) AND NOT FIREABLE(t174))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(A(TRUE U FIREABLE(t81)) U (NOT FIREABLE(t154) AND NOT FIREABLE(t174)))
lola: processed formula length: 72
lola: 2 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((A (F (FIREABLE(t2))) U FIREABLE(t184)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(A(TRUE U FIREABLE(t2)) U FIREABLE(t184))
lola: processed formula length: 42
lola: 2 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 45 markings, 45 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G ((NOT FIREABLE(t116) OR NOT FIREABLE(t100))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 7 will run for 365 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (G ((FIREABLE(t173) AND FIREABLE(t63)))) OR A (G (A (X (NOT FIREABLE(t38))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 365 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t173) AND FIREABLE(t63))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 410 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X (NOT FIREABLE(t38)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX(NOT FIREABLE(t38)))))
lola: processed formula length: 41
lola: 2 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 534659 markings, 3856260 edges, 3689320832170983424 markings/sec, 0 secs
lola: 996506 markings, 7593852 edges, 92369 markings/sec, 5 secs
lola: 1430371 markings, 11326961 edges, 86773 markings/sec, 10 secs
lola: 1817251 markings, 14929299 edges, 77376 markings/sec, 15 secs
lola: 2178212 markings, 18699299 edges, 72192 markings/sec, 20 secs
lola: 2592882 markings, 22302506 edges, 82934 markings/sec, 25 secs
lola: 3014207 markings, 26015240 edges, 84265 markings/sec, 30 secs
lola: 3495497 markings, 29723763 edges, 96258 markings/sec, 35 secs
lola: 3916267 markings, 33227644 edges, 84154 markings/sec, 40 secs
lola: 4319510 markings, 36558327 edges, 80649 markings/sec, 45 secs
lola: 4743172 markings, 39894194 edges, 84732 markings/sec, 50 secs
lola: 5156340 markings, 43366957 edges, 82634 markings/sec, 55 secs
lola: 5534236 markings, 46751620 edges, 75579 markings/sec, 60 secs
lola: 5900226 markings, 50177005 edges, 73198 markings/sec, 65 secs
lola: 6234480 markings, 53570275 edges, 66851 markings/sec, 70 secs
lola: 6556819 markings, 56960372 edges, 64468 markings/sec, 75 secs
lola: 6866067 markings, 60465993 edges, 61850 markings/sec, 80 secs
lola: 7195719 markings, 63694215 edges, 65930 markings/sec, 85 secs
lola: 7533327 markings, 67076541 edges, 67522 markings/sec, 90 secs
lola: 7931490 markings, 70538328 edges, 79633 markings/sec, 95 secs
lola: 8290906 markings, 73802251 edges, 71883 markings/sec, 100 secs
lola: 8627186 markings, 77025018 edges, 67256 markings/sec, 105 secs
lola: 8967213 markings, 80122896 edges, 68005 markings/sec, 110 secs
lola: 9308736 markings, 83190188 edges, 68305 markings/sec, 115 secs
lola: 9790211 markings, 86956872 edges, 96295 markings/sec, 120 secs
lola: 10184428 markings, 90728375 edges, 78843 markings/sec, 125 secs
lola: 10537809 markings, 94479695 edges, 70676 markings/sec, 130 secs
lola: 10919447 markings, 98165798 edges, 76328 markings/sec, 135 secs
lola: 11195548 markings, 101892760 edges, 55220 markings/sec, 140 secs
lola: 11507331 markings, 105730189 edges, 62357 markings/sec, 145 secs
lola: 11868505 markings, 109399071 edges, 72235 markings/sec, 150 secs
lola: 12234671 markings, 113135035 edges, 73233 markings/sec, 155 secs
lola: 12655664 markings, 116981610 edges, 84199 markings/sec, 160 secs
lola: 13065422 markings, 120613821 edges, 81952 markings/sec, 165 secs
lola: 13391760 markings, 124067587 edges, 65268 markings/sec, 170 secs
lola: 13758972 markings, 127467732 edges, 73442 markings/sec, 175 secs
lola: 14152296 markings, 130978066 edges, 78665 markings/sec, 180 secs
lola: 14552330 markings, 134496511 edges, 80007 markings/sec, 185 secs
lola: 14843691 markings, 138236085 edges, 58272 markings/sec, 190 secs
lola: 15093699 markings, 141689714 edges, 50002 markings/sec, 195 secs
lola: 15458069 markings, 145168377 edges, 72874 markings/sec, 200 secs
lola: 15824352 markings, 148601449 edges, 73257 markings/sec, 205 secs
lola: 16095567 markings, 152162320 edges, 54243 markings/sec, 210 secs
lola: 16431563 markings, 155603556 edges, 67199 markings/sec, 215 secs
lola: 16741674 markings, 159045901 edges, 62022 markings/sec, 220 secs
lola: 16975764 markings, 162524968 edges, 46818 markings/sec, 225 secs
lola: 17244677 markings, 166070399 edges, 53783 markings/sec, 230 secs
lola: 17527735 markings, 169377377 edges, 56612 markings/sec, 235 secs
lola: 17840485 markings, 172947837 edges, 62550 markings/sec, 240 secs
lola: 18168258 markings, 176325277 edges, 65555 markings/sec, 245 secs
lola: 18510972 markings, 179882470 edges, 68543 markings/sec, 250 secs
lola: 18847346 markings, 183178657 edges, 67275 markings/sec, 255 secs
lola: 19119225 markings, 186429542 edges, 54376 markings/sec, 260 secs
lola: 19430134 markings, 189597438 edges, 62182 markings/sec, 265 secs
lola: 19732225 markings, 192724965 edges, 60418 markings/sec, 270 secs
lola: 20100096 markings, 196246278 edges, 73574 markings/sec, 275 secs
lola: 20429389 markings, 199537913 edges, 65859 markings/sec, 280 secs
lola: 20684835 markings, 203302963 edges, 51089 markings/sec, 285 secs
lola: 20918013 markings, 206757146 edges, 46636 markings/sec, 290 secs
lola: 21377183 markings, 210501538 edges, 91834 markings/sec, 295 secs
lola: 21853698 markings, 214222580 edges, 95303 markings/sec, 300 secs
lola: 22241923 markings, 218022065 edges, 77645 markings/sec, 305 secs
lola: 22658087 markings, 221761188 edges, 83233 markings/sec, 310 secs
lola: 23113462 markings, 225241230 edges, 91075 markings/sec, 315 secs
lola: 23544438 markings, 228683715 edges, 86195 markings/sec, 320 secs
lola: 23963297 markings, 232140650 edges, 83772 markings/sec, 325 secs
lola: 24374455 markings, 235651305 edges, 82232 markings/sec, 330 secs
lola: 24734940 markings, 239206299 edges, 72097 markings/sec, 335 secs
lola: 25114979 markings, 242928729 edges, 76008 markings/sec, 340 secs
lola: 25475855 markings, 246401078 edges, 72175 markings/sec, 345 secs
lola: 25810486 markings, 249717136 edges, 66926 markings/sec, 350 secs
lola: 26138251 markings, 253284988 edges, 65553 markings/sec, 355 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 8 will run for 365 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t124)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 872 markings, 872 edges
lola: ========================================
lola: subprocess 9 will run for 417 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t13) AND NOT FIREABLE(t81))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(t13) OR FIREABLE(t81))))
lola: processed formula length: 48
lola: 2 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 45 markings, 44 edges
lola: ========================================
lola: subprocess 10 will run for 486 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (((FIREABLE(t5) OR NOT FIREABLE(t176)) U (FIREABLE(t43) AND FIREABLE(t26) AND FIREABLE(t73) AND FIREABLE(t66)))) OR A (F ((FIREABLE(t186) OR FIREABLE(t148) OR (FIREABLE(t149) AND FIREABLE(t115)) OR ((FIREABLE(t122) OR FIREABLE(t52)) AND NOT FIREABLE(t31))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 486 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(t5) OR NOT FIREABLE(t176)) U (FIREABLE(t43) AND FIREABLE(t26) AND FIREABLE(t73) AND FIREABLE(t66))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((FIREABLE(t5) OR NOT FIREABLE(t176)) U (FIREABLE(t43) AND FIREABLE(t26) AND FIREABLE(t73) AND FIREABLE(t66)))
lola: processed formula length: 112
lola: 1 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 945289 markings, 4888620 edges, 189058 markings/sec, 0 secs
lola: 1883601 markings, 9318287 edges, 187662 markings/sec, 5 secs
lola: 2832708 markings, 13679826 edges, 189821 markings/sec, 10 secs
lola: 3777034 markings, 17974910 edges, 188865 markings/sec, 15 secs
lola: 4540707 markings, 22156028 edges, 152735 markings/sec, 20 secs
lola: 5426163 markings, 26435417 edges, 177091 markings/sec, 25 secs
lola: 6167117 markings, 30571076 edges, 148191 markings/sec, 30 secs
lola: 6914306 markings, 34707161 edges, 149438 markings/sec, 35 secs
lola: 7749159 markings, 39060821 edges, 166971 markings/sec, 40 secs
lola: 8664324 markings, 43194033 edges, 183033 markings/sec, 45 secs
lola: 9482317 markings, 47185955 edges, 163599 markings/sec, 50 secs
lola: 10075608 markings, 51215764 edges, 118658 markings/sec, 55 secs
lola: 10558900 markings, 55187589 edges, 96658 markings/sec, 60 secs
lola: 10992501 markings, 59063572 edges, 86720 markings/sec, 65 secs
lola: 11416629 markings, 62869264 edges, 84826 markings/sec, 70 secs
lola: 12124391 markings, 66775216 edges, 141552 markings/sec, 75 secs
lola: 12917682 markings, 70774723 edges, 158658 markings/sec, 80 secs
lola: 13644339 markings, 74745608 edges, 145331 markings/sec, 85 secs
lola: 14420443 markings, 78685447 edges, 155221 markings/sec, 90 secs
lola: 15101160 markings, 82474431 edges, 136143 markings/sec, 95 secs
lola: 15686049 markings, 86610706 edges, 116978 markings/sec, 100 secs
lola: 16412446 markings, 90700457 edges, 145279 markings/sec, 105 secs
lola: 17170126 markings, 94691650 edges, 151536 markings/sec, 110 secs
lola: 17853280 markings, 98561655 edges, 136631 markings/sec, 115 secs
lola: 18300881 markings, 102514986 edges, 89520 markings/sec, 120 secs
lola: 18712606 markings, 106385771 edges, 82345 markings/sec, 125 secs
lola: 19091945 markings, 110162700 edges, 75868 markings/sec, 130 secs
lola: 19469826 markings, 113852636 edges, 75576 markings/sec, 135 secs
lola: 20219135 markings, 117869222 edges, 149862 markings/sec, 140 secs
lola: 20907681 markings, 121792976 edges, 137709 markings/sec, 145 secs
lola: 21551328 markings, 125654161 edges, 128729 markings/sec, 150 secs
lola: 22103661 markings, 129751140 edges, 110467 markings/sec, 155 secs
lola: 22586916 markings, 133798263 edges, 96651 markings/sec, 160 secs
lola: 23011120 markings, 137876175 edges, 84841 markings/sec, 165 secs
lola: 23554953 markings, 141803433 edges, 108767 markings/sec, 170 secs
lola: 23987012 markings, 145650365 edges, 86412 markings/sec, 175 secs
lola: 24431420 markings, 149554893 edges, 88882 markings/sec, 180 secs
lola: 24810042 markings, 153317023 edges, 75724 markings/sec, 185 secs
lola: 25219955 markings, 157099781 edges, 81983 markings/sec, 190 secs
lola: 25628624 markings, 160811240 edges, 81734 markings/sec, 195 secs
lola: 26056849 markings, 165021444 edges, 85645 markings/sec, 200 secs
lola: 26444958 markings, 169095282 edges, 77622 markings/sec, 205 secs
lola: 26824432 markings, 173187739 edges, 75895 markings/sec, 210 secs
lola: 27169453 markings, 177124694 edges, 69004 markings/sec, 215 secs
lola: 27517259 markings, 181067375 edges, 69561 markings/sec, 220 secs
lola: 27910906 markings, 184990363 edges, 78729 markings/sec, 225 secs
lola: 28297977 markings, 189074926 edges, 77414 markings/sec, 230 secs
lola: 28782720 markings, 193001502 edges, 96949 markings/sec, 235 secs
lola: 29181503 markings, 196894166 edges, 79757 markings/sec, 240 secs
lola: 29529370 markings, 200693040 edges, 69573 markings/sec, 245 secs
lola: 29904773 markings, 204388368 edges, 75081 markings/sec, 250 secs
lola: 30282637 markings, 208503331 edges, 75573 markings/sec, 255 secs
lola: 30628129 markings, 212552969 edges, 69098 markings/sec, 260 secs
lola: 30944267 markings, 216450883 edges, 63228 markings/sec, 265 secs
lola: 31419733 markings, 220384539 edges, 95093 markings/sec, 270 secs
lola: 31944224 markings, 224320821 edges, 104898 markings/sec, 275 secs
lola: 32651406 markings, 228561773 edges, 141436 markings/sec, 280 secs
lola: 33458882 markings, 232790124 edges, 161495 markings/sec, 285 secs
lola: 34245050 markings, 236884489 edges, 157234 markings/sec, 290 secs
lola: 34865769 markings, 240952533 edges, 124144 markings/sec, 295 secs
lola: 35297808 markings, 244905110 edges, 86408 markings/sec, 300 secs
lola: 35973228 markings, 249153279 edges, 135084 markings/sec, 305 secs
lola: 36653397 markings, 253333518 edges, 136034 markings/sec, 310 secs
lola: 37175346 markings, 257467441 edges, 104390 markings/sec, 315 secs
lola: 37664650 markings, 261672059 edges, 97861 markings/sec, 320 secs
lola: 38086075 markings, 265774809 edges, 84285 markings/sec, 325 secs
lola: 38459912 markings, 269726119 edges, 74767 markings/sec, 330 secs
lola: 38808223 markings, 273623811 edges, 69662 markings/sec, 335 secs
lola: 39161528 markings, 277751314 edges, 70661 markings/sec, 340 secs
lola: 39702586 markings, 281862264 edges, 108212 markings/sec, 345 secs
lola: 40164663 markings, 285713621 edges, 92415 markings/sec, 350 secs
lola: 40691898 markings, 289622290 edges, 105447 markings/sec, 355 secs
lola: 41347646 markings, 293608423 edges, 131150 markings/sec, 360 secs
lola: 42098316 markings, 297591909 edges, 150134 markings/sec, 365 secs
lola: 42825103 markings, 301566783 edges, 145357 markings/sec, 370 secs
lola: 43513712 markings, 305486050 edges, 137722 markings/sec, 375 secs
lola: 44188409 markings, 309347545 edges, 134939 markings/sec, 380 secs
lola: 44858840 markings, 313153738 edges, 134086 markings/sec, 385 secs
lola: 45474823 markings, 316859741 edges, 123197 markings/sec, 390 secs
lola: 46247189 markings, 320830944 edges, 154473 markings/sec, 395 secs
lola: 46967661 markings, 324731494 edges, 144094 markings/sec, 400 secs
lola: 47662646 markings, 328646703 edges, 138997 markings/sec, 405 secs
lola: 48291220 markings, 332426164 edges, 125715 markings/sec, 410 secs
lola: 48995548 markings, 336287596 edges, 140866 markings/sec, 415 secs
lola: 49607091 markings, 340015439 edges, 122309 markings/sec, 420 secs
lola: 50296028 markings, 343932053 edges, 137787 markings/sec, 425 secs
lola: 50948067 markings, 347854406 edges, 130408 markings/sec, 430 secs
lola: 51562226 markings, 351685971 edges, 122832 markings/sec, 435 secs
lola: 52168443 markings, 355428010 edges, 121243 markings/sec, 440 secs
lola: 52901268 markings, 359499055 edges, 146565 markings/sec, 445 secs
lola: 53524174 markings, 363690060 edges, 124581 markings/sec, 450 secs
lola: 54265561 markings, 367757766 edges, 148277 markings/sec, 455 secs
lola: 54956763 markings, 371645487 edges, 138240 markings/sec, 460 secs
lola: 55408643 markings, 375687768 edges, 90376 markings/sec, 465 secs
lola: 55798570 markings, 379558947 edges, 77985 markings/sec, 470 secs
lola: 56456414 markings, 383755326 edges, 131569 markings/sec, 475 secs
lola: 57075330 markings, 387830797 edges, 123783 markings/sec, 480 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 486 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((FIREABLE(t111) OR FIREABLE(t42)) AND (FIREABLE(t19) OR FIREABLE(t95)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: possible invariance not yet implemented, converting to CTL...
lola: processed formula: E(TRUE U NOT(E(TRUE U ((NOT FIREABLE(t111) AND NOT FIREABLE(t42)) OR (NOT FIREABLE(t19) AND NOT FIREABLE(t95))))))
lola: processed formula length: 115
lola: 3 rewrites
lola: formula mentions 0 of 234 places; total mentions: 0
lola: closed formula file DES-PT-30a-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 710071 markings, 5051798 edges, 3689348869717491712 markings/sec, 0 secs
lola: 1331019 markings, 9804169 edges, 124190 markings/sec, 5 secs
lola: 1763620 markings, 14196654 edges, 86520 markings/sec, 10 secs
lola: 2201120 markings, 18592433 edges, 87500 markings/sec, 15 secs
lola: 2616268 markings, 23022879 edges, 83030 markings/sec, 20 secs
lola: 3147195 markings, 27494969 edges, 106185 markings/sec, 25 secs
lola: 3606136 markings, 31880149 edges, 91788 markings/sec, 30 secs
lola: 4004978 markings, 36157322 edges, 79768 markings/sec, 35 secs
lola: 4440594 markings, 40482086 edges, 87123 markings/sec, 40 secs
lola: 4953261 markings, 44918599 edges, 102533 markings/sec, 45 secs
lola: 5423216 markings, 49253547 edges, 93991 markings/sec, 50 secs
lola: 5820546 markings, 53453949 edges, 79466 markings/sec, 55 secs
lola: 6245391 markings, 57704429 edges, 84969 markings/sec, 60 secs
lola: 6688095 markings, 62003416 edges, 88541 markings/sec, 65 secs
lola: 7193941 markings, 66424227 edges, 101169 markings/sec, 70 secs
lola: 7660806 markings, 70781932 edges, 93373 markings/sec, 75 secs
lola: 8099744 markings, 75037229 edges, 87788 markings/sec, 80 secs
lola: 8527683 markings, 79389788 edges, 85588 markings/sec, 85 secs
lola: 8937291 markings, 83568952 edges, 81922 markings/sec, 90 secs
lola: 9332894 markings, 87766355 edges, 79121 markings/sec, 95 secs
lola: 9685437 markings, 91775160 edges, 70509 markings/sec, 100 secs
lola: 10194761 markings, 96289423 edges, 101865 markings/sec, 105 secs
lola: 10687404 markings, 100642285 edges, 98529 markings/sec, 110 secs
lola: 11120024 markings, 104842187 edges, 86524 markings/sec, 115 secs
lola: 11555280 markings, 109058897 edges, 87051 markings/sec, 120 secs
lola: 11960101 markings, 113217783 edges, 80964 markings/sec, 125 secs
lola: 12334268 markings, 117240931 edges, 74833 markings/sec, 130 secs
lola: 12738186 markings, 121306054 edges, 80784 markings/sec, 135 secs
lola: 13104205 markings, 125253028 edges, 73204 markings/sec, 140 secs
lola: 13477006 markings, 128938484 edges, 74560 markings/sec, 145 secs
lola: 13813278 markings, 132391937 edges, 67254 markings/sec, 150 secs
lola: 14247423 markings, 136561753 edges, 86829 markings/sec, 155 secs
lola: 14673315 markings, 140768275 edges, 85178 markings/sec, 160 secs
lola: 15124721 markings, 145123522 edges, 90281 markings/sec, 165 secs
lola: 15513985 markings, 149293902 edges, 77853 markings/sec, 170 secs
lola: 15916770 markings, 153401862 edges, 80557 markings/sec, 175 secs
lola: 16287422 markings, 157399713 edges, 74130 markings/sec, 180 secs
lola: 16732189 markings, 161745166 edges, 88953 markings/sec, 185 secs
lola: 17118116 markings, 165883962 edges, 77185 markings/sec, 190 secs
lola: 17503493 markings, 170008365 edges, 77075 markings/sec, 195 secs
lola: 17881155 markings, 174139287 edges, 75532 markings/sec, 200 secs
lola: 18237765 markings, 178190721 edges, 71322 markings/sec, 205 secs
lola: 18569020 markings, 182148537 edges, 66251 markings/sec, 210 secs
lola: 18925448 markings, 186037888 edges, 71286 markings/sec, 215 secs
lola: 19308283 markings, 190085918 edges, 76567 markings/sec, 220 secs
lola: 19655769 markings, 194011453 edges, 69497 markings/sec, 225 secs
lola: 20020016 markings, 198005120 edges, 72849 markings/sec, 230 secs
lola: 20363941 markings, 201927307 edges, 68785 markings/sec, 235 secs
lola: 20683780 markings, 205759078 edges, 63968 markings/sec, 240 secs
lola: 20983472 markings, 209692269 edges, 59938 markings/sec, 245 secs
lola: 21277589 markings, 213910137 edges, 58823 markings/sec, 250 secs
lola: 21575297 markings, 218174473 edges, 59542 markings/sec, 255 secs
lola: 21848971 markings, 222295965 edges, 54735 markings/sec, 260 secs
lola: 22127067 markings, 226410641 edges, 55619 markings/sec, 265 secs
lola: 22484803 markings, 230573842 edges, 71547 markings/sec, 270 secs
lola: 22909910 markings, 234803333 edges, 85021 markings/sec, 275 secs
lola: 23288619 markings, 238889410 edges, 75742 markings/sec, 280 secs
lola: 23672400 markings, 243006844 edges, 76756 markings/sec, 285 secs
lola: 24029854 markings, 247067219 edges, 71491 markings/sec, 290 secs
lola: 24357270 markings, 250981713 edges, 65483 markings/sec, 295 secs
lola: 24716749 markings, 254972680 edges, 71896 markings/sec, 300 secs
lola: 25045405 markings, 258844279 edges, 65731 markings/sec, 305 secs
lola: 25366131 markings, 262388904 edges, 64145 markings/sec, 310 secs
lola: 25659397 markings, 265679309 edges, 58653 markings/sec, 315 secs
lola: 26030743 markings, 269589850 edges, 74269 markings/sec, 320 secs
lola: 26425328 markings, 273775761 edges, 78917 markings/sec, 325 secs
lola: 26785399 markings, 277855484 edges, 72014 markings/sec, 330 secs
lola: 27146462 markings, 281907036 edges, 72213 markings/sec, 335 secs
lola: 27510138 markings, 286032507 edges, 72735 markings/sec, 340 secs
lola: 27862380 markings, 290116196 edges, 70448 markings/sec, 345 secs
lola: 28185790 markings, 294102329 edges, 64682 markings/sec, 350 secs
lola: 28508846 markings, 297997292 edges, 64611 markings/sec, 355 secs
lola: 28840218 markings, 301929356 edges, 66274 markings/sec, 360 secs
lola: 29165815 markings, 305845376 edges, 65119 markings/sec, 365 secs
lola: 29450073 markings, 309543299 edges, 56852 markings/sec, 370 secs
lola: 29739623 markings, 313788074 edges, 57910 markings/sec, 375 secs
lola: 30010710 markings, 317974967 edges, 54217 markings/sec, 380 secs
lola: 30267748 markings, 322055927 edges, 51408 markings/sec, 385 secs
lola: 30566527 markings, 326106263 edges, 59756 markings/sec, 390 secs
lola: 30932540 markings, 329924909 edges, 73203 markings/sec, 395 secs
lola: 31279432 markings, 333731806 edges, 69378 markings/sec, 400 secs
lola: 31623450 markings, 337181215 edges, 68804 markings/sec, 405 secs
lola: 31925595 markings, 340440863 edges, 60429 markings/sec, 410 secs
lola: 32220993 markings, 343829812 edges, 59080 markings/sec, 415 secs
lola: 32528419 markings, 347436993 edges, 61485 markings/sec, 420 secs
lola: 32812400 markings, 350908135 edges, 56796 markings/sec, 425 secs
lola: 33081072 markings, 354279489 edges, 53734 markings/sec, 430 secs
lola: 33409790 markings, 357993287 edges, 65744 markings/sec, 435 secs
lola: 33725316 markings, 361748600 edges, 63105 markings/sec, 440 secs
lola: 34006685 markings, 364961807 edges, 56274 markings/sec, 445 secs
lola: 34263597 markings, 368131467 edges, 51382 markings/sec, 450 secs
lola: 34536018 markings, 371618533 edges, 54484 markings/sec, 455 secs
lola: 34777023 markings, 374886300 edges, 48201 markings/sec, 460 secs
lola: 35151895 markings, 378709607 edges, 74974 markings/sec, 465 secs
lola: 35509219 markings, 382502140 edges, 71465 markings/sec, 470 secs
lola: 35843168 markings, 386244473 edges, 66790 markings/sec, 475 secs
lola: 36239366 markings, 390571180 edges, 79240 markings/sec, 480 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 DES-PT-30a-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-30a"
export BK_EXAMINATION="CTLFireability"
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/DES-PT-30a.tgz
mv DES-PT-30a 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 DES-PT-30a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-152646385700242"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;