About the Execution of M4M.full for DNAwalker-PT-08ringLL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1817.190 | 1202434.00 | 2400458.00 | 4628.90 | ???????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 7.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K 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 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-08ringLL, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743100278
=====================================================================
--------------------
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 DNAwalker-PT-08ringLL-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526757375336
BK_STOP 1526758577770
--------------------
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 DNAwalker-PT-08ringLL as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3939, 'Memory': 305.55, 'Tool': 'itstools'}, {'Time': 4090, 'Memory': 342.29, 'Tool': 'itstools'}, {'Time': 12208, 'Memory': 7579.62, 'Tool': 'marcie'}, {'Time': 13285, 'Memory': 7579.75, 'Tool': 'marcie'}, {'Time': 1960773, 'Memory': 1905.38, 'Tool': 'lola'}, {'Time': 1967813, 'Memory': 1906.53, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 497.78446306169076x far from the best tool itstools.
ReachabilityCardinality lola DNAwalker-PT-08ringLL...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DNAwalker-PT-08ringLL: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-08ringLL: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-08ringLL @ 3540 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 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: A (G (((A14 <= 0) OR (A17 <= 2) OR (B3 <= A13)))) : A (G ((B3 <= 1))) : A (G (((2 <= A10) OR (A10 <= A7) OR (A13 <= 2) OR (((B4 <= A2) OR (1 <= B5)) AND (B2 + 1 <= A8))))) : A (G (((A13 <= 2) OR (A14 <= 2)))) : E (F (((3 <= A8) AND (A9 <= B4) AND (A1 + 1 <= A13) AND ((A2 <= A11) OR (2 <= A7))))) : E (F ((3 <= A3))) : E (F ((3 <= A7))) : E (F (((A13 <= 0) AND ((A13 <= B3) OR (1 <= B4)) AND (A18 <= 0) AND (A12 <= 0)))) : E (F (((3 <= A7) AND (2 <= A10) AND (A6 <= A17) AND (A5 <= A11)))) : A (G (((1 <= A17) OR (A12 + 1 <= A9) OR ((A6 <= A2) AND (A11 <= B3)) OR ((A7 <= A9) AND (3 <= A14))))) : A (G ((B4 <= A17))) : E (F (((2 <= B5) AND (A18 <= B3)))) : E (F ((3 <= A2))) : E (F (((B3 <= B15) AND (3 <= A5)))) : A (G (((1 <= A7) OR (A15 <= A18)))) : A (G (((A12 <= A9) OR (1 <= A20))))
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 (G (((A14 <= 0) OR (A17 <= 2) OR (B3 <= A13))))
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 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 364583 markings, 1610241 edges, 72917 markings/sec, 0 secs
lola: sara is running 5 secs || 832795 markings, 3326328 edges, 93642 markings/sec, 5 secs
lola: sara is running 10 secs || 1334706 markings, 4840624 edges, 100382 markings/sec, 10 secs
lola: sara is running 15 secs || 1722551 markings, 6701707 edges, 77569 markings/sec, 15 secs
lola: sara is running 20 secs || 2206930 markings, 8494089 edges, 96876 markings/sec, 20 secs
lola: sara is running 25 secs || 2639024 markings, 10499027 edges, 86419 markings/sec, 25 secs
lola: sara is running 30 secs || 3188707 markings, 12170012 edges, 109937 markings/sec, 30 secs
lola: sara is running 35 secs || 3555977 markings, 13987668 edges, 73454 markings/sec, 35 secs
lola: sara is running 40 secs || 4035173 markings, 15824901 edges, 95839 markings/sec, 40 secs
lola: sara is running 45 secs || 4552626 markings, 17498224 edges, 103491 markings/sec, 45 secs
lola: sara is running 50 secs || 4924270 markings, 19413454 edges, 74329 markings/sec, 50 secs
lola: sara is running 55 secs || 5348381 markings, 21195933 edges, 84822 markings/sec, 55 secs
lola: sara is running 60 secs || 5767190 markings, 22998611 edges, 83762 markings/sec, 60 secs
lola: sara is running 65 secs || 6435110 markings, 24485006 edges, 133584 markings/sec, 65 secs
lola: sara is running 70 secs || 7095133 markings, 26020814 edges, 132005 markings/sec, 70 secs
lola: sara is running 75 secs || 7630597 markings, 27594324 edges, 107093 markings/sec, 75 secs
lola: sara is running 80 secs || 7977776 markings, 29447447 edges, 69436 markings/sec, 80 secs
lola: sara is running 85 secs || 8332584 markings, 31213133 edges, 70962 markings/sec, 85 secs
lola: sara is running 90 secs || 8684779 markings, 33055993 edges, 70439 markings/sec, 90 secs
lola: sara is running 95 secs || 9085549 markings, 34765751 edges, 80154 markings/sec, 95 secs
lola: sara is running 100 secs || 9450909 markings, 36522124 edges, 73072 markings/sec, 100 secs
lola: sara is running 105 secs || 9850091 markings, 38168335 edges, 79836 markings/sec, 105 secs
lola: sara is running 110 secs || 10220489 markings, 39990659 edges, 74080 markings/sec, 110 secs
lola: sara is running 115 secs || 10579952 markings, 41854229 edges, 71893 markings/sec, 115 secs
lola: sara is running 120 secs || 10975071 markings, 43688830 edges, 79024 markings/sec, 120 secs
lola: sara is running 125 secs || 11457361 markings, 45491096 edges, 96458 markings/sec, 125 secs
lola: sara is running 130 secs || 11827048 markings, 47387700 edges, 73937 markings/sec, 130 secs
lola: sara is running 135 secs || 12225879 markings, 49279596 edges, 79766 markings/sec, 135 secs
lola: sara is running 140 secs || 12631792 markings, 51067486 edges, 81183 markings/sec, 140 secs
lola: sara is running 145 secs || 12972723 markings, 52961452 edges, 68186 markings/sec, 145 secs
lola: sara is running 150 secs || 13284282 markings, 54926524 edges, 62312 markings/sec, 150 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 13340851 markings, 55331192 edges
lola: ========================================
lola: subprocess 1 will run for 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((B3 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality.sara
lola: ========================================
lola: subprocess 2 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= A10) OR (A10 <= A7) OR (A13 <= 2) OR (((B4 <= A2) OR (1 <= B5)) AND (B2 + 1 <= A8)))))
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 108 bytes per marking, with 0 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 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-2.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 3 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A13 <= 2) OR (A14 <= 2))))
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 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 537993 markings, 1688569 edges, 107599 markings/sec, 0 secs
lola: sara is running 5 secs || 1001386 markings, 3464768 edges, 92679 markings/sec, 5 secs
lola: sara is running 10 secs || 1467322 markings, 5268126 edges, 93187 markings/sec, 10 secs
lola: sara is running 15 secs || 1941328 markings, 7132465 edges, 94801 markings/sec, 15 secs
lola: sara is running 20 secs || 2414009 markings, 8893598 edges, 94536 markings/sec, 20 secs
lola: sara is running 25 secs || 2875901 markings, 10811330 edges, 92378 markings/sec, 25 secs
lola: sara is running 30 secs || 3333116 markings, 12709318 edges, 91443 markings/sec, 30 secs
lola: sara is running 35 secs || 3761680 markings, 14574080 edges, 85713 markings/sec, 35 secs
lola: sara is running 40 secs || 4197102 markings, 16484746 edges, 87084 markings/sec, 40 secs
lola: sara is running 45 secs || 4618558 markings, 18496797 edges, 84291 markings/sec, 45 secs
lola: sara is running 50 secs || 5037516 markings, 20518421 edges, 83792 markings/sec, 50 secs
lola: sara is running 55 secs || 5453441 markings, 22528365 edges, 83185 markings/sec, 55 secs
lola: sara is running 60 secs || 5938026 markings, 24313162 edges, 96917 markings/sec, 60 secs
lola: sara is running 65 secs || 6401758 markings, 26102634 edges, 92746 markings/sec, 65 secs
lola: sara is running 70 secs || 6867247 markings, 27806640 edges, 93098 markings/sec, 70 secs
lola: sara is running 75 secs || 7294713 markings, 29709734 edges, 85493 markings/sec, 75 secs
lola: sara is running 80 secs || 7723928 markings, 31658915 edges, 85843 markings/sec, 80 secs
lola: sara is running 85 secs || 8132838 markings, 33616844 edges, 81782 markings/sec, 85 secs
lola: sara is running 90 secs || 8578232 markings, 35458500 edges, 89079 markings/sec, 90 secs
lola: sara is running 95 secs || 9008735 markings, 37319268 edges, 86101 markings/sec, 95 secs
lola: sara is running 100 secs || 9411848 markings, 39172085 edges, 80623 markings/sec, 100 secs
lola: sara is running 105 secs || 9808304 markings, 41125893 edges, 79291 markings/sec, 105 secs
lola: sara is running 110 secs || 10223842 markings, 42950933 edges, 83108 markings/sec, 110 secs
lola: sara is running 115 secs || 10639329 markings, 44849867 edges, 83097 markings/sec, 115 secs
lola: sara is running 120 secs || 11047338 markings, 46785858 edges, 81602 markings/sec, 120 secs
lola: sara is running 125 secs || 11451901 markings, 48716938 edges, 80913 markings/sec, 125 secs
lola: sara is running 130 secs || 11918952 markings, 50508164 edges, 93410 markings/sec, 130 secs
lola: sara is running 135 secs || 12372931 markings, 52323170 edges, 90796 markings/sec, 135 secs
lola: sara is running 140 secs || 12814265 markings, 54062960 edges, 88267 markings/sec, 140 secs
lola: sara is running 145 secs || 13250147 markings, 55791992 edges, 87176 markings/sec, 145 secs
lola: sara is running 150 secs || 13663024 markings, 57572831 edges, 82575 markings/sec, 150 secs
lola: sara is running 155 secs || 14096777 markings, 59220128 edges, 86751 markings/sec, 155 secs
lola: sara is running 160 secs || 14490230 markings, 60985460 edges, 78691 markings/sec, 160 secs
lola: sara is running 165 secs || 14907007 markings, 62765530 edges, 83355 markings/sec, 165 secs
lola: sara is running 170 secs || 15306579 markings, 64598549 edges, 79914 markings/sec, 170 secs
lola: sara is running 175 secs || 15691064 markings, 66441657 edges, 76897 markings/sec, 175 secs
lola: sara is running 180 secs || 16124183 markings, 68268100 edges, 86624 markings/sec, 180 secs
lola: sara is running 185 secs || 16594597 markings, 70032015 edges, 94083 markings/sec, 185 secs
lola: sara is running 190 secs || 17034257 markings, 71880765 edges, 87932 markings/sec, 190 secs
lola: sara is running 195 secs || 17448437 markings, 73726259 edges, 82836 markings/sec, 195 secs
lola: sara is running 200 secs || 17840559 markings, 75555214 edges, 78424 markings/sec, 200 secs
lola: sara is running 205 secs || 18243349 markings, 77353435 edges, 80558 markings/sec, 205 secs
lola: sara is running 210 secs || 18671614 markings, 79194665 edges, 85653 markings/sec, 210 secs
lola: sara is running 215 secs || 19109741 markings, 81070238 edges, 87625 markings/sec, 215 secs
lola: sara is running 220 secs || 19524343 markings, 82958975 edges, 82920 markings/sec, 220 secs
lola: sara is running 225 secs || 19909845 markings, 84756945 edges, 77100 markings/sec, 225 secs
lola: sara is running 230 secs || 20299154 markings, 86550499 edges, 77862 markings/sec, 230 secs
lola: sara is running 235 secs || 20616769 markings, 88356969 edges, 63523 markings/sec, 235 secs
lola: sara is running 240 secs || 20927203 markings, 90286888 edges, 62087 markings/sec, 240 secs
lola: sara is running 245 secs || 21258666 markings, 92165376 edges, 66293 markings/sec, 245 secs
lola: sara is running 250 secs || 21547852 markings, 94144078 edges, 57837 markings/sec, 250 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A8) AND (A9 <= B4) AND (A1 + 1 <= A13) AND ((A2 <= A11) OR (2 <= A7)))))
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 108 bytes per marking, with 0 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 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-4.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 370408 markings, 1697174 edges, 74082 markings/sec, 0 secs
lola: sara is running 5 secs || 746439 markings, 3549946 edges, 75206 markings/sec, 5 secs
lola: sara is running 10 secs || 1114370 markings, 5463923 edges, 73586 markings/sec, 10 secs
lola: sara is running 15 secs || 1450856 markings, 7325446 edges, 67297 markings/sec, 15 secs
lola: sara is running 20 secs || 1781003 markings, 9335073 edges, 66029 markings/sec, 20 secs
lola: sara is running 25 secs || 2106273 markings, 11337147 edges, 65054 markings/sec, 25 secs
lola: sara is running 30 secs || 2463462 markings, 13214519 edges, 71438 markings/sec, 30 secs
lola: sara is running 35 secs || 2841145 markings, 15005572 edges, 75537 markings/sec, 35 secs
lola: sara is running 40 secs || 3196169 markings, 17015973 edges, 71005 markings/sec, 40 secs
lola: sara is running 45 secs || 3587984 markings, 18975406 edges, 78363 markings/sec, 45 secs
lola: sara is running 50 secs || 3901205 markings, 20836610 edges, 62644 markings/sec, 50 secs
lola: sara is running 55 secs || 4215804 markings, 22682323 edges, 62920 markings/sec, 55 secs
lola: sara is running 60 secs || 4513720 markings, 24663011 edges, 59583 markings/sec, 60 secs
lola: sara is running 65 secs || 4859216 markings, 26765682 edges, 69099 markings/sec, 65 secs
lola: sara is running 70 secs || 5215134 markings, 28793895 edges, 71184 markings/sec, 70 secs
lola: sara is running 75 secs || 5574748 markings, 30782603 edges, 71923 markings/sec, 75 secs
lola: sara is running 80 secs || 5913519 markings, 32830674 edges, 67754 markings/sec, 80 secs
lola: sara is running 85 secs || 6304977 markings, 34738778 edges, 78292 markings/sec, 85 secs
lola: sara is running 90 secs || 6656115 markings, 36687836 edges, 70228 markings/sec, 90 secs
lola: sara is running 95 secs || 6952976 markings, 38709413 edges, 59372 markings/sec, 95 secs
lola: sara is running 100 secs || 7236827 markings, 40698443 edges, 56770 markings/sec, 100 secs
lola: sara is running 105 secs || 7519800 markings, 42720322 edges, 56595 markings/sec, 105 secs
lola: sara is running 110 secs || 7811178 markings, 44733697 edges, 58276 markings/sec, 110 secs
lola: sara is running 115 secs || 8084600 markings, 46698867 edges, 54684 markings/sec, 115 secs
lola: sara is running 120 secs || 8426444 markings, 48642852 edges, 68369 markings/sec, 120 secs
lola: sara is running 125 secs || 8759463 markings, 50592207 edges, 66604 markings/sec, 125 secs
lola: sara is running 130 secs || 9072668 markings, 52616983 edges, 62641 markings/sec, 130 secs
lola: sara is running 135 secs || 9446709 markings, 54481483 edges, 74808 markings/sec, 135 secs
lola: sara is running 140 secs || 9777944 markings, 56360006 edges, 66247 markings/sec, 140 secs
lola: sara is running 145 secs || 10048680 markings, 58240053 edges, 54147 markings/sec, 145 secs
lola: sara is running 150 secs || 10294048 markings, 60176530 edges, 49074 markings/sec, 150 secs
lola: sara is running 155 secs || 10576299 markings, 62034027 edges, 56450 markings/sec, 155 secs
lola: sara is running 160 secs || 10836656 markings, 63847935 edges, 52071 markings/sec, 160 secs
lola: sara is running 165 secs || 11098493 markings, 65775784 edges, 52367 markings/sec, 165 secs
lola: sara is running 170 secs || 11353056 markings, 67857752 edges, 50913 markings/sec, 170 secs
lola: sara is running 175 secs || 11606717 markings, 69923023 edges, 50732 markings/sec, 175 secs
lola: sara is running 180 secs || 11941969 markings, 71793078 edges, 67050 markings/sec, 180 secs
lola: sara is running 185 secs || 12299380 markings, 73568107 edges, 71482 markings/sec, 185 secs
lola: sara is running 190 secs || 12640030 markings, 75544566 edges, 68130 markings/sec, 190 secs
lola: sara is running 195 secs || 12986798 markings, 77401577 edges, 69354 markings/sec, 195 secs
lola: sara is running 200 secs || 13289625 markings, 79292226 edges, 60565 markings/sec, 200 secs
lola: sara is running 205 secs || 13588619 markings, 81227501 edges, 59799 markings/sec, 205 secs
lola: sara is running 210 secs || 13903357 markings, 83260371 edges, 62948 markings/sec, 210 secs
lola: sara is running 215 secs || 14201383 markings, 85232299 edges, 59605 markings/sec, 215 secs
lola: sara is running 220 secs || 14554994 markings, 87028737 edges, 70722 markings/sec, 220 secs
lola: sara is running 225 secs || 14905153 markings, 88786480 edges, 70032 markings/sec, 225 secs
lola: sara is running 230 secs || 15234690 markings, 90748671 edges, 65907 markings/sec, 230 secs
lola: sara is running 235 secs || 15595687 markings, 92737705 edges, 72199 markings/sec, 235 secs
lola: sara is running 240 secs || 15934164 markings, 94548327 edges, 67695 markings/sec, 240 secs
lola: sara is running 245 secs || 16219175 markings, 96411074 edges, 57002 markings/sec, 245 secs
lola: sara is running 250 secs || 16509294 markings, 98246544 edges, 58024 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A3)))
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 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 361838 markings, 1901444 edges, 72368 markings/sec, 0 secs
lola: sara is running 5 secs || 697206 markings, 3879164 edges, 67074 markings/sec, 5 secs
lola: sara is running 10 secs || 1037481 markings, 5789793 edges, 68055 markings/sec, 10 secs
lola: sara is running 15 secs || 1360867 markings, 7721305 edges, 64677 markings/sec, 15 secs
lola: sara is running 20 secs || 1655613 markings, 9745161 edges, 58949 markings/sec, 20 secs
lola: sara is running 25 secs || 1960573 markings, 11701030 edges, 60992 markings/sec, 25 secs
lola: sara is running 30 secs || 2276936 markings, 13762477 edges, 63273 markings/sec, 30 secs
lola: sara is running 35 secs || 2583440 markings, 15702759 edges, 61301 markings/sec, 35 secs
lola: sara is running 40 secs || 2859258 markings, 17792573 edges, 55164 markings/sec, 40 secs
lola: sara is running 45 secs || 3149568 markings, 19818669 edges, 58062 markings/sec, 45 secs
lola: sara is running 50 secs || 3421743 markings, 21871360 edges, 54435 markings/sec, 50 secs
lola: sara is running 55 secs || 3703639 markings, 23912270 edges, 56379 markings/sec, 55 secs
lola: sara is running 60 secs || 3967029 markings, 25906859 edges, 52678 markings/sec, 60 secs
lola: sara is running 65 secs || 4223460 markings, 27957829 edges, 51286 markings/sec, 65 secs
lola: sara is running 70 secs || 4559586 markings, 29762704 edges, 67225 markings/sec, 70 secs
lola: sara is running 75 secs || 4874997 markings, 31628578 edges, 63082 markings/sec, 75 secs
lola: sara is running 80 secs || 5185616 markings, 33569876 edges, 62124 markings/sec, 80 secs
lola: sara is running 85 secs || 5492662 markings, 35488724 edges, 61409 markings/sec, 85 secs
lola: sara is running 90 secs || 5788048 markings, 37326116 edges, 59077 markings/sec, 90 secs
lola: sara is running 95 secs || 6070941 markings, 39330509 edges, 56579 markings/sec, 95 secs
lola: sara is running 100 secs || 6420470 markings, 40992442 edges, 69906 markings/sec, 100 secs
lola: sara is running 105 secs || 6748033 markings, 42718974 edges, 65513 markings/sec, 105 secs
lola: sara is running 110 secs || 7077689 markings, 44504535 edges, 65931 markings/sec, 110 secs
lola: sara is running 115 secs || 7405656 markings, 46331046 edges, 65593 markings/sec, 115 secs
lola: sara is running 120 secs || 7689328 markings, 48211792 edges, 56734 markings/sec, 120 secs
lola: sara is running 125 secs || 7966856 markings, 50164134 edges, 55506 markings/sec, 125 secs
lola: sara is running 130 secs || 8240414 markings, 52115673 edges, 54712 markings/sec, 130 secs
lola: sara is running 135 secs || 8487358 markings, 54200639 edges, 49389 markings/sec, 135 secs
lola: sara is running 140 secs || 8745265 markings, 56264622 edges, 51581 markings/sec, 140 secs
lola: sara is running 145 secs || 9060602 markings, 58090223 edges, 63067 markings/sec, 145 secs
lola: sara is running 150 secs || 9376421 markings, 59871257 edges, 63164 markings/sec, 150 secs
lola: sara is running 155 secs || 9671590 markings, 61769218 edges, 59034 markings/sec, 155 secs
lola: sara is running 160 secs || 9948497 markings, 63693667 edges, 55381 markings/sec, 160 secs
lola: sara is running 165 secs || 10194693 markings, 65793566 edges, 49239 markings/sec, 165 secs
lola: sara is running 170 secs || 10447694 markings, 67904788 edges, 50600 markings/sec, 170 secs
lola: sara is running 175 secs || 10764221 markings, 69718463 edges, 63305 markings/sec, 175 secs
lola: sara is running 180 secs || 11042513 markings, 71670433 edges, 55658 markings/sec, 180 secs
lola: sara is running 185 secs || 11287704 markings, 73789402 edges, 49038 markings/sec, 185 secs
lola: sara is running 190 secs || 11583437 markings, 75692831 edges, 59147 markings/sec, 190 secs
lola: sara is running 195 secs || 11834610 markings, 77763927 edges, 50235 markings/sec, 195 secs
lola: sara is running 200 secs || 12103660 markings, 79784570 edges, 53810 markings/sec, 200 secs
lola: sara is running 205 secs || 12361812 markings, 81813767 edges, 51630 markings/sec, 205 secs
lola: sara is running 210 secs || 12646523 markings, 83701350 edges, 56942 markings/sec, 210 secs
lola: sara is running 215 secs || 12932690 markings, 85582282 edges, 57233 markings/sec, 215 secs
lola: sara is running 220 secs || 13195596 markings, 87624616 edges, 52581 markings/sec, 220 secs
lola: sara is running 225 secs || 13469318 markings, 89621106 edges, 54744 markings/sec, 225 secs
lola: sara is running 230 secs || 13730917 markings, 91664562 edges, 52320 markings/sec, 230 secs
lola: sara is running 235 secs || 13994297 markings, 93684675 edges, 52676 markings/sec, 235 secs
lola: sara is running 240 secs || 14249516 markings, 95759130 edges, 51044 markings/sec, 240 secs
lola: sara is running 245 secs || 14484653 markings, 97752775 edges, 47027 markings/sec, 245 secs
lola: sara is running 250 secs || 14733111 markings, 99729718 edges, 49692 markings/sec, 250 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A7)))
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 108 bytes per marking, with 0 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)
----- Kill lola and sara stderr -----
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-6.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 306993 markings, 1925293 edges, 61399 markings/sec, 0 secs
lola: sara is running 5 secs || 595986 markings, 3960594 edges, 57799 markings/sec, 5 secs
lola: sara is running 10 secs || 878656 markings, 5952439 edges, 56534 markings/sec, 10 secs
lola: sara is running 15 secs || 1145567 markings, 8075277 edges, 53382 markings/sec, 15 secs
lola: sara is running 20 secs || 1422552 markings, 10118470 edges, 55397 markings/sec, 20 secs
lola: sara is running 25 secs || 1701854 markings, 12176022 edges, 55860 markings/sec, 25 secs
lola: sara is running 30 secs || 1970071 markings, 14210471 edges, 53643 markings/sec, 30 secs
lola: sara is running 35 secs || 2237185 markings, 16268475 edges, 53423 markings/sec, 35 secs
lola: sara is running 40 secs || 2499399 markings, 18284693 edges, 52443 markings/sec, 40 secs
lola: sara is running 45 secs || 2749790 markings, 20350450 edges, 50078 markings/sec, 45 secs
lola: sara is running 50 secs || 3034908 markings, 22453125 edges, 57024 markings/sec, 50 secs
lola: sara is running 55 secs || 3304965 markings, 24506565 edges, 54011 markings/sec, 55 secs
lola: sara is running 60 secs || 3571181 markings, 26565393 edges, 53243 markings/sec, 60 secs
lola: sara is running 65 secs || 3833093 markings, 28625489 edges, 52382 markings/sec, 65 secs
lola: sara is running 70 secs || 4084839 markings, 30668267 edges, 50349 markings/sec, 70 secs
lola: sara is running 75 secs || 4360945 markings, 32639630 edges, 55221 markings/sec, 75 secs
lola: sara is running 80 secs || 4633329 markings, 34583342 edges, 54477 markings/sec, 80 secs
lola: sara is running 85 secs || 4877330 markings, 36627740 edges, 48800 markings/sec, 85 secs
lola: sara is running 90 secs || 5127752 markings, 38592472 edges, 50084 markings/sec, 90 secs
lola: sara is running 95 secs || 5371972 markings, 40561869 edges, 48844 markings/sec, 95 secs
lola: sara is running 100 secs || 5598060 markings, 42607857 edges, 45218 markings/sec, 100 secs
lola: sara is running 105 secs || 5844053 markings, 44677876 edges, 49199 markings/sec, 105 secs
lola: sara is running 110 secs || 6140990 markings, 46748057 edges, 59387 markings/sec, 110 secs
lola: sara is running 115 secs || 6407525 markings, 48847069 edges, 53307 markings/sec, 115 secs
lola: sara is running 120 secs || 6683345 markings, 50761473 edges, 55164 markings/sec, 120 secs
lola: sara is running 125 secs || 6933525 markings, 52836303 edges, 50036 markings/sec, 125 secs
lola: sara is running 130 secs || 7179499 markings, 54943294 edges, 49195 markings/sec, 130 secs
lola: sara is running 135 secs || 7458289 markings, 57001061 edges, 55758 markings/sec, 135 secs
lola: sara is running 140 secs || 7723468 markings, 59065848 edges, 53036 markings/sec, 140 secs
lola: sara is running 145 secs || 7981588 markings, 61098842 edges, 51624 markings/sec, 145 secs
lola: sara is running 150 secs || 8241354 markings, 63165546 edges, 51953 markings/sec, 150 secs
lola: sara is running 155 secs || 8492776 markings, 65150503 edges, 50284 markings/sec, 155 secs
lola: sara is running 160 secs || 8725700 markings, 67161807 edges, 46585 markings/sec, 160 secs
lola: sara is running 165 secs || 8982488 markings, 69178173 edges, 51358 markings/sec, 165 secs
lola: sara is running 170 secs || 9240223 markings, 71227992 edges, 51547 markings/sec, 170 secs
lola: sara is running 175 secs || 9487773 markings, 73276503 edges, 49510 markings/sec, 175 secs
lola: sara is running 180 secs || 9737751 markings, 75290358 edges, 49996 markings/sec, 180 secs
lola: sara is running 185 secs || 9980832 markings, 77334089 edges, 48616 markings/sec, 185 secs
lola: sara is running 190 secs || 10220909 markings, 79340937 edges, 48015 markings/sec, 190 secs
lola: sara is running 195 secs || 10451442 markings, 81361177 edges, 46107 markings/sec, 195 secs
lola: sara is running 200 secs || 10707453 markings, 83375118 edges, 51202 markings/sec, 200 secs
lola: sara is running 205 secs || 10944622 markings, 85408945 edges, 47434 markings/sec, 205 secs
lola: sara is running 210 secs || 11183669 markings, 87395502 edges, 47809 markings/sec, 210 secs
lola: sara is running 215 secs || 11404466 markings, 89482654 edges, 44159 markings/sec, 215 secs
lola: sara is running 220 secs || 11641306 markings, 91478312 edges, 47368 markings/sec, 220 secs
lola: sara is running 225 secs || 11870825 markings, 93489928 edges, 45904 markings/sec, 225 secs
lola: sara is running 230 secs || 12103045 markings, 95475099 edges, 46444 markings/sec, 230 secs
lola: sara is running 235 secs || 12328238 markings, 97426027 edges, 45039 markings/sec, 235 secs
lola: sara is running 240 secs || 12548347 markings, 99392854 edges, 44022 markings/sec, 240 secs
lola: sara is running 245 secs || 12828734 markings, 101295862 edges, 56077 markings/sec, 245 secs
lola: sara is running 250 secs || 13093316 markings, 103184553 edges, 52916 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-08ringLL"
export BK_EXAMINATION="ReachabilityCardinality"
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/DNAwalker-PT-08ringLL.tgz
mv DNAwalker-PT-08ringLL 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 DNAwalker-PT-08ringLL, examination is ReachabilityCardinality"
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-152649743100278"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 ;