About the Execution of M4M.full for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7401.430 | 3586590.00 | 7098440.00 | 9713.70 | FTTF?FTTFFTTF??? | 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 1.8M
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 15 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.6M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743200348
=====================================================================
--------------------
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-18lozangeBlock-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526788796931
BK_STOP 1526792383521
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-18lozangeBlock 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': 3540106, 'Memory': 4591.21, 'Tool': 'lola'}, {'Time': 3540194, 'Memory': 4601.52, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityCardinality lola DNAwalker-PT-18lozangeBlock...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-18lozangeBlock @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.task
lola: A (G (((1 <= B17) OR (A18 <= A83)))) : E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91)))) : E (F (((B25 <= A54) AND (2 <= A47) AND ((2 <= B17) OR (B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70))))) : A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64))))) : E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0)))) : A (G ((A74 <= B45))) : E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0)))) : E (F ((2 <= A76))) : A (G ((((A47 <= 0) AND (B65 <= 2)) OR (2 <= A1)))) : E (F (((A17 + 1 <= B79) AND (3 <= B62) AND (A98 <= B45)))) : E (F (((2 <= B12) OR ((B26 <= 0) AND (B24 + 1 <= A34))))) : A (G ((B83 <= 2))) : A (G ((A49 <= B12))) : E (F ((3 <= A33))) : A (G ((((A13 <= 2) AND (B85 <= 1)) OR (3 <= A77)))) : E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
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 (((1 <= B17) OR (A18 <= A83))))
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 656 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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91))))
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 656 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-18lozangeBlock-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((B25 <= A54) AND (2 <= A47) AND ((2 <= B17) OR (B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70)))))
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 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 24 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-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: 6 markings, 5 edges
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)lola:
========================================
lola: ========================================
lola: ...considering subproblem: A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64)))))
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 656 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 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3.sara
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0))))
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 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 214766 markings, 233703 edges, 42953 markings/sec, 0 secs
lola: sara is running 5 secs || 444967 markings, 488921 edges, 46040 markings/sec, 5 secs
lola: sara is running 10 secs || 673508 markings, 745099 edges, 45708 markings/sec, 10 secs
lola: sara is running 15 secs || 899548 markings, 1002214 edges, 45208 markings/sec, 15 secs
lola: sara is running 20 secs || 1128943 markings, 1257370 edges, 45879 markings/sec, 20 secs
lola: sara is running 25 secs || 1355115 markings, 1513931 edges, 45234 markings/sec, 25 secs
lola: sara is running 30 secs || 1582261 markings, 1770590 edges, 45429 markings/sec, 30 secs
lola: sara is running 35 secs || 1807282 markings, 2028328 edges, 45004 markings/sec, 35 secs
lola: sara is running 40 secs || 2031787 markings, 2285548 edges, 44901 markings/sec, 40 secs
lola: sara is running 45 secs || 2255541 markings, 2543244 edges, 44751 markings/sec, 45 secs
lola: sara is running 50 secs || 2475244 markings, 2803066 edges, 43941 markings/sec, 50 secs
lola: sara is running 55 secs || 2703727 markings, 3059719 edges, 45697 markings/sec, 55 secs
lola: sara is running 60 secs || 2931589 markings, 3315396 edges, 45572 markings/sec, 60 secs
lola: sara is running 65 secs || 3157677 markings, 3572440 edges, 45218 markings/sec, 65 secs
lola: sara is running 70 secs || 3383530 markings, 3829048 edges, 45171 markings/sec, 70 secs
lola: sara is running 75 secs || 3608658 markings, 4085981 edges, 45026 markings/sec, 75 secs
lola: sara is running 80 secs || 3831994 markings, 4344171 edges, 44667 markings/sec, 80 secs
lola: sara is running 85 secs || 4053376 markings, 4602763 edges, 44276 markings/sec, 85 secs
lola: sara is running 90 secs || 4276712 markings, 4861365 edges, 44667 markings/sec, 90 secs
lola: sara is running 95 secs || 4502273 markings, 5117956 edges, 45112 markings/sec, 95 secs
lola: sara is running 100 secs || 4727455 markings, 5374889 edges, 45036 markings/sec, 100 secs
lola: sara is running 105 secs || 4951198 markings, 5633482 edges, 44749 markings/sec, 105 secs
lola: sara is running 110 secs || 5171647 markings, 5891693 edges, 44090 markings/sec, 110 secs
lola: sara is running 115 secs || 5394949 markings, 6150666 edges, 44660 markings/sec, 115 secs
lola: sara is running 120 secs || 5618404 markings, 6407870 edges, 44691 markings/sec, 120 secs
lola: sara is running 125 secs || 5840229 markings, 6667040 edges, 44365 markings/sec, 125 secs
lola: sara is running 130 secs || 6061297 markings, 6927191 edges, 44214 markings/sec, 130 secs
lola: sara is running 135 secs || 6283058 markings, 7184938 edges, 44352 markings/sec, 135 secs
lola: sara is running 140 secs || 6502850 markings, 7445640 edges, 43958 markings/sec, 140 secs
lola: sara is running 145 secs || 6722467 markings, 7704463 edges, 43923 markings/sec, 145 secs
lola: sara is running 150 secs || 6941444 markings, 7965088 edges, 43795 markings/sec, 150 secs
lola: sara is running 155 secs || 7158735 markings, 8227005 edges, 43458 markings/sec, 155 secs
lola: sara is running 160 secs || 7372726 markings, 8491201 edges, 42798 markings/sec, 160 secs
lola: sara is running 165 secs || 7602167 markings, 8747030 edges, 45888 markings/sec, 165 secs
lola: sara is running 170 secs || 7829647 markings, 9003128 edges, 45496 markings/sec, 170 secs
lola: sara is running 175 secs || 8054917 markings, 9259102 edges, 45054 markings/sec, 175 secs
lola: sara is running 180 secs || 8280444 markings, 9515413 edges, 45105 markings/sec, 180 secs
lola: sara is running 185 secs || 8505485 markings, 9772117 edges, 45008 markings/sec, 185 secs
lola: sara is running 190 secs || 8728675 markings, 10030636 edges, 44638 markings/sec, 190 secs
lola: sara is running 195 secs || 8949492 markings, 10288237 edges, 44163 markings/sec, 195 secs
lola: sara is running 200 secs || 9173721 markings, 10547487 edges, 44846 markings/sec, 200 secs
lola: sara is running 205 secs || 9397921 markings, 10803595 edges, 44840 markings/sec, 205 secs
lola: sara is running 210 secs || 9622910 markings, 11059790 edges, 44998 markings/sec, 210 secs
lola: sara is running 215 secs || 9846256 markings, 11318028 edges, 44669 markings/sec, 215 secs
lola: sara is running 220 secs || 10066294 markings, 11576018 edges, 44008 markings/sec, 220 secs
lola: sara is running 225 secs || 10290002 markings, 11834816 edges, 44742 markings/sec, 225 secs
lola: sara is running 230 secs || 10513281 markings, 12092490 edges, 44656 markings/sec, 230 secs
lola: sara is running 235 secs || 10734388 markings, 12350658 edges, 44221 markings/sec, 235 secs
lola: sara is running 240 secs || 10955152 markings, 12610074 edges, 44153 markings/sec, 240 secs
lola: sara is running 245 secs || 11176574 markings, 12867943 edges, 44284 markings/sec, 245 secs
lola: sara is running 250 secs || 11395550 markings, 13127105 edges, 43795 markings/sec, 250 secs
lola: sara is running 255 secs || 11615036 markings, 13386532 edges, 43897 markings/sec, 255 secs
lola: sara is running 260 secs || 11833444 markings, 13646947 edges, 43682 markings/sec, 260 secs
lola: sara is running 265 secs || 12049039 markings, 13905845 edges, 43119 markings/sec, 265 secs
lola: sara is running 270 secs || 12262386 markings, 14170983 edges, 42669 markings/sec, 270 secs
lola: sara is running 275 secs || 12490042 markings, 14426205 edges, 45531 markings/sec, 275 secs
lola: sara is running 280 secs || 12714469 markings, 14683023 edges, 44885 markings/sec, 280 secs
lola: sara is running 285 secs || 12938050 markings, 14939534 edges, 44716 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A74 <= B45)))
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 656 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-18lozangeBlock-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0))))
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 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= A76)))
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 656 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-18lozangeBlock-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((A47 <= 0) AND (B65 <= 2)) OR (2 <= A1))))
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 656 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-18lozangeBlock-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A17 + 1 <= B79) AND (3 <= B62) AND (A98 <= B45))))
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 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9.sara
lola: ========================================
lola: subprocess 10 will run for 540 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= B12) OR ((B26 <= 0) AND (B24 + 1 <= A34)))))
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 656 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.sara
lola: ========================================
lola: subprocess 11 will run for 649 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((B83 <= 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 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11.sara
lola: ========================================
lola: subprocess 12 will run for 811 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A49 <= B12)))
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 656 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-18lozangeBlock-ReachabilityCardinality-12.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 13 will run for 1081 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= 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 656 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)
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12.sara.
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-18lozangeBlock-ReachabilityCardinality-13.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 237412 markings, 258838 edges, 47482 markings/sec, 0 secs
lola: sara is running 5 secs || 485248 markings, 534216 edges, 49567 markings/sec, 5 secs
lola: sara is running 10 secs || 732579 markings, 810516 edges, 49466 markings/sec, 10 secs
lola: sara is running 15 secs || 979368 markings, 1088174 edges, 49358 markings/sec, 15 secs
lola: sara is running 20 secs || 1227440 markings, 1364915 edges, 49614 markings/sec, 20 secs
lola: sara is running 25 secs || 1473462 markings, 1644300 edges, 49204 markings/sec, 25 secs
lola: sara is running 30 secs || 1720818 markings, 1922010 edges, 49471 markings/sec, 30 secs
lola: sara is running 35 secs || 1965980 markings, 2200455 edges, 49032 markings/sec, 35 secs
lola: sara is running 40 secs || 2210569 markings, 2480120 edges, 48918 markings/sec, 40 secs
lola: sara is running 45 secs || 2453950 markings, 2761737 edges, 48676 markings/sec, 45 secs
lola: sara is running 50 secs || 2700428 markings, 3044200 edges, 49296 markings/sec, 50 secs
lola: sara is running 55 secs || 2948429 markings, 3320911 edges, 49600 markings/sec, 55 secs
lola: sara is running 60 secs || 3195393 markings, 3601467 edges, 49393 markings/sec, 60 secs
lola: sara is running 65 secs || 3444512 markings, 3880677 edges, 49824 markings/sec, 65 secs
lola: sara is running 70 secs || 3692570 markings, 4162489 edges, 49612 markings/sec, 70 secs
lola: sara is running 75 secs || 3938984 markings, 4444291 edges, 49283 markings/sec, 75 secs
lola: sara is running 80 secs || 4184504 markings, 4728248 edges, 49104 markings/sec, 80 secs
lola: sara is running 85 secs || 4431619 markings, 5012836 edges, 49423 markings/sec, 85 secs
lola: sara is running 90 secs || 4680131 markings, 5294024 edges, 49702 markings/sec, 90 secs
lola: sara is running 95 secs || 4927928 markings, 5575527 edges, 49559 markings/sec, 95 secs
lola: sara is running 100 secs || 5174203 markings, 5857937 edges, 49255 markings/sec, 100 secs
lola: sara is running 105 secs || 5419320 markings, 6143076 edges, 49023 markings/sec, 105 secs
lola: sara is running 110 secs || 5667065 markings, 6426930 edges, 49549 markings/sec, 110 secs
lola: sara is running 115 secs || 5913462 markings, 6709848 edges, 49279 markings/sec, 115 secs
lola: sara is running 120 secs || 6158002 markings, 6992805 edges, 48908 markings/sec, 120 secs
lola: sara is running 125 secs || 6402324 markings, 7275969 edges, 48864 markings/sec, 125 secs
lola: sara is running 130 secs || 6645407 markings, 7557320 edges, 48617 markings/sec, 130 secs
lola: sara is running 135 secs || 6889052 markings, 7842233 edges, 48729 markings/sec, 135 secs
lola: sara is running 140 secs || 7132366 markings, 8127429 edges, 48663 markings/sec, 140 secs
lola: sara is running 145 secs || 7375299 markings, 8412734 edges, 48587 markings/sec, 145 secs
lola: sara is running 150 secs || 7617197 markings, 8700351 edges, 48380 markings/sec, 150 secs
lola: sara is running 155 secs || 7860176 markings, 8987901 edges, 48596 markings/sec, 155 secs
lola: sara is running 160 secs || 8108292 markings, 9263715 edges, 49623 markings/sec, 160 secs
lola: sara is running 165 secs || 8354252 markings, 9542454 edges, 49192 markings/sec, 165 secs
lola: sara is running 170 secs || 8601188 markings, 9819484 edges, 49387 markings/sec, 170 secs
lola: sara is running 175 secs || 8846461 markings, 10098528 edges, 49055 markings/sec, 175 secs
lola: sara is running 180 secs || 9090935 markings, 10377004 edges, 48895 markings/sec, 180 secs
lola: sara is running 185 secs || 9334396 markings, 10657581 edges, 48692 markings/sec, 185 secs
lola: sara is running 190 secs || 9578254 markings, 10941177 edges, 48772 markings/sec, 190 secs
lola: sara is running 195 secs || 9825107 markings, 11218765 edges, 49371 markings/sec, 195 secs
lola: sara is running 200 secs || 10070603 markings, 11497781 edges, 49099 markings/sec, 200 secs
lola: sara is running 205 secs || 10315024 markings, 11777580 edges, 48884 markings/sec, 205 secs
lola: sara is running 210 secs || 10557937 markings, 12058722 edges, 48583 markings/sec, 210 secs
lola: sara is running 215 secs || 10802585 markings, 12341239 edges, 48930 markings/sec, 215 secs
lola: sara is running 220 secs || 11047635 markings, 12621153 edges, 49010 markings/sec, 220 secs
lola: sara is running 225 secs || 11290990 markings, 12902246 edges, 48671 markings/sec, 225 secs
lola: sara is running 230 secs || 11534283 markings, 13185618 edges, 48659 markings/sec, 230 secs
lola: sara is running 235 secs || 11777510 markings, 13466069 edges, 48645 markings/sec, 235 secs
lola: sara is running 240 secs || 12019540 markings, 13749352 edges, 48406 markings/sec, 240 secs
lola: sara is running 245 secs || 12261050 markings, 14030951 edges, 48302 markings/sec, 245 secs
lola: sara is running 250 secs || 12502616 markings, 14314637 edges, 48313 markings/sec, 250 secs
lola: sara is running 255 secs || 12744072 markings, 14600947 edges, 48291 markings/sec, 255 secs
lola: sara is running 260 secs || 12983816 markings, 14890413 edges, 47949 markings/sec, 260 secs
lola: sara is running 265 secs || 13231100 markings, 15168062 edges, 49457 markings/sec, 265 secs
lola: sara is running 270 secs || 13476453 markings, 15447064 edges, 49071 markings/sec, 270 secs
lola: sara is running 275 secs || 13720756 markings, 15725668 edges, 48861 markings/sec, 275 secs
lola: sara is running 280 secs || 13964496 markings, 16006801 edges, 48748 markings/sec, 280 secs
lola: sara is running 285 secs || 14206752 markings, 16288806 edges, 48451 markings/sec, 285 secs
lola: sara is running 290 secs || 14451648 markings, 16567872 edges, 48979 markings/sec, 290 secs
lola: sara is running 295 secs || 14694536 markings, 16847538 edges, 48578 markings/sec, 295 secs
lola: sara is running 300 secs || 14936080 markings, 17130361 edges, 48309 markings/sec, 300 secs
lola: sara is running 305 secs || 15179576 markings, 17409492 edges, 48699 markings/sec, 305 secs
lola: sara is running 310 secs || 15420812 markings, 17692107 edges, 48247 markings/sec, 310 secs
lola: sara is running 315 secs || 15663400 markings, 17973283 edges, 48518 markings/sec, 315 secs
lola: sara is running 320 secs || 15904960 markings, 18257105 edges, 48312 markings/sec, 320 secs
lola: sara is running 325 secs || 16145640 markings, 18541953 edges, 48136 markings/sec, 325 secs
lola: sara is running 330 secs || 16385880 markings, 18829095 edges, 48048 markings/sec, 330 secs
lola: sara is running 335 secs || 16630168 markings, 19112162 edges, 48858 markings/sec, 335 secs
lola: sara is running 340 secs || 16872410 markings, 19389939 edges, 48448 markings/sec, 340 secs
lola: sara is running 345 secs || 17113728 markings, 19669222 edges, 48264 markings/sec, 345 secs
lola: sara is running 350 secs || 17355112 markings, 19949368 edges, 48277 markings/sec, 350 secs
lola: sara is running 355 secs || 17595905 markings, 20227988 edges, 48159 markings/sec, 355 secs
lola: sara is running 360 secs || 17836025 markings, 20508487 edges, 48024 markings/sec, 360 secs
lola: sara is running 365 secs || 18075612 markings, 20789613 edges, 47917 markings/sec, 365 secs
lola: sara is running 370 secs || 18314809 markings, 21070869 edges, 47839 markings/sec, 370 secs
lola: sara is running 375 secs || 18555652 markings, 21355869 edges, 48169 markings/sec, 375 secs
lola: sara is running 380 secs || 18796454 markings, 21645192 edges, 48160 markings/sec, 380 secs
lola: sara is running 385 secs || 19038596 markings, 21923183 edges, 48428 markings/sec, 385 secs
lola: sara is running 390 secs || 19277787 markings, 22204251 edges, 47838 markings/sec, 390 secs
lola: sara is running 395 secs || 19520399 markings, 22485216 edges, 48522 markings/sec, 395 secs
lola: sara is running 400 secs || 19761564 markings, 22768089 edges, 48233 markings/sec, 400 secs
lola: sara is running 405 secs || 20002155 markings, 23053575 edges, 48118 markings/sec, 405 secs
lola: sara is running 410 secs || 20241135 markings, 23338812 edges, 47796 markings/sec, 410 secs
lola: sara is running 415 secs || 20482720 markings, 23622955 edges, 48317 markings/sec, 415 secs
lola: sara is running 420 secs || 20721505 markings, 23903567 edges, 47757 markings/sec, 420 secs
lola: sara is running 425 secs || 20958730 markings, 24182935 edges, 47445 markings/sec, 425 secs
lola: sara is running 430 secs || 21194331 markings, 24464040 edges, 47120 markings/sec, 430 secs
lola: sara is running 435 secs || 21431096 markings, 24746771 edges, 47353 markings/sec, 435 secs
lola: sara is running 440 secs || 21668210 markings, 25026670 edges, 47423 markings/sec, 440 secs
lola: sara is running 445 secs || 21906399 markings, 25310996 edges, 47638 markings/sec, 445 secs
lola: sara is running 450 secs || 22144112 markings, 25595931 edges, 47543 markings/sec, 450 secs
lola: sara is running 455 secs || 22381901 markings, 25880867 edges, 47558 markings/sec, 455 secs
lola: sara is running 460 secs || 22619932 markings, 26167097 edges, 47606 markings/sec, 460 secs
lola: sara is running 465 secs || 22857026 markings, 26454190 edges, 47419 markings/sec, 465 secs
lola: sara is running 470 secs || 23093988 markings, 26742764 edges, 47392 markings/sec, 470 secs
lola: sara is running 475 secs || 23330103 markings, 27033896 edges, 47223 markings/sec, 475 secs
lola: sara is running 480 secs || 23575150 markings, 27315139 edges, 49009 markings/sec, 480 secs
lola: sara is running 485 secs || 23819548 markings, 27588137 edges, 48880 markings/sec, 485 secs
lola: sara is running 490 secs || 24062663 markings, 27863227 edges, 48623 markings/sec, 490 secs
lola: sara is running 495 secs || 24306045 markings, 28138451 edges, 48676 markings/sec, 495 secs
lola: sara is running 500 secs || 24548100 markings, 28413327 edges, 48411 markings/sec, 500 secs
lola: sara is running 505 secs || 24789073 markings, 28689996 edges, 48195 markings/sec, 505 secs
lola: sara is running 510 secs || 25029680 markings, 28968854 edges, 48121 markings/sec, 510 secs
lola: sara is running 515 secs || 25271787 markings, 29245297 edges, 48421 markings/sec, 515 secs
lola: sara is running 520 secs || 25515308 markings, 29522358 edges, 48704 markings/sec, 520 secs
lola: sara is running 525 secs || 25760828 markings, 29801854 edges, 49104 markings/sec, 525 secs
lola: sara is running 530 secs || 26006084 markings, 30082174 edges, 49051 markings/sec, 530 secs
lola: sara is running 535 secs || 26249025 markings, 30366302 edges, 48588 markings/sec, 535 secs
lola: sara is running 540 secs || 26495100 markings, 30646750 edges, 49215 markings/sec, 540 secs
lola: sara is running 545 secs || 26740356 markings, 30927964 edges, 49051 markings/sec, 545 secs
lola: sara is running 550 secs || 26983764 markings, 31211022 edges, 48682 markings/sec, 550 secs
lola: sara is running 555 secs || 27227920 markings, 31493480 edges, 48831 markings/sec, 555 secs
lola: sara is running 560 secs || 27469128 markings, 31773044 edges, 48242 markings/sec, 560 secs
lola: sara is running 565 secs || 27710468 markings, 32054561 edges, 48268 markings/sec, 565 secs
lola: sara is running 570 secs || 27951544 markings, 32337453 edges, 48215 markings/sec, 570 secs
lola: sara is running 575 secs || 28192352 markings, 32620835 edges, 48162 markings/sec, 575 secs
lola: sara is running 580 secs || 28433440 markings, 32907946 edges, 48218 markings/sec, 580 secs
lola: sara is running 585 secs || 28675142 markings, 33192276 edges, 48340 markings/sec, 585 secs
lola: sara is running 590 secs || 28922668 markings, 33472109 edges, 49505 markings/sec, 590 secs
lola: sara is running 595 secs || 29168848 markings, 33751692 edges, 49236 markings/sec, 595 secs
lola: sara is running 600 secs || 29412318 markings, 34031099 edges, 48694 markings/sec, 600 secs
lola: sara is running 605 secs || 29655004 markings, 34312536 edges, 48537 markings/sec, 605 secs
lola: sara is running 610 secs || 29899702 markings, 34593634 edges, 48940 markings/sec, 610 secs
lola: sara is running 615 secs || 30143536 markings, 34872924 edges, 48767 markings/sec, 615 secs
lola: sara is running 620 secs || 30386791 markings, 35154361 edges, 48651 markings/sec, 620 secs
lola: sara is running 625 secs || 30628495 markings, 35435156 edges, 48341 markings/sec, 625 secs
lola: sara is running 630 secs || 30869976 markings, 35714580 edges, 48296 markings/sec, 630 secs
lola: sara is running 635 secs || 31111492 markings, 35996669 edges, 48303 markings/sec, 635 secs
lola: sara is running 640 secs || 31351424 markings, 36277814 edges, 47986 markings/sec, 640 secs
lola: sara is running 645 secs || 31591708 markings, 36560643 edges, 48057 markings/sec, 645 secs
lola: sara is running 650 secs || 31832228 markings, 36845065 edges, 48104 markings/sec, 650 secs
lola: sara is running 655 secs || 32070164 markings, 37131123 edges, 47587 markings/sec, 655 secs
lola: sara is running 660 secs || 32313396 markings, 37408051 edges, 48646 markings/sec, 660 secs
lola: sara is running 665 secs || 32556760 markings, 37686685 edges, 48673 markings/sec, 665 secs
lola: sara is running 670 secs || 32793825 markings, 37964015 edges, 47413 markings/sec, 670 secs
lola: sara is running 675 secs || 33034380 markings, 38240593 edges, 48111 markings/sec, 675 secs
lola: sara is running 680 secs || 33276388 markings, 38522377 edges, 48402 markings/sec, 680 secs
lola: sara is running 685 secs || 33516136 markings, 38801698 edges, 47950 markings/sec, 685 secs
lola: sara is running 690 secs || 33754660 markings, 39081613 edges, 47705 markings/sec, 690 secs
lola: sara is running 695 secs || 33993263 markings, 39362685 edges, 47721 markings/sec, 695 secs
lola: sara is running 700 secs || 34231967 markings, 39647630 edges, 47741 markings/sec, 700 secs
lola: sara is running 705 secs || 34471014 markings, 39929773 edges, 47809 markings/sec, 705 secs
lola: sara is running 710 secs || 34709862 markings, 40205863 edges, 47770 markings/sec, 710 secs
lola: sara is running 715 secs || 34949717 markings, 40486321 edges, 47971 markings/sec, 715 secs
lola: sara is running 720 secs || 35189347 markings, 40766564 edges, 47926 markings/sec, 720 secs
lola: sara is running 725 secs || 35431065 markings, 41050922 edges, 48344 markings/sec, 725 secs
lola: sara is running 730 secs || 35672972 markings, 41337154 edges, 48381 markings/sec, 730 secs
lola: sara is running 735 secs || 35912778 markings, 41626639 edges, 47961 markings/sec, 735 secs
lola: sara is running 740 secs || 36155080 markings, 41907621 edges, 48460 markings/sec, 740 secs
lola: sara is running 745 secs || 36396728 markings, 42191737 edges, 48330 markings/sec, 745 secs
lola: sara is running 750 secs || 36636532 markings, 42475652 edges, 47961 markings/sec, 750 secs
lola: sara is running 755 secs || 36874144 markings, 42760644 edges, 47522 markings/sec, 755 secs
lola: sara is running 760 secs || 37114319 markings, 43044734 edges, 48035 markings/sec, 760 secs
lola: sara is running 765 secs || 37353490 markings, 43328226 edges, 47834 markings/sec, 765 secs
lola: sara is running 770 secs || 37589876 markings, 43613290 edges, 47277 markings/sec, 770 secs
lola: sara is running 775 secs || 37829808 markings, 43898006 edges, 47986 markings/sec, 775 secs
lola: sara is running 780 secs || 38066044 markings, 44184415 edges, 47247 markings/sec, 780 secs
lola: sara is running 785 secs || 38303554 markings, 44468155 edges, 47502 markings/sec, 785 secs
lola: sara is running 790 secs || 38541378 markings, 44756970 edges, 47565 markings/sec, 790 secs
lola: sara is running 795 secs || 38779504 markings, 45048510 edges, 47625 markings/sec, 795 secs
lola: sara is running 800 secs || 39017389 markings, 45339885 edges, 47577 markings/sec, 800 secs
lola: sara is running 805 secs || 39262113 markings, 45614682 edges, 48945 markings/sec, 805 secs
lola: sara is running 810 secs || 39504579 markings, 45890403 edges, 48493 markings/sec, 810 secs
lola: sara is running 815 secs || 39746932 markings, 46167406 edges, 48471 markings/sec, 815 secs
lola: sara is running 820 secs || 39988140 markings, 46446532 edges, 48242 markings/sec, 820 secs
lola: sara is running 825 secs || 40229710 markings, 46726135 edges, 48314 markings/sec, 825 secs
lola: sara is running 830 secs || 40471875 markings, 47002368 edges, 48433 markings/sec, 830 secs
lola: sara is running 835 secs || 40712490 markings, 47279998 edges, 48123 markings/sec, 835 secs
lola: sara is running 840 secs || 40952048 markings, 47559774 edges, 47912 markings/sec, 840 secs
lola: sara is running 845 secs || 41193035 markings, 47837210 edges, 48197 markings/sec, 845 secs
lola: sara is running 850 secs || 41432660 markings, 48117982 edges, 47925 markings/sec, 850 secs
lola: sara is running 855 secs || 41672416 markings, 48396043 edges, 47951 markings/sec, 855 secs
lola: sara is running 860 secs || 41912387 markings, 48678056 edges, 47994 markings/sec, 860 secs
lola: sara is running 865 secs || 42151046 markings, 48960791 edges, 47732 markings/sec, 865 secs
lola: sara is running 870 secs || 42388736 markings, 49245602 edges, 47538 markings/sec, 870 secs
lola: sara is running 875 secs || 42631214 markings, 49525039 edges, 48496 markings/sec, 875 secs
lola: sara is running 880 secs || 42872428 markings, 49802110 edges, 48243 markings/sec, 880 secs
lola: sara is running 885 secs || 43112880 markings, 50080541 edges, 48090 markings/sec, 885 secs
lola: sara is running 890 secs || 43353104 markings, 50358940 edges, 48045 markings/sec, 890 secs
lola: sara is running 895 secs || 43592884 markings, 50636388 edges, 47956 markings/sec, 895 secs
lola: sara is running 900 secs || 43831188 markings, 50915145 edges, 47661 markings/sec, 900 secs
lola: sara is running 905 secs || 44067864 markings, 51193044 edges, 47335 markings/sec, 905 secs
lola: sara is running 910 secs || 44305146 markings, 51471478 edges, 47456 markings/sec, 910 secs
lola: sara is running 915 secs || 44541695 markings, 51752023 edges, 47310 markings/sec, 915 secs
lola: sara is running 920 secs || 44779442 markings, 52037440 edges, 47549 markings/sec, 920 secs
lola: sara is running 925 secs || 45019628 markings, 52313103 edges, 48037 markings/sec, 925 secs
lola: sara is running 930 secs || 45257888 markings, 52592947 edges, 47652 markings/sec, 930 secs
lola: sara is running 935 secs || 45496983 markings, 52869636 edges, 47819 markings/sec, 935 secs
lola: sara is running 940 secs || 45734872 markings, 53149046 edges, 47578 markings/sec, 940 secs
lola: sara is running 945 secs || 45972232 markings, 53429839 edges, 47472 markings/sec, 945 secs
lola: sara is running 950 secs || 46209713 markings, 53713766 edges, 47496 markings/sec, 950 secs
lola: sara is running 955 secs || 46448880 markings, 53995624 edges, 47833 markings/sec, 955 secs
lola: sara is running 960 secs || 46686841 markings, 54274889 edges, 47592 markings/sec, 960 secs
lola: sara is running 965 secs || 46924461 markings, 54554665 edges, 47524 markings/sec, 965 secs
lola: sara is running 970 secs || 47161724 markings, 54837144 edges, 47453 markings/sec, 970 secs
lola: sara is running 975 secs || 47399236 markings, 55121744 edges, 47502 markings/sec, 975 secs
lola: sara is running 980 secs || 47637427 markings, 55402446 edges, 47638 markings/sec, 980 secs
lola: sara is running 985 secs || 47874563 markings, 55685515 edges, 47427 markings/sec, 985 secs
lola: sara is running 990 secs || 48110320 markings, 55968241 edges, 47151 markings/sec, 990 secs
lola: sara is running 995 secs || 48346439 markings, 56250327 edges, 47224 markings/sec, 995 secs
lola: sara is running 1000 secs || 48583184 markings, 56535780 edges, 47349 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48819255 markings, 56821602 edges, 47214 markings/sec, 1005 secs
lola: sara is running 1010 secs || 49055748 markings, 57108826 edges, 47299 markings/sec, 1010 secs
lola: sara is running 1015 secs || 49291428 markings, 57399028 edges, 47136 markings/sec, 1015 secs
lola: sara is running 1020 secs || 49531819 markings, 57681385 edges, 48078 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49773278 markings, 57958034 edges, 48292 markings/sec, 1025 secs
lola: sara is running 1030 secs || 50013964 markings, 58236534 edges, 48137 markings/sec, 1030 secs
lola: sara is running 1035 secs || 50255672 markings, 58517311 edges, 48342 markings/sec, 1035 secs
lola: sara is running 1040 secs || 50496957 markings, 58796497 edges, 48257 markings/sec, 1040 secs
lola: sara is running 1045 secs || 50736603 markings, 59076280 edges, 47929 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50974940 markings, 59355267 edges, 47667 markings/sec, 1050 secs
lola: sara is running 1055 secs || 51212559 markings, 59634715 edges, 47524 markings/sec, 1055 secs
lola: sara is running 1060 secs || 51448881 markings, 59914252 edges, 47264 markings/sec, 1060 secs
lola: sara is running 1065 secs || 51687470 markings, 60202607 edges, 47718 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51930260 markings, 60480599 edges, 48558 markings/sec, 1070 secs
lola: sara is running 1075 secs || 52170496 markings, 60761635 edges, 48047 markings/sec, 1075 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 1082 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((A13 <= 2) AND (B85 <= 1)) OR (3 <= A77))))
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 656 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-18lozangeBlock-ReachabilityCardinality-14.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 240501 markings, 269662 edges, 48100 markings/sec, 0 secs
lola: sara is running 5 secs || 491787 markings, 555777 edges, 50257 markings/sec, 5 secs
lola: sara is running 10 secs || 740170 markings, 844124 edges, 49677 markings/sec, 10 secs
lola: sara is running 15 secs || 987311 markings, 1126410 edges, 49428 markings/sec, 15 secs
lola: sara is running 20 secs || 1234821 markings, 1414587 edges, 49502 markings/sec, 20 secs
lola: sara is running 25 secs || 1481351 markings, 1702649 edges, 49306 markings/sec, 25 secs
lola: sara is running 30 secs || 1726014 markings, 1989567 edges, 48933 markings/sec, 30 secs
lola: sara is running 35 secs || 1969230 markings, 2280425 edges, 48643 markings/sec, 35 secs
lola: sara is running 40 secs || 2215577 markings, 2569291 edges, 49269 markings/sec, 40 secs
lola: sara is running 45 secs || 2462327 markings, 2853747 edges, 49350 markings/sec, 45 secs
lola: sara is running 50 secs || 2709464 markings, 3140551 edges, 49427 markings/sec, 50 secs
lola: sara is running 55 secs || 2955677 markings, 3428771 edges, 49243 markings/sec, 55 secs
lola: sara is running 60 secs || 3199681 markings, 3717651 edges, 48801 markings/sec, 60 secs
lola: sara is running 65 secs || 3442061 markings, 4011491 edges, 48476 markings/sec, 65 secs
lola: sara is running 70 secs || 3688621 markings, 4296128 edges, 49312 markings/sec, 70 secs
lola: sara is running 75 secs || 3932189 markings, 4582077 edges, 48714 markings/sec, 75 secs
lola: sara is running 80 secs || 4174395 markings, 4869421 edges, 48441 markings/sec, 80 secs
lola: sara is running 85 secs || 4415259 markings, 5159381 edges, 48173 markings/sec, 85 secs
lola: sara is running 90 secs || 4658523 markings, 5445376 edges, 48653 markings/sec, 90 secs
lola: sara is running 95 secs || 4899351 markings, 5734280 edges, 48166 markings/sec, 95 secs
lola: sara is running 100 secs || 5139511 markings, 6022085 edges, 48032 markings/sec, 100 secs
lola: sara is running 105 secs || 5376191 markings, 6308708 edges, 47336 markings/sec, 105 secs
lola: sara is running 110 secs || 5612645 markings, 6593503 edges, 47291 markings/sec, 110 secs
lola: sara is running 115 secs || 5849426 markings, 6883370 edges, 47356 markings/sec, 115 secs
lola: sara is running 120 secs || 6084066 markings, 7173145 edges, 46928 markings/sec, 120 secs
lola: sara is running 125 secs || 6322390 markings, 7459130 edges, 47665 markings/sec, 125 secs
lola: sara is running 130 secs || 6566401 markings, 7740130 edges, 48802 markings/sec, 130 secs
lola: sara is running 135 secs || 6810701 markings, 8023877 edges, 48860 markings/sec, 135 secs
lola: sara is running 140 secs || 7055313 markings, 8309990 edges, 48922 markings/sec, 140 secs
lola: sara is running 145 secs || 7298800 markings, 8597683 edges, 48697 markings/sec, 145 secs
lola: sara is running 150 secs || 7537834 markings, 8885117 edges, 47807 markings/sec, 150 secs
lola: sara is running 155 secs || 7780271 markings, 9167862 edges, 48487 markings/sec, 155 secs
lola: sara is running 160 secs || 8020301 markings, 9449110 edges, 48006 markings/sec, 160 secs
lola: sara is running 165 secs || 8258666 markings, 9731535 edges, 47673 markings/sec, 165 secs
lola: sara is running 170 secs || 8496196 markings, 10019870 edges, 47506 markings/sec, 170 secs
lola: sara is running 175 secs || 8737873 markings, 10302605 edges, 48335 markings/sec, 175 secs
lola: sara is running 180 secs || 8977726 markings, 10588079 edges, 47971 markings/sec, 180 secs
lola: sara is running 185 secs || 9216601 markings, 10875582 edges, 47775 markings/sec, 185 secs
lola: sara is running 190 secs || 9455705 markings, 11162677 edges, 47821 markings/sec, 190 secs
lola: sara is running 195 secs || 9693894 markings, 11450480 edges, 47638 markings/sec, 195 secs
lola: sara is running 200 secs || 9930361 markings, 11738865 edges, 47293 markings/sec, 200 secs
lola: sara is running 205 secs || 10167582 markings, 12031740 edges, 47444 markings/sec, 205 secs
lola: sara is running 210 secs || 10404501 markings, 12322671 edges, 47384 markings/sec, 210 secs
lola: sara is running 215 secs || 10645033 markings, 12604217 edges, 48106 markings/sec, 215 secs
lola: sara is running 220 secs || 10887069 markings, 12887342 edges, 48407 markings/sec, 220 secs
lola: sara is running 225 secs || 11126341 markings, 13172403 edges, 47854 markings/sec, 225 secs
lola: sara is running 230 secs || 11366581 markings, 13459633 edges, 48048 markings/sec, 230 secs
lola: sara is running 235 secs || 11605211 markings, 13742002 edges, 47726 markings/sec, 235 secs
lola: sara is running 240 secs || 11840949 markings, 14025999 edges, 47148 markings/sec, 240 secs
lola: sara is running 245 secs || 12080000 markings, 14310803 edges, 47810 markings/sec, 245 secs
lola: sara is running 250 secs || 12315987 markings, 14596831 edges, 47197 markings/sec, 250 secs
lola: sara is running 255 secs || 12552346 markings, 14884044 edges, 47272 markings/sec, 255 secs
lola: sara is running 260 secs || 12788876 markings, 15172023 edges, 47306 markings/sec, 260 secs
lola: sara is running 265 secs || 13023554 markings, 15464265 edges, 46936 markings/sec, 265 secs
lola: sara is running 270 secs || 13262072 markings, 15750226 edges, 47704 markings/sec, 270 secs
lola: sara is running 275 secs || 13501131 markings, 16033661 edges, 47812 markings/sec, 275 secs
lola: sara is running 280 secs || 13738111 markings, 16320388 edges, 47396 markings/sec, 280 secs
lola: sara is running 285 secs || 13977091 markings, 16604838 edges, 47796 markings/sec, 285 secs
lola: sara is running 290 secs || 14214531 markings, 16892514 edges, 47488 markings/sec, 290 secs
lola: sara is running 295 secs || 14450545 markings, 17179414 edges, 47203 markings/sec, 295 secs
lola: sara is running 300 secs || 14684919 markings, 17467646 edges, 46875 markings/sec, 300 secs
lola: sara is running 305 secs || 14918101 markings, 17759806 edges, 46636 markings/sec, 305 secs
lola: sara is running 310 secs || 15156801 markings, 18044326 edges, 47740 markings/sec, 310 secs
lola: sara is running 315 secs || 15393716 markings, 18330681 edges, 47383 markings/sec, 315 secs
lola: sara is running 320 secs || 15629146 markings, 18616861 edges, 47086 markings/sec, 320 secs
lola: sara is running 325 secs || 15863661 markings, 18902978 edges, 46903 markings/sec, 325 secs
lola: sara is running 330 secs || 16096530 markings, 19193048 edges, 46574 markings/sec, 330 secs
lola: sara is running 335 secs || 16332048 markings, 19480387 edges, 47104 markings/sec, 335 secs
lola: sara is running 340 secs || 16569114 markings, 19769859 edges, 47413 markings/sec, 340 secs
lola: sara is running 345 secs || 16803726 markings, 20059536 edges, 46922 markings/sec, 345 secs
lola: sara is running 350 secs || 17037138 markings, 20350684 edges, 46682 markings/sec, 350 secs
lola: sara is running 355 secs || 17269503 markings, 20636391 edges, 46473 markings/sec, 355 secs
lola: sara is running 360 secs || 17499858 markings, 20924821 edges, 46071 markings/sec, 360 secs
lola: sara is running 365 secs || 17732311 markings, 21212893 edges, 46491 markings/sec, 365 secs
lola: sara is running 370 secs || 17963276 markings, 21503295 edges, 46193 markings/sec, 370 secs
lola: sara is running 375 secs || 18192766 markings, 21792664 edges, 45898 markings/sec, 375 secs
lola: sara is running 380 secs || 18423421 markings, 22087343 edges, 46131 markings/sec, 380 secs
lola: sara is running 385 secs || 18657956 markings, 22384293 edges, 46907 markings/sec, 385 secs
lola: sara is running 390 secs || 18904386 markings, 22666035 edges, 49286 markings/sec, 390 secs
lola: sara is running 395 secs || 19149315 markings, 22951274 edges, 48986 markings/sec, 395 secs
lola: sara is running 400 secs || 19394201 markings, 23237339 edges, 48977 markings/sec, 400 secs
lola: sara is running 405 secs || 19638481 markings, 23523901 edges, 48856 markings/sec, 405 secs
lola: sara is running 410 secs || 19879769 markings, 23812367 edges, 48258 markings/sec, 410 secs
lola: sara is running 415 secs || 20122447 markings, 24098842 edges, 48536 markings/sec, 415 secs
lola: sara is running 420 secs || 20364195 markings, 24381733 edges, 48350 markings/sec, 420 secs
lola: sara is running 425 secs || 20605897 markings, 24666688 edges, 48340 markings/sec, 425 secs
lola: sara is running 430 secs || 20845303 markings, 24954591 edges, 47881 markings/sec, 430 secs
lola: sara is running 435 secs || 21086376 markings, 25240032 edges, 48215 markings/sec, 435 secs
lola: sara is running 440 secs || 21327704 markings, 25526606 edges, 48266 markings/sec, 440 secs
lola: sara is running 445 secs || 21567506 markings, 25815706 edges, 47960 markings/sec, 445 secs
lola: sara is running 450 secs || 21806052 markings, 26100539 edges, 47709 markings/sec, 450 secs
lola: sara is running 455 secs || 22043261 markings, 26387567 edges, 47442 markings/sec, 455 secs
lola: sara is running 460 secs || 22278619 markings, 26673704 edges, 47072 markings/sec, 460 secs
lola: sara is running 465 secs || 22515785 markings, 26965594 edges, 47433 markings/sec, 465 secs
lola: sara is running 470 secs || 22751758 markings, 27260855 edges, 47195 markings/sec, 470 secs
lola: sara is running 475 secs || 22995751 markings, 27543046 edges, 48799 markings/sec, 475 secs
lola: sara is running 480 secs || 23237356 markings, 27827145 edges, 48321 markings/sec, 480 secs
lola: sara is running 485 secs || 23478508 markings, 28113319 edges, 48230 markings/sec, 485 secs
lola: sara is running 490 secs || 23718875 markings, 28402095 edges, 48073 markings/sec, 490 secs
lola: sara is running 495 secs || 23960666 markings, 28686591 edges, 48358 markings/sec, 495 secs
lola: sara is running 500 secs || 24199926 markings, 28973707 edges, 47852 markings/sec, 500 secs
lola: sara is running 505 secs || 24439690 markings, 29260902 edges, 47953 markings/sec, 505 secs
lola: sara is running 510 secs || 24677851 markings, 29550216 edges, 47632 markings/sec, 510 secs
lola: sara is running 515 secs || 24915930 markings, 29836536 edges, 47616 markings/sec, 515 secs
lola: sara is running 520 secs || 25153641 markings, 30127158 edges, 47542 markings/sec, 520 secs
lola: sara is running 525 secs || 25389541 markings, 30419463 edges, 47180 markings/sec, 525 secs
lola: sara is running 530 secs || 25628346 markings, 30708383 edges, 47761 markings/sec, 530 secs
lola: sara is running 535 secs || 25867886 markings, 30992249 edges, 47908 markings/sec, 535 secs
lola: sara is running 540 secs || 26103296 markings, 31278478 edges, 47082 markings/sec, 540 secs
lola: sara is running 545 secs || 26342731 markings, 31561851 edges, 47887 markings/sec, 545 secs
lola: sara is running 550 secs || 26581567 markings, 31850864 edges, 47767 markings/sec, 550 secs
lola: sara is running 555 secs || 26819326 markings, 32139666 edges, 47552 markings/sec, 555 secs
lola: sara is running 560 secs || 27055506 markings, 32428440 edges, 47236 markings/sec, 560 secs
lola: sara is running 565 secs || 27290636 markings, 32722237 edges, 47026 markings/sec, 565 secs
lola: sara is running 570 secs || 27530958 markings, 33010875 edges, 48064 markings/sec, 570 secs
lola: sara is running 575 secs || 27770311 markings, 33301113 edges, 47871 markings/sec, 575 secs
lola: sara is running 580 secs || 28008836 markings, 33591011 edges, 47705 markings/sec, 580 secs
lola: sara is running 585 secs || 28246311 markings, 33879738 edges, 47495 markings/sec, 585 secs
lola: sara is running 590 secs || 28481447 markings, 34172755 edges, 47027 markings/sec, 590 secs
lola: sara is running 595 secs || 28717905 markings, 34461633 edges, 47292 markings/sec, 595 secs
lola: sara is running 600 secs || 28954524 markings, 34749973 edges, 47324 markings/sec, 600 secs
lola: sara is running 605 secs || 29191766 markings, 35042324 edges, 47448 markings/sec, 605 secs
lola: sara is running 610 secs || 29427981 markings, 35337865 edges, 47243 markings/sec, 610 secs
lola: sara is running 615 secs || 29663735 markings, 35626911 edges, 47151 markings/sec, 615 secs
lola: sara is running 620 secs || 29897611 markings, 35919929 edges, 46775 markings/sec, 620 secs
lola: sara is running 625 secs || 30132636 markings, 36211386 edges, 47005 markings/sec, 625 secs
lola: sara is running 630 secs || 30367976 markings, 36507160 edges, 47068 markings/sec, 630 secs
lola: sara is running 635 secs || 30602266 markings, 36802882 edges, 46858 markings/sec, 635 secs
lola: sara is running 640 secs || 30835823 markings, 37101145 edges, 46711 markings/sec, 640 secs
lola: sara is running 645 secs || 31072527 markings, 37399840 edges, 47341 markings/sec, 645 secs
lola: sara is running 650 secs || 31316300 markings, 37685015 edges, 48755 markings/sec, 650 secs
lola: sara is running 655 secs || 31559562 markings, 37969906 edges, 48652 markings/sec, 655 secs
lola: sara is running 660 secs || 31800036 markings, 38256896 edges, 48095 markings/sec, 660 secs
lola: sara is running 665 secs || 32042026 markings, 38545298 edges, 48398 markings/sec, 665 secs
lola: sara is running 670 secs || 32285066 markings, 38832955 edges, 48608 markings/sec, 670 secs
lola: sara is running 675 secs || 32525501 markings, 39124117 edges, 48087 markings/sec, 675 secs
lola: sara is running 680 secs || 32768741 markings, 39413134 edges, 48648 markings/sec, 680 secs
lola: sara is running 685 secs || 33007240 markings, 39701668 edges, 47700 markings/sec, 685 secs
lola: sara is running 690 secs || 33243654 markings, 39988796 edges, 47283 markings/sec, 690 secs
lola: sara is running 695 secs || 33479091 markings, 40276724 edges, 47087 markings/sec, 695 secs
lola: sara is running 700 secs || 33715376 markings, 40571307 edges, 47257 markings/sec, 700 secs
lola: sara is running 705 secs || 33956122 markings, 40858832 edges, 48149 markings/sec, 705 secs
lola: sara is running 710 secs || 34195891 markings, 41143303 edges, 47954 markings/sec, 710 secs
lola: sara is running 715 secs || 34434311 markings, 41430561 edges, 47684 markings/sec, 715 secs
lola: sara is running 720 secs || 34672968 markings, 41715831 edges, 47731 markings/sec, 720 secs
lola: sara is running 725 secs || 34909926 markings, 42002399 edges, 47392 markings/sec, 725 secs
lola: sara is running 730 secs || 35145581 markings, 42289172 edges, 47131 markings/sec, 730 secs
lola: sara is running 735 secs || 35380081 markings, 42578103 edges, 46900 markings/sec, 735 secs
lola: sara is running 740 secs || 35613811 markings, 42870754 edges, 46746 markings/sec, 740 secs
lola: sara is running 745 secs || 35854436 markings, 43156588 edges, 48125 markings/sec, 745 secs
lola: sara is running 750 secs || 36092821 markings, 43445695 edges, 47677 markings/sec, 750 secs
lola: sara is running 755 secs || 36331555 markings, 43735397 edges, 47747 markings/sec, 755 secs
lola: sara is running 760 secs || 36568401 markings, 44025828 edges, 47369 markings/sec, 760 secs
lola: sara is running 765 secs || 36803608 markings, 44320516 edges, 47041 markings/sec, 765 secs
lola: sara is running 770 secs || 37042231 markings, 44609212 edges, 47725 markings/sec, 770 secs
lola: sara is running 775 secs || 37280436 markings, 44900939 edges, 47641 markings/sec, 775 secs
lola: sara is running 780 secs || 37514256 markings, 45189406 edges, 46764 markings/sec, 780 secs
lola: sara is running 785 secs || 37749392 markings, 45481477 edges, 47027 markings/sec, 785 secs
lola: sara is running 790 secs || 37984501 markings, 45771228 edges, 47022 markings/sec, 790 secs
lola: sara is running 795 secs || 38219771 markings, 46066687 edges, 47054 markings/sec, 795 secs
lola: sara is running 800 secs || 38455219 markings, 46358556 edges, 47090 markings/sec, 800 secs
lola: sara is running 805 secs || 38689261 markings, 46652751 edges, 46808 markings/sec, 805 secs
lola: sara is running 810 secs || 38922956 markings, 46948772 edges, 46739 markings/sec, 810 secs
lola: sara is running 815 secs || 39156441 markings, 47247960 edges, 46697 markings/sec, 815 secs
lola: sara is running 820 secs || 39396296 markings, 47545140 edges, 47971 markings/sec, 820 secs
lola: sara is running 825 secs || 39638152 markings, 47831661 edges, 48371 markings/sec, 825 secs
lola: sara is running 830 secs || 39875481 markings, 48119196 edges, 47466 markings/sec, 830 secs
lola: sara is running 835 secs || 40116510 markings, 48405431 edges, 48206 markings/sec, 835 secs
lola: sara is running 840 secs || 40354268 markings, 48693131 edges, 47552 markings/sec, 840 secs
lola: sara is running 845 secs || 40591678 markings, 48981389 edges, 47482 markings/sec, 845 secs
lola: sara is running 850 secs || 40828356 markings, 49270945 edges, 47336 markings/sec, 850 secs
lola: sara is running 855 secs || 41062786 markings, 49563068 edges, 46886 markings/sec, 855 secs
lola: sara is running 860 secs || 41302886 markings, 49852122 edges, 48020 markings/sec, 860 secs
lola: sara is running 865 secs || 41540746 markings, 50140657 edges, 47572 markings/sec, 865 secs
lola: sara is running 870 secs || 41778221 markings, 50428234 edges, 47495 markings/sec, 870 secs
lola: sara is running 875 secs || 42014646 markings, 50716645 edges, 47285 markings/sec, 875 secs
lola: sara is running 880 secs || 42248912 markings, 51007463 edges, 46853 markings/sec, 880 secs
lola: sara is running 885 secs || 42486796 markings, 51299264 edges, 47577 markings/sec, 885 secs
lola: sara is running 890 secs || 42725386 markings, 51589595 edges, 47718 markings/sec, 890 secs
lola: sara is running 895 secs || 42962831 markings, 51882093 edges, 47489 markings/sec, 895 secs
lola: sara is running 900 secs || 43198066 markings, 52176530 edges, 47047 markings/sec, 900 secs
lola: sara is running 905 secs || 43432036 markings, 52463266 edges, 46794 markings/sec, 905 secs
lola: sara is running 910 secs || 43666016 markings, 52755872 edges, 46796 markings/sec, 910 secs
lola: sara is running 915 secs || 43901146 markings, 53048000 edges, 47026 markings/sec, 915 secs
lola: sara is running 920 secs || 44135261 markings, 53342856 edges, 46823 markings/sec, 920 secs
lola: sara is running 925 secs || 44368733 markings, 53636819 edges, 46694 markings/sec, 925 secs
lola: sara is running 930 secs || 44600694 markings, 53933034 edges, 46392 markings/sec, 930 secs
lola: sara is running 935 secs || 44834604 markings, 54232026 edges, 46782 markings/sec, 935 secs
lola: sara is running 940 secs || 45072071 markings, 54515651 edges, 47493 markings/sec, 940 secs
lola: sara is running 945 secs || 45309021 markings, 54802046 edges, 47390 markings/sec, 945 secs
lola: sara is running 950 secs || 45544895 markings, 55088997 edges, 47175 markings/sec, 950 secs
lola: sara is running 955 secs || 45779295 markings, 55377287 edges, 46880 markings/sec, 955 secs
lola: sara is running 960 secs || 46011327 markings, 55669247 edges, 46406 markings/sec, 960 secs
lola: sara is running 965 secs || 46244957 markings, 55950419 edges, 46726 markings/sec, 965 secs
lola: sara is running 970 secs || 46479459 markings, 56237237 edges, 46900 markings/sec, 970 secs
lola: sara is running 975 secs || 46712897 markings, 56526486 edges, 46688 markings/sec, 975 secs
lola: sara is running 980 secs || 46946468 markings, 56815764 edges, 46714 markings/sec, 980 secs
lola: sara is running 985 secs || 47178403 markings, 57101407 edges, 46387 markings/sec, 985 secs
lola: sara is running 990 secs || 47409791 markings, 57392124 edges, 46278 markings/sec, 990 secs
lola: sara is running 995 secs || 47642665 markings, 57680999 edges, 46575 markings/sec, 995 secs
lola: sara is running 1000 secs || 47875515 markings, 57973729 edges, 46570 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48106095 markings, 58265775 edges, 46116 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48337956 markings, 58562929 edges, 46372 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48572491 markings, 58858187 edges, 46907 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48809546 markings, 59146648 edges, 47411 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49044396 markings, 59435358 edges, 46970 markings/sec, 1025 secs
lola: sara is running 1030 secs || 49278121 markings, 59729494 edges, 46745 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49513311 markings, 60015869 edges, 47038 markings/sec, 1035 secs
lola: sara is running 1040 secs || 49748316 markings, 60308501 edges, 47001 markings/sec, 1040 secs
lola: sara is running 1045 secs || 49982886 markings, 60600615 edges, 46914 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50216005 markings, 60893773 edges, 46624 markings/sec, 1050 secs
lola: sara is running 1055 secs || 50448946 markings, 61187133 edges, 46588 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50681493 markings, 61483260 edges, 46509 markings/sec, 1060 secs
lola: sara is running 1065 secs || 50914539 markings, 61786389 edges, 46609 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51150171 markings, 62073653 edges, 47126 markings/sec, 1070 secs
lola: sara is running 1075 secs || 51383866 markings, 62364484 edges, 46739 markings/sec, 1075 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 1081 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
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 656 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-18lozangeBlock-ReachabilityCardinality-15.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 251933 markings, 284098 edges, 50387 markings/sec, 0 secs
lola: sara is running 5 secs || 515870 markings, 588207 edges, 52787 markings/sec, 5 secs
lola: sara is running 10 secs || 777393 markings, 892787 edges, 52305 markings/sec, 10 secs
lola: sara is running 15 secs || 1038266 markings, 1196596 edges, 52175 markings/sec, 15 secs
lola: sara is running 20 secs || 1299157 markings, 1501816 edges, 52178 markings/sec, 20 secs
lola: sara is running 25 secs || 1558450 markings, 1809609 edges, 51859 markings/sec, 25 secs
lola: sara is running 30 secs || 1816743 markings, 2119102 edges, 51659 markings/sec, 30 secs
lola: sara is running 35 secs || 2076279 markings, 2427836 edges, 51907 markings/sec, 35 secs
lola: sara is running 40 secs || 2337173 markings, 2731671 edges, 52179 markings/sec, 40 secs
lola: sara is running 45 secs || 2598253 markings, 3037110 edges, 52216 markings/sec, 45 secs
lola: sara is running 50 secs || 2856976 markings, 3344184 edges, 51745 markings/sec, 50 secs
lola: sara is running 55 secs || 3114983 markings, 3653332 edges, 51601 markings/sec, 55 secs
lola: sara is running 60 secs || 3371415 markings, 3960496 edges, 51286 markings/sec, 60 secs
lola: sara is running 65 secs || 3628059 markings, 4262912 edges, 51329 markings/sec, 65 secs
lola: sara is running 70 secs || 3884166 markings, 4568693 edges, 51221 markings/sec, 70 secs
lola: sara is running 75 secs || 4138376 markings, 4878682 edges, 50842 markings/sec, 75 secs
lola: sara is running 80 secs || 4396704 markings, 5184679 edges, 51666 markings/sec, 80 secs
lola: sara is running 85 secs || 4651987 markings, 5494615 edges, 51057 markings/sec, 85 secs
lola: sara is running 90 secs || 4907221 markings, 5802970 edges, 51047 markings/sec, 90 secs
lola: sara is running 95 secs || 5161941 markings, 6114343 edges, 50944 markings/sec, 95 secs
lola: sara is running 100 secs || 5415282 markings, 6424683 edges, 50668 markings/sec, 100 secs
lola: sara is running 105 secs || 5668193 markings, 6739362 edges, 50582 markings/sec, 105 secs
lola: sara is running 110 secs || 5922701 markings, 7053894 edges, 50902 markings/sec, 110 secs
lola: sara is running 115 secs || 6184213 markings, 7356696 edges, 52302 markings/sec, 115 secs
lola: sara is running 120 secs || 6444891 markings, 7662368 edges, 52136 markings/sec, 120 secs
lola: sara is running 125 secs || 6705399 markings, 7969984 edges, 52102 markings/sec, 125 secs
lola: sara is running 130 secs || 6963477 markings, 8278806 edges, 51616 markings/sec, 130 secs
lola: sara is running 135 secs || 7219786 markings, 8588194 edges, 51262 markings/sec, 135 secs
lola: sara is running 140 secs || 7478387 markings, 8892502 edges, 51720 markings/sec, 140 secs
lola: sara is running 145 secs || 7734896 markings, 9197228 edges, 51302 markings/sec, 145 secs
lola: sara is running 150 secs || 7988458 markings, 9505783 edges, 50712 markings/sec, 150 secs
lola: sara is running 155 secs || 8246504 markings, 9812984 edges, 51609 markings/sec, 155 secs
lola: sara is running 160 secs || 8502624 markings, 10121520 edges, 51224 markings/sec, 160 secs
lola: sara is running 165 secs || 8757389 markings, 10430134 edges, 50953 markings/sec, 165 secs
lola: sara is running 170 secs || 9011983 markings, 10741362 edges, 50919 markings/sec, 170 secs
lola: sara is running 175 secs || 9265655 markings, 11052053 edges, 50734 markings/sec, 175 secs
lola: sara is running 180 secs || 9516695 markings, 11363851 edges, 50208 markings/sec, 180 secs
lola: sara is running 185 secs || 9768144 markings, 11680254 edges, 50290 markings/sec, 185 secs
lola: sara is running 190 secs || 10027458 markings, 11984707 edges, 51863 markings/sec, 190 secs
lola: sara is running 195 secs || 10284958 markings, 12288913 edges, 51500 markings/sec, 195 secs
lola: sara is running 200 secs || 10539579 markings, 12596875 edges, 50924 markings/sec, 200 secs
lola: sara is running 205 secs || 10796827 markings, 12905592 edges, 51450 markings/sec, 205 secs
lola: sara is running 210 secs || 11053364 markings, 13212927 edges, 51307 markings/sec, 210 secs
lola: sara is running 215 secs || 11308290 markings, 13522915 edges, 50985 markings/sec, 215 secs
lola: sara is running 220 secs || 11562497 markings, 13832960 edges, 50841 markings/sec, 220 secs
lola: sara is running 225 secs || 11815732 markings, 14142262 edges, 50647 markings/sec, 225 secs
lola: sara is running 230 secs || 12068412 markings, 14454201 edges, 50536 markings/sec, 230 secs
lola: sara is running 235 secs || 12319016 markings, 14771074 edges, 50121 markings/sec, 235 secs
lola: sara is running 240 secs || 12574400 markings, 15076336 edges, 51077 markings/sec, 240 secs
lola: sara is running 245 secs || 12828567 markings, 15382595 edges, 50833 markings/sec, 245 secs
lola: sara is running 250 secs || 13082352 markings, 15690182 edges, 50757 markings/sec, 250 secs
lola: sara is running 255 secs || 13334751 markings, 15998866 edges, 50480 markings/sec, 255 secs
lola: sara is running 260 secs || 13586566 markings, 16307044 edges, 50363 markings/sec, 260 secs
lola: sara is running 265 secs || 13836850 markings, 16616822 edges, 50057 markings/sec, 265 secs
lola: sara is running 270 secs || 14085589 markings, 16932447 edges, 49748 markings/sec, 270 secs
lola: sara is running 275 secs || 14340918 markings, 17238949 edges, 51066 markings/sec, 275 secs
lola: sara is running 280 secs || 14593966 markings, 17548113 edges, 50610 markings/sec, 280 secs
lola: sara is running 285 secs || 14846121 markings, 17858620 edges, 50431 markings/sec, 285 secs
lola: sara is running 290 secs || 15097117 markings, 18172332 edges, 50199 markings/sec, 290 secs
lola: sara is running 295 secs || 15348590 markings, 18486024 edges, 50295 markings/sec, 295 secs
lola: sara is running 300 secs || 15600036 markings, 18795299 edges, 50289 markings/sec, 300 secs
lola: sara is running 305 secs || 15850938 markings, 19108899 edges, 50180 markings/sec, 305 secs
lola: sara is running 310 secs || 16101235 markings, 19423450 edges, 50059 markings/sec, 310 secs
lola: sara is running 315 secs || 16351820 markings, 19735877 edges, 50117 markings/sec, 315 secs
lola: sara is running 320 secs || 16601631 markings, 20051825 edges, 49962 markings/sec, 320 secs
lola: sara is running 325 secs || 16850717 markings, 20368872 edges, 49817 markings/sec, 325 secs
lola: sara is running 330 secs || 17098965 markings, 20684864 edges, 49650 markings/sec, 330 secs
lola: sara is running 335 secs || 17346071 markings, 21002843 edges, 49421 markings/sec, 335 secs
lola: sara is running 340 secs || 17596536 markings, 21323495 edges, 50093 markings/sec, 340 secs
lola: sara is running 345 secs || 17857428 markings, 21625025 edges, 52178 markings/sec, 345 secs
lola: sara is running 350 secs || 18117838 markings, 21929980 edges, 52082 markings/sec, 350 secs
lola: sara is running 355 secs || 18377346 markings, 22236329 edges, 51902 markings/sec, 355 secs
lola: sara is running 360 secs || 18634817 markings, 22544016 edges, 51494 markings/sec, 360 secs
lola: sara is running 365 secs || 18890005 markings, 22853287 edges, 51038 markings/sec, 365 secs
lola: sara is running 370 secs || 19147798 markings, 23156709 edges, 51559 markings/sec, 370 secs
lola: sara is running 375 secs || 19404417 markings, 23460333 edges, 51324 markings/sec, 375 secs
lola: sara is running 380 secs || 19659369 markings, 23769823 edges, 50990 markings/sec, 380 secs
lola: sara is running 385 secs || 19916239 markings, 24076738 edges, 51374 markings/sec, 385 secs
lola: sara is running 390 secs || 20170405 markings, 24382487 edges, 50833 markings/sec, 390 secs
lola: sara is running 395 secs || 20422011 markings, 24687781 edges, 50321 markings/sec, 395 secs
lola: sara is running 400 secs || 20674708 markings, 24996858 edges, 50539 markings/sec, 400 secs
lola: sara is running 405 secs || 20926947 markings, 25305452 edges, 50448 markings/sec, 405 secs
lola: sara is running 410 secs || 21177843 markings, 25614560 edges, 50179 markings/sec, 410 secs
lola: sara is running 415 secs || 21427394 markings, 25931551 edges, 49910 markings/sec, 415 secs
lola: sara is running 420 secs || 21685920 markings, 26234310 edges, 51705 markings/sec, 420 secs
lola: sara is running 425 secs || 21942967 markings, 26539000 edges, 51409 markings/sec, 425 secs
lola: sara is running 430 secs || 22198355 markings, 26846355 edges, 51078 markings/sec, 430 secs
lola: sara is running 435 secs || 22454798 markings, 27154561 edges, 51289 markings/sec, 435 secs
lola: sara is running 440 secs || 22711339 markings, 27462345 edges, 51308 markings/sec, 440 secs
lola: sara is running 445 secs || 22965999 markings, 27771564 edges, 50932 markings/sec, 445 secs
lola: sara is running 450 secs || 23219607 markings, 28079419 edges, 50722 markings/sec, 450 secs
lola: sara is running 455 secs || 23472726 markings, 28388801 edges, 50624 markings/sec, 455 secs
lola: sara is running 460 secs || 23724375 markings, 28699902 edges, 50330 markings/sec, 460 secs
lola: sara is running 465 secs || 23973753 markings, 29013329 edges, 49876 markings/sec, 465 secs
lola: sara is running 470 secs || 24226140 markings, 29319614 edges, 50477 markings/sec, 470 secs
lola: sara is running 475 secs || 24480878 markings, 29624392 edges, 50948 markings/sec, 475 secs
lola: sara is running 480 secs || 24733598 markings, 29931643 edges, 50544 markings/sec, 480 secs
lola: sara is running 485 secs || 24984844 markings, 30237938 edges, 50249 markings/sec, 485 secs
lola: sara is running 490 secs || 25236485 markings, 30545342 edges, 50328 markings/sec, 490 secs
lola: sara is running 495 secs || 25486628 markings, 30854361 edges, 50029 markings/sec, 495 secs
lola: sara is running 500 secs || 25736022 markings, 31169128 edges, 49879 markings/sec, 500 secs
lola: sara is running 505 secs || 25990285 markings, 31477483 edges, 50853 markings/sec, 505 secs
lola: sara is running 510 secs || 26242009 markings, 31785297 edges, 50345 markings/sec, 510 secs
lola: sara is running 515 secs || 26493834 markings, 32094132 edges, 50365 markings/sec, 515 secs
lola: sara is running 520 secs || 26743250 markings, 32404551 edges, 49883 markings/sec, 520 secs
lola: sara is running 525 secs || 26992035 markings, 32717374 edges, 49757 markings/sec, 525 secs
lola: sara is running 530 secs || 27243462 markings, 33025977 edges, 50285 markings/sec, 530 secs
lola: sara is running 535 secs || 27493168 markings, 33336205 edges, 49941 markings/sec, 535 secs
lola: sara is running 540 secs || 27741795 markings, 33650534 edges, 49725 markings/sec, 540 secs
lola: sara is running 545 secs || 27991869 markings, 33961000 edges, 50015 markings/sec, 545 secs
lola: sara is running 550 secs || 28240425 markings, 34276366 edges, 49711 markings/sec, 550 secs
lola: sara is running 555 secs || 28489775 markings, 34589584 edges, 49870 markings/sec, 555 secs
lola: sara is running 560 secs || 28737836 markings, 34905692 edges, 49612 markings/sec, 560 secs
lola: sara is running 565 secs || 28985369 markings, 35224085 edges, 49507 markings/sec, 565 secs
lola: sara is running 570 secs || 29228745 markings, 35546287 edges, 48675 markings/sec, 570 secs
lola: sara is running 575 secs || 29487167 markings, 35847635 edges, 51684 markings/sec, 575 secs
lola: sara is running 580 secs || 29742451 markings, 36150183 edges, 51057 markings/sec, 580 secs
lola: sara is running 585 secs || 29995793 markings, 36455294 edges, 50668 markings/sec, 585 secs
lola: sara is running 590 secs || 30251410 markings, 36762511 edges, 51123 markings/sec, 590 secs
lola: sara is running 595 secs || 30506213 markings, 37068111 edges, 50961 markings/sec, 595 secs
lola: sara is running 600 secs || 30760007 markings, 37376328 edges, 50759 markings/sec, 600 secs
lola: sara is running 605 secs || 31014223 markings, 37684914 edges, 50843 markings/sec, 605 secs
lola: sara is running 610 secs || 31267023 markings, 37993901 edges, 50560 markings/sec, 610 secs
lola: sara is running 615 secs || 31518265 markings, 38304479 edges, 50248 markings/sec, 615 secs
lola: sara is running 620 secs || 31766972 markings, 38617075 edges, 49741 markings/sec, 620 secs
lola: sara is running 625 secs || 32020900 markings, 38925290 edges, 50786 markings/sec, 625 secs
lola: sara is running 630 secs || 32274306 markings, 39228437 edges, 50681 markings/sec, 630 secs
lola: sara is running 635 secs || 32525838 markings, 39534235 edges, 50306 markings/sec, 635 secs
lola: sara is running 640 secs || 32778199 markings, 39841843 edges, 50472 markings/sec, 640 secs
lola: sara is running 645 secs || 33029320 markings, 40148550 edges, 50224 markings/sec, 645 secs
lola: sara is running 650 secs || 33279657 markings, 40457781 edges, 50067 markings/sec, 650 secs
lola: sara is running 655 secs || 33528479 markings, 40771901 edges, 49764 markings/sec, 655 secs
lola: sara is running 660 secs || 33781783 markings, 41079230 edges, 50661 markings/sec, 660 secs
lola: sara is running 665 secs || 34034494 markings, 41388237 edges, 50542 markings/sec, 665 secs
lola: sara is running 670 secs || 34286322 markings, 41696932 edges, 50366 markings/sec, 670 secs
lola: sara is running 675 secs || 34536034 markings, 42007693 edges, 49942 markings/sec, 675 secs
lola: sara is running 680 secs || 34785705 markings, 42321731 edges, 49934 markings/sec, 680 secs
lola: sara is running 685 secs || 35037203 markings, 42630423 edges, 50300 markings/sec, 685 secs
lola: sara is running 690 secs || 35286381 markings, 42940002 edges, 49836 markings/sec, 690 secs
lola: sara is running 695 secs || 35534931 markings, 43254180 edges, 49710 markings/sec, 695 secs
lola: sara is running 700 secs || 35784027 markings, 43563422 edges, 49819 markings/sec, 700 secs
lola: sara is running 705 secs || 36032306 markings, 43878344 edges, 49656 markings/sec, 705 secs
lola: sara is running 710 secs || 36281288 markings, 44191287 edges, 49796 markings/sec, 710 secs
lola: sara is running 715 secs || 36528971 markings, 44506536 edges, 49537 markings/sec, 715 secs
lola: sara is running 720 secs || 36773953 markings, 44821744 edges, 48996 markings/sec, 720 secs
lola: sara is running 725 secs || 37019286 markings, 45145839 edges, 49067 markings/sec, 725 secs
lola: sara is running 730 secs || 37276153 markings, 45450259 edges, 51373 markings/sec, 730 secs
lola: sara is running 735 secs || 37530089 markings, 45757366 edges, 50787 markings/sec, 735 secs
lola: sara is running 740 secs || 37783529 markings, 46063688 edges, 50688 markings/sec, 740 secs
lola: sara is running 745 secs || 38034757 markings, 46371015 edges, 50246 markings/sec, 745 secs
lola: sara is running 750 secs || 38282555 markings, 46674640 edges, 49560 markings/sec, 750 secs
lola: sara is running 755 secs || 38532002 markings, 46984369 edges, 49889 markings/sec, 755 secs
lola: sara is running 760 secs || 38780735 markings, 47298473 edges, 49747 markings/sec, 760 secs
lola: sara is running 765 secs || 39034286 markings, 47603441 edges, 50710 markings/sec, 765 secs
lola: sara is running 770 secs || 39285932 markings, 47911209 edges, 50329 markings/sec, 770 secs
lola: sara is running 775 secs || 39537613 markings, 48221144 edges, 50336 markings/sec, 775 secs
lola: sara is running 780 secs || 39786467 markings, 48531986 edges, 49771 markings/sec, 780 secs
lola: sara is running 785 secs || 40036542 markings, 48843914 edges, 50015 markings/sec, 785 secs
lola: sara is running 790 secs || 40286448 markings, 49151526 edges, 49981 markings/sec, 790 secs
lola: sara is running 795 secs || 40535763 markings, 49462937 edges, 49863 markings/sec, 795 secs
lola: sara is running 800 secs || 40784745 markings, 49775979 edges, 49796 markings/sec, 800 secs
lola: sara is running 805 secs || 41033451 markings, 50085933 edges, 49741 markings/sec, 805 secs
lola: sara is running 810 secs || 41280079 markings, 50398001 edges, 49326 markings/sec, 810 secs
lola: sara is running 815 secs || 41526558 markings, 50710942 edges, 49296 markings/sec, 815 secs
lola: sara is running 820 secs || 41773989 markings, 51026504 edges, 49486 markings/sec, 820 secs
lola: sara is running 825 secs || 42018620 markings, 51341965 edges, 48926 markings/sec, 825 secs
lola: sara is running 830 secs || 42265433 markings, 51661786 edges, 49363 markings/sec, 830 secs
lola: sara is running 835 secs || 42517974 markings, 51966052 edges, 50508 markings/sec, 835 secs
lola: sara is running 840 secs || 42766760 markings, 52270205 edges, 49757 markings/sec, 840 secs
lola: sara is running 845 secs || 43016242 markings, 52578204 edges, 49896 markings/sec, 845 secs
lola: sara is running 850 secs || 43264233 markings, 52888243 edges, 49598 markings/sec, 850 secs
lola: sara is running 855 secs || 43513100 markings, 53198006 edges, 49773 markings/sec, 855 secs
lola: sara is running 860 secs || 43762662 markings, 53505294 edges, 49912 markings/sec, 860 secs
lola: sara is running 865 secs || 44010387 markings, 53815207 edges, 49545 markings/sec, 865 secs
lola: sara is running 870 secs || 44257503 markings, 54125368 edges, 49423 markings/sec, 870 secs
lola: sara is running 875 secs || 44505268 markings, 54435007 edges, 49553 markings/sec, 875 secs
lola: sara is running 880 secs || 44750293 markings, 54744459 edges, 49005 markings/sec, 880 secs
lola: sara is running 885 secs || 44995880 markings, 55056947 edges, 49117 markings/sec, 885 secs
lola: sara is running 890 secs || 45240409 markings, 55368248 edges, 48906 markings/sec, 890 secs
lola: sara is running 895 secs || 45487407 markings, 55686401 edges, 49400 markings/sec, 895 secs
lola: sara is running 900 secs || 45733426 markings, 56005961 edges, 49204 markings/sec, 900 secs
lola: sara is running 905 secs || 45983800 markings, 56312717 edges, 50075 markings/sec, 905 secs
lola: sara is running 910 secs || 46232783 markings, 56621923 edges, 49797 markings/sec, 910 secs
lola: sara is running 915 secs || 46480522 markings, 56935540 edges, 49548 markings/sec, 915 secs
lola: sara is running 920 secs || 46729112 markings, 57243096 edges, 49718 markings/sec, 920 secs
lola: sara is running 925 secs || 46975178 markings, 57556218 edges, 49213 markings/sec, 925 secs
lola: sara is running 930 secs || 47223292 markings, 57866548 edges, 49623 markings/sec, 930 secs
lola: sara is running 935 secs || 47469923 markings, 58180971 edges, 49326 markings/sec, 935 secs
lola: sara is running 940 secs || 47714994 markings, 58496005 edges, 49014 markings/sec, 940 secs
lola: sara is running 945 secs || 47959240 markings, 58815344 edges, 48849 markings/sec, 945 secs
lola: sara is running 950 secs || 48206282 markings, 59125020 edges, 49408 markings/sec, 950 secs
lola: sara is running 955 secs || 48453486 markings, 59435703 edges, 49441 markings/sec, 955 secs
lola: sara is running 960 secs || 48699633 markings, 59746477 edges, 49229 markings/sec, 960 secs
lola: sara is running 965 secs || 48945022 markings, 60058252 edges, 49078 markings/sec, 965 secs
lola: sara is running 970 secs || 49191013 markings, 60372644 edges, 49198 markings/sec, 970 secs
lola: sara is running 975 secs || 49434777 markings, 60689388 edges, 48753 markings/sec, 975 secs
lola: sara is running 980 secs || 49678545 markings, 61003023 edges, 48754 markings/sec, 980 secs
lola: sara is running 985 secs || 49924225 markings, 61315143 edges, 49136 markings/sec, 985 secs
lola: sara is running 990 secs || 50168794 markings, 61627271 edges, 48914 markings/sec, 990 secs
lola: sara is running 995 secs || 50412731 markings, 61943136 edges, 48787 markings/sec, 995 secs
lola: sara is running 1000 secs || 50657293 markings, 62261574 edges, 48912 markings/sec, 1000 secs
lola: sara is running 1005 secs || 50902783 markings, 62575550 edges, 49098 markings/sec, 1005 secs
lola: sara is running 1010 secs || 51145761 markings, 62891206 edges, 48596 markings/sec, 1010 secs
lola: sara is running 1015 secs || 51388968 markings, 63209571 edges, 48641 markings/sec, 1015 secs
lola: sara is running 1020 secs || 51632181 markings, 63526003 edges, 48643 markings/sec, 1020 secs
lola: sara is running 1025 secs || 51872850 markings, 63842508 edges, 48134 markings/sec, 1025 secs
lola: sara is running 1030 secs || 52115532 markings, 64161921 edges, 48536 markings/sec, 1030 secs
lola: sara is running 1035 secs || 52357619 markings, 64485767 edges, 48417 markings/sec, 1035 secs
lola: sara is running 1040 secs || 52597960 markings, 64813454 edges, 48068 markings/sec, 1040 secs
lola: sara is running 1045 secs || 52858674 markings, 65117282 edges, 52143 markings/sec, 1045 secs
lola: sara is running 1050 secs || 53117752 markings, 65420762 edges, 51816 markings/sec, 1050 secs
lola: sara is running 1055 secs || 53377957 markings, 65726858 edges, 52041 markings/sec, 1055 secs
lola: sara is running 1060 secs || 53636102 markings, 66033537 edges, 51629 markings/sec, 1060 secs
lola: sara is running 1065 secs || 53890864 markings, 66343611 edges, 50952 markings/sec, 1065 secs
lola: sara is running 1070 secs || 54148393 markings, 66645826 edges, 51506 markings/sec, 1070 secs
lola: sara is running 1075 secs || 54404836 markings, 66950262 edges, 51289 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-18lozangeBlock"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649743200348"
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 ;