About the Execution of M4M.full for DLCshifumi-PT-5a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14152.380 | 1066916.00 | 1101801.00 | 4126.10 | ???????????????? | 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 4.1M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 3.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCshifumi-PT-5a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743000199
=====================================================================
--------------------
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 DLCshifumi-PT-5a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526729879036
BK_STOP 1526730945952
--------------------
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 DLCshifumi-PT-5a as instance name.
Using DLCshifumi as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 23678, 'Memory': 2258.73, 'Tool': 'marcie'}, {'Time': 25391, 'Memory': 2258.98, 'Tool': 'marcie'}, {'Time': 493275, 'Memory': 2366.7, 'Tool': 'itstools'}, {'Time': 496740, 'Memory': 2361.74, 'Tool': 'itstools'}, {'Time': 1507529, 'Memory': 15936.47, 'Tool': 'lola'}, {'Time': 1514843, 'Memory': 15935.84, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 63.66791958780303x far from the best tool marcie.
CTLCardinality lola DLCshifumi-PT-5a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCshifumi-PT-5a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCshifumi-PT-5a: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLCardinality @ DLCshifumi-PT-5a @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 17027/65536 symbol table entries, 5854 collisions
lola: preprocessing...
lola: finding significant places
lola: 2162 places, 14865 transitions, 784 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12838 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-5a-CTLCardinality.task
lola: A (X ((E (G ((p127 <= p883))) OR E (X ((3 <= p1504)))))) : (E (F ((2 <= p1961))) AND (NOT(E (F ((1 <= p1275)))) OR (((p1411 <= 2) OR (p1170 <= 0)) AND ((p102 + 1 <= p1591) OR (p343 <= 1))))) : (((A (G ((1 <= p1855))) OR (((p1291 <= p1913) OR (3 <= p25)) AND ((2 <= p461) OR (1 <= p813)))) AND ((p166 + 1 <= p1838) OR (p493 <= 2) OR (p1698 <= 2) OR (p1611 <= 1))) OR A (G (A (X ((p706 <= p1259)))))) : E (F (A (G ((p251 <= p687))))) : NOT(NOT(A (F (((p23 <= p1464) AND (2 <= p1016)))))) : E ((A (F ((1 <= p1887))) U (p981 + 1 <= p100))) : E (G (E (F (((2 <= p1814) AND (p467 <= p269)))))) : ((A (G ((p1542 <= 2))) AND A (G (((p1932 <= p1492) AND (p78 <= p2145))))) AND (((p907 <= p810) AND A (G ((p1997 <= p1662)))) OR ((p366 + 1 <= p1564) OR (p1035 + 1 <= p1490) OR (p1164 <= p466)))) : E (F (NOT(E (X ((1 <= p1716)))))) : NOT(NOT(A (((p1067 <= p1526) U (3 <= p135))))) : A ((E (F ((2 <= p358))) U E (X ((2 <= p651))))) : (E (X (A (F ((p521 <= p1264))))) AND A (G (((p1355 <= p965) OR (3 <= p230))))) : A (F ((2 <= p142))) : NOT((A (G ((p263 <= 1))) AND A (F (((p1070 <= p1900) OR (2 <= p139)))))) : (A (F ((3 <= p2061))) AND (A (F (((1 <= p580) OR (2 <= p411)))) OR ((p828 <= p499) AND (p1782 <= p2055) AND (p808 <= 1) AND (3 <= p1884)))) : NOT(A (F (((p1596 + 1 <= p1796) OR (p1000 + 1 <= p1175)))))
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 (X ((E (G ((p127 <= p883))) OR E (X ((3 <= p1504))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX((NOT(A(TRUE U (p883 + 1 <= p127))) OR EX((3 <= p1504))))
lola: processed formula length: 59
lola: 4 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 1 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F ((2 <= p1961))) AND (NOT(E (F ((1 <= p1275)))) OR (((p1411 <= 2) OR (p1170 <= 0)) AND ((p102 + 1 <= p1591) OR (p343 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= p1961)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((A (G ((1 <= p1855))) OR (((p1291 <= p1913) OR (3 <= p25)) AND ((2 <= p461) OR (1 <= p813)))) AND ((p166 + 1 <= p1838) OR (p493 <= 2) OR (p1698 <= 2) OR (p1611 <= 1))) OR A (G (A (X ((p706 <= p1259))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= p1855)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation: write sara problem file to DLCshifumi-PT-5a-CTLCardinality-2.sara
lola: 0 markings, 0 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((p1291 <= p1913) OR (3 <= p25)) AND ((2 <= p461) OR (1 <= p813)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p1291 <= p1913) OR (3 <= p25)) AND ((2 <= p461) OR (1 <= p813)))
lola: processed formula length: 69
lola: 0 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: processed formula with 4 atomic propositions
sara: try reading problem file DLCshifumi-PT-5a-CTLCardinality-2.sara.
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X ((p706 <= p1259)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX((p706 <= p1259)))))
lola: processed formula length: 39
lola: 2 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 693 markings, 33391 edges, 2875991740139962368 markings/sec, 0 secs
lola: 1552 markings, 77197 edges, 172 markings/sec, 5 secs
lola: 2672 markings, 133085 edges, 224 markings/sec, 10 secs
lola: 3930 markings, 196298 edges, 252 markings/sec, 15 secs
sara: place or transition ordering is non-deterministic
lola: 5193 markings, 259522 edges, 253 markings/sec, 20 secs
lola: 6436 markings, 320523 edges, 249 markings/sec, 25 secs
lola: 7790 markings, 387267 edges, 271 markings/sec, 30 secs
lola: 9156 markings, 454433 edges, 273 markings/sec, 35 secs
lola: 10535 markings, 521689 edges, 276 markings/sec, 40 secs
lola: 11921 markings, 588428 edges, 277 markings/sec, 45 secs
lola: 13320 markings, 656016 edges, 280 markings/sec, 50 secs
lola: 14720 markings, 722211 edges, 280 markings/sec, 55 secs
lola: 16118 markings, 788151 edges, 280 markings/sec, 60 secs
lola: 17530 markings, 854623 edges, 282 markings/sec, 65 secs
lola: 18960 markings, 922326 edges, 286 markings/sec, 70 secs
lola: 20387 markings, 989473 edges, 285 markings/sec, 75 secs
lola: 21820 markings, 1057194 edges, 287 markings/sec, 80 secs
lola: 23262 markings, 1125502 edges, 288 markings/sec, 85 secs
lola: 24709 markings, 1194098 edges, 289 markings/sec, 90 secs
lola: 26160 markings, 1263006 edges, 290 markings/sec, 95 secs
lola: 27605 markings, 1331629 edges, 289 markings/sec, 100 secs
lola: 29067 markings, 1400852 edges, 292 markings/sec, 105 secs
lola: 30538 markings, 1470417 edges, 294 markings/sec, 110 secs
lola: 32009 markings, 1540501 edges, 294 markings/sec, 115 secs
lola: 33473 markings, 1609739 edges, 293 markings/sec, 120 secs
lola: 34949 markings, 1679555 edges, 295 markings/sec, 125 secs
lola: 36431 markings, 1750572 edges, 296 markings/sec, 130 secs
lola: 37917 markings, 1821151 edges, 297 markings/sec, 135 secs
lola: 39279 markings, 1885585 edges, 272 markings/sec, 140 secs
lola: 40750 markings, 1955148 edges, 294 markings/sec, 145 secs
lola: 42226 markings, 2025608 edges, 295 markings/sec, 150 secs
lola: 43700 markings, 2095701 edges, 295 markings/sec, 155 secs
lola: 45181 markings, 2166736 edges, 296 markings/sec, 160 secs
lola: 46669 markings, 2237206 edges, 298 markings/sec, 165 secs
lola: 48157 markings, 2308224 edges, 298 markings/sec, 170 secs
lola: 49643 markings, 2379035 edges, 297 markings/sec, 175 secs
lola: 51137 markings, 2450581 edges, 299 markings/sec, 180 secs
lola: 52631 markings, 2522074 edges, 299 markings/sec, 185 secs
lola: 54127 markings, 2592947 edges, 299 markings/sec, 190 secs
lola: 55624 markings, 2664704 edges, 299 markings/sec, 195 secs
lola: 57119 markings, 2736281 edges, 299 markings/sec, 200 secs
lola: 58617 markings, 2808919 edges, 300 markings/sec, 205 secs
lola: 60116 markings, 2880003 edges, 300 markings/sec, 210 secs
lola: 61614 markings, 2951740 edges, 300 markings/sec, 215 secs
lola: 63110 markings, 3023840 edges, 299 markings/sec, 220 secs
lola: 64609 markings, 3097007 edges, 300 markings/sec, 225 secs
lola: 66086 markings, 3169280 edges, 295 markings/sec, 230 secs
lola: 67563 markings, 3241773 edges, 295 markings/sec, 235 secs
lola: 69061 markings, 3315077 edges, 300 markings/sec, 240 secs
lola: 70463 markings, 3382833 edges, 280 markings/sec, 245 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 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p251 <= p687)))))
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 (p687 + 1 <= p251))))
lola: processed formula length: 43
lola: 3 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 33513 markings, 1611598 edges, 1880864585209085952 markings/sec, 0 secs
lola: 66714 markings, 3200597 edges, 6640 markings/sec, 5 secs
lola: 99961 markings, 4818593 edges, 6649 markings/sec, 10 secs
lola: 132637 markings, 6407404 edges, 6535 markings/sec, 15 secs
lola: 165023 markings, 7978231 edges, 6477 markings/sec, 20 secs
lola: 197990 markings, 9589518 edges, 6593 markings/sec, 25 secs
lola: 230782 markings, 11191805 edges, 6558 markings/sec, 30 secs
lola: 263951 markings, 12819322 edges, 6634 markings/sec, 35 secs
lola: 296687 markings, 14421311 edges, 6547 markings/sec, 40 secs
lola: 330044 markings, 16053078 edges, 6671 markings/sec, 45 secs
lola: 362869 markings, 17663512 edges, 6565 markings/sec, 50 secs
lola: 395872 markings, 19282801 edges, 6601 markings/sec, 55 secs
lola: 428794 markings, 20898402 edges, 6584 markings/sec, 60 secs
lola: 461226 markings, 22498566 edges, 6486 markings/sec, 65 secs
lola: 493896 markings, 24111793 edges, 6534 markings/sec, 70 secs
lola: 527521 markings, 25755189 edges, 6725 markings/sec, 75 secs
lola: 560812 markings, 27378183 edges, 6658 markings/sec, 80 secs
lola: 593213 markings, 28991070 edges, 6480 markings/sec, 85 secs
lola: 625901 markings, 30608702 edges, 6538 markings/sec, 90 secs
lola: 659568 markings, 32262207 edges, 6733 markings/sec, 95 secs
lola: 692245 markings, 33880114 edges, 6535 markings/sec, 100 secs
lola: 724599 markings, 35488033 edges, 6471 markings/sec, 105 secs
lola: 757147 markings, 37091485 edges, 6510 markings/sec, 110 secs
lola: 790163 markings, 38714964 edges, 6603 markings/sec, 115 secs
lola: 822115 markings, 40285838 edges, 6390 markings/sec, 120 secs
lola: 854051 markings, 41845822 edges, 6387 markings/sec, 125 secs
lola: 885802 markings, 43399354 edges, 6350 markings/sec, 130 secs
lola: 918145 markings, 44987474 edges, 6469 markings/sec, 135 secs
lola: 950884 markings, 46575684 edges, 6548 markings/sec, 140 secs
lola: 982789 markings, 48134526 edges, 6381 markings/sec, 145 secs
lola: 1013906 markings, 49653060 edges, 6223 markings/sec, 150 secs
lola: 1045836 markings, 51231058 edges, 6386 markings/sec, 155 secs
lola: 1077731 markings, 52796224 edges, 6379 markings/sec, 160 secs
lola: 1110337 markings, 54399713 edges, 6521 markings/sec, 165 secs
lola: 1143791 markings, 56030255 edges, 6691 markings/sec, 170 secs
lola: 1175644 markings, 57591150 edges, 6371 markings/sec, 175 secs
lola: 1208791 markings, 59209399 edges, 6629 markings/sec, 180 secs
lola: 1241480 markings, 60817010 edges, 6538 markings/sec, 185 secs
lola: 1273748 markings, 62405208 edges, 6454 markings/sec, 190 secs
lola: 1306073 markings, 64005651 edges, 6465 markings/sec, 195 secs
lola: 1338702 markings, 65628944 edges, 6526 markings/sec, 200 secs
lola: 1371072 markings, 67213100 edges, 6474 markings/sec, 205 secs
lola: 1403016 markings, 68791861 edges, 6389 markings/sec, 210 secs
lola: 1435568 markings, 70374257 edges, 6510 markings/sec, 215 secs
lola: 1466756 markings, 71914525 edges, 6238 markings/sec, 220 secs
lola: 1499691 markings, 73540515 edges, 6587 markings/sec, 225 secs
lola: 1532816 markings, 75176714 edges, 6625 markings/sec, 230 secs
lola: 1566351 markings, 76825216 edges, 6707 markings/sec, 235 secs
lola: 1598973 markings, 78432592 edges, 6524 markings/sec, 240 secs
lola: 1631465 markings, 80032761 edges, 6498 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (F (((p23 <= p1464) AND (2 <= p1016))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((p23 <= p1464) AND (2 <= p1016))))
lola: processed formula: A (F (((p23 <= p1464) AND (2 <= p1016))))
lola: processed formula length: 41
lola: 6 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 15 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: 2 markings, 2 edges
lola: ========================================
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((1 <= p1887))) U (p981 + 1 <= p100)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(A(TRUE U (1 <= p1887)) U (p981 + 1 <= p100))
lola: processed formula length: 46
lola: 2 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 31694 markings, 1556870 edges, 1880864585209085952 markings/sec, 0 secs
lola: 64514 markings, 3157001 edges, 6564 markings/sec, 5 secs
lola: 97663 markings, 4806029 edges, 6630 markings/sec, 10 secs
lola: 130411 markings, 6431319 edges, 6550 markings/sec, 15 secs
lola: 163358 markings, 8061003 edges, 6589 markings/sec, 20 secs
lola: 196394 markings, 9708377 edges, 6607 markings/sec, 25 secs
lola: 229146 markings, 11342044 edges, 6550 markings/sec, 30 secs
lola: 262003 markings, 12986537 edges, 6571 markings/sec, 35 secs
lola: 294560 markings, 14614180 edges, 6511 markings/sec, 40 secs
lola: 327462 markings, 16252836 edges, 6580 markings/sec, 45 secs
lola: 359975 markings, 17884126 edges, 6503 markings/sec, 50 secs
lola: 392845 markings, 19524092 edges, 6574 markings/sec, 55 secs
lola: 425363 markings, 21153404 edges, 6504 markings/sec, 60 secs
lola: 457676 markings, 22779529 edges, 6463 markings/sec, 65 secs
lola: 490123 markings, 24412218 edges, 6489 markings/sec, 70 secs
lola: 523476 markings, 26080143 edges, 6671 markings/sec, 75 secs
lola: 556701 markings, 27733913 edges, 6645 markings/sec, 80 secs
lola: 589049 markings, 29373261 edges, 6470 markings/sec, 85 secs
lola: 621348 markings, 31010511 edges, 6460 markings/sec, 90 secs
lola: 654983 markings, 32686952 edges, 6727 markings/sec, 95 secs
lola: 687442 markings, 34329301 edges, 6492 markings/sec, 100 secs
lola: 719644 markings, 35967617 edges, 6440 markings/sec, 105 secs
lola: 752087 markings, 37593443 edges, 6489 markings/sec, 110 secs
lola: 785129 markings, 39253052 edges, 6608 markings/sec, 115 secs
lola: 817097 markings, 40858885 edges, 6394 markings/sec, 120 secs
lola: 849005 markings, 42443794 edges, 6382 markings/sec, 125 secs
lola: 880304 markings, 44015740 edges, 6260 markings/sec, 130 secs
lola: 912726 markings, 45633453 edges, 6484 markings/sec, 135 secs
lola: 945437 markings, 47251313 edges, 6542 markings/sec, 140 secs
lola: 977482 markings, 48853092 edges, 6409 markings/sec, 145 secs
lola: 1008479 markings, 50394586 edges, 6199 markings/sec, 150 secs
lola: 1037700 markings, 51860169 edges, 5844 markings/sec, 155 secs
lola: 1069556 markings, 53465519 edges, 6371 markings/sec, 160 secs
lola: 1101443 markings, 55065482 edges, 6377 markings/sec, 165 secs
lola: 1134595 markings, 56717770 edges, 6630 markings/sec, 170 secs
lola: 1167014 markings, 58331684 edges, 6484 markings/sec, 175 secs
lola: 1199984 markings, 59974566 edges, 6594 markings/sec, 180 secs
lola: 1232564 markings, 61611375 edges, 6516 markings/sec, 185 secs
lola: 1265246 markings, 63251924 edges, 6536 markings/sec, 190 secs
lola: 1297184 markings, 64863887 edges, 6388 markings/sec, 195 secs
lola: 1329720 markings, 66520137 edges, 6507 markings/sec, 200 secs
lola: 1362479 markings, 68158559 edges, 6552 markings/sec, 205 secs
lola: 1394175 markings, 69749367 edges, 6339 markings/sec, 210 secs
lola: 1426340 markings, 71353308 edges, 6433 markings/sec, 215 secs
lola: 1457990 markings, 72946358 edges, 6330 markings/sec, 220 secs
lola: 1490183 markings, 74560507 edges, 6439 markings/sec, 225 secs
lola: 1523273 markings, 76223181 edges, 6618 markings/sec, 230 secs
lola: 1556322 markings, 77888916 edges, 6610 markings/sec, 235 secs
lola: 1588896 markings, 79527391 edges, 6515 markings/sec, 240 secs
lola: 1621035 markings, 81135671 edges, 6428 markings/sec, 245 secs
lola: 1653350 markings, 82767903 edges, 6463 markings/sec, 250 secs
lola: 1684891 markings, 84369195 edges, 6308 markings/sec, 255 secs
lola: 1716711 markings, 85966747 edges, 6364 markings/sec, 260 secs
lola: 1748153 markings, 87552545 edges, 6288 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (((2 <= p1814) AND (p467 <= p269))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(E(TRUE U ((2 <= p1814) AND (p467 <= p269))))))
lola: processed formula length: 63
lola: 2 rewrites
lola: formula mentions 0 of 2162 places; total mentions: 0
lola: closed formula file DLCshifumi-PT-5a-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 16 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: 33686 markings, 1619822 edges, 3689348869717491712 markings/sec, 0 secs
lola: 67385 markings, 3233258 edges, 6740 markings/sec, 5 secs
lola: 100875 markings, 4863390 edges, 6698 markings/sec, 10 secs
lola: 134146 markings, 6479905 edges, 6654 markings/sec, 15 secs
lola: 166787 markings, 8065208 edges, 6528 markings/sec, 20 secs
lola: 199668 markings, 9671203 edges, 6576 markings/sec, 25 secs
lola: 229911 markings, 11149652 edges, 6049 markings/sec, 30 secs
lola: 262637 markings, 12755932 edges, 6545 markings/sec, 35 secs
lola: 295182 markings, 14349386 edges, 6509 markings/sec, 40 secs
lola: 327990 markings, 15951611 edges, 6562 markings/sec, 45 secs
lola: 360267 markings, 17538877 edges, 6455 markings/sec, 50 secs
lola: 391378 markings, 19058583 edges, 6222 markings/sec, 55 secs
lola: 423722 markings, 20648371 edges, 6469 markings/sec, 60 secs
lola: 455841 markings, 22230334 edges, 6424 markings/sec, 65 secs
lola: 488198 markings, 23827764 edges, 6471 markings/sec, 70 secs
lola: 522109 markings, 25488944 edges, 6782 markings/sec, 75 secs
lola: 555999 markings, 27142934 edges, 6778 markings/sec, 80 secs
lola: 588872 markings, 28775291 edges, 6575 markings/sec, 85 secs
lola: 621413 markings, 30392324 edges, 6508 markings/sec, 90 secs
lola: 655241 markings, 32044774 edges, 6766 markings/sec, 95 secs
lola: 687767 markings, 33658309 edges, 6505 markings/sec, 100 secs
lola: 720326 markings, 35281292 edges, 6512 markings/sec, 105 secs
lola: 752772 markings, 36875068 edges, 6489 markings/sec, 110 secs
lola: 786073 markings, 38515751 edges, 6660 markings/sec, 115 secs
lola: 818048 markings, 40087692 edges, 6395 markings/sec, 120 secs
lola: 850262 markings, 41657741 edges, 6443 markings/sec, 125 secs
lola: 882131 markings, 43223514 edges, 6374 markings/sec, 130 secs
lola: 915004 markings, 44831849 edges, 6575 markings/sec, 135 secs
lola: 947979 markings, 46433067 edges, 6595 markings/sec, 140 secs
lola: 980505 markings, 48023444 edges, 6505 markings/sec, 145 secs
lola: 1011880 markings, 49552572 edges, 6275 markings/sec, 150 secs
lola: 1044163 markings, 51146763 edges, 6457 markings/sec, 155 secs
lola: 1076278 markings, 52725887 edges, 6423 markings/sec, 160 secs
lola: 1109240 markings, 54346845 edges, 6592 markings/sec, 165 secs
lola: 1143070 markings, 55994808 edges, 6766 markings/sec, 170 secs
lola: 1174213 markings, 57519183 edges, 6229 markings/sec, 175 secs
lola: 1207843 markings, 59161808 edges, 6726 markings/sec, 180 secs
lola: 1240909 markings, 60788636 edges, 6613 markings/sec, 185 secs
lola: 1273549 markings, 62395145 edges, 6528 markings/sec, 190 secs
lola: 1305549 markings, 63979737 edges, 6400 markings/sec, 195 secs
lola: 1338058 markings, 65597379 edges, 6502 markings/sec, 200 secs
lola: 1370473 markings, 67183925 edges, 6483 markings/sec, 205 secs
lola: 1402378 markings, 68760744 edges, 6381 markings/sec, 210 secs
lola: 1434609 markings, 70328497 edges, 6446 markings/sec, 215 secs
lola: 1465987 markings, 71876876 edges, 6276 markings/sec, 220 secs
lola: 1498541 markings, 73484151 edges, 6511 markings/sec, 225 secs
lola: 1531408 markings, 75107902 edges, 6573 markings/sec, 230 secs
lola: 1564526 markings, 76734618 edges, 6624 markings/sec, 235 secs
lola: 1596723 markings, 78322349 edges, 6439 markings/sec, 240 secs
lola: 1628997 markings, 79909549 edges, 6455 markings/sec, 245 secs
lola: 1661151 markings, 81504143 edges, 6431 markings/sec, 250 secs
lola: 1692939 markings, 83078269 edges, 6358 markings/sec, 255 secs
lola: 1724454 markings, 84632277 edges, 6303 markings/sec, 260 secs
lola: 1756338 markings, 86211190 edges, 6377 markings/sec, 265 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 DLCshifumi-PT-5a-CTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCshifumi-PT-5a-CTLCardinality-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="DLCshifumi-PT-5a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5a.tgz
mv DLCshifumi-PT-5a 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 DLCshifumi-PT-5a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649743000199"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;