About the Execution of M4M.struct for DNAwalker-PT-17redondantChoiceL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3124.100 | 2988225.00 | 8561874.00 | 8565.80 | FTTFF?F????TT??F | 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 384K
-rw-r--r-- 1 mcc users 3.6K 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 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 19 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 211K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DNAwalker-PT-17redondantChoiceL, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744200341
=====================================================================
--------------------
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-17redondantChoiceL-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526771804581
BK_STOP 1526774792806
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-17redondantChoiceL as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 70812, 'Memory': 1567.92, 'Tool': 'itstools'}, {'Time': 76339, 'Memory': 1561.09, 'Tool': 'itstools'}, {'Time': 2337415, 'Memory': 4505.55, 'Tool': 'lola'}, {'Time': 2337518, 'Memory': 4502.57, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 33.008741456250355x far from the best tool itstools.
ReachabilityCardinality lola DNAwalker-PT-17redondantChoiceL...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DNAwalker-PT-17redondantChoiceL: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-17redondantChoiceL: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityCardinality @ DNAwalker-PT-17redondantChoiceL @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 533/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: finding significant places
lola: 43 places, 490 transitions, 43 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 284 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.task
lola: A (G ((((3 <= A23) AND (A14 <= A15) AND (A12 + 1 <= B9)) OR (1 <= A30)))) : A (G ((1 <= A33))) : E (F ((2 <= A33))) : E (F (((A31 <= 0) AND (3 <= B9)))) : E (F (((((3 <= B18) AND (3 <= B21)) OR ((2 <= B20) AND (1 <= A20))) AND (2 <= A1)))) : E (F ((((A31 <= A21) OR (1 <= A21)) AND (A5 <= B27) AND (3 <= A2)))) : A (G (((A18 + 1 <= B23) OR ((A2 <= A21) AND (A27 <= A15)) OR (1 <= A2)))) : E (F (((3 <= A1) AND (B19 <= A9)))) : E (F ((3 <= A6))) : E (F (((3 <= A2) AND (2 <= A26) AND (A24 <= 2) AND ((B24 + 1 <= A1) OR ((A23 <= A5) AND (B19 <= A15)))))) : A (G (((3 <= A26) OR (3 <= A11) OR (A18 <= 1) OR (A9 <= A8)))) : A (G (((B19 <= A32) OR (2 <= A10) OR (3 <= A10) OR (3 <= A14) OR ((1 <= A21) AND (B20 <= A30)) OR (1 <= A5)))) : E (F ((((A31 <= A5) AND (2 <= B20) AND ((A2 <= A16) OR (A11 <= A33))) OR ((B18 <= 2) AND (A28 + 1 <= A18))))) : A (G (((A28 <= A16) OR (2 <= A29) OR ((A20 <= A7) AND (A8 <= A26)) OR ((A17 <= 2) AND (A15 <= 2))))) : E (F ((((3 <= A23) AND (B10 <= A23)) OR (A32 + 1 <= B23)))) : E (F (((3 <= B19) AND ((B23 + 1 <= A22) OR (B10 + 1 <= A1)))))
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 ((((3 <= A23) AND (A14 <= A15) AND (A12 + 1 <= B9)) OR (1 <= A30))))
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 172 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 6 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 13 markings, 12 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= A33)))
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 172 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality.sara
subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= A33)))
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 172 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A31 <= 0) AND (3 <= B9))))
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 172 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-17redondantChoiceL-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((((3 <= B18) AND (3 <= B21)) OR ((2 <= B20) AND (1 <= A20))) AND (2 <= A1))))
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 172 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 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-4.sara
lola: 1 markings, 0 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((A31 <= A21) OR (1 <= A21)) AND (A5 <= B27) AND (3 <= A2))))
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 172 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 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-5.sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-4.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 215187 markings, 772165 edges, 43037 markings/sec, 0 secs
lola: sara is running 5 secs || 437160 markings, 1494473 edges, 44395 markings/sec, 5 secs
lola: sara is running 10 secs || 649546 markings, 2325700 edges, 42477 markings/sec, 10 secs
lola: sara is running 15 secs || 850500 markings, 3316353 edges, 40191 markings/sec, 15 secs
lola: sara is running 20 secs || 1054812 markings, 4258192 edges, 40862 markings/sec, 20 secs
lola: sara is running 25 secs || 1256135 markings, 5239921 edges, 40265 markings/sec, 25 secs
lola: sara is running 30 secs || 1465270 markings, 6026810 edges, 41827 markings/sec, 30 secs
lola: sara is running 35 secs || 1660399 markings, 6877338 edges, 39026 markings/sec, 35 secs
lola: sara is running 40 secs || 1878700 markings, 7617133 edges, 43660 markings/sec, 40 secs
lola: sara is running 45 secs || 2091906 markings, 8304478 edges, 42641 markings/sec, 45 secs
lola: sara is running 50 secs || 2312512 markings, 9171542 edges, 44121 markings/sec, 50 secs
lola: sara is running 55 secs || 2492065 markings, 10112029 edges, 35911 markings/sec, 55 secs
lola: sara is running 60 secs || 2701242 markings, 11021805 edges, 41835 markings/sec, 60 secs
lola: sara is running 65 secs || 2901719 markings, 12022988 edges, 40095 markings/sec, 65 secs
lola: sara is running 70 secs || 3084554 markings, 13030034 edges, 36567 markings/sec, 70 secs
lola: sara is running 75 secs || 3290216 markings, 13791065 edges, 41132 markings/sec, 75 secs
lola: sara is running 80 secs || 3485891 markings, 14500365 edges, 39135 markings/sec, 80 secs
lola: sara is running 85 secs || 3678736 markings, 15213218 edges, 38569 markings/sec, 85 secs
lola: sara is running 90 secs || 3870450 markings, 16110228 edges, 38343 markings/sec, 90 secs
lola: sara is running 95 secs || 4067606 markings, 17030793 edges, 39431 markings/sec, 95 secs
lola: sara is running 100 secs || 4271717 markings, 17793872 edges, 40822 markings/sec, 100 secs
lola: sara is running 105 secs || 4478191 markings, 18617185 edges, 41295 markings/sec, 105 secs
lola: sara is running 110 secs || 4669605 markings, 19554648 edges, 38283 markings/sec, 110 secs
lola: sara is running 115 secs || 4859319 markings, 20326001 edges, 37943 markings/sec, 115 secs
lola: sara is running 120 secs || 5031656 markings, 21162001 edges, 34467 markings/sec, 120 secs
lola: sara is running 125 secs || 5228482 markings, 22121206 edges, 39365 markings/sec, 125 secs
lola: sara is running 130 secs || 5405281 markings, 23129094 edges, 35360 markings/sec, 130 secs
lola: sara is running 135 secs || 5583676 markings, 24069758 edges, 35679 markings/sec, 135 secs
lola: sara is running 140 secs || 5766789 markings, 25048292 edges, 36623 markings/sec, 140 secs
lola: sara is running 145 secs || 5965590 markings, 25991338 edges, 39760 markings/sec, 145 secs
lola: sara is running 150 secs || 6151150 markings, 27003350 edges, 37112 markings/sec, 150 secs
lola: sara is running 155 secs || 6328600 markings, 28099634 edges, 35490 markings/sec, 155 secs
lola: sara is running 160 secs || 6525738 markings, 29062754 edges, 39428 markings/sec, 160 secs
lola: sara is running 165 secs || 6714619 markings, 30022852 edges, 37776 markings/sec, 165 secs
lola: sara is running 170 secs || 6906220 markings, 30912363 edges, 38320 markings/sec, 170 secs
lola: sara is running 175 secs || 7090928 markings, 32001879 edges, 36942 markings/sec, 175 secs
lola: sara is running 180 secs || 7277682 markings, 33109182 edges, 37351 markings/sec, 180 secs
lola: sara is running 185 secs || 7457652 markings, 34044354 edges, 35994 markings/sec, 185 secs
lola: sara is running 190 secs || 7639465 markings, 34926929 edges, 36363 markings/sec, 190 secs
lola: sara is running 195 secs || 7812705 markings, 35978851 edges, 34648 markings/sec, 195 secs
lola: sara is running 200 secs || 7989634 markings, 37105013 edges, 35386 markings/sec, 200 secs
lola: sara is running 205 secs || 8157714 markings, 38183892 edges, 33616 markings/sec, 205 secs
lola: sara is running 210 secs || 8335095 markings, 39376546 edges, 35476 markings/sec, 210 secs
lola: sara is running 215 secs || 8520109 markings, 40519989 edges, 37003 markings/sec, 215 secs
lola: sara is running 220 secs || 8689706 markings, 41689506 edges, 33919 markings/sec, 220 secs
lola: sara is running 225 secs || 8867571 markings, 42869057 edges, 35573 markings/sec, 225 secs
lola: sara is running 230 secs || 9063661 markings, 43869691 edges, 39218 markings/sec, 230 secs
lola: sara is running 235 secs || 9269241 markings, 44772057 edges, 41116 markings/sec, 235 secs
lola: sara is running 240 secs || 9479127 markings, 45747321 edges, 41977 markings/sec, 240 secs
lola: sara is running 245 secs || 9674891 markings, 46795828 edges, 39153 markings/sec, 245 secs
lola: sara is running 250 secs || 9870785 markings, 47745224 edges, 39179 markings/sec, 250 secs
lola: sara is running 255 secs || 10058784 markings, 48673355 edges, 37600 markings/sec, 255 secs
lola: sara is running 260 secs || 10251964 markings, 49619533 edges, 38636 markings/sec, 260 secs
lola: sara is running 265 secs || 10438024 markings, 50560174 edges, 37212 markings/sec, 265 secs
lola: sara is running 270 secs || 10619055 markings, 51648694 edges, 36206 markings/sec, 270 secs
lola: sara is running 275 secs || 10809164 markings, 52734905 edges, 38022 markings/sec, 275 secs
lola: sara is running 280 secs || 11000254 markings, 53862411 edges, 38218 markings/sec, 280 secs
lola: sara is running 285 secs || 11186308 markings, 55013053 edges, 37211 markings/sec, 285 secs
lola: sara is running 290 secs || 11362277 markings, 56161280 edges, 35194 markings/sec, 290 secs
lola: sara is running 295 secs || 11545062 markings, 57456791 edges, 36557 markings/sec, 295 secs
lola: sara is running 300 secs || 11740095 markings, 58520223 edges, 39007 markings/sec, 300 secs
lola: sara is running 305 secs || 11938326 markings, 59502182 edges, 39646 markings/sec, 305 secs
lola: sara is running 310 secs || 12132879 markings, 60460506 edges, 38911 markings/sec, 310 secs
lola: sara is running 315 secs || 12322463 markings, 61460954 edges, 37917 markings/sec, 315 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A18 + 1 <= B23) OR ((A2 <= A21) AND (A27 <= A15)) OR (1 <= A2))))
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 172 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 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-6.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9 markings, 8 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A1) AND (B19 <= A9))))
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 172 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-17redondantChoiceL-ReachabilityCardinality-7.sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-6.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-7.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 206741 markings, 832050 edges, 41348 markings/sec, 0 secs
lola: sara is running 5 secs || 405489 markings, 1858050 edges, 39750 markings/sec, 5 secs
lola: sara is running 10 secs || 599667 markings, 2880740 edges, 38836 markings/sec, 10 secs
lola: sara is running 15 secs || 791611 markings, 3804925 edges, 38389 markings/sec, 15 secs
lola: sara is running 20 secs || 977412 markings, 4835051 edges, 37160 markings/sec, 20 secs
lola: sara is running 25 secs || 1172551 markings, 5906340 edges, 39028 markings/sec, 25 secs
lola: sara is running 30 secs || 1361195 markings, 7075734 edges, 37729 markings/sec, 30 secs
lola: sara is running 35 secs || 1566112 markings, 8211575 edges, 40983 markings/sec, 35 secs
lola: sara is running 40 secs || 1769338 markings, 9388083 edges, 40645 markings/sec, 40 secs
lola: sara is running 45 secs || 1981224 markings, 10297239 edges, 42377 markings/sec, 45 secs
lola: sara is running 50 secs || 2178833 markings, 11298092 edges, 39522 markings/sec, 50 secs
lola: sara is running 55 secs || 2372299 markings, 12296153 edges, 38693 markings/sec, 55 secs
lola: sara is running 60 secs || 2565263 markings, 13244338 edges, 38593 markings/sec, 60 secs
lola: sara is running 65 secs || 2752376 markings, 14319307 edges, 37423 markings/sec, 65 secs
lola: sara is running 70 secs || 2936347 markings, 15435829 edges, 36794 markings/sec, 70 secs
lola: sara is running 75 secs || 3134361 markings, 16544661 edges, 39603 markings/sec, 75 secs
lola: sara is running 80 secs || 3328351 markings, 17643666 edges, 38798 markings/sec, 80 secs
lola: sara is running 85 secs || 3513687 markings, 18782986 edges, 37067 markings/sec, 85 secs
lola: sara is running 90 secs || 3688725 markings, 19882487 edges, 35008 markings/sec, 90 secs
lola: sara is running 95 secs || 3885227 markings, 20943566 edges, 39300 markings/sec, 95 secs
lola: sara is running 100 secs || 4071624 markings, 21795283 edges, 37279 markings/sec, 100 secs
lola: sara is running 105 secs || 4252991 markings, 22842467 edges, 36273 markings/sec, 105 secs
lola: sara is running 110 secs || 4431876 markings, 23983237 edges, 35777 markings/sec, 110 secs
lola: sara is running 115 secs || 4600256 markings, 25126811 edges, 33676 markings/sec, 115 secs
lola: sara is running 120 secs || 4758804 markings, 26333596 edges, 31710 markings/sec, 120 secs
lola: sara is running 125 secs || 4913875 markings, 27596324 edges, 31014 markings/sec, 125 secs
lola: sara is running 130 secs || 5088094 markings, 28624720 edges, 34844 markings/sec, 130 secs
lola: sara is running 135 secs || 5266676 markings, 29697590 edges, 35716 markings/sec, 135 secs
lola: sara is running 140 secs || 5431496 markings, 30855414 edges, 32964 markings/sec, 140 secs
lola: sara is running 145 secs || 5588725 markings, 32069174 edges, 31446 markings/sec, 145 secs
lola: sara is running 150 secs || 5763382 markings, 33124777 edges, 34931 markings/sec, 150 secs
lola: sara is running 155 secs || 5924498 markings, 34280417 edges, 32223 markings/sec, 155 secs
lola: sara is running 160 secs || 6086755 markings, 35418009 edges, 32451 markings/sec, 160 secs
lola: sara is running 165 secs || 6250640 markings, 36413934 edges, 32777 markings/sec, 165 secs
lola: sara is running 170 secs || 6407183 markings, 37609081 edges, 31309 markings/sec, 170 secs
lola: sara is running 175 secs || 6562550 markings, 38813575 edges, 31073 markings/sec, 175 secs
lola: sara is running 180 secs || 6719628 markings, 39906336 edges, 31416 markings/sec, 180 secs
lola: sara is running 185 secs || 6873647 markings, 41002567 edges, 30804 markings/sec, 185 secs
lola: sara is running 190 secs || 7027230 markings, 42050879 edges, 30717 markings/sec, 190 secs
lola: sara is running 195 secs || 7173381 markings, 43222048 edges, 29230 markings/sec, 195 secs
lola: sara is running 200 secs || 7345732 markings, 44317567 edges, 34470 markings/sec, 200 secs
lola: sara is running 205 secs || 7535687 markings, 45374294 edges, 37991 markings/sec, 205 secs
lola: sara is running 210 secs || 7715044 markings, 46414297 edges, 35871 markings/sec, 210 secs
lola: sara is running 215 secs || 7887398 markings, 47597954 edges, 34471 markings/sec, 215 secs
lola: sara is running 220 secs || 8053816 markings, 48843703 edges, 33284 markings/sec, 220 secs
lola: sara is running 225 secs || 8224137 markings, 50053609 edges, 34064 markings/sec, 225 secs
lola: sara is running 230 secs || 8387681 markings, 51264873 edges, 32709 markings/sec, 230 secs
lola: sara is running 235 secs || 8545259 markings, 52602586 edges, 31516 markings/sec, 235 secs
lola: sara is running 240 secs || 8714506 markings, 53766650 edges, 33849 markings/sec, 240 secs
lola: sara is running 245 secs || 8899065 markings, 54793255 edges, 36912 markings/sec, 245 secs
lola: sara is running 250 secs || 9073622 markings, 55933947 edges, 34911 markings/sec, 250 secs
lola: sara is running 255 secs || 9236296 markings, 57157549 edges, 32535 markings/sec, 255 secs
lola: sara is running 260 secs || 9410812 markings, 58255413 edges, 34903 markings/sec, 260 secs
lola: sara is running 265 secs || 9583068 markings, 59386818 edges, 34451 markings/sec, 265 secs
lola: sara is running 270 secs || 9751998 markings, 60534595 edges, 33786 markings/sec, 270 secs
lola: sara is running 275 secs || 9918973 markings, 61693294 edges, 33395 markings/sec, 275 secs
lola: sara is running 280 secs || 10082546 markings, 62863630 edges, 32715 markings/sec, 280 secs
lola: sara is running 285 secs || 10242663 markings, 63946912 edges, 32023 markings/sec, 285 secs
lola: sara is running 290 secs || 10404727 markings, 65102022 edges, 32413 markings/sec, 290 secs
lola: sara is running 295 secs || 10587504 markings, 66177855 edges, 36555 markings/sec, 295 secs
lola: sara is running 300 secs || 10761562 markings, 67367535 edges, 34812 markings/sec, 300 secs
lola: sara is running 305 secs || 10928302 markings, 68624261 edges, 33348 markings/sec, 305 secs
lola: sara is running 310 secs || 11096558 markings, 69857252 edges, 33651 markings/sec, 310 secs
lola: sara is running 315 secs || 11276975 markings, 70839061 edges, 36083 markings/sec, 315 secs
lola: sara is running 320 secs || 11448877 markings, 71989498 edges, 34380 markings/sec, 320 secs
lola: sara is running 325 secs || 11610405 markings, 73127303 edges, 32306 markings/sec, 325 secs
lola: sara is running 330 secs || 11766223 markings, 74381684 edges, 31164 markings/sec, 330 secs
lola: sara is running 335 secs || 11942771 markings, 75387721 edges, 35310 markings/sec, 335 secs
lola: sara is running 340 secs || 12105562 markings, 76552927 edges, 32558 markings/sec, 340 secs
lola: sara is running 345 secs || 12271762 markings, 77665275 edges, 33240 markings/sec, 345 secs
lola: sara is running 350 secs || 12432659 markings, 78811322 edges, 32179 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A6)))
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 172 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-8.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 214771 markings, 867255 edges, 42954 markings/sec, 0 secs
lola: sara is running 5 secs || 415324 markings, 1775372 edges, 40111 markings/sec, 5 secs
lola: sara is running 10 secs || 622706 markings, 2692107 edges, 41476 markings/sec, 10 secs
lola: sara is running 15 secs || 841188 markings, 3696401 edges, 43696 markings/sec, 15 secs
lola: sara is running 20 secs || 1040757 markings, 4775736 edges, 39914 markings/sec, 20 secs
lola: sara is running 25 secs || 1219336 markings, 5879776 edges, 35716 markings/sec, 25 secs
lola: sara is running 30 secs || 1417307 markings, 6997010 edges, 39594 markings/sec, 30 secs
lola: sara is running 35 secs || 1616270 markings, 8207695 edges, 39793 markings/sec, 35 secs
lola: sara is running 40 secs || 1812250 markings, 9450690 edges, 39196 markings/sec, 40 secs
lola: sara is running 45 secs || 2003678 markings, 10636731 edges, 38286 markings/sec, 45 secs
lola: sara is running 50 secs || 2188458 markings, 11835188 edges, 36956 markings/sec, 50 secs
lola: sara is running 55 secs || 2376888 markings, 12936847 edges, 37686 markings/sec, 55 secs
lola: sara is running 60 secs || 2549420 markings, 14111159 edges, 34506 markings/sec, 60 secs
lola: sara is running 65 secs || 2713959 markings, 15354632 edges, 32908 markings/sec, 65 secs
lola: sara is running 70 secs || 2878163 markings, 16599865 edges, 32841 markings/sec, 70 secs
lola: sara is running 75 secs || 3048708 markings, 17777000 edges, 34109 markings/sec, 75 secs
lola: sara is running 80 secs || 3218283 markings, 18984524 edges, 33915 markings/sec, 80 secs
lola: sara is running 85 secs || 3391556 markings, 20078104 edges, 34655 markings/sec, 85 secs
lola: sara is running 90 secs || 3555215 markings, 21282036 edges, 32732 markings/sec, 90 secs
lola: sara is running 95 secs || 3718303 markings, 22438088 edges, 32618 markings/sec, 95 secs
lola: sara is running 100 secs || 3896756 markings, 23494532 edges, 35691 markings/sec, 100 secs
lola: sara is running 105 secs || 4083420 markings, 24622352 edges, 37333 markings/sec, 105 secs
lola: sara is running 110 secs || 4247829 markings, 25806391 edges, 32882 markings/sec, 110 secs
lola: sara is running 115 secs || 4412650 markings, 26993034 edges, 32964 markings/sec, 115 secs
lola: sara is running 120 secs || 4606123 markings, 28210917 edges, 38695 markings/sec, 120 secs
lola: sara is running 125 secs || 4799720 markings, 29374870 edges, 38719 markings/sec, 125 secs
lola: sara is running 130 secs || 4966568 markings, 30515079 edges, 33370 markings/sec, 130 secs
lola: sara is running 135 secs || 5126390 markings, 31642444 edges, 31964 markings/sec, 135 secs
lola: sara is running 140 secs || 5292896 markings, 32807171 edges, 33301 markings/sec, 140 secs
lola: sara is running 145 secs || 5454716 markings, 34051978 edges, 32364 markings/sec, 145 secs
lola: sara is running 150 secs || 5627830 markings, 35331116 edges, 34623 markings/sec, 150 secs
lola: sara is running 155 secs || 5809302 markings, 36575881 edges, 36294 markings/sec, 155 secs
lola: sara is running 160 secs || 5968195 markings, 37813414 edges, 31779 markings/sec, 160 secs
lola: sara is running 165 secs || 6122481 markings, 39128862 edges, 30857 markings/sec, 165 secs
lola: sara is running 170 secs || 6291947 markings, 40472722 edges, 33893 markings/sec, 170 secs
lola: sara is running 175 secs || 6472859 markings, 41753966 edges, 36182 markings/sec, 175 secs
lola: sara is running 180 secs || 6644932 markings, 43057932 edges, 34415 markings/sec, 180 secs
lola: sara is running 185 secs || 6810289 markings, 44398826 edges, 33071 markings/sec, 185 secs
lola: sara is running 190 secs || 6994779 markings, 45572530 edges, 36898 markings/sec, 190 secs
lola: sara is running 195 secs || 7167227 markings, 46821384 edges, 34490 markings/sec, 195 secs
lola: sara is running 200 secs || 7330832 markings, 48123443 edges, 32721 markings/sec, 200 secs
lola: sara is running 205 secs || 7484609 markings, 49468626 edges, 30755 markings/sec, 205 secs
lola: sara is running 210 secs || 7658192 markings, 50679158 edges, 34717 markings/sec, 210 secs
lola: sara is running 215 secs || 7837460 markings, 51875725 edges, 35854 markings/sec, 215 secs
lola: sara is running 220 secs || 8017501 markings, 53120300 edges, 36008 markings/sec, 220 secs
lola: sara is running 225 secs || 8179161 markings, 54398397 edges, 32332 markings/sec, 225 secs
lola: sara is running 230 secs || 8342103 markings, 55667469 edges, 32588 markings/sec, 230 secs
lola: sara is running 235 secs || 8504716 markings, 56928722 edges, 32523 markings/sec, 235 secs
lola: sara is running 240 secs || 8664788 markings, 58224717 edges, 32014 markings/sec, 240 secs
lola: sara is running 245 secs || 8817356 markings, 59572910 edges, 30514 markings/sec, 245 secs
lola: sara is running 250 secs || 8975675 markings, 60929382 edges, 31664 markings/sec, 250 secs
lola: sara is running 255 secs || 9134782 markings, 62268471 edges, 31821 markings/sec, 255 secs
lola: sara is running 260 secs || 9283349 markings, 63640508 edges, 29713 markings/sec, 260 secs
lola: sara is running 265 secs || 9444739 markings, 64974594 edges, 32278 markings/sec, 265 secs
lola: sara is running 270 secs || 9621759 markings, 66243516 edges, 35404 markings/sec, 270 secs
lola: sara is running 275 secs || 9785556 markings, 67535462 edges, 32759 markings/sec, 275 secs
lola: sara is running 280 secs || 9948225 markings, 68840379 edges, 32534 markings/sec, 280 secs
lola: sara is running 285 secs || 10117983 markings, 70089959 edges, 33952 markings/sec, 285 secs
lola: sara is running 290 secs || 10287681 markings, 71284709 edges, 33940 markings/sec, 290 secs
lola: sara is running 295 secs || 10447963 markings, 72591973 edges, 32056 markings/sec, 295 secs
lola: sara is running 300 secs || 10606835 markings, 73871079 edges, 31774 markings/sec, 300 secs
lola: sara is running 305 secs || 10756061 markings, 75212926 edges, 29845 markings/sec, 305 secs
lola: sara is running 310 secs || 10922164 markings, 76433734 edges, 33221 markings/sec, 310 secs
lola: sara is running 315 secs || 11097985 markings, 77712247 edges, 35164 markings/sec, 315 secs
lola: sara is running 320 secs || 11268515 markings, 78931947 edges, 34106 markings/sec, 320 secs
lola: sara is running 325 secs || 11435266 markings, 80199389 edges, 33350 markings/sec, 325 secs
lola: sara is running 330 secs || 11597064 markings, 81516978 edges, 32360 markings/sec, 330 secs
lola: sara is running 335 secs || 11753365 markings, 82842846 edges, 31260 markings/sec, 335 secs
lola: sara is running 340 secs || 11905702 markings, 84143607 edges, 30467 markings/sec, 340 secs
lola: sara is running 345 secs || 12058664 markings, 85373198 edges, 30592 markings/sec, 345 secs
lola: sara is running 350 secs || 12210211 markings, 86679925 edges, 30309 markings/sec, 350 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 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A2) AND (2 <= A26) AND (A24 <= 2) AND ((B24 + 1 <= A1) OR ((A23 <= A5) AND (B19 <= A15))))))
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 172 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-9.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 230429 markings, 759379 edges, 46086 markings/sec, 0 secs
lola: sara is running 5 secs || 456846 markings, 1559733 edges, 45283 markings/sec, 5 secs
lola: sara is running 10 secs || 682206 markings, 2289816 edges, 45072 markings/sec, 10 secs
lola: sara is running 15 secs || 908360 markings, 3059873 edges, 45231 markings/sec, 15 secs
lola: sara is running 20 secs || 1130562 markings, 3865447 edges, 44440 markings/sec, 20 secs
lola: sara is running 25 secs || 1349962 markings, 4611644 edges, 43880 markings/sec, 25 secs
lola: sara is running 30 secs || 1578206 markings, 5369445 edges, 45649 markings/sec, 30 secs
lola: sara is running 35 secs || 1802013 markings, 6148500 edges, 44761 markings/sec, 35 secs
lola: sara is running 40 secs || 2022474 markings, 6915974 edges, 44092 markings/sec, 40 secs
lola: sara is running 45 secs || 2246161 markings, 7707860 edges, 44737 markings/sec, 45 secs
lola: sara is running 50 secs || 2465074 markings, 8525185 edges, 43783 markings/sec, 50 secs
lola: sara is running 55 secs || 2682443 markings, 9312857 edges, 43474 markings/sec, 55 secs
lola: sara is running 60 secs || 2904599 markings, 10076717 edges, 44431 markings/sec, 60 secs
lola: sara is running 65 secs || 3127526 markings, 10839991 edges, 44585 markings/sec, 65 secs
lola: sara is running 70 secs || 3350536 markings, 11600254 edges, 44602 markings/sec, 70 secs
lola: sara is running 75 secs || 3571316 markings, 12365864 edges, 44156 markings/sec, 75 secs
lola: sara is running 80 secs || 3791876 markings, 13145127 edges, 44112 markings/sec, 80 secs
lola: sara is running 85 secs || 4010135 markings, 13967058 edges, 43652 markings/sec, 85 secs
lola: sara is running 90 secs || 4224794 markings, 14694895 edges, 42932 markings/sec, 90 secs
lola: sara is running 95 secs || 4448336 markings, 15468249 edges, 44708 markings/sec, 95 secs
lola: sara is running 100 secs || 4667683 markings, 16248353 edges, 43869 markings/sec, 100 secs
lola: sara is running 105 secs || 4883876 markings, 17035515 edges, 43239 markings/sec, 105 secs
lola: sara is running 110 secs || 5102374 markings, 17828884 edges, 43700 markings/sec, 110 secs
lola: sara is running 115 secs || 5316876 markings, 18636695 edges, 42900 markings/sec, 115 secs
lola: sara is running 120 secs || 5532707 markings, 19487214 edges, 43166 markings/sec, 120 secs
lola: sara is running 125 secs || 5741613 markings, 20266772 edges, 41781 markings/sec, 125 secs
lola: sara is running 130 secs || 5929833 markings, 21064477 edges, 37644 markings/sec, 130 secs
lola: sara is running 135 secs || 6130354 markings, 21845509 edges, 40104 markings/sec, 135 secs
lola: sara is running 140 secs || 6349970 markings, 22647377 edges, 43923 markings/sec, 140 secs
lola: sara is running 145 secs || 6569535 markings, 23442808 edges, 43913 markings/sec, 145 secs
lola: sara is running 150 secs || 6785975 markings, 24240561 edges, 43288 markings/sec, 150 secs
lola: sara is running 155 secs || 7004618 markings, 25039077 edges, 43729 markings/sec, 155 secs
lola: sara is running 160 secs || 7220157 markings, 25865752 edges, 43108 markings/sec, 160 secs
lola: sara is running 165 secs || 7431409 markings, 26691964 edges, 42250 markings/sec, 165 secs
lola: sara is running 170 secs || 7646974 markings, 27515117 edges, 43113 markings/sec, 170 secs
lola: sara is running 175 secs || 7864738 markings, 28315759 edges, 43553 markings/sec, 175 secs
lola: sara is running 180 secs || 8080866 markings, 29159424 edges, 43226 markings/sec, 180 secs
lola: sara is running 185 secs || 8292991 markings, 29934629 edges, 42425 markings/sec, 185 secs
lola: sara is running 190 secs || 8509497 markings, 30763050 edges, 43301 markings/sec, 190 secs
lola: sara is running 195 secs || 8721305 markings, 31596829 edges, 42362 markings/sec, 195 secs
lola: sara is running 200 secs || 8933190 markings, 32445216 edges, 42377 markings/sec, 200 secs
lola: sara is running 205 secs || 9139026 markings, 33261290 edges, 41167 markings/sec, 205 secs
lola: sara is running 210 secs || 9360736 markings, 34060210 edges, 44342 markings/sec, 210 secs
lola: sara is running 215 secs || 9577200 markings, 34876127 edges, 43293 markings/sec, 215 secs
lola: sara is running 220 secs || 9791829 markings, 35701739 edges, 42926 markings/sec, 220 secs
lola: sara is running 225 secs || 10007376 markings, 36543504 edges, 43109 markings/sec, 225 secs
lola: sara is running 230 secs || 10222284 markings, 37345026 edges, 42982 markings/sec, 230 secs
lola: sara is running 235 secs || 10434100 markings, 38191484 edges, 42363 markings/sec, 235 secs
lola: sara is running 240 secs || 10642052 markings, 39027124 edges, 41590 markings/sec, 240 secs
lola: sara is running 245 secs || 10854802 markings, 39866764 edges, 42550 markings/sec, 245 secs
lola: sara is running 250 secs || 11066650 markings, 40730755 edges, 42370 markings/sec, 250 secs
lola: sara is running 255 secs || 11278670 markings, 41574099 edges, 42404 markings/sec, 255 secs
lola: sara is running 260 secs || 11486027 markings, 42431153 edges, 41471 markings/sec, 260 secs
lola: sara is running 265 secs || 11701851 markings, 43212075 edges, 43165 markings/sec, 265 secs
lola: sara is running 270 secs || 11905661 markings, 43982204 edges, 40762 markings/sec, 270 secs
lola: sara is running 275 secs || 12111012 markings, 44826782 edges, 41070 markings/sec, 275 secs
lola: sara is running 280 secs || 12322743 markings, 45723464 edges, 42346 markings/sec, 280 secs
lola: sara is running 285 secs || 12551333 markings, 46483253 edges, 45718 markings/sec, 285 secs
lola: sara is running 290 secs || 12777132 markings, 47265102 edges, 45160 markings/sec, 290 secs
lola: sara is running 295 secs || 12999259 markings, 48022638 edges, 44425 markings/sec, 295 secs
lola: sara is running 300 secs || 13216033 markings, 48833179 edges, 43355 markings/sec, 300 secs
lola: sara is running 305 secs || 13433221 markings, 49643123 edges, 43438 markings/sec, 305 secs
lola: sara is running 310 secs || 13652469 markings, 50456848 edges, 43850 markings/sec, 310 secs
lola: sara is running 315 secs || 13867195 markings, 51229972 edges, 42945 markings/sec, 315 secs
lola: sara is running 320 secs || 14090907 markings, 52003812 edges, 44742 markings/sec, 320 secs
lola: sara is running 325 secs || 14306280 markings, 52824445 edges, 43075 markings/sec, 325 secs
lola: sara is running 330 secs || 14522215 markings, 53629563 edges, 43187 markings/sec, 330 secs
lola: sara is running 335 secs || 14739339 markings, 54443637 edges, 43425 markings/sec, 335 secs
lola: sara is running 340 secs || 14951502 markings, 55289779 edges, 42433 markings/sec, 340 secs
lola: sara is running 345 secs || 15165067 markings, 56088114 edges, 42713 markings/sec, 345 secs
lola: sara is running 350 secs || 15372697 markings, 56939362 edges, 41526 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 358 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((3 <= A26) OR (3 <= A11) OR (A18 <= 1) OR (A9 <= A8))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 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-17redondantChoiceL-ReachabilityCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-10.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 241006 markings, 969304 edges, 48201 markings/sec, 0 secs
lola: sara is running 5 secs || 457027 markings, 1939050 edges, 43204 markings/sec, 5 secs
lola: sara is running 10 secs || 662793 markings, 2928074 edges, 41153 markings/sec, 10 secs
lola: sara is running 15 secs || 874694 markings, 3868487 edges, 42380 markings/sec, 15 secs
lola: sara is running 20 secs || 1080590 markings, 4903946 edges, 41179 markings/sec, 20 secs
lola: sara is running 25 secs || 1277681 markings, 5975830 edges, 39418 markings/sec, 25 secs
lola: sara is running 30 secs || 1476831 markings, 6889612 edges, 39830 markings/sec, 30 secs
lola: sara is running 35 secs || 1694984 markings, 7780812 edges, 43631 markings/sec, 35 secs
lola: sara is running 40 secs || 1894701 markings, 8846092 edges, 39943 markings/sec, 40 secs
lola: sara is running 45 secs || 2087946 markings, 9983172 edges, 38649 markings/sec, 45 secs
lola: sara is running 50 secs || 2295173 markings, 10910914 edges, 41445 markings/sec, 50 secs
lola: sara is running 55 secs || 2490913 markings, 11984540 edges, 39148 markings/sec, 55 secs
lola: sara is running 60 secs || 2686651 markings, 13045103 edges, 39148 markings/sec, 60 secs
lola: sara is running 65 secs || 2862442 markings, 14154551 edges, 35158 markings/sec, 65 secs
lola: sara is running 70 secs || 3021887 markings, 15207135 edges, 31889 markings/sec, 70 secs
lola: sara is running 75 secs || 3180790 markings, 16259451 edges, 31781 markings/sec, 75 secs
lola: sara is running 80 secs || 3343242 markings, 17315804 edges, 32490 markings/sec, 80 secs
lola: sara is running 85 secs || 3524213 markings, 18384961 edges, 36194 markings/sec, 85 secs
lola: sara is running 90 secs || 3703288 markings, 19487862 edges, 35815 markings/sec, 90 secs
lola: sara is running 95 secs || 3871319 markings, 20606499 edges, 33606 markings/sec, 95 secs
lola: sara is running 100 secs || 4046668 markings, 21699817 edges, 35070 markings/sec, 100 secs
lola: sara is running 105 secs || 4222419 markings, 22794677 edges, 35150 markings/sec, 105 secs
lola: sara is running 110 secs || 4427788 markings, 23773344 edges, 41074 markings/sec, 110 secs
lola: sara is running 115 secs || 4657131 markings, 24806278 edges, 45869 markings/sec, 115 secs
lola: sara is running 120 secs || 4858764 markings, 25963608 edges, 40327 markings/sec, 120 secs
lola: sara is running 125 secs || 5013206 markings, 27163373 edges, 30888 markings/sec, 125 secs
lola: sara is running 130 secs || 5175057 markings, 28348345 edges, 32370 markings/sec, 130 secs
lola: sara is running 135 secs || 5332148 markings, 29523117 edges, 31418 markings/sec, 135 secs
lola: sara is running 140 secs || 5485865 markings, 30708998 edges, 30743 markings/sec, 140 secs
lola: sara is running 145 secs || 5642759 markings, 31905676 edges, 31379 markings/sec, 145 secs
lola: sara is running 150 secs || 5796491 markings, 33101305 edges, 30746 markings/sec, 150 secs
lola: sara is running 155 secs || 5952118 markings, 34285405 edges, 31125 markings/sec, 155 secs
lola: sara is running 160 secs || 6125525 markings, 35426102 edges, 34681 markings/sec, 160 secs
lola: sara is running 165 secs || 6286408 markings, 36592783 edges, 32177 markings/sec, 165 secs
lola: sara is running 170 secs || 6440548 markings, 37784644 edges, 30828 markings/sec, 170 secs
lola: sara is running 175 secs || 6640272 markings, 38685409 edges, 39945 markings/sec, 175 secs
lola: sara is running 180 secs || 6838450 markings, 39607045 edges, 39636 markings/sec, 180 secs
lola: sara is running 185 secs || 7035549 markings, 40544388 edges, 39420 markings/sec, 185 secs
lola: sara is running 190 secs || 7259803 markings, 41483858 edges, 44851 markings/sec, 190 secs
lola: sara is running 195 secs || 7470815 markings, 42321033 edges, 42202 markings/sec, 195 secs
lola: sara is running 200 secs || 7692729 markings, 43260131 edges, 44383 markings/sec, 200 secs
lola: sara is running 205 secs || 7902001 markings, 44235681 edges, 41854 markings/sec, 205 secs
lola: sara is running 210 secs || 8110819 markings, 45324413 edges, 41764 markings/sec, 210 secs
lola: sara is running 215 secs || 8315144 markings, 46390501 edges, 40865 markings/sec, 215 secs
lola: sara is running 220 secs || 8510257 markings, 47559814 edges, 39023 markings/sec, 220 secs
lola: sara is running 225 secs || 8705472 markings, 48513742 edges, 39043 markings/sec, 225 secs
lola: sara is running 230 secs || 8919022 markings, 49570793 edges, 42710 markings/sec, 230 secs
lola: sara is running 235 secs || 9110717 markings, 50728349 edges, 38339 markings/sec, 235 secs
lola: sara is running 240 secs || 9303236 markings, 51897161 edges, 38504 markings/sec, 240 secs
lola: sara is running 245 secs || 9489353 markings, 53125249 edges, 37223 markings/sec, 245 secs
lola: sara is running 250 secs || 9672771 markings, 54233308 edges, 36684 markings/sec, 250 secs
lola: sara is running 255 secs || 9869003 markings, 55315800 edges, 39246 markings/sec, 255 secs
lola: sara is running 260 secs || 10076627 markings, 56400468 edges, 41525 markings/sec, 260 secs
lola: sara is running 265 secs || 10263647 markings, 57622095 edges, 37404 markings/sec, 265 secs
lola: sara is running 270 secs || 10449099 markings, 58848181 edges, 37090 markings/sec, 270 secs
lola: sara is running 275 secs || 10635294 markings, 60068162 edges, 37239 markings/sec, 275 secs
lola: sara is running 280 secs || 10812274 markings, 61422604 edges, 35396 markings/sec, 280 secs
lola: sara is running 285 secs || 11010804 markings, 62326817 edges, 39706 markings/sec, 285 secs
lola: sara is running 290 secs || 11218468 markings, 63271581 edges, 41533 markings/sec, 290 secs
lola: sara is running 295 secs || 11430132 markings, 64156005 edges, 42333 markings/sec, 295 secs
lola: sara is running 300 secs || 11634742 markings, 65182161 edges, 40922 markings/sec, 300 secs
lola: sara is running 305 secs || 11833491 markings, 66310857 edges, 39750 markings/sec, 305 secs
lola: sara is running 310 secs || 12035831 markings, 67316256 edges, 40468 markings/sec, 310 secs
lola: sara is running 315 secs || 12222349 markings, 68466368 edges, 37304 markings/sec, 315 secs
lola: sara is running 320 secs || 12407964 markings, 69648691 edges, 37123 markings/sec, 320 secs
lola: sara is running 325 secs || 12603183 markings, 70740992 edges, 39044 markings/sec, 325 secs
lola: sara is running 330 secs || 12789916 markings, 71971019 edges, 37347 markings/sec, 330 secs
lola: sara is running 335 secs || 12971815 markings, 73209205 edges, 36380 markings/sec, 335 secs
lola: sara is running 340 secs || 13159907 markings, 74269295 edges, 37618 markings/sec, 340 secs
lola: sara is running 345 secs || 13371000 markings, 75209662 edges, 42219 markings/sec, 345 secs
lola: sara is running 350 secs || 13567695 markings, 76304791 edges, 39339 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 358 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((B19 <= A32) OR (2 <= A10) OR (3 <= A10) OR (3 <= A14) OR ((1 <= A21) AND (B20 <= A30)) OR (1 <= A5))))
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 172 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 12 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-11.sara
lola: ========================================
lola: subprocess 12 will run for 447 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((A31 <= A5) AND (2 <= B20) AND ((A2 <= A16) OR (A11 <= A33))) OR ((B18 <= 2) AND (A28 + 1 <= A18)))))
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 172 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-17redondantChoiceL-ReachabilityCardinality-12.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 13 will run for 596 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A28 <= A16) OR (2 <= A29) OR ((A20 <= A7) AND (A8 <= A26)) OR ((A17 <= 2) AND (A15 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 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 16 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-13.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-13.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 368899 markings, 841964 edges, 73780 markings/sec, 0 secs
lola: sara is running 5 secs || 704085 markings, 1857969 edges, 67037 markings/sec, 5 secs
lola: sara is running 10 secs || 1038605 markings, 2883287 edges, 66904 markings/sec, 10 secs
lola: sara is running 15 secs || 1370209 markings, 3877165 edges, 66321 markings/sec, 15 secs
lola: sara is running 20 secs || 1710095 markings, 4750863 edges, 67977 markings/sec, 20 secs
lola: sara is running 25 secs || 2040597 markings, 5757725 edges, 66100 markings/sec, 25 secs
lola: sara is running 30 secs || 2348675 markings, 6774906 edges, 61616 markings/sec, 30 secs
lola: sara is running 35 secs || 2659383 markings, 7766524 edges, 62142 markings/sec, 35 secs
lola: sara is running 40 secs || 2984174 markings, 8637003 edges, 64958 markings/sec, 40 secs
lola: sara is running 45 secs || 3297370 markings, 9682784 edges, 62639 markings/sec, 45 secs
lola: sara is running 50 secs || 3610800 markings, 10764970 edges, 62686 markings/sec, 50 secs
lola: sara is running 55 secs || 3914028 markings, 11845194 edges, 60646 markings/sec, 55 secs
lola: sara is running 60 secs || 4203758 markings, 12730243 edges, 57946 markings/sec, 60 secs
lola: sara is running 65 secs || 4486938 markings, 13754374 edges, 56636 markings/sec, 65 secs
lola: sara is running 70 secs || 4771338 markings, 14776947 edges, 56880 markings/sec, 70 secs
lola: sara is running 75 secs || 5049401 markings, 15885442 edges, 55613 markings/sec, 75 secs
lola: sara is running 80 secs || 5348120 markings, 16906130 edges, 59744 markings/sec, 80 secs
lola: sara is running 85 secs || 5629456 markings, 17908011 edges, 56267 markings/sec, 85 secs
lola: sara is running 90 secs || 5907049 markings, 18918871 edges, 55519 markings/sec, 90 secs
lola: sara is running 95 secs || 6180608 markings, 19955194 edges, 54712 markings/sec, 95 secs
lola: sara is running 100 secs || 6452889 markings, 20921496 edges, 54456 markings/sec, 100 secs
lola: sara is running 105 secs || 6719366 markings, 22029917 edges, 53295 markings/sec, 105 secs
lola: sara is running 110 secs || 6970613 markings, 23133602 edges, 50249 markings/sec, 110 secs
lola: sara is running 115 secs || 7280549 markings, 24051180 edges, 61987 markings/sec, 115 secs
lola: sara is running 120 secs || 7580778 markings, 25062972 edges, 60046 markings/sec, 120 secs
lola: sara is running 125 secs || 7865643 markings, 26175246 edges, 56973 markings/sec, 125 secs
lola: sara is running 130 secs || 8165857 markings, 27120946 edges, 60043 markings/sec, 130 secs
lola: sara is running 135 secs || 8445624 markings, 28179695 edges, 55953 markings/sec, 135 secs
lola: sara is running 140 secs || 8715243 markings, 29110995 edges, 53924 markings/sec, 140 secs
lola: sara is running 145 secs || 8986510 markings, 30141807 edges, 54253 markings/sec, 145 secs
lola: sara is running 150 secs || 9282779 markings, 31099563 edges, 59254 markings/sec, 150 secs
lola: sara is running 155 secs || 9581005 markings, 32095137 edges, 59645 markings/sec, 155 secs
lola: sara is running 160 secs || 9879699 markings, 33044952 edges, 59739 markings/sec, 160 secs
lola: sara is running 165 secs || 10182731 markings, 33982957 edges, 60606 markings/sec, 165 secs
lola: sara is running 170 secs || 10466451 markings, 35050830 edges, 56744 markings/sec, 170 secs
lola: sara is running 175 secs || 10747469 markings, 36152858 edges, 56204 markings/sec, 175 secs
lola: sara is running 180 secs || 11032975 markings, 37284507 edges, 57101 markings/sec, 180 secs
lola: sara is running 185 secs || 11311716 markings, 38390997 edges, 55748 markings/sec, 185 secs
lola: sara is running 190 secs || 11603125 markings, 39454822 edges, 58282 markings/sec, 190 secs
lola: sara is running 195 secs || 11876144 markings, 40666275 edges, 54604 markings/sec, 195 secs
lola: sara is running 200 secs || 12181530 markings, 41720527 edges, 61077 markings/sec, 200 secs
lola: sara is running 205 secs || 12529758 markings, 42597451 edges, 69646 markings/sec, 205 secs
lola: sara is running 210 secs || 12865366 markings, 43531745 edges, 67122 markings/sec, 210 secs
lola: sara is running 215 secs || 13193590 markings, 44519766 edges, 65645 markings/sec, 215 secs
lola: sara is running 220 secs || 13484424 markings, 45400866 edges, 58167 markings/sec, 220 secs
lola: sara is running 225 secs || 13778804 markings, 46373784 edges, 58876 markings/sec, 225 secs
lola: sara is running 230 secs || 14050809 markings, 47289409 edges, 54401 markings/sec, 230 secs
lola: sara is running 235 secs || 14331632 markings, 48270787 edges, 56165 markings/sec, 235 secs
lola: sara is running 240 secs || 14618315 markings, 49296600 edges, 57337 markings/sec, 240 secs
lola: sara is running 245 secs || 14907846 markings, 50311827 edges, 57906 markings/sec, 245 secs
lola: sara is running 250 secs || 15197220 markings, 51295348 edges, 57875 markings/sec, 250 secs
lola: sara is running 255 secs || 15469591 markings, 52197806 edges, 54474 markings/sec, 255 secs
lola: sara is running 260 secs || 15754086 markings, 53146133 edges, 56899 markings/sec, 260 secs
lola: sara is running 265 secs || 16028587 markings, 54178972 edges, 54900 markings/sec, 265 secs
lola: sara is running 270 secs || 16311053 markings, 55254997 edges, 56493 markings/sec, 270 secs
lola: sara is running 275 secs || 16589062 markings, 56248340 edges, 55602 markings/sec, 275 secs
lola: sara is running 280 secs || 16858831 markings, 57298660 edges, 53954 markings/sec, 280 secs
lola: sara is running 285 secs || 17153285 markings, 58259630 edges, 58891 markings/sec, 285 secs
lola: sara is running 290 secs || 17477349 markings, 59153415 edges, 64813 markings/sec, 290 secs
lola: sara is running 295 secs || 17760757 markings, 60053667 edges, 56682 markings/sec, 295 secs
lola: sara is running 300 secs || 18043299 markings, 61018254 edges, 56508 markings/sec, 300 secs
lola: sara is running 305 secs || 18334789 markings, 61947591 edges, 58298 markings/sec, 305 secs
lola: sara is running 310 secs || 18625809 markings, 62952936 edges, 58204 markings/sec, 310 secs
lola: sara is running 315 secs || 18917180 markings, 63805357 edges, 58274 markings/sec, 315 secs
lola: sara is running 320 secs || 19220925 markings, 64683054 edges, 60749 markings/sec, 320 secs
lola: sara is running 325 secs || 19499217 markings, 65665017 edges, 55658 markings/sec, 325 secs
lola: sara is running 330 secs || 19791381 markings, 66559360 edges, 58433 markings/sec, 330 secs
lola: sara is running 335 secs || 20030929 markings, 67401931 edges, 47910 markings/sec, 335 secs
lola: sara is running 340 secs || 20268807 markings, 68268264 edges, 47576 markings/sec, 340 secs
lola: sara is running 345 secs || 20509843 markings, 69149038 edges, 48207 markings/sec, 345 secs
lola: sara is running 350 secs || 20734852 markings, 70004303 edges, 45002 markings/sec, 350 secs
lola: sara is running 355 secs || 21093767 markings, 70813087 edges, 71783 markings/sec, 355 secs
lola: sara is running 360 secs || 21394906 markings, 71657133 edges, 60228 markings/sec, 360 secs
lola: sara is running 365 secs || 21672376 markings, 72585470 edges, 55494 markings/sec, 365 secs
lola: sara is running 370 secs || 21944717 markings, 73628492 edges, 54468 markings/sec, 370 secs
lola: sara is running 375 secs || 22207109 markings, 74693773 edges, 52478 markings/sec, 375 secs
lola: sara is running 380 secs || 22440714 markings, 75693274 edges, 46721 markings/sec, 380 secs
lola: sara is running 385 secs || 22680838 markings, 76692626 edges, 48025 markings/sec, 385 secs
lola: sara is running 390 secs || 22987079 markings, 77656324 edges, 61248 markings/sec, 390 secs
lola: sara is running 395 secs || 23257959 markings, 78661448 edges, 54176 markings/sec, 395 secs
lola: sara is running 400 secs || 23541429 markings, 79681254 edges, 56694 markings/sec, 400 secs
lola: sara is running 405 secs || 23808680 markings, 80763556 edges, 53450 markings/sec, 405 secs
lola: sara is running 410 secs || 24074376 markings, 81814242 edges, 53139 markings/sec, 410 secs
lola: sara is running 415 secs || 24310223 markings, 82801892 edges, 47169 markings/sec, 415 secs
lola: sara is running 420 secs || 24546243 markings, 83823290 edges, 47204 markings/sec, 420 secs
lola: sara is running 425 secs || 24846118 markings, 84793777 edges, 59975 markings/sec, 425 secs
lola: sara is running 430 secs || 25107359 markings, 85816625 edges, 52248 markings/sec, 430 secs
lola: sara is running 435 secs || 25374931 markings, 86946837 edges, 53514 markings/sec, 435 secs
lola: sara is running 440 secs || 25628213 markings, 88146237 edges, 50656 markings/sec, 440 secs
lola: sara is running 445 secs || 25866452 markings, 89276763 edges, 47648 markings/sec, 445 secs
lola: sara is running 450 secs || 26139895 markings, 90362692 edges, 54689 markings/sec, 450 secs
lola: sara is running 455 secs || 26419212 markings, 91426557 edges, 55863 markings/sec, 455 secs
lola: sara is running 460 secs || 26718639 markings, 92451365 edges, 59885 markings/sec, 460 secs
lola: sara is running 465 secs || 26986220 markings, 93496839 edges, 53516 markings/sec, 465 secs
lola: sara is running 470 secs || 27255412 markings, 94578828 edges, 53838 markings/sec, 470 secs
lola: sara is running 475 secs || 27533128 markings, 95660721 edges, 55543 markings/sec, 475 secs
lola: sara is running 480 secs || 27814267 markings, 96724304 edges, 56228 markings/sec, 480 secs
lola: sara is running 485 secs || 28102884 markings, 97723479 edges, 57723 markings/sec, 485 secs
lola: sara is running 490 secs || 28376539 markings, 98808374 edges, 54731 markings/sec, 490 secs
lola: sara is running 495 secs || 28642847 markings, 99847186 edges, 53262 markings/sec, 495 secs
lola: sara is running 500 secs || 28873085 markings, 100846727 edges, 46048 markings/sec, 500 secs
lola: sara is running 505 secs || 29104563 markings, 101863882 edges, 46296 markings/sec, 505 secs
lola: sara is running 510 secs || 29399155 markings, 102835165 edges, 58918 markings/sec, 510 secs
lola: sara is running 515 secs || 29660230 markings, 103856198 edges, 52215 markings/sec, 515 secs
lola: sara is running 520 secs || 29928936 markings, 105013382 edges, 53741 markings/sec, 520 secs
lola: sara is running 525 secs || 30176333 markings, 106174754 edges, 49479 markings/sec, 525 secs
lola: sara is running 530 secs || 30409986 markings, 107317968 edges, 46731 markings/sec, 530 secs
lola: sara is running 535 secs || 30684684 markings, 108424933 edges, 54940 markings/sec, 535 secs
lola: sara is running 540 secs || 30964293 markings, 109527380 edges, 55922 markings/sec, 540 secs
lola: sara is running 545 secs || 31229390 markings, 110736189 edges, 53019 markings/sec, 545 secs
lola: sara is running 550 secs || 31489462 markings, 111911742 edges, 52014 markings/sec, 550 secs
lola: sara is running 555 secs || 31725098 markings, 113043796 edges, 47127 markings/sec, 555 secs
lola: sara is running 560 secs || 31971425 markings, 114159984 edges, 49265 markings/sec, 560 secs
lola: sara is running 565 secs || 32231972 markings, 115284861 edges, 52109 markings/sec, 565 secs
lola: sara is running 570 secs || 32495823 markings, 116531270 edges, 52770 markings/sec, 570 secs
lola: sara is running 575 secs || 32745209 markings, 117824562 edges, 49877 markings/sec, 575 secs
lola: sara is running 580 secs || 32981435 markings, 119045220 edges, 47245 markings/sec, 580 secs
lola: sara is running 585 secs || 33234050 markings, 120220451 edges, 50523 markings/sec, 585 secs
lola: sara is running 590 secs || 33544274 markings, 121150645 edges, 62045 markings/sec, 590 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 597 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((3 <= A23) AND (B10 <= A23)) OR (A32 + 1 <= B23))))
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 172 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 813352 markings, 1578771 edges, 162670 markings/sec, 0 secs
lola: sara is running 5 secs || 1550597 markings, 3069690 edges, 147449 markings/sec, 5 secs
lola: sara is running 10 secs || 2072925 markings, 4320890 edges, 104466 markings/sec, 10 secs
lola: sara is running 15 secs || 2328341 markings, 5313904 edges, 51083 markings/sec, 15 secs
lola: sara is running 20 secs || 2567604 markings, 6411242 edges, 47853 markings/sec, 20 secs
lola: sara is running 25 secs || 2798587 markings, 7417483 edges, 46197 markings/sec, 25 secs
lola: sara is running 30 secs || 3018377 markings, 8427105 edges, 43958 markings/sec, 30 secs
lola: sara is running 35 secs || 3254531 markings, 9516527 edges, 47231 markings/sec, 35 secs
lola: sara is running 40 secs || 3484054 markings, 10631056 edges, 45905 markings/sec, 40 secs
lola: sara is running 45 secs || 3729587 markings, 11443212 edges, 49107 markings/sec, 45 secs
lola: sara is running 50 secs || 3954700 markings, 12376647 edges, 45023 markings/sec, 50 secs
lola: sara is running 55 secs || 4178848 markings, 13384026 edges, 44830 markings/sec, 55 secs
lola: sara is running 60 secs || 4397028 markings, 14514623 edges, 43636 markings/sec, 60 secs
lola: sara is running 65 secs || 4618021 markings, 15626948 edges, 44199 markings/sec, 65 secs
lola: sara is running 70 secs || 4837201 markings, 16808621 edges, 43836 markings/sec, 70 secs
lola: sara is running 75 secs || 5043786 markings, 18122124 edges, 41317 markings/sec, 75 secs
lola: sara is running 80 secs || 5248896 markings, 19561584 edges, 41022 markings/sec, 80 secs
lola: sara is running 85 secs || 5487847 markings, 20792239 edges, 47790 markings/sec, 85 secs
lola: sara is running 90 secs || 5712848 markings, 22011031 edges, 45000 markings/sec, 90 secs
lola: sara is running 95 secs || 5940071 markings, 23157640 edges, 45445 markings/sec, 95 secs
lola: sara is running 100 secs || 6155886 markings, 24329845 edges, 43163 markings/sec, 100 secs
lola: sara is running 105 secs || 6368649 markings, 25606318 edges, 42553 markings/sec, 105 secs
lola: sara is running 110 secs || 6576256 markings, 27054252 edges, 41521 markings/sec, 110 secs
lola: sara is running 115 secs || 6797769 markings, 28209342 edges, 44303 markings/sec, 115 secs
lola: sara is running 120 secs || 7014403 markings, 29414320 edges, 43327 markings/sec, 120 secs
lola: sara is running 125 secs || 7222476 markings, 30608041 edges, 41615 markings/sec, 125 secs
lola: sara is running 130 secs || 7425834 markings, 31615243 edges, 40672 markings/sec, 130 secs
lola: sara is running 135 secs || 7620027 markings, 32748234 edges, 38839 markings/sec, 135 secs
lola: sara is running 140 secs || 7815133 markings, 33952157 edges, 39021 markings/sec, 140 secs
lola: sara is running 145 secs || 7997902 markings, 35369060 edges, 36554 markings/sec, 145 secs
lola: sara is running 150 secs || 8201768 markings, 36622442 edges, 40773 markings/sec, 150 secs
lola: sara is running 155 secs || 8397887 markings, 37844275 edges, 39224 markings/sec, 155 secs
lola: sara is running 160 secs || 8623494 markings, 39225820 edges, 45121 markings/sec, 160 secs
lola: sara is running 165 secs || 8846310 markings, 40227877 edges, 44563 markings/sec, 165 secs
lola: sara is running 170 secs || 9045369 markings, 41318044 edges, 39812 markings/sec, 170 secs
lola: sara is running 175 secs || 9263174 markings, 42540426 edges, 43561 markings/sec, 175 secs
lola: sara is running 180 secs || 9451747 markings, 43749652 edges, 37715 markings/sec, 180 secs
lola: sara is running 185 secs || 9632142 markings, 44963626 edges, 36079 markings/sec, 185 secs
lola: sara is running 190 secs || 9884920 markings, 45965451 edges, 50556 markings/sec, 190 secs
lola: sara is running 195 secs || 10084535 markings, 47116524 edges, 39923 markings/sec, 195 secs
lola: sara is running 200 secs || 10315443 markings, 48306179 edges, 46182 markings/sec, 200 secs
lola: sara is running 205 secs || 10527132 markings, 49565231 edges, 42338 markings/sec, 205 secs
lola: sara is running 210 secs || 10738780 markings, 50808246 edges, 42330 markings/sec, 210 secs
lola: sara is running 215 secs || 10930571 markings, 52053469 edges, 38358 markings/sec, 215 secs
lola: sara is running 220 secs || 11179170 markings, 53104527 edges, 49720 markings/sec, 220 secs
lola: sara is running 225 secs || 11417052 markings, 54220796 edges, 47576 markings/sec, 225 secs
lola: sara is running 230 secs || 11661227 markings, 55379747 edges, 48835 markings/sec, 230 secs
lola: sara is running 235 secs || 11912603 markings, 56598023 edges, 50275 markings/sec, 235 secs
lola: sara is running 240 secs || 12111584 markings, 57919855 edges, 39796 markings/sec, 240 secs
lola: sara is running 245 secs || 12286443 markings, 59290561 edges, 34972 markings/sec, 245 secs
lola: sara is running 250 secs || 12517875 markings, 60537214 edges, 46286 markings/sec, 250 secs
lola: sara is running 255 secs || 12713263 markings, 61897524 edges, 39078 markings/sec, 255 secs
lola: sara is running 260 secs || 12891611 markings, 63299611 edges, 35670 markings/sec, 260 secs
lola: sara is running 265 secs || 13120552 markings, 64498026 edges, 45788 markings/sec, 265 secs
lola: sara is running 270 secs || 13404286 markings, 65657017 edges, 56747 markings/sec, 270 secs
lola: sara is running 275 secs || 13607840 markings, 66726724 edges, 40711 markings/sec, 275 secs
lola: sara is running 280 secs || 13793191 markings, 67703742 edges, 37070 markings/sec, 280 secs
lola: sara is running 285 secs || 13995580 markings, 68865734 edges, 40478 markings/sec, 285 secs
lola: sara is running 290 secs || 14178635 markings, 70041316 edges, 36611 markings/sec, 290 secs
lola: sara is running 295 secs || 14358832 markings, 71249646 edges, 36039 markings/sec, 295 secs
lola: sara is running 300 secs || 14612150 markings, 72240638 edges, 50664 markings/sec, 300 secs
lola: sara is running 305 secs || 14804878 markings, 73348482 edges, 38546 markings/sec, 305 secs
lola: sara is running 310 secs || 15030773 markings, 74506401 edges, 45179 markings/sec, 310 secs
lola: sara is running 315 secs || 15252402 markings, 75720546 edges, 44326 markings/sec, 315 secs
lola: sara is running 320 secs || 15442842 markings, 76912264 edges, 38088 markings/sec, 320 secs
lola: sara is running 325 secs || 15637393 markings, 78190580 edges, 38910 markings/sec, 325 secs
lola: sara is running 330 secs || 15847556 markings, 79384142 edges, 42033 markings/sec, 330 secs
lola: sara is running 335 secs || 16037536 markings, 80641334 edges, 37996 markings/sec, 335 secs
lola: sara is running 340 secs || 16207315 markings, 81946490 edges, 33956 markings/sec, 340 secs
lola: sara is running 345 secs || 16417395 markings, 83153406 edges, 42016 markings/sec, 345 secs
lola: sara is running 350 secs || 16619707 markings, 84435357 edges, 40462 markings/sec, 350 secs
lola: sara is running 355 secs || 16800826 markings, 85751058 edges, 36224 markings/sec, 355 secs
lola: sara is running 360 secs || 17027155 markings, 86901526 edges, 45266 markings/sec, 360 secs
lola: sara is running 365 secs || 17264198 markings, 87866582 edges, 47409 markings/sec, 365 secs
lola: sara is running 370 secs || 17485391 markings, 88960215 edges, 44239 markings/sec, 370 secs
lola: sara is running 375 secs || 17684283 markings, 90027674 edges, 39778 markings/sec, 375 secs
lola: sara is running 380 secs || 17874158 markings, 91162044 edges, 37975 markings/sec, 380 secs
lola: sara is running 385 secs || 18075073 markings, 92276862 edges, 40183 markings/sec, 385 secs
lola: sara is running 390 secs || 18302056 markings, 93430186 edges, 45397 markings/sec, 390 secs
lola: sara is running 395 secs || 18504263 markings, 94587367 edges, 40441 markings/sec, 395 secs
lola: sara is running 400 secs || 18702078 markings, 95824268 edges, 39563 markings/sec, 400 secs
lola: sara is running 405 secs || 18883619 markings, 96983049 edges, 36308 markings/sec, 405 secs
lola: sara is running 410 secs || 19086580 markings, 98207434 edges, 40592 markings/sec, 410 secs
lola: sara is running 415 secs || 19293944 markings, 99378980 edges, 41473 markings/sec, 415 secs
lola: sara is running 420 secs || 19482148 markings, 100520078 edges, 37641 markings/sec, 420 secs
lola: sara is running 425 secs || 19714873 markings, 101620860 edges, 46545 markings/sec, 425 secs
lola: sara is running 430 secs || 19937892 markings, 102796161 edges, 44604 markings/sec, 430 secs
lola: sara is running 435 secs || 20151234 markings, 104034611 edges, 42668 markings/sec, 435 secs
lola: sara is running 440 secs || 20338479 markings, 105274177 edges, 37449 markings/sec, 440 secs
lola: sara is running 445 secs || 20568668 markings, 106578484 edges, 46038 markings/sec, 445 secs
lola: sara is running 450 secs || 20768271 markings, 107763717 edges, 39921 markings/sec, 450 secs
lola: sara is running 455 secs || 21002110 markings, 108758724 edges, 46768 markings/sec, 455 secs
lola: sara is running 460 secs || 21199018 markings, 109855949 edges, 39382 markings/sec, 460 secs
lola: sara is running 465 secs || 21390712 markings, 110937292 edges, 38339 markings/sec, 465 secs
lola: sara is running 470 secs || 21593526 markings, 112091615 edges, 40563 markings/sec, 470 secs
lola: sara is running 475 secs || 21821164 markings, 113196972 edges, 45528 markings/sec, 475 secs
lola: sara is running 480 secs || 22061076 markings, 114238528 edges, 47982 markings/sec, 480 secs
lola: sara is running 485 secs || 22297788 markings, 115355504 edges, 47342 markings/sec, 485 secs
lola: sara is running 490 secs || 22533544 markings, 116568346 edges, 47151 markings/sec, 490 secs
lola: sara is running 495 secs || 22723988 markings, 117750825 edges, 38089 markings/sec, 495 secs
lola: sara is running 500 secs || 22903670 markings, 118897597 edges, 35936 markings/sec, 500 secs
lola: sara is running 505 secs || 23087657 markings, 120104255 edges, 36797 markings/sec, 505 secs
lola: sara is running 510 secs || 23281755 markings, 121249081 edges, 38820 markings/sec, 510 secs
lola: sara is running 515 secs || 23497876 markings, 122272695 edges, 43224 markings/sec, 515 secs
lola: sara is running 520 secs || 23692519 markings, 123296744 edges, 38929 markings/sec, 520 secs
lola: sara is running 525 secs || 23880424 markings, 124434506 edges, 37581 markings/sec, 525 secs
lola: sara is running 530 secs || 24052473 markings, 125496637 edges, 34410 markings/sec, 530 secs
lola: sara is running 535 secs || 24247970 markings, 126613255 edges, 39099 markings/sec, 535 secs
lola: sara is running 540 secs || 24443264 markings, 127795701 edges, 39059 markings/sec, 540 secs
lola: sara is running 545 secs || 24642017 markings, 128957873 edges, 39751 markings/sec, 545 secs
lola: sara is running 550 secs || 24817243 markings, 130152183 edges, 35045 markings/sec, 550 secs
lola: sara is running 555 secs || 24990736 markings, 131342063 edges, 34699 markings/sec, 555 secs
lola: sara is running 560 secs || 25165533 markings, 132441051 edges, 34959 markings/sec, 560 secs
lola: sara is running 565 secs || 25359488 markings, 133664796 edges, 38791 markings/sec, 565 secs
lola: sara is running 570 secs || 25522297 markings, 134891372 edges, 32562 markings/sec, 570 secs
lola: sara is running 575 secs || 25675599 markings, 136055305 edges, 30660 markings/sec, 575 secs
lola: sara is running 580 secs || 25890706 markings, 137147386 edges, 43021 markings/sec, 580 secs
lola: sara is running 585 secs || 26122672 markings, 138169677 edges, 46393 markings/sec, 585 secs
lola: sara is running 590 secs || 26360537 markings, 139191541 edges, 47573 markings/sec, 590 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 597 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= B19) AND ((B23 + 1 <= A22) OR (B10 + 1 <= A1)))))
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 172 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 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: ========================================
lola: RESULT
lola:
SUMMARY: no yes yes no no unknown no unknown unknown unknown unknown yes yes unknown unknown no
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-17redondantChoiceL"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-structural"
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-17redondantChoiceL.tgz
mv DNAwalker-PT-17redondantChoiceL 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-structural"
echo " Input is DNAwalker-PT-17redondantChoiceL, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649744200341"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;