About the Execution of M4M.full for DNAwalker-PT-05track28LR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3457.380 | 1705438.00 | 4382844.00 | 4510.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 272K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K 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.5K 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 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 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 15K 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.8K 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 12 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 108K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-05track28LR, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743100259
=====================================================================
--------------------
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-05track28LR-ReachabilityFireability-00
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-01
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-02
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-03
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-04
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-05
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-06
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-07
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-08
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-09
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-10
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-11
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-12
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-13
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-14
FORMULA_NAME DNAwalker-PT-05track28LR-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526749326515
BK_STOP 1526751031953
--------------------
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-05track28LR as instance name.
Using DNAwalker as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityFireability', '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': 3194, 'Memory': 277.18, 'Tool': 'itstools'}, {'Time': 3433, 'Memory': 287.31, 'Tool': 'itstools'}, {'Time': 26000, 'Memory': 7996.8, 'Tool': 'marcie'}, {'Time': 27066, 'Memory': 7996.68, 'Tool': 'marcie'}, {'Time': 3540092, 'Memory': 5986.78, 'Tool': 'lola'}, {'Time': 3540167, 'Memory': 6023.72, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1108.356919223544x far from the best tool itstools.
ReachabilityFireability lola DNAwalker-PT-05track28LR...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DNAwalker-PT-05track28LR: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-05track28LR: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityFireability @ DNAwalker-PT-05track28LR @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-05track28LR-ReachabilityFireability.task
lola: A (G ((FIREABLE(t5_13) OR ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t24_21)) AND (NOT FIREABLE(t6_7) OR NOT FIREABLE(t23_21)))))) : E (F (((NOT FIREABLE(t6_10) OR NOT FIREABLE(t22_23) OR (NOT FIREABLE(t27_24) AND NOT FIREABLE(t22_28))) AND ((FIREABLE(t6_2) AND FIREABLE(t11_24) AND FIREABLE(t18_19)) OR (FIREABLE(t24_22) AND FIREABLE(t13_14) AND FIREABLE(t6_14)))))) : A (G ((FIREABLE(t27_23) OR NOT FIREABLE(t24_21) OR (FIREABLE(t24_25) AND FIREABLE(t7_6)) OR NOT FIREABLE(t10_11) OR FIREABLE(t13_7)))) : E (F (FIREABLE(t16_18))) : A (G ((NOT FIREABLE(t24_10) OR NOT FIREABLE(t14_18) OR NOT FIREABLE(t6_13) OR (NOT FIREABLE(t23_20) AND NOT FIREABLE(t9_2) AND FIREABLE(t15_17))))) : E (F ((NOT FIREABLE(t21_25) AND NOT FIREABLE(t10_22) AND FIREABLE(t1_9) AND FIREABLE(t24_10)))) : E (F (FIREABLE(t26_24))) : E (F ((FIREABLE(t23_24) OR (NOT FIREABLE(t3_7) AND FIREABLE(t16_19))))) : A (G (NOT FIREABLE(t2_1))) : E (F (FIREABLE(t22_11))) : A (G (NOT FIREABLE(t24_26))) : E (F ((FIREABLE(t21_11) AND FIREABLE(t13_5)))) : E (F ((FIREABLE(t19_13) AND (FIREABLE(t26_28) OR FIREABLE(t24_21))))) : A (G ((((NOT FIREABLE(tAb23) OR NOT FIREABLE(t16_19)) AND (NOT FIREABLE(t16_17) OR NOT FIREABLE(t9_12))) OR FIREABLE(t14_15)))) : A (G (((NOT FIREABLE(t11_9) OR NOT FIREABLE(t10_24) OR (FIREABLE(t15_20) AND FIREABLE(t5_6))) AND (NOT FIREABLE(t24_12) OR (FIREABLE(t21_27) AND FIREABLE(tb24) AND (FIREABLE(t19_15) OR FIREABLE(tb9))))))) : A (G ((NOT FIREABLE(tAb15) OR NOT FIREABLE(t11_26) OR NOT FIREABLE(t6_8) OR NOT FIREABLE(t22_12) OR NOT FIREABLE(t6_19) OR FIREABLE(t18_20))))
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 ((FIREABLE(t5_13) OR ((NOT FIREABLE(t24_26) OR NOT FIREABLE(t24_21)) AND (NOT FIREABLE(t6_7) OR NOT FIREABLE(t23_21))))))
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 136 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 20 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t6_10) OR NOT FIREABLE(t22_23) OR (NOT FIREABLE(t27_24) AND NOT FIREABLE(t22_28))) AND ((FIREABLE(t6_2) AND FIREABLE(t11_24) AND FIREABLE(t18_19)) OR (FIREABLE(t24_22) AND FIREABLE(t13_14) AND FIREABLE(t6_14))))))
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 136 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 104 literals and 14 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityFireability.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 609190 markings, 1341268 edges, 121838 markings/sec, 0 secs
lola: sara is running 5 secs || 1183984 markings, 2610112 edges, 114959 markings/sec, 5 secs
lola: sara is running 10 secs || 1741333 markings, 3838238 edges, 111470 markings/sec, 10 secs
lola: sara is running 15 secs || 2257034 markings, 5316649 edges, 103140 markings/sec, 15 secs
lola: sara is running 20 secs || 2730184 markings, 6997118 edges, 94630 markings/sec, 20 secs
lola: sara is running 25 secs || 3201212 markings, 8657579 edges, 94206 markings/sec, 25 secs
lola: sara is running 30 secs || 3659918 markings, 10237989 edges, 91741 markings/sec, 30 secs
lola: sara is running 35 secs || 4188786 markings, 11532881 edges, 105774 markings/sec, 35 secs
lola: sara is running 40 secs || 4657085 markings, 13146430 edges, 93660 markings/sec, 40 secs
lola: sara is running 45 secs || 5118867 markings, 14821971 edges, 92356 markings/sec, 45 secs
lola: sara is running 50 secs || 5584321 markings, 16389828 edges, 93091 markings/sec, 50 secs
lola: sara is running 55 secs || 6060201 markings, 17908864 edges, 95176 markings/sec, 55 secs
lola: sara is running 60 secs || 6532667 markings, 19220822 edges, 94493 markings/sec, 60 secs
lola: sara is running 65 secs || 7041877 markings, 20628435 edges, 101842 markings/sec, 65 secs
lola: sara is running 70 secs || 7538510 markings, 22007813 edges, 99327 markings/sec, 70 secs
lola: sara is running 75 secs || 8030520 markings, 23344468 edges, 98402 markings/sec, 75 secs
lola: sara is running 80 secs || 8517464 markings, 24645790 edges, 97389 markings/sec, 80 secs
lola: sara is running 85 secs || 9006075 markings, 26017024 edges, 97722 markings/sec, 85 secs
lola: sara is running 90 secs || 9483546 markings, 27621825 edges, 95494 markings/sec, 90 secs
lola: sara is running 95 secs || 9935725 markings, 29167668 edges, 90436 markings/sec, 95 secs
lola: sara is running 100 secs || 10368881 markings, 30761567 edges, 86631 markings/sec, 100 secs
lola: sara is running 105 secs || 10883850 markings, 32232460 edges, 102994 markings/sec, 105 secs
lola: sara is running 110 secs || 11379961 markings, 33597496 edges, 99222 markings/sec, 110 secs
lola: sara is running 115 secs || 11860324 markings, 34902780 edges, 96073 markings/sec, 115 secs
lola: sara is running 120 secs || 12322451 markings, 36466143 edges, 92425 markings/sec, 120 secs
lola: sara is running 125 secs || 12821407 markings, 38037228 edges, 99791 markings/sec, 125 secs
lola: sara is running 130 secs || 13311764 markings, 39368839 edges, 98071 markings/sec, 130 secs
lola: sara is running 135 secs || 13782509 markings, 40832711 edges, 94149 markings/sec, 135 secs
lola: sara is running 140 secs || 14319224 markings, 42283270 edges, 107343 markings/sec, 140 secs
lola: sara is running 145 secs || 14834626 markings, 43912276 edges, 103080 markings/sec, 145 secs
lola: sara is running 150 secs || 15356724 markings, 45297023 edges, 104420 markings/sec, 150 secs
lola: sara is running 155 secs || 15860166 markings, 46811782 edges, 100688 markings/sec, 155 secs
lola: sara is running 160 secs || 16328080 markings, 48243172 edges, 93583 markings/sec, 160 secs
lola: sara is running 165 secs || 16841905 markings, 49765714 edges, 102765 markings/sec, 165 secs
lola: sara is running 170 secs || 17333102 markings, 51350658 edges, 98239 markings/sec, 170 secs
lola: sara is running 175 secs || 17815321 markings, 52898622 edges, 96444 markings/sec, 175 secs
lola: sara is running 180 secs || 18281187 markings, 54422070 edges, 93173 markings/sec, 180 secs
lola: sara is running 185 secs || 18782448 markings, 55912875 edges, 100252 markings/sec, 185 secs
lola: sara is running 190 secs || 19273248 markings, 57431529 edges, 98160 markings/sec, 190 secs
lola: sara is running 195 secs || 19756539 markings, 59096363 edges, 96658 markings/sec, 195 secs
lola: sara is running 200 secs || 20226567 markings, 60812586 edges, 94006 markings/sec, 200 secs
lola: sara is running 205 secs || 20707895 markings, 62543698 edges, 96266 markings/sec, 205 secs
lola: sara is running 210 secs || 21152466 markings, 64228852 edges, 88914 markings/sec, 210 secs
lola: sara is running 215 secs || 21610424 markings, 65990097 edges, 91592 markings/sec, 215 secs
lola: sara is running 220 secs || 22075113 markings, 67762585 edges, 92938 markings/sec, 220 secs
lola: sara is running 225 secs || 22512737 markings, 69534037 edges, 87525 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t27_23) OR NOT FIREABLE(t24_21) OR (FIREABLE(t24_25) AND FIREABLE(t7_6)) OR NOT FIREABLE(t10_11) OR FIREABLE(t13_7))))
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 136 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 112 literals and 16 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-2.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 541674 markings, 1378860 edges, 108335 markings/sec, 0 secs
lola: sara is running 5 secs || 1004844 markings, 2759301 edges, 92634 markings/sec, 5 secs
lola: sara is running 10 secs || 1438412 markings, 4141423 edges, 86714 markings/sec, 10 secs
lola: sara is running 15 secs || 1863036 markings, 5533747 edges, 84925 markings/sec, 15 secs
lola: sara is running 20 secs || 2304313 markings, 6897508 edges, 88255 markings/sec, 20 secs
lola: sara is running 25 secs || 2761573 markings, 8211671 edges, 91452 markings/sec, 25 secs
lola: sara is running 30 secs || 3160151 markings, 9507275 edges, 79716 markings/sec, 30 secs
lola: sara is running 35 secs || 3594178 markings, 10842032 edges, 86805 markings/sec, 35 secs
lola: sara is running 40 secs || 4014519 markings, 12178743 edges, 84068 markings/sec, 40 secs
lola: sara is running 45 secs || 4441844 markings, 13497842 edges, 85465 markings/sec, 45 secs
lola: sara is running 50 secs || 4920856 markings, 14945945 edges, 95802 markings/sec, 50 secs
lola: sara is running 55 secs || 5382371 markings, 16419246 edges, 92303 markings/sec, 55 secs
lola: sara is running 60 secs || 5829635 markings, 17961807 edges, 89453 markings/sec, 60 secs
lola: sara is running 65 secs || 6289064 markings, 19479517 edges, 91886 markings/sec, 65 secs
lola: sara is running 70 secs || 6745756 markings, 20947614 edges, 91338 markings/sec, 70 secs
lola: sara is running 75 secs || 7209512 markings, 22450925 edges, 92751 markings/sec, 75 secs
lola: sara is running 80 secs || 7623944 markings, 23684081 edges, 82886 markings/sec, 80 secs
lola: sara is running 85 secs || 8028351 markings, 24861755 edges, 80881 markings/sec, 85 secs
lola: sara is running 90 secs || 8411041 markings, 26071580 edges, 76538 markings/sec, 90 secs
lola: sara is running 95 secs || 8807296 markings, 27270679 edges, 79251 markings/sec, 95 secs
lola: sara is running 100 secs || 9173030 markings, 28597913 edges, 73147 markings/sec, 100 secs
lola: sara is running 105 secs || 9524612 markings, 30052901 edges, 70316 markings/sec, 105 secs
lola: sara is running 110 secs || 9939711 markings, 31582702 edges, 83020 markings/sec, 110 secs
lola: sara is running 115 secs || 10339209 markings, 33060610 edges, 79900 markings/sec, 115 secs
lola: sara is running 120 secs || 10713573 markings, 34509139 edges, 74873 markings/sec, 120 secs
lola: sara is running 125 secs || 11068696 markings, 36018175 edges, 71025 markings/sec, 125 secs
lola: sara is running 130 secs || 11411331 markings, 37524978 edges, 68527 markings/sec, 130 secs
lola: sara is running 135 secs || 11748491 markings, 39042227 edges, 67432 markings/sec, 135 secs
lola: sara is running 140 secs || 12095908 markings, 40579477 edges, 69483 markings/sec, 140 secs
lola: sara is running 145 secs || 12469444 markings, 42495443 edges, 74707 markings/sec, 145 secs
lola: sara is running 150 secs || 12927347 markings, 44313933 edges, 91581 markings/sec, 150 secs
lola: sara is running 155 secs || 13487839 markings, 45746498 edges, 112098 markings/sec, 155 secs
lola: sara is running 160 secs || 13971729 markings, 47064799 edges, 96778 markings/sec, 160 secs
lola: sara is running 165 secs || 14449363 markings, 48584843 edges, 95527 markings/sec, 165 secs
lola: sara is running 170 secs || 14880751 markings, 50151064 edges, 86278 markings/sec, 170 secs
lola: sara is running 175 secs || 15320523 markings, 51739327 edges, 87954 markings/sec, 175 secs
lola: sara is running 180 secs || 15889437 markings, 53459504 edges, 113783 markings/sec, 180 secs
lola: sara is running 185 secs || 16348222 markings, 54984354 edges, 91757 markings/sec, 185 secs
lola: sara is running 190 secs || 16891066 markings, 56493067 edges, 108569 markings/sec, 190 secs
lola: sara is running 195 secs || 17368353 markings, 58002602 edges, 95457 markings/sec, 195 secs
lola: sara is running 200 secs || 17811728 markings, 59496613 edges, 88675 markings/sec, 200 secs
lola: sara is running 205 secs || 18237519 markings, 61077675 edges, 85158 markings/sec, 205 secs
lola: sara is running 210 secs || 18635695 markings, 62739146 edges, 79635 markings/sec, 210 secs
lola: sara is running 215 secs || 19107584 markings, 64251930 edges, 94378 markings/sec, 215 secs
lola: sara is running 220 secs || 19548894 markings, 65788091 edges, 88262 markings/sec, 220 secs
lola: sara is running 225 secs || 19975384 markings, 67406249 edges, 85298 markings/sec, 225 secs
lola: sara is running 230 secs || 20404255 markings, 68990007 edges, 85774 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t16_18)))
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 136 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-05track28LR-ReachabilityFireability-3.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t24_10) OR NOT FIREABLE(t14_18) OR NOT FIREABLE(t6_13) OR (NOT FIREABLE(t23_20) AND NOT FIREABLE(t9_2) AND FIREABLE(t15_17)))))
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 136 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 30 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-4.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 486410 markings, 1668956 edges, 97282 markings/sec, 0 secs
lola: sara is running 5 secs || 1006461 markings, 3216551 edges, 104010 markings/sec, 5 secs
lola: sara is running 10 secs || 1466074 markings, 4789043 edges, 91923 markings/sec, 10 secs
lola: sara is running 15 secs || 1967781 markings, 6339439 edges, 100341 markings/sec, 15 secs
lola: sara is running 20 secs || 2396641 markings, 7884369 edges, 85772 markings/sec, 20 secs
lola: sara is running 25 secs || 2792178 markings, 9382155 edges, 79107 markings/sec, 25 secs
lola: sara is running 30 secs || 3210721 markings, 10909414 edges, 83709 markings/sec, 30 secs
lola: sara is running 35 secs || 3665400 markings, 12613042 edges, 90936 markings/sec, 35 secs
lola: sara is running 40 secs || 4166002 markings, 14069739 edges, 100120 markings/sec, 40 secs
lola: sara is running 45 secs || 4602869 markings, 15489110 edges, 87373 markings/sec, 45 secs
lola: sara is running 50 secs || 5001253 markings, 17130134 edges, 79677 markings/sec, 50 secs
lola: sara is running 55 secs || 5491654 markings, 18621573 edges, 98080 markings/sec, 55 secs
lola: sara is running 60 secs || 6009531 markings, 20021033 edges, 103575 markings/sec, 60 secs
lola: sara is running 65 secs || 6467170 markings, 21646069 edges, 91528 markings/sec, 65 secs
lola: sara is running 70 secs || 6960035 markings, 23255203 edges, 98573 markings/sec, 70 secs
lola: sara is running 75 secs || 7395131 markings, 24762798 edges, 87019 markings/sec, 75 secs
lola: sara is running 80 secs || 7791593 markings, 26320292 edges, 79292 markings/sec, 80 secs
lola: sara is running 85 secs || 8285040 markings, 27893029 edges, 98689 markings/sec, 85 secs
lola: sara is running 90 secs || 8807642 markings, 29398933 edges, 104520 markings/sec, 90 secs
lola: sara is running 95 secs || 9321043 markings, 30914800 edges, 102680 markings/sec, 95 secs
lola: sara is running 100 secs || 9796450 markings, 32409406 edges, 95081 markings/sec, 100 secs
lola: sara is running 105 secs || 10248855 markings, 34009707 edges, 90481 markings/sec, 105 secs
lola: sara is running 110 secs || 10696386 markings, 35680409 edges, 89506 markings/sec, 110 secs
lola: sara is running 115 secs || 11111996 markings, 37191457 edges, 83122 markings/sec, 115 secs
lola: sara is running 120 secs || 11496962 markings, 38773237 edges, 76993 markings/sec, 120 secs
lola: sara is running 125 secs || 11870464 markings, 40318560 edges, 74700 markings/sec, 125 secs
lola: sara is running 130 secs || 12321926 markings, 41872429 edges, 90292 markings/sec, 130 secs
lola: sara is running 135 secs || 12831417 markings, 43372783 edges, 101898 markings/sec, 135 secs
lola: sara is running 140 secs || 13355294 markings, 44728563 edges, 104775 markings/sec, 140 secs
lola: sara is running 145 secs || 13859604 markings, 46200836 edges, 100862 markings/sec, 145 secs
lola: sara is running 150 secs || 14337562 markings, 47476647 edges, 95592 markings/sec, 150 secs
lola: sara is running 155 secs || 14767507 markings, 49072688 edges, 85989 markings/sec, 155 secs
lola: sara is running 160 secs || 15212765 markings, 50809825 edges, 89052 markings/sec, 160 secs
lola: sara is running 165 secs || 15671059 markings, 52384173 edges, 91659 markings/sec, 165 secs
lola: sara is running 170 secs || 16248106 markings, 53911676 edges, 115409 markings/sec, 170 secs
lola: sara is running 175 secs || 16716063 markings, 55601854 edges, 93591 markings/sec, 175 secs
lola: sara is running 180 secs || 17129153 markings, 57223650 edges, 82618 markings/sec, 180 secs
lola: sara is running 185 secs || 17543157 markings, 58948242 edges, 82801 markings/sec, 185 secs
lola: sara is running 190 secs || 18047829 markings, 60443202 edges, 100934 markings/sec, 190 secs
lola: sara is running 195 secs || 18630824 markings, 61963280 edges, 116599 markings/sec, 195 secs
lola: sara is running 200 secs || 19152322 markings, 63516438 edges, 104300 markings/sec, 200 secs
lola: sara is running 205 secs || 19772039 markings, 65069912 edges, 123943 markings/sec, 205 secs
lola: sara is running 210 secs || 20433080 markings, 66564852 edges, 132208 markings/sec, 210 secs
lola: sara is running 215 secs || 21062746 markings, 67894315 edges, 125933 markings/sec, 215 secs
lola: sara is running 220 secs || 21644073 markings, 69375408 edges, 116265 markings/sec, 220 secs
lola: sara is running 225 secs || 22225073 markings, 70892482 edges, 116200 markings/sec, 225 secs
lola: sara is running 230 secs || 22790910 markings, 72404742 edges, 113167 markings/sec, 230 secs
lola: sara is running 235 secs || 23331494 markings, 73955612 edges, 108117 markings/sec, 235 secs
lola: sara is running 240 secs || 23907996 markings, 75526529 edges, 115300 markings/sec, 240 secs
lola: sara is running 245 secs || 24484463 markings, 77131454 edges, 115293 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t21_25) AND NOT FIREABLE(t10_22) AND FIREABLE(t1_9) AND FIREABLE(t24_10))))
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 136 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 24 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 490 markings, 625 edges
lola: ========================================
lola: subprocess 6 will run for 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t26_24)))
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 136 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-05track28LR-ReachabilityFireability-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 7 will run for 312 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t23_24) OR (NOT FIREABLE(t3_7) AND FIREABLE(t16_19)))))
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 136 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 3 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityFireability-7.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 8 will run for 351 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t2_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 136 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-05track28LR-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-7.sara.
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-8.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 511477 markings, 1583661 edges, 102295 markings/sec, 0 secs
lola: sara is running 5 secs || 977936 markings, 3197351 edges, 93292 markings/sec, 5 secs
lola: sara is running 10 secs || 1418545 markings, 4787240 edges, 88122 markings/sec, 10 secs
lola: sara is running 15 secs || 1839867 markings, 6509234 edges, 84264 markings/sec, 15 secs
lola: sara is running 20 secs || 2262843 markings, 8144266 edges, 84595 markings/sec, 20 secs
lola: sara is running 25 secs || 2695601 markings, 9758375 edges, 86552 markings/sec, 25 secs
lola: sara is running 30 secs || 3113090 markings, 11326860 edges, 83498 markings/sec, 30 secs
lola: sara is running 35 secs || 3519249 markings, 12888786 edges, 81232 markings/sec, 35 secs
lola: sara is running 40 secs || 3965775 markings, 14451426 edges, 89305 markings/sec, 40 secs
lola: sara is running 45 secs || 4386290 markings, 16114974 edges, 84103 markings/sec, 45 secs
lola: sara is running 50 secs || 4812371 markings, 17742249 edges, 85216 markings/sec, 50 secs
lola: sara is running 55 secs || 5237191 markings, 19318527 edges, 84964 markings/sec, 55 secs
lola: sara is running 60 secs || 5640836 markings, 20893837 edges, 80729 markings/sec, 60 secs
lola: sara is running 65 secs || 6064720 markings, 22472337 edges, 84777 markings/sec, 65 secs
lola: sara is running 70 secs || 6487916 markings, 24092391 edges, 84639 markings/sec, 70 secs
lola: sara is running 75 secs || 6901529 markings, 25670095 edges, 82723 markings/sec, 75 secs
lola: sara is running 80 secs || 7303231 markings, 27259932 edges, 80340 markings/sec, 80 secs
lola: sara is running 85 secs || 7694474 markings, 28917594 edges, 78249 markings/sec, 85 secs
lola: sara is running 90 secs || 8113560 markings, 30578747 edges, 83817 markings/sec, 90 secs
lola: sara is running 95 secs || 8546779 markings, 32421239 edges, 86644 markings/sec, 95 secs
lola: sara is running 100 secs || 8976732 markings, 34001187 edges, 85991 markings/sec, 100 secs
lola: sara is running 105 secs || 9403336 markings, 35517862 edges, 85321 markings/sec, 105 secs
lola: sara is running 110 secs || 9825160 markings, 37021093 edges, 84365 markings/sec, 110 secs
lola: sara is running 115 secs || 10238082 markings, 38511758 edges, 82584 markings/sec, 115 secs
lola: sara is running 120 secs || 10636250 markings, 39902114 edges, 79634 markings/sec, 120 secs
lola: sara is running 125 secs || 11040254 markings, 41333127 edges, 80801 markings/sec, 125 secs
lola: sara is running 130 secs || 11446924 markings, 42772926 edges, 81334 markings/sec, 130 secs
lola: sara is running 135 secs || 11853730 markings, 44441203 edges, 81361 markings/sec, 135 secs
lola: sara is running 140 secs || 12232247 markings, 46102814 edges, 75703 markings/sec, 140 secs
lola: sara is running 145 secs || 12613545 markings, 47768980 edges, 76260 markings/sec, 145 secs
lola: sara is running 150 secs || 12990004 markings, 49423953 edges, 75292 markings/sec, 150 secs
lola: sara is running 155 secs || 13355270 markings, 51177844 edges, 73053 markings/sec, 155 secs
lola: sara is running 160 secs || 13714790 markings, 52917043 edges, 71904 markings/sec, 160 secs
lola: sara is running 165 secs || 14067636 markings, 54603974 edges, 70569 markings/sec, 165 secs
lola: sara is running 170 secs || 14414998 markings, 56272698 edges, 69472 markings/sec, 170 secs
lola: sara is running 175 secs || 14759787 markings, 58119123 edges, 68958 markings/sec, 175 secs
lola: sara is running 180 secs || 15095470 markings, 59991118 edges, 67137 markings/sec, 180 secs
lola: sara is running 185 secs || 15489068 markings, 61844441 edges, 78720 markings/sec, 185 secs
lola: sara is running 190 secs || 15904046 markings, 63458000 edges, 82996 markings/sec, 190 secs
lola: sara is running 195 secs || 16314977 markings, 64910950 edges, 82186 markings/sec, 195 secs
lola: sara is running 200 secs || 16721599 markings, 66341935 edges, 81324 markings/sec, 200 secs
lola: sara is running 205 secs || 17126557 markings, 67882057 edges, 80992 markings/sec, 205 secs
lola: sara is running 210 secs || 17500851 markings, 69523933 edges, 74859 markings/sec, 210 secs
lola: sara is running 215 secs || 17862138 markings, 71211132 edges, 72257 markings/sec, 215 secs
lola: sara is running 220 secs || 18213185 markings, 72884341 edges, 70209 markings/sec, 220 secs
lola: sara is running 225 secs || 18554079 markings, 74699452 edges, 68179 markings/sec, 225 secs
lola: sara is running 230 secs || 18945281 markings, 76507902 edges, 78240 markings/sec, 230 secs
lola: sara is running 235 secs || 19354145 markings, 78037260 edges, 81773 markings/sec, 235 secs
----- Kill lola and sara stderr -----
lola: sara is running 240 secs || 19753077 markings, 79557926 edges, 79786 markings/sec, 240 secs
lola: sara is running 245 secs || 20105170 markings, 81214429 edges, 70419 markings/sec, 245 secs
lola: sara is running 250 secs || 20476514 markings, 82825972 edges, 74269 markings/sec, 250 secs
lola: sara is running 255 secs || 20827621 markings, 84441142 edges, 70221 markings/sec, 255 secs
lola: sara is running 260 secs || 21229218 markings, 86101091 edges, 80319 markings/sec, 260 secs
lola: sara is running 265 secs || 21651107 markings, 87794056 edges, 84378 markings/sec, 265 secs
lola: sara is running 270 secs || 22034326 markings, 89538086 edges, 76644 markings/sec, 270 secs
lola: sara is running 275 secs || 22446010 markings, 91132216 edges, 82337 markings/sec, 275 secs
lola: sara is running 280 secs || 22827716 markings, 92794103 edges, 76341 markings/sec, 280 secs
lola: sara is running 285 secs || 23199794 markings, 94348768 edges, 74416 markings/sec, 285 secs
lola: sara is running 290 secs || 23529439 markings, 96003061 edges, 65929 markings/sec, 290 secs
lola: sara is running 295 secs || 23873981 markings, 97756771 edges, 68908 markings/sec, 295 secs
lola: sara is running 300 secs || 24320577 markings, 99476550 edges, 89319 markings/sec, 300 secs
lola: sara is running 305 secs || 24769588 markings, 101156153 edges, 89802 markings/sec, 305 secs
lola: sara is running 310 secs || 25216593 markings, 102982456 edges, 89401 markings/sec, 310 secs
lola: sara is running 315 secs || 25654361 markings, 104826051 edges, 87554 markings/sec, 315 secs
lola: sara is running 320 secs || 26059646 markings, 106516074 edges, 81057 markings/sec, 320 secs
lola: sara is running 325 secs || 26446388 markings, 108277844 edges, 77348 markings/sec, 325 secs
lola: sara is running 330 secs || 26806614 markings, 110250706 edges, 72045 markings/sec, 330 secs
lola: sara is running 335 secs || 27150030 markings, 112183815 edges, 68683 markings/sec, 335 secs
lola: sara is running 340 secs || 27563117 markings, 113850434 edges, 82617 markings/sec, 340 secs
lola: sara is running 345 secs || 27935517 markings, 115764620 edges, 74480 markings/sec, 345 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 351 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t22_11)))
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 136 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-05track28LR-ReachabilityFireability-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-9.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 576664 markings, 1304296 edges, 115333 markings/sec, 0 secs
lola: sara is running 5 secs || 1103713 markings, 2667320 edges, 105410 markings/sec, 5 secs
lola: sara is running 10 secs || 1693194 markings, 4264837 edges, 117896 markings/sec, 10 secs
lola: sara is running 15 secs || 2254666 markings, 6073434 edges, 112294 markings/sec, 15 secs
lola: sara is running 20 secs || 2834703 markings, 7742355 edges, 116007 markings/sec, 20 secs
lola: sara is running 25 secs || 3419087 markings, 9490270 edges, 116877 markings/sec, 25 secs
lola: sara is running 30 secs || 3891644 markings, 10894356 edges, 94511 markings/sec, 30 secs
lola: sara is running 35 secs || 4362560 markings, 12411469 edges, 94183 markings/sec, 35 secs
lola: sara is running 40 secs || 4795002 markings, 13891473 edges, 86488 markings/sec, 40 secs
lola: sara is running 45 secs || 5207407 markings, 15363365 edges, 82481 markings/sec, 45 secs
lola: sara is running 50 secs || 5608570 markings, 16909925 edges, 80233 markings/sec, 50 secs
lola: sara is running 55 secs || 6034741 markings, 18400189 edges, 85234 markings/sec, 55 secs
lola: sara is running 60 secs || 6419316 markings, 19764825 edges, 76915 markings/sec, 60 secs
lola: sara is running 65 secs || 6833525 markings, 21202805 edges, 82842 markings/sec, 65 secs
lola: sara is running 70 secs || 7236359 markings, 22650936 edges, 80567 markings/sec, 70 secs
lola: sara is running 75 secs || 7645540 markings, 24211695 edges, 81836 markings/sec, 75 secs
lola: sara is running 80 secs || 8028611 markings, 25779635 edges, 76614 markings/sec, 80 secs
lola: sara is running 85 secs || 8398720 markings, 27314109 edges, 74022 markings/sec, 85 secs
lola: sara is running 90 secs || 8821637 markings, 28817387 edges, 84583 markings/sec, 90 secs
lola: sara is running 95 secs || 9200337 markings, 30324223 edges, 75740 markings/sec, 95 secs
lola: sara is running 100 secs || 9570073 markings, 31818939 edges, 73947 markings/sec, 100 secs
lola: sara is running 105 secs || 9941543 markings, 33316122 edges, 74294 markings/sec, 105 secs
lola: sara is running 110 secs || 10317809 markings, 34820862 edges, 75253 markings/sec, 110 secs
lola: sara is running 115 secs || 10702180 markings, 36284901 edges, 76874 markings/sec, 115 secs
lola: sara is running 120 secs || 11082206 markings, 37754062 edges, 76005 markings/sec, 120 secs
lola: sara is running 125 secs || 11453329 markings, 39187025 edges, 74225 markings/sec, 125 secs
lola: sara is running 130 secs || 11908425 markings, 40832237 edges, 91019 markings/sec, 130 secs
lola: sara is running 135 secs || 12386705 markings, 42649628 edges, 95656 markings/sec, 135 secs
lola: sara is running 140 secs || 12823401 markings, 44192617 edges, 87339 markings/sec, 140 secs
lola: sara is running 145 secs || 13276240 markings, 45986471 edges, 90568 markings/sec, 145 secs
lola: sara is running 150 secs || 13702567 markings, 47705486 edges, 85265 markings/sec, 150 secs
lola: sara is running 155 secs || 14168340 markings, 49380841 edges, 93155 markings/sec, 155 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 14380661 markings, 50248137 edges
lola: ========================================
lola: subprocess 10 will run for 383 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t24_26)))
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 136 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-05track28LR-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 11 will run for 460 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t21_11) AND FIREABLE(t13_5))))
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 136 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 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-05track28LR-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-05track28LR-ReachabilityFireability-11.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 493216 markings, 1590974 edges, 98643 markings/sec, 0 secs
lola: sara is running 5 secs || 938675 markings, 3317141 edges, 89092 markings/sec, 5 secs
lola: sara is running 10 secs || 1401693 markings, 4755456 edges, 92604 markings/sec, 10 secs
lola: sara is running 15 secs || 1866396 markings, 5995517 edges, 92941 markings/sec, 15 secs
lola: sara is running 20 secs || 2321034 markings, 7110293 edges, 90928 markings/sec, 20 secs
lola: sara is running 25 secs || 2770173 markings, 8205850 edges, 89828 markings/sec, 25 secs
lola: sara is running 30 secs || 3217052 markings, 9529464 edges, 89376 markings/sec, 30 secs
lola: sara is running 35 secs || 3629311 markings, 11085646 edges, 82452 markings/sec, 35 secs
lola: sara is running 40 secs || 4012882 markings, 12646862 edges, 76714 markings/sec, 40 secs
lola: sara is running 45 secs || 4379668 markings, 14090391 edges, 73357 markings/sec, 45 secs
lola: sara is running 50 secs || 4743264 markings, 15578396 edges, 72719 markings/sec, 50 secs
lola: sara is running 55 secs || 5107587 markings, 17287742 edges, 72865 markings/sec, 55 secs
lola: sara is running 60 secs || 5471322 markings, 18841966 edges, 72747 markings/sec, 60 secs
lola: sara is running 65 secs || 5826789 markings, 20265589 edges, 71093 markings/sec, 65 secs
lola: sara is running 70 secs || 6178376 markings, 21818073 edges, 70317 markings/sec, 70 secs
lola: sara is running 75 secs || 6513294 markings, 23550832 edges, 66984 markings/sec, 75 secs
lola: sara is running 80 secs || 6827558 markings, 25347998 edges, 62853 markings/sec, 80 secs
lola: sara is running 85 secs || 7132484 markings, 27138491 edges, 60985 markings/sec, 85 secs
lola: sara is running 90 secs || 7572992 markings, 28573134 edges, 88102 markings/sec, 90 secs
lola: sara is running 95 secs || 8027205 markings, 29689711 edges, 90843 markings/sec, 95 secs
lola: sara is running 100 secs || 8459376 markings, 31192874 edges, 86434 markings/sec, 100 secs
lola: sara is running 105 secs || 8834687 markings, 32700129 edges, 75062 markings/sec, 105 secs
lola: sara is running 110 secs || 9210574 markings, 34372643 edges, 75177 markings/sec, 110 secs
lola: sara is running 115 secs || 9572162 markings, 35872207 edges, 72318 markings/sec, 115 secs
lola: sara is running 120 secs || 9905735 markings, 37684939 edges, 66715 markings/sec, 120 secs
lola: sara is running 125 secs || 10298690 markings, 39264979 edges, 78591 markings/sec, 125 secs
lola: sara is running 130 secs || 10729410 markings, 40644789 edges, 86144 markings/sec, 130 secs
lola: sara is running 135 secs || 11097475 markings, 42190301 edges, 73613 markings/sec, 135 secs
lola: sara is running 140 secs || 11456215 markings, 43822624 edges, 71748 markings/sec, 140 secs
lola: sara is running 145 secs || 11902558 markings, 45112876 edges, 89269 markings/sec, 145 secs
lola: sara is running 150 secs || 12273835 markings, 46657726 edges, 74255 markings/sec, 150 secs
lola: sara is running 155 secs || 12617582 markings, 48246916 edges, 68749 markings/sec, 155 secs
lola: sara is running 160 secs || 12987799 markings, 49883008 edges, 74043 markings/sec, 160 secs
lola: sara is running 165 secs || 13389135 markings, 51320936 edges, 80267 markings/sec, 165 secs
lola: sara is running 170 secs || 13791817 markings, 52683243 edges, 80536 markings/sec, 170 secs
lola: sara is running 175 secs || 14143780 markings, 54327407 edges, 70393 markings/sec, 175 secs
lola: sara is running 180 secs || 14540795 markings, 55764520 edges, 79403 markings/sec, 180 secs
lola: sara is running 185 secs || 14906909 markings, 57330828 edges, 73223 markings/sec, 185 secs
lola: sara is running 190 secs || 15292244 markings, 58763588 edges, 77067 markings/sec, 190 secs
lola: sara is running 195 secs || 15781974 markings, 60217553 edges, 97946 markings/sec, 195 secs
lola: sara is running 200 secs || 16290961 markings, 61795634 edges, 101797 markings/sec, 200 secs
lola: sara is running 205 secs || 16823636 markings, 63380092 edges, 106535 markings/sec, 205 secs
lola: sara is running 210 secs || 17353704 markings, 64960871 edges, 106014 markings/sec, 210 secs
lola: sara is running 215 secs || 17864438 markings, 66584895 edges, 102147 markings/sec, 215 secs
lola: sara is running 220 secs || 18383058 markings, 68342116 edges, 103724 markings/sec, 220 secs
lola: sara is running 225 secs || 18847469 markings, 69720713 edges, 92882 markings/sec, 225 secs
lola: sara is running 230 secs || 19395015 markings, 71070812 edges, 109509 markings/sec, 230 secs
lola: sara is running 235 secs || 19875339 markings, 72437390 edges, 96065 markings/sec, 235 secs
lola: sara is running 240 secs || 20313219 markings, 73989882 edges, 87576 markings/sec, 240 secs
lola: sara is running 245 secs || 20706129 markings, 75566283 edges, 78582 markings/sec, 245 secs
lola: sara is running 250 secs || 21122815 markings, 77021951 edges, 83337 markings/sec, 250 secs
lola: sara is running 255 secs || 21590711 markings, 78532118 edges, 93579 markings/sec, 255 secs
lola: sara is running 260 secs || 22013828 markings, 80207546 edges, 84623 markings/sec, 260 secs
lola: sara is running 265 secs || 22463000 markings, 81759843 edges, 89834 markings/sec, 265 secs
lola: sara is running 270 secs || 22892316 markings, 83317226 edges, 85863 markings/sec, 270 secs
lola: sara is running 275 secs || 23355661 markings, 84929889 edges, 92669 markings/sec, 275 secs
lola: sara is running 280 secs || 23784485 markings, 86476985 edges, 85765 markings/sec, 280 secs
lola: sara is running 285 secs || 24219343 markings, 87996117 edges, 86972 markings/sec, 285 secs
lola: sara is running 290 secs || 24632470 markings, 89816406 edges, 82625 markings/sec, 290 secs
lola: sara is running 295 secs || 25051432 markings, 91324096 edges, 83792 markings/sec, 295 secs
lola: sara is running 300 secs || 25452423 markings, 92966609 edges, 80198 markings/sec, 300 secs
lola: sara is running 305 secs || 25967441 markings, 94194059 edges, 103004 markings/sec, 305 secs
lola: sara is running 310 secs || 26438954 markings, 95615315 edges, 94303 markings/sec, 310 secs
lola: sara is running 315 secs || 26865923 markings, 97131676 edges, 85394 markings/sec, 315 secs
lola: sara is running 320 secs || 27283232 markings, 98660713 edges, 83462 markings/sec, 320 secs
lola: sara is running 325 secs || 27659245 markings, 100315383 edges, 75203 markings/sec, 325 secs
lola: sara is running 330 secs || 28049085 markings, 102085245 edges, 77968 markings/sec, 330 secs
lola: sara is running 335 secs || 28459834 markings, 103540181 edges, 82150 markings/sec, 335 secs
lola: sara is running 340 secs || 28932178 markings, 105126914 edges, 94469 markings/sec, 340 secs
lola: sara is running 345 secs || 29380880 markings, 106721425 edges, 89740 markings/sec, 345 secs
lola: sara is running 350 secs || 29830321 markings, 108348055 edges, 89888 markings/sec, 350 secs
lola: sara is running 355 secs || 30282668 markings, 109869363 edges, 90469 markings/sec, 355 secs
lola: sara is running 360 secs || 30771171 markings, 111214511 edges, 97701 markings/sec, 360 secs
lola: sara is running 365 secs || 31199530 markings, 112786155 edges, 85672 markings/sec, 365 secs
lola: sara is running 370 secs || 31611164 markings, 114524991 edges, 82327 markings/sec, 370 secs
lola: sara is running 375 secs || 32021997 markings, 116082959 edges, 82167 markings/sec, 375 secs
lola: sara is running 380 secs || 32467777 markings, 117712897 edges, 89156 markings/sec, 380 secs
lola: sara is running 385 secs || 32942558 markings, 119162315 edges, 94956 markings/sec, 385 secs
lola: sara is running 390 secs || 33342359 markings, 120831371 edges, 79960 markings/sec, 390 secs
lola: sara is running 395 secs || 33762584 markings, 122348110 edges, 84045 markings/sec, 395 secs
lola: sara is running 400 secs || 34224920 markings, 123971490 edges, 92467 markings/sec, 400 secs
lola: sara is running 405 secs || 34639519 markings, 125630457 edges, 82920 markings/sec, 405 secs
lola: sara is running 410 secs || 35027569 markings, 127191718 edges, 77610 markings/sec, 410 secs
lola: sara is running 415 secs || 35399921 markings, 128728255 edges, 74470 markings/sec, 415 secs
lola: sara is running 420 secs || 35725198 markings, 130380778 edges, 65055 markings/sec, 420 secs
lola: sara is running 425 secs || 36220660 markings, 131919010 edges, 99092 markings/sec, 425 secs
lola: sara is running 430 secs || 36671072 markings, 133594487 edges, 90082 markings/sec, 430 secs
lola: sara is running 435 secs || 37137474 markings, 134843828 edges, 93280 markings/sec, 435 secs
lola: sara is running 440 secs || 37580240 markings, 136045015 edges, 88553 markings/sec, 440 secs
lola: sara is running 445 secs || 38023463 markings, 137205104 edges, 88645 markings/sec, 445 secs
lola: sara is running 450 secs || 38446191 markings, 138687681 edges, 84546 markings/sec, 450 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: 'p'
Aborted (core dumped)
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-05track28LR-ReachabilityFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-05track28LR"
export BK_EXAMINATION="ReachabilityFireability"
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-05track28LR.tgz
mv DNAwalker-PT-05track28LR 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-05track28LR, examination is ReachabilityFireability"
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-152649743100259"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 ;