About the Execution of M4M.struct for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7285.790 | 3585198.00 | 7124503.00 | 8835.00 | 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-structural
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 r071-smll-152649744200348
=====================================================================
--------------------
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 1526776436371
BK_STOP 1526780021569
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-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...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
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 stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
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 || 213270 markings, 231992 edges, 42654 markings/sec, 0 secs
lola: sara is running 5 secs || 439470 markings, 482786 edges, 45240 markings/sec, 5 secs
lola: sara is running 10 secs || 663331 markings, 733591 edges, 44772 markings/sec, 10 secs
lola: sara is running 15 secs || 885414 markings, 986698 edges, 44417 markings/sec, 15 secs
lola: sara is running 20 secs || 1113416 markings, 1239972 edges, 45600 markings/sec, 20 secs
lola: sara is running 25 secs || 1338534 markings, 1494961 edges, 45024 markings/sec, 25 secs
lola: sara is running 30 secs || 1563896 markings, 1750074 edges, 45072 markings/sec, 30 secs
lola: sara is running 35 secs || 1787430 markings, 2006213 edges, 44707 markings/sec, 35 secs
lola: sara is running 40 secs || 2011326 markings, 2261612 edges, 44779 markings/sec, 40 secs
lola: sara is running 45 secs || 2234252 markings, 2518685 edges, 44585 markings/sec, 45 secs
lola: sara is running 50 secs || 2453524 markings, 2776890 edges, 43854 markings/sec, 50 secs
lola: sara is running 55 secs || 2680479 markings, 3033601 edges, 45391 markings/sec, 55 secs
lola: sara is running 60 secs || 2907234 markings, 3287975 edges, 45351 markings/sec, 60 secs
lola: sara is running 65 secs || 3131932 markings, 3543784 edges, 44940 markings/sec, 65 secs
lola: sara is running 70 secs || 3357800 markings, 3799232 edges, 45174 markings/sec, 70 secs
lola: sara is running 75 secs || 3581683 markings, 4055130 edges, 44777 markings/sec, 75 secs
lola: sara is running 80 secs || 3804114 markings, 4311121 edges, 44486 markings/sec, 80 secs
lola: sara is running 85 secs || 4024847 markings, 4568990 edges, 44147 markings/sec, 85 secs
lola: sara is running 90 secs || 4246693 markings, 4827116 edges, 44369 markings/sec, 90 secs
lola: sara is running 95 secs || 4472166 markings, 5082944 edges, 45095 markings/sec, 95 secs
lola: sara is running 100 secs || 4696531 markings, 5339219 edges, 44873 markings/sec, 100 secs
lola: sara is running 105 secs || 4919098 markings, 5596140 edges, 44513 markings/sec, 105 secs
lola: sara is running 110 secs || 5140116 markings, 5854298 edges, 44204 markings/sec, 110 secs
lola: sara is running 115 secs || 5362311 markings, 6113430 edges, 44439 markings/sec, 115 secs
lola: sara is running 120 secs || 5585645 markings, 6370286 edges, 44667 markings/sec, 120 secs
lola: sara is running 125 secs || 5806761 markings, 6627356 edges, 44223 markings/sec, 125 secs
lola: sara is running 130 secs || 6026269 markings, 6887289 edges, 43902 markings/sec, 130 secs
lola: sara is running 135 secs || 6247590 markings, 7143927 edges, 44264 markings/sec, 135 secs
lola: sara is running 140 secs || 6465883 markings, 7403114 edges, 43659 markings/sec, 140 secs
lola: sara is running 145 secs || 6686114 markings, 7660907 edges, 44046 markings/sec, 145 secs
lola: sara is running 150 secs || 6902300 markings, 7918068 edges, 43237 markings/sec, 150 secs
lola: sara is running 155 secs || 7118755 markings, 8179121 edges, 43291 markings/sec, 155 secs
lola: sara is running 160 secs || 7331656 markings, 8438637 edges, 42580 markings/sec, 160 secs
lola: sara is running 165 secs || 7556533 markings, 8696166 edges, 44975 markings/sec, 165 secs
lola: sara is running 170 secs || 7782489 markings, 8949897 edges, 45191 markings/sec, 170 secs
lola: sara is running 175 secs || 8006957 markings, 9205200 edges, 44894 markings/sec, 175 secs
lola: sara is running 180 secs || 8231922 markings, 9459460 edges, 44993 markings/sec, 180 secs
lola: sara is running 185 secs || 8455360 markings, 9714976 edges, 44688 markings/sec, 185 secs
lola: sara is running 190 secs || 8677527 markings, 9970364 edges, 44433 markings/sec, 190 secs
lola: sara is running 195 secs || 8898120 markings, 10228639 edges, 44119 markings/sec, 195 secs
lola: sara is running 200 secs || 9119435 markings, 10486089 edges, 44263 markings/sec, 200 secs
lola: sara is running 205 secs || 9344789 markings, 10741458 edges, 45071 markings/sec, 205 secs
lola: sara is running 210 secs || 9569869 markings, 10998530 edges, 45016 markings/sec, 210 secs
lola: sara is running 215 secs || 9793512 markings, 11256635 edges, 44729 markings/sec, 215 secs
lola: sara is running 220 secs || 10015100 markings, 11515503 edges, 44318 markings/sec, 220 secs
lola: sara is running 225 secs || 10236030 markings, 11773347 edges, 44186 markings/sec, 225 secs
lola: sara is running 230 secs || 10459817 markings, 12030516 edges, 44757 markings/sec, 230 secs
lola: sara is running 235 secs || 10680673 markings, 12287279 edges, 44171 markings/sec, 235 secs
lola: sara is running 240 secs || 10898388 markings, 12544961 edges, 43543 markings/sec, 240 secs
lola: sara is running 245 secs || 11118522 markings, 12800513 edges, 44027 markings/sec, 245 secs
lola: sara is running 250 secs || 11336398 markings, 13059550 edges, 43575 markings/sec, 250 secs
lola: sara is running 255 secs || 11555431 markings, 13314790 edges, 43807 markings/sec, 255 secs
lola: sara is running 260 secs || 11772301 markings, 13572717 edges, 43374 markings/sec, 260 secs
lola: sara is running 265 secs || 11986415 markings, 13831099 edges, 42823 markings/sec, 265 secs
lola: sara is running 270 secs || 12197674 markings, 14088115 edges, 42252 markings/sec, 270 secs
lola: sara is running 275 secs || 12420223 markings, 14347265 edges, 44510 markings/sec, 275 secs
lola: sara is running 280 secs || 12643297 markings, 14602879 edges, 44615 markings/sec, 280 secs
lola: sara is running 285 secs || 12866929 markings, 14857891 edges, 44726 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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5.sara
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: 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: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: calling and running 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)
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
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
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 245828 markings, 268164 edges, 49166 markings/sec, 0 secs
lola: sara is running 5 secs || 475687 markings, 523226 edges, 45972 markings/sec, 5 secs
lola: sara is running 10 secs || 718242 markings, 794417 edges, 48511 markings/sec, 10 secs
lola: sara is running 15 secs || 962648 markings, 1069617 edges, 48881 markings/sec, 15 secs
lola: sara is running 20 secs || 1208066 markings, 1343323 edges, 49084 markings/sec, 20 secs
lola: sara is running 25 secs || 1449816 markings, 1618522 edges, 48350 markings/sec, 25 secs
lola: sara is running 30 secs || 1694433 markings, 1891884 edges, 48923 markings/sec, 30 secs
lola: sara is running 35 secs || 1937589 markings, 2168373 edges, 48631 markings/sec, 35 secs
lola: sara is running 40 secs || 2171139 markings, 2434903 edges, 46710 markings/sec, 40 secs
lola: sara is running 45 secs || 2411288 markings, 2711818 edges, 48030 markings/sec, 45 secs
lola: sara is running 50 secs || 2651184 markings, 2990051 edges, 47979 markings/sec, 50 secs
lola: sara is running 55 secs || 2898020 markings, 3264276 edges, 49367 markings/sec, 55 secs
lola: sara is running 60 secs || 3143262 markings, 3541927 edges, 49048 markings/sec, 60 secs
lola: sara is running 65 secs || 3369981 markings, 3796335 edges, 45344 markings/sec, 65 secs
lola: sara is running 70 secs || 3614095 markings, 4073926 edges, 48823 markings/sec, 70 secs
lola: sara is running 75 secs || 3857137 markings, 4350770 edges, 48608 markings/sec, 75 secs
lola: sara is running 80 secs || 4101237 markings, 4631652 edges, 48820 markings/sec, 80 secs
lola: sara is running 85 secs || 4345148 markings, 4916987 edges, 48782 markings/sec, 85 secs
lola: sara is running 90 secs || 4594363 markings, 5195993 edges, 49843 markings/sec, 90 secs
lola: sara is running 95 secs || 4841160 markings, 5476448 edges, 49359 markings/sec, 95 secs
lola: sara is running 100 secs || 5087428 markings, 5757801 edges, 49254 markings/sec, 100 secs
lola: sara is running 105 secs || 5332143 markings, 6040888 edges, 48943 markings/sec, 105 secs
lola: sara is running 110 secs || 5577632 markings, 6325508 edges, 49098 markings/sec, 110 secs
lola: sara is running 115 secs || 5824634 markings, 6606986 edges, 49400 markings/sec, 115 secs
lola: sara is running 120 secs || 6069629 markings, 6889515 edges, 48999 markings/sec, 120 secs
lola: sara is running 125 secs || 6313389 markings, 7174353 edges, 48752 markings/sec, 125 secs
lola: sara is running 130 secs || 6557292 markings, 7454882 edges, 48781 markings/sec, 130 secs
lola: sara is running 135 secs || 6799688 markings, 7738768 edges, 48479 markings/sec, 135 secs
lola: sara is running 140 secs || 7042528 markings, 8021093 edges, 48568 markings/sec, 140 secs
lola: sara is running 145 secs || 7284197 markings, 8304839 edges, 48334 markings/sec, 145 secs
lola: sara is running 150 secs || 7525732 markings, 8591343 edges, 48307 markings/sec, 150 secs
lola: sara is running 155 secs || 7766437 markings, 8880289 edges, 48141 markings/sec, 155 secs
lola: sara is running 160 secs || 8010576 markings, 9154732 edges, 48828 markings/sec, 160 secs
lola: sara is running 165 secs || 8251159 markings, 9424344 edges, 48117 markings/sec, 165 secs
lola: sara is running 170 secs || 8492148 markings, 9697012 edges, 48198 markings/sec, 170 secs
lola: sara is running 175 secs || 8731931 markings, 9968541 edges, 47957 markings/sec, 175 secs
lola: sara is running 180 secs || 8971802 markings, 10240787 edges, 47974 markings/sec, 180 secs
lola: sara is running 185 secs || 9209155 markings, 10513075 edges, 47471 markings/sec, 185 secs
lola: sara is running 190 secs || 9443960 markings, 10785495 edges, 46961 markings/sec, 190 secs
lola: sara is running 195 secs || 9684900 markings, 11060591 edges, 48188 markings/sec, 195 secs
lola: sara is running 200 secs || 9924218 markings, 11332896 edges, 47864 markings/sec, 200 secs
lola: sara is running 205 secs || 10163356 markings, 11604585 edges, 47828 markings/sec, 205 secs
lola: sara is running 210 secs || 10401968 markings, 11877643 edges, 47722 markings/sec, 210 secs
lola: sara is running 215 secs || 10639178 markings, 12154430 edges, 47442 markings/sec, 215 secs
lola: sara is running 220 secs || 10878664 markings, 12427854 edges, 47897 markings/sec, 220 secs
lola: sara is running 225 secs || 11117103 markings, 12701738 edges, 47688 markings/sec, 225 secs
lola: sara is running 230 secs || 11354392 markings, 12976533 edges, 47458 markings/sec, 230 secs
lola: sara is running 235 secs || 11592131 markings, 13252062 edges, 47548 markings/sec, 235 secs
lola: sara is running 240 secs || 11828448 markings, 13525491 edges, 47263 markings/sec, 240 secs
lola: sara is running 245 secs || 12066362 markings, 13803464 edges, 47583 markings/sec, 245 secs
lola: sara is running 250 secs || 12309154 markings, 14088904 edges, 48558 markings/sec, 250 secs
lola: sara is running 255 secs || 12550439 markings, 14371849 edges, 48257 markings/sec, 255 secs
lola: sara is running 260 secs || 12792337 markings, 14658887 edges, 48380 markings/sec, 260 secs
lola: sara is running 265 secs || 13034488 markings, 14947799 edges, 48430 markings/sec, 265 secs
lola: sara is running 270 secs || 13282607 markings, 15226456 edges, 49624 markings/sec, 270 secs
lola: sara is running 275 secs || 13528784 markings, 15506269 edges, 49235 markings/sec, 275 secs
lola: sara is running 280 secs || 13773952 markings, 15786813 edges, 49034 markings/sec, 280 secs
lola: sara is running 285 secs || 14017792 markings, 16068970 edges, 48768 markings/sec, 285 secs
lola: sara is running 290 secs || 14262712 markings, 16351938 edges, 48984 markings/sec, 290 secs
lola: sara is running 295 secs || 14508487 markings, 16632669 edges, 49155 markings/sec, 295 secs
lola: sara is running 300 secs || 14752553 markings, 16914448 edges, 48813 markings/sec, 300 secs
lola: sara is running 305 secs || 14993940 markings, 17195799 edges, 48277 markings/sec, 305 secs
lola: sara is running 310 secs || 15235310 markings, 17473968 edges, 48274 markings/sec, 310 secs
lola: sara is running 315 secs || 15475282 markings, 17755054 edges, 47994 markings/sec, 315 secs
lola: sara is running 320 secs || 15715664 markings, 18034827 edges, 48076 markings/sec, 320 secs
lola: sara is running 325 secs || 15955542 markings, 18316886 edges, 47976 markings/sec, 325 secs
lola: sara is running 330 secs || 16194057 markings, 18599203 edges, 47703 markings/sec, 330 secs
lola: sara is running 335 secs || 16425919 markings, 18877987 edges, 46372 markings/sec, 335 secs
lola: sara is running 340 secs || 16644837 markings, 19129034 edges, 43784 markings/sec, 340 secs
lola: sara is running 345 secs || 16880264 markings, 19399281 edges, 47085 markings/sec, 345 secs
lola: sara is running 350 secs || 17115224 markings, 19670940 edges, 46992 markings/sec, 350 secs
lola: sara is running 355 secs || 17350316 markings, 19943916 edges, 47018 markings/sec, 355 secs
lola: sara is running 360 secs || 17585505 markings, 20215974 edges, 47038 markings/sec, 360 secs
lola: sara is running 365 secs || 17820104 markings, 20490200 edges, 46920 markings/sec, 365 secs
lola: sara is running 370 secs || 18046308 markings, 20754200 edges, 45241 markings/sec, 370 secs
lola: sara is running 375 secs || 18282572 markings, 21031754 edges, 47253 markings/sec, 375 secs
lola: sara is running 380 secs || 18518719 markings, 21311848 edges, 47229 markings/sec, 380 secs
lola: sara is running 385 secs || 18753432 markings, 21594973 edges, 46943 markings/sec, 385 secs
lola: sara is running 390 secs || 18992220 markings, 21869525 edges, 47758 markings/sec, 390 secs
lola: sara is running 395 secs || 19228667 markings, 22145119 edges, 47289 markings/sec, 395 secs
lola: sara is running 400 secs || 19462903 markings, 22417735 edges, 46847 markings/sec, 400 secs
lola: sara is running 405 secs || 19700004 markings, 22696340 edges, 47420 markings/sec, 405 secs
lola: sara is running 410 secs || 19936771 markings, 22975133 edges, 47353 markings/sec, 410 secs
lola: sara is running 415 secs || 20176523 markings, 23261221 edges, 47950 markings/sec, 415 secs
lola: sara is running 420 secs || 20415796 markings, 23545674 edges, 47855 markings/sec, 420 secs
lola: sara is running 425 secs || 20655772 markings, 23827337 edges, 47995 markings/sec, 425 secs
lola: sara is running 430 secs || 20894956 markings, 24108069 edges, 47837 markings/sec, 430 secs
lola: sara is running 435 secs || 21133717 markings, 24391434 edges, 47752 markings/sec, 435 secs
lola: sara is running 440 secs || 21371849 markings, 24677722 edges, 47626 markings/sec, 440 secs
lola: sara is running 445 secs || 21611278 markings, 24959714 edges, 47886 markings/sec, 445 secs
lola: sara is running 450 secs || 21850026 markings, 25243093 edges, 47750 markings/sec, 450 secs
lola: sara is running 455 secs || 22088186 markings, 25529671 edges, 47632 markings/sec, 455 secs
lola: sara is running 460 secs || 22326219 markings, 25813357 edges, 47607 markings/sec, 460 secs
lola: sara is running 465 secs || 22563620 markings, 26099813 edges, 47480 markings/sec, 465 secs
lola: sara is running 470 secs || 22801442 markings, 26387625 edges, 47564 markings/sec, 470 secs
lola: sara is running 475 secs || 23039223 markings, 26675650 edges, 47556 markings/sec, 475 secs
lola: sara is running 480 secs || 23276104 markings, 26966272 edges, 47376 markings/sec, 480 secs
lola: sara is running 485 secs || 23519644 markings, 27252624 edges, 48708 markings/sec, 485 secs
lola: sara is running 490 secs || 23767531 markings, 27529470 edges, 49577 markings/sec, 490 secs
lola: sara is running 495 secs || 24013582 markings, 27808567 edges, 49210 markings/sec, 495 secs
lola: sara is running 500 secs || 24260120 markings, 28085892 edges, 49308 markings/sec, 500 secs
lola: sara is running 505 secs || 24504660 markings, 28363758 edges, 48908 markings/sec, 505 secs
lola: sara is running 510 secs || 24747816 markings, 28642087 edges, 48631 markings/sec, 510 secs
lola: sara is running 515 secs || 24990615 markings, 28923070 edges, 48560 markings/sec, 515 secs
lola: sara is running 520 secs || 25234986 markings, 29204124 edges, 48874 markings/sec, 520 secs
lola: sara is running 525 secs || 25481068 markings, 29482977 edges, 49216 markings/sec, 525 secs
lola: sara is running 530 secs || 25726552 markings, 29761686 edges, 49097 markings/sec, 530 secs
lola: sara is running 535 secs || 25970625 markings, 30041609 edges, 48815 markings/sec, 535 secs
lola: sara is running 540 secs || 26212828 markings, 30323246 edges, 48441 markings/sec, 540 secs
lola: sara is running 545 secs || 26457216 markings, 30603121 edges, 48878 markings/sec, 545 secs
lola: sara is running 550 secs || 26696883 markings, 30878327 edges, 47933 markings/sec, 550 secs
lola: sara is running 555 secs || 26935670 markings, 31154496 edges, 47757 markings/sec, 555 secs
lola: sara is running 560 secs || 27173705 markings, 31430607 edges, 47607 markings/sec, 560 secs
lola: sara is running 565 secs || 27412148 markings, 31706486 edges, 47689 markings/sec, 565 secs
lola: sara is running 570 secs || 27649616 markings, 31983964 edges, 47494 markings/sec, 570 secs
lola: sara is running 575 secs || 27886464 markings, 32261576 edges, 47370 markings/sec, 575 secs
lola: sara is running 580 secs || 28123592 markings, 32540658 edges, 47426 markings/sec, 580 secs
lola: sara is running 585 secs || 28360487 markings, 32820531 edges, 47379 markings/sec, 585 secs
lola: sara is running 590 secs || 28595880 markings, 33104497 edges, 47079 markings/sec, 590 secs
lola: sara is running 595 secs || 28838672 markings, 33376196 edges, 48558 markings/sec, 595 secs
lola: sara is running 600 secs || 29079220 markings, 33649622 edges, 48110 markings/sec, 600 secs
lola: sara is running 605 secs || 29319196 markings, 33923814 edges, 47995 markings/sec, 605 secs
lola: sara is running 610 secs || 29559723 markings, 34201202 edges, 48105 markings/sec, 610 secs
lola: sara is running 615 secs || 29801516 markings, 34482428 edges, 48359 markings/sec, 615 secs
lola: sara is running 620 secs || 30045768 markings, 34760943 edges, 48850 markings/sec, 620 secs
lola: sara is running 625 secs || 30288556 markings, 35040398 edges, 48558 markings/sec, 625 secs
lola: sara is running 630 secs || 30529745 markings, 35322665 edges, 48238 markings/sec, 630 secs
lola: sara is running 635 secs || 30771172 markings, 35599539 edges, 48285 markings/sec, 635 secs
lola: sara is running 640 secs || 31009720 markings, 35879172 edges, 47710 markings/sec, 640 secs
lola: sara is running 645 secs || 31249300 markings, 36156825 edges, 47916 markings/sec, 645 secs
lola: sara is running 650 secs || 31488803 markings, 36438362 edges, 47901 markings/sec, 650 secs
lola: sara is running 655 secs || 31728063 markings, 36721027 edges, 47852 markings/sec, 655 secs
lola: sara is running 660 secs || 31967688 markings, 37007682 edges, 47925 markings/sec, 660 secs
lola: sara is running 665 secs || 32209364 markings, 37288252 edges, 48335 markings/sec, 665 secs
lola: sara is running 670 secs || 32451799 markings, 37565956 edges, 48487 markings/sec, 670 secs
lola: sara is running 675 secs || 32691048 markings, 37842818 edges, 47850 markings/sec, 675 secs
lola: sara is running 680 secs || 32933884 markings, 38124821 edges, 48567 markings/sec, 680 secs
lola: sara is running 685 secs || 33176852 markings, 38406076 edges, 48594 markings/sec, 685 secs
lola: sara is running 690 secs || 33418872 markings, 38688597 edges, 48404 markings/sec, 690 secs
lola: sara is running 695 secs || 33660368 markings, 38971567 edges, 48299 markings/sec, 695 secs
lola: sara is running 700 secs || 33901797 markings, 39255743 edges, 48286 markings/sec, 700 secs
lola: sara is running 705 secs || 34143004 markings, 39541018 edges, 48241 markings/sec, 705 secs
lola: sara is running 710 secs || 34383288 markings, 39829889 edges, 48057 markings/sec, 710 secs
lola: sara is running 715 secs || 34628104 markings, 40110962 edges, 48963 markings/sec, 715 secs
lola: sara is running 720 secs || 34863994 markings, 40387878 edges, 47178 markings/sec, 720 secs
lola: sara is running 725 secs || 35100620 markings, 40661703 edges, 47325 markings/sec, 725 secs
lola: sara is running 730 secs || 35333380 markings, 40935129 edges, 46552 markings/sec, 730 secs
lola: sara is running 735 secs || 35570056 markings, 41214757 edges, 47335 markings/sec, 735 secs
lola: sara is running 740 secs || 35806047 markings, 41497445 edges, 47198 markings/sec, 740 secs
lola: sara is running 745 secs || 36024115 markings, 41755096 edges, 43614 markings/sec, 745 secs
lola: sara is running 750 secs || 36259052 markings, 42030808 edges, 46987 markings/sec, 750 secs
lola: sara is running 755 secs || 36493578 markings, 42306479 edges, 46905 markings/sec, 755 secs
lola: sara is running 760 secs || 36726525 markings, 42583026 edges, 46589 markings/sec, 760 secs
lola: sara is running 765 secs || 36953161 markings, 42856028 edges, 45327 markings/sec, 765 secs
lola: sara is running 770 secs || 37189694 markings, 43134074 edges, 47307 markings/sec, 770 secs
lola: sara is running 775 secs || 37425678 markings, 43414777 edges, 47197 markings/sec, 775 secs
lola: sara is running 780 secs || 37659836 markings, 43696684 edges, 46832 markings/sec, 780 secs
lola: sara is running 785 secs || 37892684 markings, 43973395 edges, 46570 markings/sec, 785 secs
lola: sara is running 790 secs || 38124300 markings, 44252966 edges, 46323 markings/sec, 790 secs
lola: sara is running 795 secs || 38356268 markings, 44533392 edges, 46394 markings/sec, 795 secs
lola: sara is running 800 secs || 38571164 markings, 44794502 edges, 42979 markings/sec, 800 secs
lola: sara is running 805 secs || 38802384 markings, 45076856 edges, 46244 markings/sec, 805 secs
lola: sara is running 810 secs || 39034484 markings, 45358595 edges, 46420 markings/sec, 810 secs
lola: sara is running 815 secs || 39271028 markings, 45624840 edges, 47309 markings/sec, 815 secs
lola: sara is running 820 secs || 39507334 markings, 45893475 edges, 47261 markings/sec, 820 secs
lola: sara is running 825 secs || 39733367 markings, 46151829 edges, 45207 markings/sec, 825 secs
lola: sara is running 830 secs || 39963412 markings, 46417491 edges, 46009 markings/sec, 830 secs
lola: sara is running 835 secs || 40197932 markings, 46690249 edges, 46904 markings/sec, 835 secs
lola: sara is running 840 secs || 40433464 markings, 46958721 edges, 47106 markings/sec, 840 secs
lola: sara is running 845 secs || 40668864 markings, 47229794 edges, 47080 markings/sec, 845 secs
lola: sara is running 850 secs || 40905590 markings, 47507372 edges, 47345 markings/sec, 850 secs
lola: sara is running 855 secs || 41145334 markings, 47781567 edges, 47949 markings/sec, 855 secs
lola: sara is running 860 secs || 41383735 markings, 48060125 edges, 47680 markings/sec, 860 secs
lola: sara is running 865 secs || 41622899 markings, 48338089 edges, 47833 markings/sec, 865 secs
lola: sara is running 870 secs || 41861243 markings, 48617842 edges, 47669 markings/sec, 870 secs
lola: sara is running 875 secs || 42099040 markings, 48898514 edges, 47559 markings/sec, 875 secs
lola: sara is running 880 secs || 42336010 markings, 49181860 edges, 47394 markings/sec, 880 secs
lola: sara is running 885 secs || 42578251 markings, 49464813 edges, 48448 markings/sec, 885 secs
lola: sara is running 890 secs || 42821168 markings, 49742524 edges, 48583 markings/sec, 890 secs
lola: sara is running 895 secs || 43057316 markings, 50015814 edges, 47230 markings/sec, 895 secs
lola: sara is running 900 secs || 43299008 markings, 50296754 edges, 48338 markings/sec, 900 secs
lola: sara is running 905 secs || 43534279 markings, 50568150 edges, 47054 markings/sec, 905 secs
lola: sara is running 910 secs || 43771022 markings, 50845341 edges, 47349 markings/sec, 910 secs
lola: sara is running 915 secs || 44011764 markings, 51125741 edges, 48148 markings/sec, 915 secs
lola: sara is running 920 secs || 44251047 markings, 51406849 edges, 47857 markings/sec, 920 secs
lola: sara is running 925 secs || 44485993 markings, 51685225 edges, 46989 markings/sec, 925 secs
lola: sara is running 930 secs || 44720059 markings, 51966795 edges, 46813 markings/sec, 930 secs
lola: sara is running 935 secs || 44958775 markings, 52243068 edges, 47743 markings/sec, 935 secs
lola: sara is running 940 secs || 45195650 markings, 52518530 edges, 47375 markings/sec, 940 secs
lola: sara is running 945 secs || 45434244 markings, 52796268 edges, 47719 markings/sec, 945 secs
lola: sara is running 950 secs || 45674365 markings, 53078309 edges, 48024 markings/sec, 950 secs
lola: sara is running 955 secs || 45914306 markings, 53360998 edges, 47988 markings/sec, 955 secs
lola: sara is running 960 secs || 46152921 markings, 53645866 edges, 47723 markings/sec, 960 secs
lola: sara is running 965 secs || 46393293 markings, 53931343 edges, 48074 markings/sec, 965 secs
lola: sara is running 970 secs || 46630330 markings, 54209991 edges, 47407 markings/sec, 970 secs
lola: sara is running 975 secs || 46865468 markings, 54485806 edges, 47028 markings/sec, 975 secs
lola: sara is running 980 secs || 47101867 markings, 54765645 edges, 47280 markings/sec, 980 secs
lola: sara is running 985 secs || 47337498 markings, 55049968 edges, 47126 markings/sec, 985 secs
lola: sara is running 990 secs || 47574576 markings, 55328436 edges, 47416 markings/sec, 990 secs
lola: sara is running 995 secs || 47810752 markings, 55609028 edges, 47235 markings/sec, 995 secs
lola: sara is running 1000 secs || 48046456 markings, 55893105 edges, 47141 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48280908 markings, 56171593 edges, 46890 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48514519 markings, 56453630 edges, 46722 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48747484 markings, 56735111 edges, 46593 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48980948 markings, 57018251 edges, 46693 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49213309 markings, 57302198 edges, 46472 markings/sec, 1025 secs
lola: sara is running 1030 secs || 49448472 markings, 57587176 edges, 47033 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49687876 markings, 57860116 edges, 47881 markings/sec, 1035 secs
lola: sara is running 1040 secs || 49925672 markings, 58133890 edges, 47559 markings/sec, 1040 secs
lola: sara is running 1045 secs || 50162463 markings, 58411104 edges, 47358 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50400695 markings, 58684401 edges, 47646 markings/sec, 1050 secs
lola: sara is running 1055 secs || 50636803 markings, 58960943 edges, 47222 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50873906 markings, 59235837 edges, 47421 markings/sec, 1060 secs
lola: sara is running 1065 secs || 51110152 markings, 59513269 edges, 47249 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51345794 markings, 59791571 edges, 47128 markings/sec, 1070 secs
lola: sara is running 1075 secs || 51581002 markings, 60073141 edges, 47042 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 || 239661 markings, 268736 edges, 47932 markings/sec, 0 secs
lola: sara is running 5 secs || 487636 markings, 551166 edges, 49595 markings/sec, 5 secs
lola: sara is running 10 secs || 731478 markings, 834201 edges, 48768 markings/sec, 10 secs
lola: sara is running 15 secs || 976611 markings, 1114100 edges, 49027 markings/sec, 15 secs
lola: sara is running 20 secs || 1219346 markings, 1396715 edges, 48547 markings/sec, 20 secs
lola: sara is running 25 secs || 1461231 markings, 1679755 edges, 48377 markings/sec, 25 secs
lola: sara is running 30 secs || 1703209 markings, 1962974 edges, 48396 markings/sec, 30 secs
lola: sara is running 35 secs || 1942960 markings, 2248699 edges, 47950 markings/sec, 35 secs
lola: sara is running 40 secs || 2184926 markings, 2533734 edges, 48393 markings/sec, 40 secs
lola: sara is running 45 secs || 2428701 markings, 2814327 edges, 48755 markings/sec, 45 secs
lola: sara is running 50 secs || 2671426 markings, 3096314 edges, 48545 markings/sec, 50 secs
lola: sara is running 55 secs || 2913577 markings, 3379657 edges, 48430 markings/sec, 55 secs
lola: sara is running 60 secs || 3154575 markings, 3663885 edges, 48200 markings/sec, 60 secs
lola: sara is running 65 secs || 3393662 markings, 3951345 edges, 47817 markings/sec, 65 secs
lola: sara is running 70 secs || 3627696 markings, 4224948 edges, 46807 markings/sec, 70 secs
lola: sara is running 75 secs || 3866703 markings, 4504920 edges, 47801 markings/sec, 75 secs
lola: sara is running 80 secs || 4095580 markings, 4775989 edges, 45775 markings/sec, 80 secs
lola: sara is running 85 secs || 4332316 markings, 5060698 edges, 47347 markings/sec, 85 secs
lola: sara is running 90 secs || 4571803 markings, 5344157 edges, 47897 markings/sec, 90 secs
lola: sara is running 95 secs || 4809899 markings, 5626165 edges, 47619 markings/sec, 95 secs
lola: sara is running 100 secs || 5036286 markings, 5899366 edges, 45277 markings/sec, 100 secs
lola: sara is running 105 secs || 5270783 markings, 6179515 edges, 46899 markings/sec, 105 secs
lola: sara is running 110 secs || 5507726 markings, 6466059 edges, 47389 markings/sec, 110 secs
lola: sara is running 115 secs || 5743866 markings, 6753238 edges, 47228 markings/sec, 115 secs
lola: sara is running 120 secs || 5979211 markings, 7042826 edges, 47069 markings/sec, 120 secs
lola: sara is running 125 secs || 6214511 markings, 7337512 edges, 47060 markings/sec, 125 secs
lola: sara is running 130 secs || 6460421 markings, 7617682 edges, 49182 markings/sec, 130 secs
lola: sara is running 135 secs || 6702426 markings, 7899394 edges, 48401 markings/sec, 135 secs
lola: sara is running 140 secs || 6945486 markings, 8181991 edges, 48612 markings/sec, 140 secs
lola: sara is running 145 secs || 7180896 markings, 8458612 edges, 47082 markings/sec, 145 secs
lola: sara is running 150 secs || 7418193 markings, 8740238 edges, 47459 markings/sec, 150 secs
lola: sara is running 155 secs || 7655031 markings, 9023045 edges, 47368 markings/sec, 155 secs
lola: sara is running 160 secs || 7892632 markings, 9301084 edges, 47520 markings/sec, 160 secs
lola: sara is running 165 secs || 8127720 markings, 9576168 edges, 47018 markings/sec, 165 secs
lola: sara is running 170 secs || 8365786 markings, 9859602 edges, 47613 markings/sec, 170 secs
lola: sara is running 175 secs || 8604295 markings, 10144808 edges, 47702 markings/sec, 175 secs
lola: sara is running 180 secs || 8843676 markings, 10428383 edges, 47876 markings/sec, 180 secs
lola: sara is running 185 secs || 9080941 markings, 10713864 edges, 47453 markings/sec, 185 secs
lola: sara is running 190 secs || 9319314 markings, 10998134 edges, 47675 markings/sec, 190 secs
lola: sara is running 195 secs || 9552146 markings, 11280414 edges, 46566 markings/sec, 195 secs
lola: sara is running 200 secs || 9785316 markings, 11563127 edges, 46634 markings/sec, 200 secs
lola: sara is running 205 secs || 10023141 markings, 11853010 edges, 47565 markings/sec, 205 secs
lola: sara is running 210 secs || 10256451 markings, 12142944 edges, 46662 markings/sec, 210 secs
lola: sara is running 215 secs || 10493861 markings, 12425802 edges, 47482 markings/sec, 215 secs
lola: sara is running 220 secs || 10730841 markings, 12703056 edges, 47396 markings/sec, 220 secs
lola: sara is running 225 secs || 10967791 markings, 12982857 edges, 47390 markings/sec, 225 secs
lola: sara is running 230 secs || 11203936 markings, 13266774 edges, 47229 markings/sec, 230 secs
lola: sara is running 235 secs || 11443680 markings, 13550662 edges, 47949 markings/sec, 235 secs
lola: sara is running 240 secs || 11685694 markings, 13838202 edges, 48403 markings/sec, 240 secs
lola: sara is running 245 secs || 11926466 markings, 14128184 edges, 48154 markings/sec, 245 secs
lola: sara is running 250 secs || 12168816 markings, 14417794 edges, 48470 markings/sec, 250 secs
lola: sara is running 255 secs || 12409256 markings, 14708532 edges, 48088 markings/sec, 255 secs
lola: sara is running 260 secs || 12648408 markings, 14999900 edges, 47830 markings/sec, 260 secs
lola: sara is running 265 secs || 12886386 markings, 15292593 edges, 47596 markings/sec, 265 secs
lola: sara is running 270 secs || 13124281 markings, 15589115 edges, 47579 markings/sec, 270 secs
lola: sara is running 275 secs || 13366866 markings, 15873905 edges, 48517 markings/sec, 275 secs
lola: sara is running 280 secs || 13606511 markings, 16160523 edges, 47929 markings/sec, 280 secs
lola: sara is running 285 secs || 13846261 markings, 16448870 edges, 47950 markings/sec, 285 secs
lola: sara is running 290 secs || 14085206 markings, 16736598 edges, 47789 markings/sec, 290 secs
lola: sara is running 295 secs || 14323878 markings, 17024619 edges, 47734 markings/sec, 295 secs
lola: sara is running 300 secs || 14560926 markings, 17314988 edges, 47410 markings/sec, 300 secs
lola: sara is running 305 secs || 14797176 markings, 17606191 edges, 47250 markings/sec, 305 secs
lola: sara is running 310 secs || 15035968 markings, 17899720 edges, 47758 markings/sec, 310 secs
lola: sara is running 315 secs || 15276059 markings, 18187956 edges, 48018 markings/sec, 315 secs
lola: sara is running 320 secs || 15515327 markings, 18477001 edges, 47854 markings/sec, 320 secs
lola: sara is running 325 secs || 15752886 markings, 18767091 edges, 47512 markings/sec, 325 secs
lola: sara is running 330 secs || 15989832 markings, 19059863 edges, 47389 markings/sec, 330 secs
lola: sara is running 335 secs || 16227126 markings, 19354130 edges, 47459 markings/sec, 335 secs
lola: sara is running 340 secs || 16465521 markings, 19643666 edges, 47679 markings/sec, 340 secs
lola: sara is running 345 secs || 16703265 markings, 19934474 edges, 47549 markings/sec, 345 secs
lola: sara is running 350 secs || 16939158 markings, 20229500 edges, 47179 markings/sec, 350 secs
lola: sara is running 355 secs || 17175825 markings, 20520574 edges, 47333 markings/sec, 355 secs
lola: sara is running 360 secs || 17408071 markings, 20808528 edges, 46449 markings/sec, 360 secs
lola: sara is running 365 secs || 17643856 markings, 21103175 edges, 47157 markings/sec, 365 secs
lola: sara is running 370 secs || 17879228 markings, 21399344 edges, 47074 markings/sec, 370 secs
lola: sara is running 375 secs || 18114193 markings, 21694474 edges, 46993 markings/sec, 375 secs
lola: sara is running 380 secs || 18348749 markings, 21991223 edges, 46911 markings/sec, 380 secs
lola: sara is running 385 secs || 18582451 markings, 22294717 edges, 46740 markings/sec, 385 secs
lola: sara is running 390 secs || 18831311 markings, 22581784 edges, 49772 markings/sec, 390 secs
lola: sara is running 395 secs || 19079076 markings, 22871025 edges, 49553 markings/sec, 395 secs
lola: sara is running 400 secs || 19327505 markings, 23158756 edges, 49686 markings/sec, 400 secs
lola: sara is running 405 secs || 19573976 markings, 23448876 edges, 49294 markings/sec, 405 secs
lola: sara is running 410 secs || 19818206 markings, 23738324 edges, 48846 markings/sec, 410 secs
lola: sara is running 415 secs || 20061246 markings, 24028363 edges, 48608 markings/sec, 415 secs
lola: sara is running 420 secs || 20305301 markings, 24313558 edges, 48811 markings/sec, 420 secs
lola: sara is running 425 secs || 20549146 markings, 24599377 edges, 48769 markings/sec, 425 secs
lola: sara is running 430 secs || 20790297 markings, 24887578 edges, 48230 markings/sec, 430 secs
lola: sara is running 435 secs || 21033064 markings, 25176696 edges, 48553 markings/sec, 435 secs
lola: sara is running 440 secs || 21276330 markings, 25464820 edges, 48653 markings/sec, 440 secs
lola: sara is running 445 secs || 21516700 markings, 25756579 edges, 48074 markings/sec, 445 secs
lola: sara is running 450 secs || 21759626 markings, 26044602 edges, 48585 markings/sec, 450 secs
lola: sara is running 455 secs || 21999864 markings, 26335409 edges, 48048 markings/sec, 455 secs
lola: sara is running 460 secs || 22239156 markings, 26625936 edges, 47858 markings/sec, 460 secs
lola: sara is running 465 secs || 22477163 markings, 26917567 edges, 47601 markings/sec, 465 secs
lola: sara is running 470 secs || 22713965 markings, 27214008 edges, 47360 markings/sec, 470 secs
lola: sara is running 475 secs || 22958498 markings, 27499254 edges, 48907 markings/sec, 475 secs
lola: sara is running 480 secs || 23196464 markings, 27778223 edges, 47593 markings/sec, 480 secs
lola: sara is running 485 secs || 23432169 markings, 28057619 edges, 47141 markings/sec, 485 secs
lola: sara is running 490 secs || 23666316 markings, 28341386 edges, 46829 markings/sec, 490 secs
lola: sara is running 495 secs || 23906451 markings, 28622802 edges, 48027 markings/sec, 495 secs
lola: sara is running 500 secs || 24147531 markings, 28910478 edges, 48216 markings/sec, 500 secs
lola: sara is running 505 secs || 24385278 markings, 29196173 edges, 47549 markings/sec, 505 secs
lola: sara is running 510 secs || 24627031 markings, 29486758 edges, 48351 markings/sec, 510 secs
lola: sara is running 515 secs || 24867061 markings, 29776934 edges, 48006 markings/sec, 515 secs
lola: sara is running 520 secs || 25102191 markings, 30063632 edges, 47026 markings/sec, 520 secs
lola: sara is running 525 secs || 25336260 markings, 30352978 edges, 46814 markings/sec, 525 secs
lola: sara is running 530 secs || 25575531 markings, 30646762 edges, 47854 markings/sec, 530 secs
lola: sara is running 535 secs || 25815449 markings, 30929820 edges, 47984 markings/sec, 535 secs
lola: sara is running 540 secs || 26051388 markings, 31213502 edges, 47188 markings/sec, 540 secs
lola: sara is running 545 secs || 26288169 markings, 31496361 edges, 47356 markings/sec, 545 secs
lola: sara is running 550 secs || 26523767 markings, 31782425 edges, 47120 markings/sec, 550 secs
lola: sara is running 555 secs || 26758880 markings, 32065711 edges, 47023 markings/sec, 555 secs
lola: sara is running 560 secs || 26993346 markings, 32352310 edges, 46893 markings/sec, 560 secs
lola: sara is running 565 secs || 27227251 markings, 32642244 edges, 46781 markings/sec, 565 secs
lola: sara is running 570 secs || 27463851 markings, 32931833 edges, 47320 markings/sec, 570 secs
lola: sara is running 575 secs || 27698351 markings, 33213589 edges, 46900 markings/sec, 575 secs
lola: sara is running 580 secs || 27929974 markings, 33493210 edges, 46325 markings/sec, 580 secs
lola: sara is running 585 secs || 28144356 markings, 33754499 edges, 42876 markings/sec, 585 secs
lola: sara is running 590 secs || 28373746 markings, 34037401 edges, 45878 markings/sec, 590 secs
lola: sara is running 595 secs || 28603427 markings, 34324030 edges, 45936 markings/sec, 595 secs
lola: sara is running 600 secs || 28836691 markings, 34607365 edges, 46653 markings/sec, 600 secs
lola: sara is running 605 secs || 29071939 markings, 34894242 edges, 47050 markings/sec, 605 secs
lola: sara is running 610 secs || 29307336 markings, 35187150 edges, 47079 markings/sec, 610 secs
lola: sara is running 615 secs || 29542957 markings, 35478545 edges, 47124 markings/sec, 615 secs
lola: sara is running 620 secs || 29766522 markings, 35754467 edges, 44713 markings/sec, 620 secs
lola: sara is running 625 secs || 30000546 markings, 36047194 edges, 46805 markings/sec, 625 secs
lola: sara is running 630 secs || 30234378 markings, 36338824 edges, 46766 markings/sec, 630 secs
lola: sara is running 635 secs || 30467271 markings, 36631462 edges, 46579 markings/sec, 635 secs
lola: sara is running 640 secs || 30701946 markings, 36930080 edges, 46935 markings/sec, 640 secs
lola: sara is running 645 secs || 30936621 markings, 37231738 edges, 46935 markings/sec, 645 secs
lola: sara is running 650 secs || 31170211 markings, 37512870 edges, 46718 markings/sec, 650 secs
lola: sara is running 655 secs || 31411151 markings, 37794532 edges, 48188 markings/sec, 655 secs
lola: sara is running 660 secs || 31646654 markings, 38073471 edges, 47101 markings/sec, 660 secs
lola: sara is running 665 secs || 31879631 markings, 38353371 edges, 46595 markings/sec, 665 secs
lola: sara is running 670 secs || 32116765 markings, 38634061 edges, 47427 markings/sec, 670 secs
lola: sara is running 675 secs || 32352173 markings, 38913590 edges, 47082 markings/sec, 675 secs
lola: sara is running 680 secs || 32586403 markings, 39195959 edges, 46846 markings/sec, 680 secs
lola: sara is running 685 secs || 32825711 markings, 39481684 edges, 47862 markings/sec, 685 secs
lola: sara is running 690 secs || 33058765 markings, 39763497 edges, 46611 markings/sec, 690 secs
lola: sara is running 695 secs || 33290328 markings, 40045191 edges, 46313 markings/sec, 695 secs
lola: sara is running 700 secs || 33521076 markings, 40329135 edges, 46150 markings/sec, 700 secs
lola: sara is running 705 secs || 33751358 markings, 40618217 edges, 46056 markings/sec, 705 secs
lola: sara is running 710 secs || 33986066 markings, 40893884 edges, 46942 markings/sec, 710 secs
lola: sara is running 715 secs || 34218956 markings, 41170606 edges, 46578 markings/sec, 715 secs
lola: sara is running 720 secs || 34451962 markings, 41451457 edges, 46601 markings/sec, 720 secs
lola: sara is running 725 secs || 34683773 markings, 41728771 edges, 46362 markings/sec, 725 secs
lola: sara is running 730 secs || 34914511 markings, 42007873 edges, 46148 markings/sec, 730 secs
lola: sara is running 735 secs || 35144741 markings, 42288155 edges, 46046 markings/sec, 735 secs
lola: sara is running 740 secs || 35374131 markings, 42570480 edges, 45878 markings/sec, 740 secs
lola: sara is running 745 secs || 35603521 markings, 42858917 edges, 45878 markings/sec, 745 secs
lola: sara is running 750 secs || 35837356 markings, 43136171 edges, 46767 markings/sec, 750 secs
lola: sara is running 755 secs || 36068958 markings, 43416560 edges, 46320 markings/sec, 755 secs
lola: sara is running 760 secs || 36300242 markings, 43697670 edges, 46257 markings/sec, 760 secs
lola: sara is running 765 secs || 36530706 markings, 43978993 edges, 46093 markings/sec, 765 secs
lola: sara is running 770 secs || 36761531 markings, 44266489 edges, 46165 markings/sec, 770 secs
lola: sara is running 775 secs || 36993021 markings, 44549255 edges, 46298 markings/sec, 775 secs
lola: sara is running 780 secs || 37223986 markings, 44830800 edges, 46193 markings/sec, 780 secs
lola: sara is running 785 secs || 37455730 markings, 45116404 edges, 46349 markings/sec, 785 secs
lola: sara is running 790 secs || 37687246 markings, 45406115 edges, 46303 markings/sec, 790 secs
lola: sara is running 795 secs || 37919288 markings, 45690317 edges, 46408 markings/sec, 795 secs
lola: sara is running 800 secs || 38149366 markings, 45977997 edges, 46016 markings/sec, 800 secs
lola: sara is running 805 secs || 38380665 markings, 46265781 edges, 46260 markings/sec, 805 secs
lola: sara is running 810 secs || 38611247 markings, 46555177 edges, 46116 markings/sec, 810 secs
lola: sara is running 815 secs || 38841666 markings, 46846238 edges, 46084 markings/sec, 815 secs
lola: sara is running 820 secs || 39071683 markings, 47139258 edges, 46003 markings/sec, 820 secs
lola: sara is running 825 secs || 39302391 markings, 47435893 edges, 46142 markings/sec, 825 secs
lola: sara is running 830 secs || 39535771 markings, 47709869 edges, 46676 markings/sec, 830 secs
lola: sara is running 835 secs || 39762501 markings, 47980865 edges, 45346 markings/sec, 835 secs
lola: sara is running 840 secs || 39989087 markings, 48253128 edges, 45317 markings/sec, 840 secs
lola: sara is running 845 secs || 40218866 markings, 48528944 edges, 45956 markings/sec, 845 secs
lola: sara is running 850 secs || 40448396 markings, 48806377 edges, 45906 markings/sec, 850 secs
lola: sara is running 855 secs || 40677912 markings, 49085775 edges, 45903 markings/sec, 855 secs
lola: sara is running 860 secs || 40908584 markings, 49370215 edges, 46134 markings/sec, 860 secs
lola: sara is running 865 secs || 41144056 markings, 49663800 edges, 47094 markings/sec, 865 secs
lola: sara is running 870 secs || 41383343 markings, 49948725 edges, 47857 markings/sec, 870 secs
lola: sara is running 875 secs || 41620070 markings, 50235454 edges, 47345 markings/sec, 875 secs
lola: sara is running 880 secs || 41856735 markings, 50523174 edges, 47333 markings/sec, 880 secs
lola: sara is running 885 secs || 42092766 markings, 50813452 edges, 47206 markings/sec, 885 secs
lola: sara is running 890 secs || 42326448 markings, 51106979 edges, 46736 markings/sec, 890 secs
lola: sara is running 895 secs || 42562780 markings, 51391613 edges, 47266 markings/sec, 895 secs
lola: sara is running 900 secs || 42793186 markings, 51673710 edges, 46081 markings/sec, 900 secs
lola: sara is running 905 secs || 43022319 markings, 51956484 edges, 45827 markings/sec, 905 secs
lola: sara is running 910 secs || 43249864 markings, 52239535 edges, 45509 markings/sec, 910 secs
lola: sara is running 915 secs || 43477891 markings, 52520248 edges, 45605 markings/sec, 915 secs
lola: sara is running 920 secs || 43706406 markings, 52807645 edges, 45703 markings/sec, 920 secs
lola: sara is running 925 secs || 43942026 markings, 53098986 edges, 47124 markings/sec, 925 secs
lola: sara is running 930 secs || 44176176 markings, 53393117 edges, 46830 markings/sec, 930 secs
lola: sara is running 935 secs || 44409836 markings, 53688394 edges, 46732 markings/sec, 935 secs
lola: sara is running 940 secs || 44635515 markings, 53978640 edges, 45136 markings/sec, 940 secs
lola: sara is running 945 secs || 44864276 markings, 54266907 edges, 45752 markings/sec, 945 secs
lola: sara is running 950 secs || 45095689 markings, 54543837 edges, 46283 markings/sec, 950 secs
lola: sara is running 955 secs || 45328306 markings, 54825198 edges, 46523 markings/sec, 955 secs
lola: sara is running 960 secs || 45554686 markings, 55100834 edges, 45276 markings/sec, 960 secs
lola: sara is running 965 secs || 45779631 markings, 55377705 edges, 44989 markings/sec, 965 secs
lola: sara is running 970 secs || 46003246 markings, 55659566 edges, 44723 markings/sec, 970 secs
lola: sara is running 975 secs || 46230818 markings, 55932981 edges, 45514 markings/sec, 975 secs
lola: sara is running 980 secs || 46457795 markings, 56211318 edges, 45395 markings/sec, 980 secs
lola: sara is running 985 secs || 46691696 markings, 56499352 edges, 46780 markings/sec, 985 secs
lola: sara is running 990 secs || 46924936 markings, 56789574 edges, 46648 markings/sec, 990 secs
lola: sara is running 995 secs || 47158356 markings, 57076753 edges, 46684 markings/sec, 995 secs
lola: sara is running 1000 secs || 47390891 markings, 57368945 edges, 46507 markings/sec, 1000 secs
lola: sara is running 1005 secs || 47623969 markings, 57657853 edges, 46616 markings/sec, 1005 secs
lola: sara is running 1010 secs || 47856321 markings, 57949754 edges, 46470 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48088290 markings, 58242882 edges, 46394 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48318671 markings, 58538646 edges, 46076 markings/sec, 1020 secs
lola: sara is running 1025 secs || 48545573 markings, 58826505 edges, 45380 markings/sec, 1025 secs
lola: sara is running 1030 secs || 48774616 markings, 59104183 edges, 45809 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49002444 markings, 59383107 edges, 45566 markings/sec, 1035 secs
lola: sara is running 1040 secs || 49228803 markings, 59665654 edges, 45272 markings/sec, 1040 secs
lola: sara is running 1045 secs || 49461063 markings, 59952501 edges, 46452 markings/sec, 1045 secs
lola: sara is running 1050 secs || 49692771 markings, 60238407 edges, 46342 markings/sec, 1050 secs
lola: sara is running 1055 secs || 49923704 markings, 60527308 edges, 46187 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50154278 markings, 60815807 edges, 46115 markings/sec, 1060 secs
lola: sara is running 1065 secs || 50384511 markings, 61105215 edges, 46047 markings/sec, 1065 secs
lola: sara is running 1070 secs || 50614321 markings, 61397409 edges, 45962 markings/sec, 1070 secs
lola: sara is running 1075 secs || 50843271 markings, 61691686 edges, 45790 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 || 250462 markings, 282402 edges, 50092 markings/sec, 0 secs
lola: sara is running 5 secs || 501740 markings, 571551 edges, 50256 markings/sec, 5 secs
lola: sara is running 10 secs || 757334 markings, 869495 edges, 51119 markings/sec, 10 secs
lola: sara is running 15 secs || 1007733 markings, 1160426 edges, 50080 markings/sec, 15 secs
lola: sara is running 20 secs || 1256422 markings, 1451550 edges, 49738 markings/sec, 20 secs
lola: sara is running 25 secs || 1509996 markings, 1751225 edges, 50715 markings/sec, 25 secs
lola: sara is running 30 secs || 1762050 markings, 2052888 edges, 50411 markings/sec, 30 secs
lola: sara is running 35 secs || 2016734 markings, 2359352 edges, 50937 markings/sec, 35 secs
lola: sara is running 40 secs || 2278629 markings, 2662367 edges, 52379 markings/sec, 40 secs
lola: sara is running 45 secs || 2539034 markings, 2967611 edges, 52081 markings/sec, 45 secs
lola: sara is running 50 secs || 2798678 markings, 3274008 edges, 51929 markings/sec, 50 secs
lola: sara is running 55 secs || 3038258 markings, 3560505 edges, 47916 markings/sec, 55 secs
lola: sara is running 60 secs || 3277175 markings, 3851507 edges, 47783 markings/sec, 60 secs
lola: sara is running 65 secs || 3520587 markings, 4136916 edges, 48682 markings/sec, 65 secs
lola: sara is running 70 secs || 3763168 markings, 4423881 edges, 48516 markings/sec, 70 secs
lola: sara is running 75 secs || 4003804 markings, 4713708 edges, 48127 markings/sec, 75 secs
lola: sara is running 80 secs || 4246223 markings, 5005181 edges, 48484 markings/sec, 80 secs
lola: sara is running 85 secs || 4490852 markings, 5297725 edges, 48926 markings/sec, 85 secs
lola: sara is running 90 secs || 4733534 markings, 5594169 edges, 48536 markings/sec, 90 secs
lola: sara is running 95 secs || 4976942 markings, 5887358 edges, 48682 markings/sec, 95 secs
lola: sara is running 100 secs || 5219427 markings, 6184105 edges, 48497 markings/sec, 100 secs
lola: sara is running 105 secs || 5461284 markings, 6481531 edges, 48371 markings/sec, 105 secs
lola: sara is running 110 secs || 5701943 markings, 6782315 edges, 48132 markings/sec, 110 secs
lola: sara is running 115 secs || 5946309 markings, 7080874 edges, 48873 markings/sec, 115 secs
lola: sara is running 120 secs || 6194474 markings, 7369145 edges, 49633 markings/sec, 120 secs
lola: sara is running 125 secs || 6446661 markings, 7664357 edges, 50437 markings/sec, 125 secs
lola: sara is running 130 secs || 6699716 markings, 7963093 edges, 50611 markings/sec, 130 secs
lola: sara is running 135 secs || 6949629 markings, 8262171 edges, 49983 markings/sec, 135 secs
lola: sara is running 140 secs || 7201106 markings, 8566678 edges, 50295 markings/sec, 140 secs
lola: sara is running 145 secs || 7445802 markings, 8854869 edges, 48939 markings/sec, 145 secs
lola: sara is running 150 secs || 7693257 markings, 9147260 edges, 49491 markings/sec, 150 secs
lola: sara is running 155 secs || 7937531 markings, 9442911 edges, 48855 markings/sec, 155 secs
lola: sara is running 160 secs || 8183305 markings, 9737547 edges, 49155 markings/sec, 160 secs
lola: sara is running 165 secs || 8428811 markings, 10031932 edges, 49101 markings/sec, 165 secs
lola: sara is running 170 secs || 8671886 markings, 10327352 edges, 48615 markings/sec, 170 secs
lola: sara is running 175 secs || 8915790 markings, 10622950 edges, 48781 markings/sec, 175 secs
lola: sara is running 180 secs || 9159150 markings, 10920425 edges, 48672 markings/sec, 180 secs
lola: sara is running 185 secs || 9401155 markings, 11220273 edges, 48401 markings/sec, 185 secs
lola: sara is running 190 secs || 9641527 markings, 11520658 edges, 48074 markings/sec, 190 secs
lola: sara is running 195 secs || 9888760 markings, 11819805 edges, 49447 markings/sec, 195 secs
lola: sara is running 200 secs || 10137581 markings, 12113577 edges, 49764 markings/sec, 200 secs
lola: sara is running 205 secs || 10385773 markings, 12409966 edges, 49638 markings/sec, 205 secs
lola: sara is running 210 secs || 10631260 markings, 12709701 edges, 49097 markings/sec, 210 secs
lola: sara is running 215 secs || 10881004 markings, 13005190 edges, 49949 markings/sec, 215 secs
lola: sara is running 220 secs || 11126526 markings, 13302534 edges, 49104 markings/sec, 220 secs
lola: sara is running 225 secs || 11371946 markings, 13599102 edges, 49084 markings/sec, 225 secs
lola: sara is running 230 secs || 11614991 markings, 13896400 edges, 48609 markings/sec, 230 secs
lola: sara is running 235 secs || 11857748 markings, 14193980 edges, 48551 markings/sec, 235 secs
lola: sara is running 240 secs || 12101545 markings, 14495686 edges, 48759 markings/sec, 240 secs
lola: sara is running 245 secs || 12342504 markings, 14802916 edges, 48192 markings/sec, 245 secs
lola: sara is running 250 secs || 12590899 markings, 15095750 edges, 49679 markings/sec, 250 secs
lola: sara is running 255 secs || 12836741 markings, 15392606 edges, 49168 markings/sec, 255 secs
lola: sara is running 260 secs || 13082855 markings, 15690812 edges, 49223 markings/sec, 260 secs
lola: sara is running 265 secs || 13330298 markings, 15993443 edges, 49489 markings/sec, 265 secs
lola: sara is running 270 secs || 13575125 markings, 16293274 edges, 48965 markings/sec, 270 secs
lola: sara is running 275 secs || 13821010 markings, 16596733 edges, 49177 markings/sec, 275 secs
lola: sara is running 280 secs || 14066069 markings, 16908137 edges, 49012 markings/sec, 280 secs
lola: sara is running 285 secs || 14316767 markings, 17209393 edges, 50140 markings/sec, 285 secs
lola: sara is running 290 secs || 14566558 markings, 17514883 edges, 49958 markings/sec, 290 secs
lola: sara is running 295 secs || 14810778 markings, 17815298 edges, 48844 markings/sec, 295 secs
lola: sara is running 300 secs || 15055398 markings, 18119437 edges, 48924 markings/sec, 300 secs
lola: sara is running 305 secs || 15299714 markings, 18426790 edges, 48863 markings/sec, 305 secs
lola: sara is running 310 secs || 15543535 markings, 18726339 edges, 48764 markings/sec, 310 secs
lola: sara is running 315 secs || 15786159 markings, 19027320 edges, 48525 markings/sec, 315 secs
lola: sara is running 320 secs || 16027025 markings, 19332543 edges, 48173 markings/sec, 320 secs
lola: sara is running 325 secs || 16269940 markings, 19633055 edges, 48583 markings/sec, 325 secs
lola: sara is running 330 secs || 16510729 markings, 19939926 edges, 48158 markings/sec, 330 secs
lola: sara is running 335 secs || 16752664 markings, 20242589 edges, 48387 markings/sec, 335 secs
lola: sara is running 340 secs || 16993168 markings, 20548038 edges, 48101 markings/sec, 340 secs
lola: sara is running 345 secs || 17232551 markings, 20856623 edges, 47877 markings/sec, 345 secs
lola: sara is running 350 secs || 17473848 markings, 21170049 edges, 48259 markings/sec, 350 secs
lola: sara is running 355 secs || 17728258 markings, 21474631 edges, 50882 markings/sec, 355 secs
lola: sara is running 360 secs || 17983525 markings, 21774900 edges, 51053 markings/sec, 360 secs
lola: sara is running 365 secs || 18239962 markings, 22074652 edges, 51287 markings/sec, 365 secs
lola: sara is running 370 secs || 18484452 markings, 22364118 edges, 48898 markings/sec, 370 secs
lola: sara is running 375 secs || 18727018 markings, 22656254 edges, 48513 markings/sec, 375 secs
lola: sara is running 380 secs || 18980160 markings, 22957913 edges, 50628 markings/sec, 380 secs
lola: sara is running 385 secs || 19228092 markings, 23250436 edges, 49586 markings/sec, 385 secs
lola: sara is running 390 secs || 19474007 markings, 23544240 edges, 49183 markings/sec, 390 secs
lola: sara is running 395 secs || 19718271 markings, 23842629 edges, 48853 markings/sec, 395 secs
lola: sara is running 400 secs || 19963908 markings, 24133045 edges, 49127 markings/sec, 400 secs
lola: sara is running 405 secs || 20207818 markings, 24428220 edges, 48782 markings/sec, 405 secs
lola: sara is running 410 secs || 20454676 markings, 24726705 edges, 49372 markings/sec, 410 secs
lola: sara is running 415 secs || 20706010 markings, 25033980 edges, 50267 markings/sec, 415 secs
lola: sara is running 420 secs || 20957228 markings, 25341752 edges, 50244 markings/sec, 420 secs
lola: sara is running 425 secs || 21209213 markings, 25654654 edges, 50397 markings/sec, 425 secs
lola: sara is running 430 secs || 21460402 markings, 25970743 edges, 50238 markings/sec, 430 secs
lola: sara is running 435 secs || 21722199 markings, 26278466 edges, 52359 markings/sec, 435 secs
lola: sara is running 440 secs || 21981848 markings, 26584905 edges, 51930 markings/sec, 440 secs
lola: sara is running 445 secs || 22237560 markings, 26894351 edges, 51142 markings/sec, 445 secs
lola: sara is running 450 secs || 22496408 markings, 27205269 edges, 51770 markings/sec, 450 secs
lola: sara is running 455 secs || 22754406 markings, 27514124 edges, 51600 markings/sec, 455 secs
lola: sara is running 460 secs || 23007022 markings, 27821767 edges, 50523 markings/sec, 460 secs
lola: sara is running 465 secs || 23258872 markings, 28128923 edges, 50370 markings/sec, 465 secs
lola: sara is running 470 secs || 23509777 markings, 28435112 edges, 50181 markings/sec, 470 secs
lola: sara is running 475 secs || 23759382 markings, 28743206 edges, 49921 markings/sec, 475 secs
lola: sara is running 480 secs || 24007091 markings, 29056189 edges, 49542 markings/sec, 480 secs
lola: sara is running 485 secs || 24261647 markings, 29360859 edges, 50911 markings/sec, 485 secs
lola: sara is running 490 secs || 24516506 markings, 29667894 edges, 50972 markings/sec, 490 secs
lola: sara is running 495 secs || 24771727 markings, 29977252 edges, 51044 markings/sec, 495 secs
lola: sara is running 500 secs || 25025463 markings, 30287575 edges, 50747 markings/sec, 500 secs
lola: sara is running 505 secs || 25275036 markings, 30593085 edges, 49915 markings/sec, 505 secs
lola: sara is running 510 secs || 25517622 markings, 30892685 edges, 48517 markings/sec, 510 secs
lola: sara is running 515 secs || 25755074 markings, 31194263 edges, 47490 markings/sec, 515 secs
lola: sara is running 520 secs || 25996211 markings, 31484516 edges, 48227 markings/sec, 520 secs
lola: sara is running 525 secs || 26238411 markings, 31781095 edges, 48440 markings/sec, 525 secs
lola: sara is running 530 secs || 26487664 markings, 32086554 edges, 49851 markings/sec, 530 secs
lola: sara is running 535 secs || 26732952 markings, 32391831 edges, 49058 markings/sec, 535 secs
lola: sara is running 540 secs || 26980187 markings, 32703092 edges, 49447 markings/sec, 540 secs
lola: sara is running 545 secs || 27230361 markings, 33009999 edges, 50035 markings/sec, 545 secs
lola: sara is running 550 secs || 27479041 markings, 33318681 edges, 49736 markings/sec, 550 secs
lola: sara is running 555 secs || 27726018 markings, 33631248 edges, 49395 markings/sec, 555 secs
lola: sara is running 560 secs || 27973663 markings, 33938644 edges, 49529 markings/sec, 560 secs
lola: sara is running 565 secs || 28219300 markings, 34250274 edges, 49127 markings/sec, 565 secs
lola: sara is running 570 secs || 28465651 markings, 34558919 edges, 49270 markings/sec, 570 secs
lola: sara is running 575 secs || 28710578 markings, 34870894 edges, 48985 markings/sec, 575 secs
lola: sara is running 580 secs || 28954975 markings, 35185465 edges, 48879 markings/sec, 580 secs
lola: sara is running 585 secs || 29198133 markings, 35503565 edges, 48632 markings/sec, 585 secs
lola: sara is running 590 secs || 29455971 markings, 35810303 edges, 51568 markings/sec, 590 secs
lola: sara is running 595 secs || 29712009 markings, 36114898 edges, 51208 markings/sec, 595 secs
lola: sara is running 600 secs || 29966109 markings, 36418934 edges, 50820 markings/sec, 600 secs
lola: sara is running 605 secs || 30220040 markings, 36724973 edges, 50786 markings/sec, 605 secs
lola: sara is running 610 secs || 30476081 markings, 37031231 edges, 51208 markings/sec, 610 secs
lola: sara is running 615 secs || 30728108 markings, 37338443 edges, 50405 markings/sec, 615 secs
lola: sara is running 620 secs || 30980673 markings, 37643615 edges, 50513 markings/sec, 620 secs
lola: sara is running 625 secs || 31230942 markings, 37949278 edges, 50054 markings/sec, 625 secs
lola: sara is running 630 secs || 31479145 markings, 38256225 edges, 49641 markings/sec, 630 secs
lola: sara is running 635 secs || 31725523 markings, 38564636 edges, 49276 markings/sec, 635 secs
lola: sara is running 640 secs || 31975612 markings, 38869915 edges, 50018 markings/sec, 640 secs
lola: sara is running 645 secs || 32228629 markings, 39173126 edges, 50603 markings/sec, 645 secs
lola: sara is running 650 secs || 32479074 markings, 39477942 edges, 50089 markings/sec, 650 secs
lola: sara is running 655 secs || 32729118 markings, 39780536 edges, 50009 markings/sec, 655 secs
lola: sara is running 660 secs || 32978719 markings, 40085733 edges, 49920 markings/sec, 660 secs
lola: sara is running 665 secs || 33229661 markings, 40396280 edges, 50188 markings/sec, 665 secs
lola: sara is running 670 secs || 33478927 markings, 40708287 edges, 49853 markings/sec, 670 secs
lola: sara is running 675 secs || 33733208 markings, 41020164 edges, 50856 markings/sec, 675 secs
lola: sara is running 680 secs || 33986945 markings, 41330321 edges, 50747 markings/sec, 680 secs
lola: sara is running 685 secs || 34237770 markings, 41637688 edges, 50165 markings/sec, 685 secs
lola: sara is running 690 secs || 34487852 markings, 41948313 edges, 50016 markings/sec, 690 secs
lola: sara is running 695 secs || 34736705 markings, 42262864 edges, 49771 markings/sec, 695 secs
lola: sara is running 700 secs || 34989386 markings, 42572219 edges, 50536 markings/sec, 700 secs
lola: sara is running 705 secs || 35240510 markings, 42882469 edges, 50225 markings/sec, 705 secs
lola: sara is running 710 secs || 35488432 markings, 43198120 edges, 49584 markings/sec, 710 secs
lola: sara is running 715 secs || 35739412 markings, 43507290 edges, 50196 markings/sec, 715 secs
lola: sara is running 720 secs || 35987078 markings, 43821518 edges, 49533 markings/sec, 720 secs
lola: sara is running 725 secs || 36236472 markings, 44134457 edges, 49879 markings/sec, 725 secs
lola: sara is running 730 secs || 36484588 markings, 44449972 edges, 49623 markings/sec, 730 secs
lola: sara is running 735 secs || 36731476 markings, 44767688 edges, 49378 markings/sec, 735 secs
lola: sara is running 740 secs || 36977473 markings, 45088152 edges, 49199 markings/sec, 740 secs
lola: sara is running 745 secs || 37234473 markings, 45401152 edges, 51400 markings/sec, 745 secs
lola: sara is running 750 secs || 37492269 markings, 45711149 edges, 51559 markings/sec, 750 secs
lola: sara is running 755 secs || 37748128 markings, 46021401 edges, 51172 markings/sec, 755 secs
lola: sara is running 760 secs || 38002250 markings, 46332116 edges, 50824 markings/sec, 760 secs
lola: sara is running 765 secs || 38256039 markings, 46642589 edges, 50758 markings/sec, 765 secs
lola: sara is running 770 secs || 38508541 markings, 46954202 edges, 50500 markings/sec, 770 secs
lola: sara is running 775 secs || 38758082 markings, 47272223 edges, 49908 markings/sec, 775 secs
lola: sara is running 780 secs || 39006344 markings, 47569197 edges, 49652 markings/sec, 780 secs
lola: sara is running 785 secs || 39258888 markings, 47878040 edges, 50509 markings/sec, 785 secs
lola: sara is running 790 secs || 39510123 markings, 48186918 edges, 50247 markings/sec, 790 secs
lola: sara is running 795 secs || 39759338 markings, 48498594 edges, 49843 markings/sec, 795 secs
lola: sara is running 800 secs || 40008620 markings, 48810172 edges, 49856 markings/sec, 800 secs
lola: sara is running 805 secs || 40256452 markings, 49114362 edges, 49566 markings/sec, 805 secs
lola: sara is running 810 secs || 40497680 markings, 49414723 edges, 48246 markings/sec, 810 secs
lola: sara is running 815 secs || 40745010 markings, 49727162 edges, 49466 markings/sec, 815 secs
lola: sara is running 820 secs || 40993110 markings, 50035485 edges, 49620 markings/sec, 820 secs
lola: sara is running 825 secs || 41239421 markings, 50347726 edges, 49262 markings/sec, 825 secs
lola: sara is running 830 secs || 41486163 markings, 50658201 edges, 49348 markings/sec, 830 secs
lola: sara is running 835 secs || 41731694 markings, 50971147 edges, 49106 markings/sec, 835 secs
lola: sara is running 840 secs || 41976339 markings, 51285636 edges, 48929 markings/sec, 840 secs
lola: sara is running 845 secs || 42219029 markings, 51606877 edges, 48538 markings/sec, 845 secs
lola: sara is running 850 secs || 42471900 markings, 51909821 edges, 50574 markings/sec, 850 secs
lola: sara is running 855 secs || 42721602 markings, 52215119 edges, 49940 markings/sec, 855 secs
lola: sara is running 860 secs || 42970404 markings, 52521043 edges, 49760 markings/sec, 860 secs
lola: sara is running 865 secs || 43216981 markings, 52828729 edges, 49315 markings/sec, 865 secs
lola: sara is running 870 secs || 43463818 markings, 53138558 edges, 49367 markings/sec, 870 secs
lola: sara is running 875 secs || 43712904 markings, 53443845 edges, 49817 markings/sec, 875 secs
lola: sara is running 880 secs || 43959829 markings, 53751357 edges, 49385 markings/sec, 880 secs
lola: sara is running 885 secs || 44205856 markings, 54062217 edges, 49205 markings/sec, 885 secs
lola: sara is running 890 secs || 44453028 markings, 54369066 edges, 49434 markings/sec, 890 secs
lola: sara is running 895 secs || 44698316 markings, 54680294 edges, 49058 markings/sec, 895 secs
lola: sara is running 900 secs || 44943872 markings, 54988826 edges, 49111 markings/sec, 900 secs
lola: sara is running 905 secs || 45188468 markings, 55300234 edges, 48919 markings/sec, 905 secs
lola: sara is running 910 secs || 45432107 markings, 55613886 edges, 48728 markings/sec, 910 secs
lola: sara is running 915 secs || 45673965 markings, 55932535 edges, 48372 markings/sec, 915 secs
lola: sara is running 920 secs || 45924400 markings, 56239750 edges, 50087 markings/sec, 920 secs
lola: sara is running 925 secs || 46173267 markings, 56547033 edges, 49773 markings/sec, 925 secs
lola: sara is running 930 secs || 46420094 markings, 56858632 edges, 49365 markings/sec, 930 secs
lola: sara is running 935 secs || 46667771 markings, 57166835 edges, 49535 markings/sec, 935 secs
lola: sara is running 940 secs || 46913708 markings, 57475992 edges, 49187 markings/sec, 940 secs
lola: sara is running 945 secs || 47159398 markings, 57786242 edges, 49138 markings/sec, 945 secs
lola: sara is running 950 secs || 47403871 markings, 58096943 edges, 48895 markings/sec, 950 secs
lola: sara is running 955 secs || 47647826 markings, 58408510 edges, 48791 markings/sec, 955 secs
lola: sara is running 960 secs || 47890311 markings, 58723498 edges, 48497 markings/sec, 960 secs
lola: sara is running 965 secs || 48135136 markings, 59036348 edges, 48965 markings/sec, 965 secs
lola: sara is running 970 secs || 48381448 markings, 59344140 edges, 49262 markings/sec, 970 secs
lola: sara is running 975 secs || 48626860 markings, 59655155 edges, 49082 markings/sec, 975 secs
lola: sara is running 980 secs || 48871266 markings, 59965529 edges, 48881 markings/sec, 980 secs
lola: sara is running 985 secs || 49115500 markings, 60276346 edges, 48847 markings/sec, 985 secs
lola: sara is running 990 secs || 49358744 markings, 60590174 edges, 48649 markings/sec, 990 secs
lola: sara is running 995 secs || 49601589 markings, 60906675 edges, 48569 markings/sec, 995 secs
lola: sara is running 1000 secs || 49846411 markings, 61215943 edges, 48964 markings/sec, 1000 secs
lola: sara is running 1005 secs || 50090123 markings, 61526798 edges, 48742 markings/sec, 1005 secs
lola: sara is running 1010 secs || 50332844 markings, 61838775 edges, 48544 markings/sec, 1010 secs
lola: sara is running 1015 secs || 50573472 markings, 62156423 edges, 48126 markings/sec, 1015 secs
lola: sara is running 1020 secs || 50816914 markings, 62465979 edges, 48688 markings/sec, 1020 secs
lola: sara is running 1025 secs || 51056531 markings, 62775049 edges, 47923 markings/sec, 1025 secs
lola: sara is running 1030 secs || 51296712 markings, 63090968 edges, 48036 markings/sec, 1030 secs
lola: sara is running 1035 secs || 51537866 markings, 63401990 edges, 48231 markings/sec, 1035 secs
lola: sara is running 1040 secs || 51777710 markings, 63717620 edges, 47969 markings/sec, 1040 secs
lola: sara is running 1045 secs || 52017363 markings, 64034271 edges, 47931 markings/sec, 1045 secs
lola: sara is running 1050 secs || 52257193 markings, 64350719 edges, 47966 markings/sec, 1050 secs
lola: sara is running 1055 secs || 52496980 markings, 64672490 edges, 47957 markings/sec, 1055 secs
lola: sara is running 1060 secs || 52747015 markings, 64988263 edges, 50007 markings/sec, 1060 secs
lola: sara is running 1065 secs || 53007584 markings, 65291974 edges, 52114 markings/sec, 1065 secs
lola: sara is running 1070 secs || 53269200 markings, 65597853 edges, 52323 markings/sec, 1070 secs
lola: sara is running 1075 secs || 53527632 markings, 65905300 edges, 51686 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
----- Kill lola and sara stderr -----
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 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-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-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-structural"
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 r071-smll-152649744200348"
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 ;