About the Execution of Irma.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 |
| 7347.580 | 3585064.00 | 7104739.00 | 10660.80 | 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 irma4mcc-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 r067-smll-152649739900348
=====================================================================
--------------------
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 1526668346330
BK_STOP 1526671931394
--------------------
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 stderr -----
----- Start make result stdout -----
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 || 218061 markings, 237254 edges, 43612 markings/sec, 0 secs
lola: sara is running 5 secs || 444965 markings, 488919 edges, 45381 markings/sec, 5 secs
lola: sara is running 10 secs || 670033 markings, 741102 edges, 45014 markings/sec, 10 secs
lola: sara is running 15 secs || 892730 markings, 994686 edges, 44539 markings/sec, 15 secs
lola: sara is running 20 secs || 1119322 markings, 1246464 edges, 45318 markings/sec, 20 secs
lola: sara is running 25 secs || 1342972 markings, 1499915 edges, 44730 markings/sec, 25 secs
lola: sara is running 30 secs || 1566648 markings, 1753140 edges, 44735 markings/sec, 30 secs
lola: sara is running 35 secs || 1788173 markings, 2007036 edges, 44305 markings/sec, 35 secs
lola: sara is running 40 secs || 2009857 markings, 2259780 edges, 44337 markings/sec, 40 secs
lola: sara is running 45 secs || 2230744 markings, 2514601 edges, 44177 markings/sec, 45 secs
lola: sara is running 50 secs || 2447729 markings, 2769780 edges, 43397 markings/sec, 50 secs
lola: sara is running 55 secs || 2671795 markings, 3023696 edges, 44813 markings/sec, 55 secs
lola: sara is running 60 secs || 2896253 markings, 3275568 edges, 44892 markings/sec, 60 secs
lola: sara is running 65 secs || 3118645 markings, 3528823 edges, 44478 markings/sec, 65 secs
lola: sara is running 70 secs || 3333525 markings, 3771429 edges, 42976 markings/sec, 70 secs
lola: sara is running 75 secs || 3556085 markings, 4025618 edges, 44512 markings/sec, 75 secs
lola: sara is running 80 secs || 3777628 markings, 4280520 edges, 44309 markings/sec, 80 secs
lola: sara is running 85 secs || 3996719 markings, 4535707 edges, 43818 markings/sec, 85 secs
lola: sara is running 90 secs || 4215229 markings, 4791897 edges, 43702 markings/sec, 90 secs
lola: sara is running 95 secs || 4438418 markings, 5043994 edges, 44638 markings/sec, 95 secs
lola: sara is running 100 secs || 4658992 markings, 5296289 edges, 44115 markings/sec, 100 secs
lola: sara is running 105 secs || 4878286 markings, 5548510 edges, 43859 markings/sec, 105 secs
lola: sara is running 110 secs || 5095301 markings, 5801346 edges, 43403 markings/sec, 110 secs
lola: sara is running 115 secs || 5311903 markings, 6056101 edges, 43320 markings/sec, 115 secs
lola: sara is running 120 secs || 5533934 markings, 6310824 edges, 44406 markings/sec, 120 secs
lola: sara is running 125 secs || 5754305 markings, 6566251 edges, 44074 markings/sec, 125 secs
lola: sara is running 130 secs || 5970350 markings, 6823658 edges, 43209 markings/sec, 130 secs
lola: sara is running 135 secs || 6191224 markings, 7077865 edges, 44175 markings/sec, 135 secs
lola: sara is running 140 secs || 6407655 markings, 7332907 edges, 43286 markings/sec, 140 secs
lola: sara is running 145 secs || 6626034 markings, 7590274 edges, 43676 markings/sec, 145 secs
lola: sara is running 150 secs || 6841540 markings, 7846460 edges, 43101 markings/sec, 150 secs
lola: sara is running 155 secs || 7056094 markings, 8102480 edges, 42911 markings/sec, 155 secs
lola: sara is running 160 secs || 7267723 markings, 8359138 edges, 42326 markings/sec, 160 secs
lola: sara is running 165 secs || 7486571 markings, 8618064 edges, 43770 markings/sec, 165 secs
lola: sara is running 170 secs || 7711652 markings, 8869779 edges, 45016 markings/sec, 170 secs
lola: sara is running 175 secs || 7932125 markings, 9121593 edges, 44095 markings/sec, 175 secs
lola: sara is running 180 secs || 8154779 markings, 9371931 edges, 44531 markings/sec, 180 secs
lola: sara is running 185 secs || 8374939 markings, 9623285 edges, 44032 markings/sec, 185 secs
lola: sara is running 190 secs || 8595583 markings, 9876499 edges, 44129 markings/sec, 190 secs
lola: sara is running 195 secs || 8814768 markings, 10130349 edges, 43837 markings/sec, 195 secs
lola: sara is running 200 secs || 9030032 markings, 10386312 edges, 43053 markings/sec, 200 secs
lola: sara is running 205 secs || 9255012 markings, 10639077 edges, 44996 markings/sec, 205 secs
lola: sara is running 210 secs || 9476193 markings, 10891928 edges, 44236 markings/sec, 210 secs
lola: sara is running 215 secs || 9697251 markings, 11145581 edges, 44212 markings/sec, 215 secs
lola: sara is running 220 secs || 9916588 markings, 11400177 edges, 43867 markings/sec, 220 secs
lola: sara is running 225 secs || 10132146 markings, 11656613 edges, 43112 markings/sec, 225 secs
lola: sara is running 230 secs || 10354847 markings, 11909933 edges, 44540 markings/sec, 230 secs
lola: sara is running 235 secs || 10575969 markings, 12165386 edges, 44224 markings/sec, 235 secs
lola: sara is running 240 secs || 10792810 markings, 12419797 edges, 43368 markings/sec, 240 secs
lola: sara is running 245 secs || 11011796 markings, 12676601 edges, 43797 markings/sec, 245 secs
lola: sara is running 250 secs || 11229892 markings, 12930450 edges, 43619 markings/sec, 250 secs
lola: sara is running 255 secs || 11446731 markings, 13187610 edges, 43368 markings/sec, 255 secs
lola: sara is running 260 secs || 11662251 markings, 13443728 edges, 43104 markings/sec, 260 secs
lola: sara is running 265 secs || 11877211 markings, 13699757 edges, 42992 markings/sec, 265 secs
lola: sara is running 270 secs || 12089543 markings, 13954400 edges, 42466 markings/sec, 270 secs
lola: sara is running 275 secs || 12303036 markings, 14215894 edges, 42699 markings/sec, 275 secs
lola: sara is running 280 secs || 12527497 markings, 14469069 edges, 44892 markings/sec, 280 secs
lola: sara is running 285 secs || 12749463 markings, 14722232 edges, 44393 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A74 <= B45)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= A76)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((A47 <= 0) AND (B65 <= 2)) OR (2 <= A1))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A17 + 1 <= B79) AND (3 <= B62) AND (A98 <= B45))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9.sara
lola: ========================================
lola: subprocess 10 will run for 540 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= B12) OR ((B26 <= 0) AND (B24 + 1 <= A34)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.sara
lola: ========================================
lola: subprocess 11 will run for 649 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((B83 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11.sara
lola: ========================================
lola: subprocess 12 will run for 811 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((A49 <= B12)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 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-12.sara
lola: ========================================
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)
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
lola: sara is running 0 secs || 228109 markings, 248458 edges, 45622 markings/sec, 0 secs
lola: sara is running 5 secs || 477617 markings, 525484 edges, 49902 markings/sec, 5 secs
lola: sara is running 10 secs || 727149 markings, 804412 edges, 49906 markings/sec, 10 secs
lola: sara is running 15 secs || 975236 markings, 1083728 edges, 49617 markings/sec, 15 secs
lola: sara is running 20 secs || 1221262 markings, 1358049 edges, 49205 markings/sec, 20 secs
lola: sara is running 25 secs || 1465524 markings, 1635594 edges, 48852 markings/sec, 25 secs
lola: sara is running 30 secs || 1710299 markings, 1909958 edges, 48955 markings/sec, 30 secs
lola: sara is running 35 secs || 1955816 markings, 2188965 edges, 49103 markings/sec, 35 secs
lola: sara is running 40 secs || 2202569 markings, 2470847 edges, 49351 markings/sec, 40 secs
lola: sara is running 45 secs || 2447183 markings, 2753982 edges, 48923 markings/sec, 45 secs
lola: sara is running 50 secs || 2693740 markings, 3036791 edges, 49311 markings/sec, 50 secs
lola: sara is running 55 secs || 2944320 markings, 3316247 edges, 50116 markings/sec, 55 secs
lola: sara is running 60 secs || 3191847 markings, 3597654 edges, 49505 markings/sec, 60 secs
lola: sara is running 65 secs || 3441476 markings, 3877155 edges, 49926 markings/sec, 65 secs
lola: sara is running 70 secs || 3688536 markings, 4157921 edges, 49412 markings/sec, 70 secs
lola: sara is running 75 secs || 3933924 markings, 4438298 edges, 49078 markings/sec, 75 secs
lola: sara is running 80 secs || 4177992 markings, 4720659 edges, 48814 markings/sec, 80 secs
lola: sara is running 85 secs || 4424215 markings, 5004589 edges, 49245 markings/sec, 85 secs
lola: sara is running 90 secs || 4672878 markings, 5285676 edges, 49733 markings/sec, 90 secs
lola: sara is running 95 secs || 4920146 markings, 5566537 edges, 49454 markings/sec, 95 secs
lola: sara is running 100 secs || 5165264 markings, 5847804 edges, 49024 markings/sec, 100 secs
lola: sara is running 105 secs || 5408716 markings, 6130250 edges, 48690 markings/sec, 105 secs
lola: sara is running 110 secs || 5655116 markings, 6413074 edges, 49280 markings/sec, 110 secs
lola: sara is running 115 secs || 5900447 markings, 6694245 edges, 49066 markings/sec, 115 secs
lola: sara is running 120 secs || 6144908 markings, 6977209 edges, 48892 markings/sec, 120 secs
lola: sara is running 125 secs || 6389432 markings, 7260986 edges, 48905 markings/sec, 125 secs
lola: sara is running 130 secs || 6633236 markings, 7543173 edges, 48761 markings/sec, 130 secs
lola: sara is running 135 secs || 6876468 markings, 7827415 edges, 48646 markings/sec, 135 secs
lola: sara is running 140 secs || 7119312 markings, 8112550 edges, 48569 markings/sec, 140 secs
lola: sara is running 145 secs || 7362109 markings, 8397445 edges, 48559 markings/sec, 145 secs
lola: sara is running 150 secs || 7604272 markings, 8684908 edges, 48433 markings/sec, 150 secs
lola: sara is running 155 secs || 7842972 markings, 8968698 edges, 47740 markings/sec, 155 secs
lola: sara is running 160 secs || 8083740 markings, 9235978 edges, 48154 markings/sec, 160 secs
lola: sara is running 165 secs || 8323016 markings, 9506517 edges, 47855 markings/sec, 165 secs
lola: sara is running 170 secs || 8563868 markings, 9777265 edges, 48170 markings/sec, 170 secs
lola: sara is running 175 secs || 8803226 markings, 10049458 edges, 47872 markings/sec, 175 secs
lola: sara is running 180 secs || 9041991 markings, 10321479 edges, 47753 markings/sec, 180 secs
lola: sara is running 185 secs || 9280496 markings, 10595124 edges, 47701 markings/sec, 185 secs
lola: sara is running 190 secs || 9517700 markings, 10873149 edges, 47441 markings/sec, 190 secs
lola: sara is running 195 secs || 9758338 markings, 11143135 edges, 48128 markings/sec, 195 secs
lola: sara is running 200 secs || 9997344 markings, 11415110 edges, 47801 markings/sec, 200 secs
lola: sara is running 205 secs || 10235674 markings, 11686659 edges, 47666 markings/sec, 205 secs
lola: sara is running 210 secs || 10473732 markings, 11960791 edges, 47612 markings/sec, 210 secs
lola: sara is running 215 secs || 10711067 markings, 12238334 edges, 47467 markings/sec, 215 secs
lola: sara is running 220 secs || 10954401 markings, 12515260 edges, 48667 markings/sec, 220 secs
lola: sara is running 225 secs || 11198773 markings, 12795227 edges, 48874 markings/sec, 225 secs
lola: sara is running 230 secs || 11441802 markings, 13080032 edges, 48606 markings/sec, 230 secs
lola: sara is running 235 secs || 11686460 markings, 13360713 edges, 48932 markings/sec, 235 secs
lola: sara is running 240 secs || 11929076 markings, 13643648 edges, 48523 markings/sec, 240 secs
lola: sara is running 245 secs || 12172575 markings, 13927041 edges, 48700 markings/sec, 245 secs
lola: sara is running 250 secs || 12408356 markings, 14203677 edges, 47156 markings/sec, 250 secs
lola: sara is running 255 secs || 12643825 markings, 14481721 edges, 47094 markings/sec, 255 secs
lola: sara is running 260 secs || 12878345 markings, 14761619 edges, 46904 markings/sec, 260 secs
lola: sara is running 265 secs || 13115979 markings, 15038898 edges, 47527 markings/sec, 265 secs
lola: sara is running 270 secs || 13355474 markings, 15310267 edges, 47899 markings/sec, 270 secs
lola: sara is running 275 secs || 13595048 markings, 15582021 edges, 47915 markings/sec, 275 secs
lola: sara is running 280 secs || 13834628 markings, 15856790 edges, 47916 markings/sec, 280 secs
lola: sara is running 285 secs || 14073284 markings, 16134000 edges, 47731 markings/sec, 285 secs
lola: sara is running 290 secs || 14313744 markings, 16409880 edges, 48092 markings/sec, 290 secs
lola: sara is running 295 secs || 14553963 markings, 16685120 edges, 48044 markings/sec, 295 secs
lola: sara is running 300 secs || 14793244 markings, 16962086 edges, 47856 markings/sec, 300 secs
lola: sara is running 305 secs || 15032043 markings, 17239353 edges, 47760 markings/sec, 305 secs
lola: sara is running 310 secs || 15273604 markings, 17518628 edges, 48312 markings/sec, 310 secs
lola: sara is running 315 secs || 15514856 markings, 17800556 edges, 48250 markings/sec, 315 secs
lola: sara is running 320 secs || 15755580 markings, 18082306 edges, 48145 markings/sec, 320 secs
lola: sara is running 325 secs || 15995908 markings, 18365148 edges, 48066 markings/sec, 325 secs
lola: sara is running 330 secs || 16234476 markings, 18647246 edges, 47714 markings/sec, 330 secs
lola: sara is running 335 secs || 16470228 markings, 18931817 edges, 47150 markings/sec, 335 secs
lola: sara is running 340 secs || 16710426 markings, 19205096 edges, 48040 markings/sec, 340 secs
lola: sara is running 345 secs || 16950129 markings, 19479217 edges, 47941 markings/sec, 345 secs
lola: sara is running 350 secs || 17188616 markings, 19757425 edges, 47697 markings/sec, 350 secs
lola: sara is running 355 secs || 17427536 markings, 20032950 edges, 47784 markings/sec, 355 secs
lola: sara is running 360 secs || 17665543 markings, 20309404 edges, 47601 markings/sec, 360 secs
lola: sara is running 365 secs || 17903230 markings, 20586395 edges, 47537 markings/sec, 365 secs
lola: sara is running 370 secs || 18141216 markings, 20865729 edges, 47597 markings/sec, 370 secs
lola: sara is running 375 secs || 18379476 markings, 21146216 edges, 47652 markings/sec, 375 secs
lola: sara is running 380 secs || 18617216 markings, 21429380 edges, 47548 markings/sec, 380 secs
lola: sara is running 385 secs || 18855946 markings, 21712797 edges, 47746 markings/sec, 385 secs
lola: sara is running 390 secs || 19096035 markings, 21989721 edges, 48018 markings/sec, 390 secs
lola: sara is running 395 secs || 19333900 markings, 22268147 edges, 47573 markings/sec, 395 secs
lola: sara is running 400 secs || 19571744 markings, 22545391 edges, 47569 markings/sec, 400 secs
lola: sara is running 405 secs || 19810180 markings, 22825460 edges, 47687 markings/sec, 405 secs
lola: sara is running 410 secs || 20047826 markings, 23107027 edges, 47529 markings/sec, 410 secs
lola: sara is running 415 secs || 20284035 markings, 23391612 edges, 47242 markings/sec, 415 secs
lola: sara is running 420 secs || 20522333 markings, 23669255 edges, 47660 markings/sec, 420 secs
lola: sara is running 425 secs || 20759875 markings, 23948002 edges, 47508 markings/sec, 425 secs
lola: sara is running 430 secs || 20995203 markings, 24225897 edges, 47066 markings/sec, 430 secs
lola: sara is running 435 secs || 21228916 markings, 24505322 edges, 46743 markings/sec, 435 secs
lola: sara is running 440 secs || 21463128 markings, 24784384 edges, 46842 markings/sec, 440 secs
lola: sara is running 445 secs || 21698998 markings, 25063222 edges, 47174 markings/sec, 445 secs
lola: sara is running 450 secs || 21934908 markings, 25345473 edges, 47182 markings/sec, 450 secs
lola: sara is running 455 secs || 22170780 markings, 25628464 edges, 47174 markings/sec, 455 secs
lola: sara is running 460 secs || 22406371 markings, 25909826 edges, 47118 markings/sec, 460 secs
lola: sara is running 465 secs || 22641894 markings, 26194111 edges, 47105 markings/sec, 465 secs
lola: sara is running 470 secs || 22877233 markings, 26478543 edges, 47068 markings/sec, 470 secs
lola: sara is running 475 secs || 23111500 markings, 26764988 edges, 46853 markings/sec, 475 secs
lola: sara is running 480 secs || 23345799 markings, 27053933 edges, 46860 markings/sec, 480 secs
lola: sara is running 485 secs || 23589472 markings, 27330874 edges, 48735 markings/sec, 485 secs
lola: sara is running 490 secs || 23835036 markings, 27605676 edges, 49113 markings/sec, 490 secs
lola: sara is running 495 secs || 24082448 markings, 27885656 edges, 49482 markings/sec, 495 secs
lola: sara is running 500 secs || 24329181 markings, 28165271 edges, 49347 markings/sec, 500 secs
lola: sara is running 505 secs || 24576040 markings, 28445603 edges, 49372 markings/sec, 505 secs
lola: sara is running 510 secs || 24821048 markings, 28726488 edges, 49002 markings/sec, 510 secs
lola: sara is running 515 secs || 25060392 markings, 29005049 edges, 47869 markings/sec, 515 secs
lola: sara is running 520 secs || 25304019 markings, 29281301 edges, 48725 markings/sec, 520 secs
lola: sara is running 525 secs || 25551282 markings, 29562484 edges, 49453 markings/sec, 525 secs
lola: sara is running 530 secs || 25797348 markings, 29842714 edges, 49213 markings/sec, 530 secs
lola: sara is running 535 secs || 26042596 markings, 30125017 edges, 49050 markings/sec, 535 secs
lola: sara is running 540 secs || 26286839 markings, 30410683 edges, 48849 markings/sec, 540 secs
lola: sara is running 545 secs || 26533405 markings, 30691320 edges, 49313 markings/sec, 545 secs
lola: sara is running 550 secs || 26779054 markings, 30972366 edges, 49130 markings/sec, 550 secs
lola: sara is running 555 secs || 27022174 markings, 31256681 edges, 48624 markings/sec, 555 secs
lola: sara is running 560 secs || 27266952 markings, 31537967 edges, 48956 markings/sec, 560 secs
lola: sara is running 565 secs || 27510928 markings, 31822606 edges, 48795 markings/sec, 565 secs
lola: sara is running 570 secs || 27754962 markings, 32106429 edges, 48807 markings/sec, 570 secs
lola: sara is running 575 secs || 27998008 markings, 32391608 edges, 48609 markings/sec, 575 secs
lola: sara is running 580 secs || 28240796 markings, 32678041 edges, 48558 markings/sec, 580 secs
lola: sara is running 585 secs || 28482052 markings, 32966576 edges, 48251 markings/sec, 585 secs
lola: sara is running 590 secs || 28727176 markings, 33250811 edges, 49025 markings/sec, 590 secs
lola: sara is running 595 secs || 28974655 markings, 33532340 edges, 49496 markings/sec, 595 secs
lola: sara is running 600 secs || 29221120 markings, 33812621 edges, 49293 markings/sec, 600 secs
lola: sara is running 605 secs || 29467275 markings, 34094005 edges, 49231 markings/sec, 605 secs
lola: sara is running 610 secs || 29711387 markings, 34379321 edges, 48822 markings/sec, 610 secs
lola: sara is running 615 secs || 29958164 markings, 34660705 edges, 49355 markings/sec, 615 secs
lola: sara is running 620 secs || 30203909 markings, 34942545 edges, 49149 markings/sec, 620 secs
lola: sara is running 625 secs || 30447840 markings, 35226196 edges, 48786 markings/sec, 625 secs
lola: sara is running 630 secs || 30692465 markings, 35509198 edges, 48925 markings/sec, 630 secs
lola: sara is running 635 secs || 30932993 markings, 35787974 edges, 48106 markings/sec, 635 secs
lola: sara is running 640 secs || 31170574 markings, 36065049 edges, 47516 markings/sec, 640 secs
lola: sara is running 645 secs || 31406132 markings, 36341566 edges, 47112 markings/sec, 645 secs
lola: sara is running 650 secs || 31641648 markings, 36618946 edges, 47103 markings/sec, 650 secs
lola: sara is running 655 secs || 31876650 markings, 36898079 edges, 47000 markings/sec, 655 secs
lola: sara is running 660 secs || 32112668 markings, 37178730 edges, 47204 markings/sec, 660 secs
lola: sara is running 665 secs || 32353373 markings, 37453169 edges, 48141 markings/sec, 665 secs
lola: sara is running 670 secs || 32592275 markings, 37728248 edges, 47780 markings/sec, 670 secs
lola: sara is running 675 secs || 32829864 markings, 38006525 edges, 47518 markings/sec, 675 secs
lola: sara is running 680 secs || 33066896 markings, 38278124 edges, 47406 markings/sec, 680 secs
lola: sara is running 685 secs || 33304408 markings, 38555669 edges, 47502 markings/sec, 685 secs
lola: sara is running 690 secs || 33543592 markings, 38833485 edges, 47837 markings/sec, 690 secs
lola: sara is running 695 secs || 33781689 markings, 39112906 edges, 47619 markings/sec, 695 secs
lola: sara is running 700 secs || 34019117 markings, 39393233 edges, 47486 markings/sec, 700 secs
lola: sara is running 705 secs || 34256082 markings, 39676716 edges, 47393 markings/sec, 705 secs
lola: sara is running 710 secs || 34496192 markings, 39958837 edges, 48022 markings/sec, 710 secs
lola: sara is running 715 secs || 34736985 markings, 40237457 edges, 48159 markings/sec, 715 secs
lola: sara is running 720 secs || 34974436 markings, 40515059 edges, 47490 markings/sec, 720 secs
lola: sara is running 725 secs || 35209300 markings, 40791076 edges, 46973 markings/sec, 725 secs
lola: sara is running 730 secs || 35434816 markings, 41055612 edges, 45103 markings/sec, 730 secs
lola: sara is running 735 secs || 35661319 markings, 41323131 edges, 45301 markings/sec, 735 secs
lola: sara is running 740 secs || 35884700 markings, 41593400 edges, 44676 markings/sec, 740 secs
lola: sara is running 745 secs || 36120226 markings, 41866689 edges, 47105 markings/sec, 745 secs
lola: sara is running 750 secs || 36354224 markings, 42141498 edges, 46800 markings/sec, 750 secs
lola: sara is running 755 secs || 36587600 markings, 42417073 edges, 46675 markings/sec, 755 secs
lola: sara is running 760 secs || 36820200 markings, 42695343 edges, 46520 markings/sec, 760 secs
lola: sara is running 765 secs || 37049883 markings, 42968989 edges, 45937 markings/sec, 765 secs
lola: sara is running 770 secs || 37284456 markings, 43246127 edges, 46915 markings/sec, 770 secs
lola: sara is running 775 secs || 37517956 markings, 43525731 edges, 46700 markings/sec, 775 secs
lola: sara is running 780 secs || 37751840 markings, 43805918 edges, 46777 markings/sec, 780 secs
lola: sara is running 785 secs || 37985390 markings, 44084924 edges, 46710 markings/sec, 785 secs
lola: sara is running 790 secs || 38218899 markings, 44366291 edges, 46702 markings/sec, 790 secs
lola: sara is running 795 secs || 38435527 markings, 44629098 edges, 43326 markings/sec, 795 secs
lola: sara is running 800 secs || 38668712 markings, 44912171 edges, 46637 markings/sec, 800 secs
lola: sara is running 805 secs || 38900548 markings, 45197766 edges, 46367 markings/sec, 805 secs
lola: sara is running 810 secs || 39137901 markings, 45474431 edges, 47471 markings/sec, 810 secs
lola: sara is running 815 secs || 39375448 markings, 45744808 edges, 47509 markings/sec, 815 secs
lola: sara is running 820 secs || 39612655 markings, 46014752 edges, 47441 markings/sec, 820 secs
lola: sara is running 825 secs || 39841972 markings, 46276831 edges, 45863 markings/sec, 825 secs
lola: sara is running 830 secs || 40074996 markings, 46548343 edges, 46605 markings/sec, 830 secs
lola: sara is running 835 secs || 40309868 markings, 46817274 edges, 46974 markings/sec, 835 secs
lola: sara is running 840 secs || 40543622 markings, 47085049 edges, 46751 markings/sec, 840 secs
lola: sara is running 845 secs || 40776455 markings, 47354447 edges, 46567 markings/sec, 845 secs
lola: sara is running 850 secs || 41009203 markings, 47624835 edges, 46550 markings/sec, 850 secs
lola: sara is running 855 secs || 41239107 markings, 47890311 edges, 45981 markings/sec, 855 secs
lola: sara is running 860 secs || 41462604 markings, 48152166 edges, 44699 markings/sec, 860 secs
lola: sara is running 865 secs || 41694944 markings, 48422668 edges, 46468 markings/sec, 865 secs
lola: sara is running 870 secs || 41927000 markings, 48695188 edges, 46411 markings/sec, 870 secs
lola: sara is running 875 secs || 42158207 markings, 48969197 edges, 46241 markings/sec, 875 secs
lola: sara is running 880 secs || 42388929 markings, 49245842 edges, 46144 markings/sec, 880 secs
lola: sara is running 885 secs || 42623902 markings, 49516731 edges, 46995 markings/sec, 885 secs
lola: sara is running 890 secs || 42858347 markings, 49785644 edges, 46889 markings/sec, 890 secs
lola: sara is running 895 secs || 43091825 markings, 50055616 edges, 46696 markings/sec, 895 secs
lola: sara is running 900 secs || 43325100 markings, 50326617 edges, 46655 markings/sec, 900 secs
lola: sara is running 905 secs || 43561237 markings, 50599480 edges, 47227 markings/sec, 905 secs
lola: sara is running 910 secs || 43799072 markings, 50877620 edges, 47567 markings/sec, 910 secs
lola: sara is running 915 secs || 44035766 markings, 51154151 edges, 47339 markings/sec, 915 secs
lola: sara is running 920 secs || 44272659 markings, 51432582 edges, 47379 markings/sec, 920 secs
lola: sara is running 925 secs || 44507512 markings, 51710648 edges, 46971 markings/sec, 925 secs
lola: sara is running 930 secs || 44740998 markings, 51993168 edges, 46697 markings/sec, 930 secs
lola: sara is running 935 secs || 44979632 markings, 52266860 edges, 47727 markings/sec, 935 secs
lola: sara is running 940 secs || 45215640 markings, 52542299 edges, 47202 markings/sec, 940 secs
lola: sara is running 945 secs || 45451796 markings, 52817187 edges, 47231 markings/sec, 945 secs
lola: sara is running 950 secs || 45686932 markings, 53092995 edges, 47027 markings/sec, 950 secs
lola: sara is running 955 secs || 45921803 markings, 53369691 edges, 46974 markings/sec, 955 secs
lola: sara is running 960 secs || 46154242 markings, 53647331 edges, 46488 markings/sec, 960 secs
lola: sara is running 965 secs || 46385700 markings, 53922383 edges, 46292 markings/sec, 965 secs
lola: sara is running 970 secs || 46617560 markings, 54194147 edges, 46372 markings/sec, 970 secs
lola: sara is running 975 secs || 46849104 markings, 54466205 edges, 46309 markings/sec, 975 secs
lola: sara is running 980 secs || 47080178 markings, 54739423 edges, 46215 markings/sec, 980 secs
lola: sara is running 985 secs || 47309564 markings, 55017381 edges, 45877 markings/sec, 985 secs
lola: sara is running 990 secs || 47540930 markings, 55289568 edges, 46273 markings/sec, 990 secs
lola: sara is running 995 secs || 47771344 markings, 55561631 edges, 46083 markings/sec, 995 secs
lola: sara is running 1000 secs || 48000232 markings, 55839252 edges, 45778 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48231012 markings, 56111840 edges, 46156 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48459876 markings, 56389295 edges, 45773 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48689976 markings, 56664228 edges, 46020 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48919435 markings, 56942590 edges, 45892 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49147867 markings, 57221837 edges, 45686 markings/sec, 1025 secs
lola: sara is running 1030 secs || 49375553 markings, 57505404 edges, 45537 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49611380 markings, 57773014 edges, 47165 markings/sec, 1035 secs
lola: sara is running 1040 secs || 49845372 markings, 58040922 edges, 46798 markings/sec, 1040 secs
lola: sara is running 1045 secs || 50078290 markings, 58312095 edges, 46584 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50311831 markings, 58582642 edges, 46708 markings/sec, 1050 secs
lola: sara is running 1055 secs || 50544964 markings, 58852311 edges, 46627 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50777751 markings, 59124251 edges, 46557 markings/sec, 1060 secs
lola: sara is running 1065 secs || 51010063 markings, 59396827 edges, 46462 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51242398 markings, 59669865 edges, 46467 markings/sec, 1070 secs
lola: sara is running 1075 secs || 51474294 markings, 59945384 edges, 46379 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 || 250021 markings, 280192 edges, 50004 markings/sec, 0 secs
lola: sara is running 5 secs || 500187 markings, 565251 edges, 50033 markings/sec, 5 secs
lola: sara is running 10 secs || 746426 markings, 851088 edges, 49248 markings/sec, 10 secs
lola: sara is running 15 secs || 993981 markings, 1134164 edges, 49511 markings/sec, 15 secs
lola: sara is running 20 secs || 1242276 markings, 1423339 edges, 49659 markings/sec, 20 secs
lola: sara is running 25 secs || 1490911 markings, 1713522 edges, 49727 markings/sec, 25 secs
lola: sara is running 30 secs || 1738552 markings, 2004450 edges, 49528 markings/sec, 30 secs
lola: sara is running 35 secs || 1983361 markings, 2297564 edges, 48962 markings/sec, 35 secs
lola: sara is running 40 secs || 2232045 markings, 2588133 edges, 49737 markings/sec, 40 secs
lola: sara is running 45 secs || 2481341 markings, 2876168 edges, 49859 markings/sec, 45 secs
lola: sara is running 50 secs || 2731136 markings, 3165672 edges, 49959 markings/sec, 50 secs
lola: sara is running 55 secs || 2979748 markings, 3457171 edges, 49722 markings/sec, 55 secs
lola: sara is running 60 secs || 3226316 markings, 3749222 edges, 49314 markings/sec, 60 secs
lola: sara is running 65 secs || 3470683 markings, 4044237 edges, 48873 markings/sec, 65 secs
lola: sara is running 70 secs || 3718066 markings, 4330992 edges, 49477 markings/sec, 70 secs
lola: sara is running 75 secs || 3961053 markings, 4616983 edges, 48597 markings/sec, 75 secs
lola: sara is running 80 secs || 4201699 markings, 4902200 edges, 48129 markings/sec, 80 secs
lola: sara is running 85 secs || 4440650 markings, 5189041 edges, 47790 markings/sec, 85 secs
lola: sara is running 90 secs || 4678466 markings, 5469287 edges, 47563 markings/sec, 90 secs
lola: sara is running 95 secs || 4905414 markings, 5741715 edges, 45390 markings/sec, 95 secs
lola: sara is running 100 secs || 5133221 markings, 6014669 edges, 45561 markings/sec, 100 secs
lola: sara is running 105 secs || 5359601 markings, 6287743 edges, 45276 markings/sec, 105 secs
lola: sara is running 110 secs || 5585806 markings, 6560780 edges, 45241 markings/sec, 110 secs
lola: sara is running 115 secs || 5810343 markings, 6834591 edges, 44907 markings/sec, 115 secs
lola: sara is running 120 secs || 6034016 markings, 7110826 edges, 44735 markings/sec, 120 secs
lola: sara is running 125 secs || 6260684 markings, 7389185 edges, 45334 markings/sec, 125 secs
lola: sara is running 130 secs || 6496891 markings, 7659268 edges, 47241 markings/sec, 130 secs
lola: sara is running 135 secs || 6730831 markings, 7931747 edges, 46788 markings/sec, 135 secs
lola: sara is running 140 secs || 6964736 markings, 8205495 edges, 46781 markings/sec, 140 secs
lola: sara is running 145 secs || 7199376 markings, 8479958 edges, 46928 markings/sec, 145 secs
lola: sara is running 150 secs || 7429701 markings, 8753792 edges, 46065 markings/sec, 150 secs
lola: sara is running 155 secs || 7652457 markings, 9020122 edges, 44551 markings/sec, 155 secs
lola: sara is running 160 secs || 7891395 markings, 9299684 edges, 47788 markings/sec, 160 secs
lola: sara is running 165 secs || 8125931 markings, 9574122 edges, 46907 markings/sec, 165 secs
lola: sara is running 170 secs || 8364507 markings, 9858033 edges, 47715 markings/sec, 170 secs
lola: sara is running 175 secs || 8598838 markings, 10138431 edges, 46866 markings/sec, 175 secs
lola: sara is running 180 secs || 8833481 markings, 10416090 edges, 46929 markings/sec, 180 secs
lola: sara is running 185 secs || 9072086 markings, 10703108 edges, 47721 markings/sec, 185 secs
lola: sara is running 190 secs || 9311922 markings, 10989138 edges, 47967 markings/sec, 190 secs
lola: sara is running 195 secs || 9549836 markings, 11277774 edges, 47583 markings/sec, 195 secs
lola: sara is running 200 secs || 9787380 markings, 11565832 edges, 47509 markings/sec, 200 secs
lola: sara is running 205 secs || 10024576 markings, 11854694 edges, 47439 markings/sec, 205 secs
lola: sara is running 210 secs || 10260456 markings, 12148174 edges, 47176 markings/sec, 210 secs
lola: sara is running 215 secs || 10501624 markings, 12434953 edges, 48234 markings/sec, 215 secs
lola: sara is running 220 secs || 10743301 markings, 12717573 edges, 48335 markings/sec, 220 secs
lola: sara is running 225 secs || 10983016 markings, 13001638 edges, 47943 markings/sec, 225 secs
lola: sara is running 230 secs || 11221176 markings, 13287964 edges, 47632 markings/sec, 230 secs
lola: sara is running 235 secs || 11461970 markings, 13572908 edges, 48159 markings/sec, 235 secs
lola: sara is running 240 secs || 11702161 markings, 13857530 edges, 48038 markings/sec, 240 secs
lola: sara is running 245 secs || 11941362 markings, 14145936 edges, 47840 markings/sec, 245 secs
lola: sara is running 250 secs || 12181101 markings, 14432507 edges, 47948 markings/sec, 250 secs
lola: sara is running 255 secs || 12419238 markings, 14720636 edges, 47627 markings/sec, 255 secs
lola: sara is running 260 secs || 12655351 markings, 15008251 edges, 47223 markings/sec, 260 secs
lola: sara is running 265 secs || 12891816 markings, 15299416 edges, 47293 markings/sec, 265 secs
lola: sara is running 270 secs || 13127857 markings, 15593262 edges, 47208 markings/sec, 270 secs
lola: sara is running 275 secs || 13366271 markings, 15873209 edges, 47683 markings/sec, 275 secs
lola: sara is running 280 secs || 13603369 markings, 16156788 edges, 47420 markings/sec, 280 secs
lola: sara is running 285 secs || 13840500 markings, 16442313 edges, 47426 markings/sec, 285 secs
lola: sara is running 290 secs || 14077035 markings, 16726702 edges, 47307 markings/sec, 290 secs
lola: sara is running 295 secs || 14312496 markings, 17010879 edges, 47092 markings/sec, 295 secs
lola: sara is running 300 secs || 14547988 markings, 17298498 edges, 47098 markings/sec, 300 secs
lola: sara is running 305 secs || 14782793 markings, 17588663 edges, 46961 markings/sec, 305 secs
lola: sara is running 310 secs || 15018271 markings, 17878537 edges, 47096 markings/sec, 310 secs
lola: sara is running 315 secs || 15255220 markings, 18162913 edges, 47390 markings/sec, 315 secs
lola: sara is running 320 secs || 15491576 markings, 18448642 edges, 47271 markings/sec, 320 secs
lola: sara is running 325 secs || 15729926 markings, 18738658 edges, 47670 markings/sec, 325 secs
lola: sara is running 330 secs || 15968976 markings, 19033199 edges, 47810 markings/sec, 330 secs
lola: sara is running 335 secs || 16207116 markings, 19330224 edges, 47628 markings/sec, 335 secs
lola: sara is running 340 secs || 16443451 markings, 19617315 edges, 47267 markings/sec, 340 secs
lola: sara is running 345 secs || 16679371 markings, 19905119 edges, 47184 markings/sec, 345 secs
lola: sara is running 350 secs || 16914706 markings, 20198349 edges, 47067 markings/sec, 350 secs
lola: sara is running 355 secs || 17150401 markings, 20490354 edges, 47139 markings/sec, 355 secs
lola: sara is running 360 secs || 17385356 markings, 20779571 edges, 46991 markings/sec, 360 secs
lola: sara is running 365 secs || 17617511 markings, 21070066 edges, 46431 markings/sec, 365 secs
lola: sara is running 370 secs || 17840040 markings, 21348325 edges, 44506 markings/sec, 370 secs
lola: sara is running 375 secs || 18063061 markings, 21628130 edges, 44604 markings/sec, 375 secs
lola: sara is running 380 secs || 18286396 markings, 21912567 edges, 44667 markings/sec, 380 secs
lola: sara is running 385 secs || 18509023 markings, 22197235 edges, 44525 markings/sec, 385 secs
lola: sara is running 390 secs || 18743056 markings, 22481177 edges, 46807 markings/sec, 390 secs
lola: sara is running 395 secs || 18982192 markings, 22756724 edges, 47827 markings/sec, 395 secs
lola: sara is running 400 secs || 19220611 markings, 23033470 edges, 47684 markings/sec, 400 secs
lola: sara is running 405 secs || 19458336 markings, 23311590 edges, 47545 markings/sec, 405 secs
lola: sara is running 410 secs || 19694033 markings, 23589945 edges, 47139 markings/sec, 410 secs
lola: sara is running 415 secs || 19926294 markings, 23869322 edges, 46452 markings/sec, 415 secs
lola: sara is running 420 secs || 20161836 markings, 24144632 edges, 47108 markings/sec, 420 secs
lola: sara is running 425 secs || 20396683 markings, 24419577 edges, 46969 markings/sec, 425 secs
lola: sara is running 430 secs || 20629646 markings, 24695604 edges, 46593 markings/sec, 430 secs
lola: sara is running 435 secs || 20860145 markings, 24972718 edges, 46100 markings/sec, 435 secs
lola: sara is running 440 secs || 21094446 markings, 25249815 edges, 46860 markings/sec, 440 secs
lola: sara is running 445 secs || 21327876 markings, 25526833 edges, 46686 markings/sec, 445 secs
lola: sara is running 450 secs || 21559367 markings, 25806301 edges, 46298 markings/sec, 450 secs
lola: sara is running 455 secs || 21791436 markings, 26082785 edges, 46414 markings/sec, 455 secs
lola: sara is running 460 secs || 22021421 markings, 26361423 edges, 45997 markings/sec, 460 secs
lola: sara is running 465 secs || 22250846 markings, 26640529 edges, 45885 markings/sec, 465 secs
lola: sara is running 470 secs || 22478871 markings, 26919682 edges, 45605 markings/sec, 470 secs
lola: sara is running 475 secs || 22705775 markings, 27203400 edges, 45381 markings/sec, 475 secs
lola: sara is running 480 secs || 22942236 markings, 27480194 edges, 47292 markings/sec, 480 secs
lola: sara is running 485 secs || 23177729 markings, 27756008 edges, 47099 markings/sec, 485 secs
lola: sara is running 490 secs || 23410436 markings, 28031802 edges, 46541 markings/sec, 490 secs
lola: sara is running 495 secs || 23640031 markings, 28309445 edges, 45919 markings/sec, 495 secs
lola: sara is running 500 secs || 23875665 markings, 28586742 edges, 47127 markings/sec, 500 secs
lola: sara is running 505 secs || 24108408 markings, 28863117 edges, 46549 markings/sec, 505 secs
lola: sara is running 510 secs || 24339751 markings, 29142011 edges, 46269 markings/sec, 510 secs
lola: sara is running 515 secs || 24572445 markings, 29420215 edges, 46539 markings/sec, 515 secs
lola: sara is running 520 secs || 24802531 markings, 29698525 edges, 46017 markings/sec, 520 secs
lola: sara is running 525 secs || 25031145 markings, 29976749 edges, 45723 markings/sec, 525 secs
lola: sara is running 530 secs || 25258387 markings, 30256567 edges, 45448 markings/sec, 530 secs
lola: sara is running 535 secs || 25484286 markings, 30540248 edges, 45180 markings/sec, 535 secs
lola: sara is running 540 secs || 25716999 markings, 30813597 edges, 46543 markings/sec, 540 secs
lola: sara is running 545 secs || 25947134 markings, 31087056 edges, 46027 markings/sec, 545 secs
lola: sara is running 550 secs || 26175939 markings, 31362890 edges, 45761 markings/sec, 550 secs
lola: sara is running 555 secs || 26405486 markings, 31637413 edges, 45909 markings/sec, 555 secs
lola: sara is running 560 secs || 26633487 markings, 31913189 edges, 45600 markings/sec, 560 secs
lola: sara is running 565 secs || 26860409 markings, 32189325 edges, 45384 markings/sec, 565 secs
lola: sara is running 570 secs || 27086315 markings, 32467607 edges, 45181 markings/sec, 570 secs
lola: sara is running 575 secs || 27311126 markings, 32748680 edges, 44962 markings/sec, 575 secs
lola: sara is running 580 secs || 27542041 markings, 33024179 edges, 46183 markings/sec, 580 secs
lola: sara is running 585 secs || 27769926 markings, 33300675 edges, 45577 markings/sec, 585 secs
lola: sara is running 590 secs || 27997448 markings, 33576120 edges, 45504 markings/sec, 590 secs
lola: sara is running 595 secs || 28224194 markings, 33852822 edges, 45349 markings/sec, 595 secs
lola: sara is running 600 secs || 28449371 markings, 34132089 edges, 45035 markings/sec, 600 secs
lola: sara is running 605 secs || 28676791 markings, 34411912 edges, 45484 markings/sec, 605 secs
lola: sara is running 610 secs || 28904066 markings, 34688373 edges, 45455 markings/sec, 610 secs
lola: sara is running 615 secs || 29130165 markings, 34966732 edges, 45220 markings/sec, 615 secs
lola: sara is running 620 secs || 29354901 markings, 35248095 edges, 44947 markings/sec, 620 secs
lola: sara is running 625 secs || 29580931 markings, 35524866 edges, 45206 markings/sec, 625 secs
lola: sara is running 630 secs || 29805689 markings, 35803806 edges, 44952 markings/sec, 630 secs
lola: sara is running 635 secs || 30030191 markings, 36084319 edges, 44900 markings/sec, 635 secs
lola: sara is running 640 secs || 30254471 markings, 36364735 edges, 44856 markings/sec, 640 secs
lola: sara is running 645 secs || 30478751 markings, 36646184 edges, 44856 markings/sec, 645 secs
lola: sara is running 650 secs || 30702296 markings, 36930518 edges, 44709 markings/sec, 650 secs
lola: sara is running 655 secs || 30925351 markings, 37216983 edges, 44611 markings/sec, 655 secs
lola: sara is running 660 secs || 31158822 markings, 37499437 edges, 46694 markings/sec, 660 secs
lola: sara is running 665 secs || 31394631 markings, 37775368 edges, 47162 markings/sec, 665 secs
lola: sara is running 670 secs || 31628585 markings, 38051395 edges, 46791 markings/sec, 670 secs
lola: sara is running 675 secs || 31858977 markings, 38327994 edges, 46078 markings/sec, 675 secs
lola: sara is running 680 secs || 32094106 markings, 38606748 edges, 47026 markings/sec, 680 secs
lola: sara is running 685 secs || 32328369 markings, 38884406 edges, 46853 markings/sec, 685 secs
lola: sara is running 690 secs || 32559600 markings, 39164559 edges, 46246 markings/sec, 690 secs
lola: sara is running 695 secs || 32793476 markings, 39442690 edges, 46775 markings/sec, 695 secs
lola: sara is running 700 secs || 33023566 markings, 39721377 edges, 46018 markings/sec, 700 secs
lola: sara is running 705 secs || 33252551 markings, 39999471 edges, 45797 markings/sec, 705 secs
lola: sara is running 710 secs || 33489030 markings, 40288794 edges, 47296 markings/sec, 710 secs
lola: sara is running 715 secs || 33724546 markings, 40583195 edges, 47103 markings/sec, 715 secs
lola: sara is running 720 secs || 33965416 markings, 40870156 edges, 48174 markings/sec, 720 secs
lola: sara is running 725 secs || 34206027 markings, 41155215 edges, 48122 markings/sec, 725 secs
lola: sara is running 730 secs || 34444391 markings, 41442546 edges, 47673 markings/sec, 730 secs
lola: sara is running 735 secs || 34682776 markings, 41727584 edges, 47677 markings/sec, 735 secs
lola: sara is running 740 secs || 34917766 markings, 42011775 edges, 46998 markings/sec, 740 secs
lola: sara is running 745 secs || 35153211 markings, 42298698 edges, 47089 markings/sec, 745 secs
lola: sara is running 750 secs || 35387639 markings, 42587069 edges, 46886 markings/sec, 750 secs
lola: sara is running 755 secs || 35624556 markings, 42883175 edges, 47383 markings/sec, 755 secs
lola: sara is running 760 secs || 35867261 markings, 43171906 edges, 48541 markings/sec, 760 secs
lola: sara is running 765 secs || 36107952 markings, 43463453 edges, 48138 markings/sec, 765 secs
lola: sara is running 770 secs || 36345239 markings, 43751917 edges, 47457 markings/sec, 770 secs
lola: sara is running 775 secs || 36580643 markings, 44041440 edges, 47081 markings/sec, 775 secs
lola: sara is running 780 secs || 36814895 markings, 44335578 edges, 46850 markings/sec, 780 secs
lola: sara is running 785 secs || 37052921 markings, 44622363 edges, 47605 markings/sec, 785 secs
lola: sara is running 790 secs || 37288946 markings, 44911179 edges, 47205 markings/sec, 790 secs
lola: sara is running 795 secs || 37523452 markings, 45201189 edges, 46901 markings/sec, 795 secs
lola: sara is running 800 secs || 37758638 markings, 45492781 edges, 47037 markings/sec, 800 secs
lola: sara is running 805 secs || 37993076 markings, 45781581 edges, 46888 markings/sec, 805 secs
lola: sara is running 810 secs || 38226554 markings, 46074808 edges, 46696 markings/sec, 810 secs
lola: sara is running 815 secs || 38460081 markings, 46364636 edges, 46705 markings/sec, 815 secs
lola: sara is running 820 secs || 38693076 markings, 46657546 edges, 46599 markings/sec, 820 secs
lola: sara is running 825 secs || 38926001 markings, 46952784 edges, 46585 markings/sec, 825 secs
lola: sara is running 830 secs || 39158507 markings, 47250673 edges, 46501 markings/sec, 830 secs
lola: sara is running 835 secs || 39397469 markings, 47546512 edges, 47792 markings/sec, 835 secs
lola: sara is running 840 secs || 39637702 markings, 47831107 edges, 48047 markings/sec, 840 secs
lola: sara is running 845 secs || 39873100 markings, 48116157 edges, 47080 markings/sec, 845 secs
lola: sara is running 850 secs || 40113376 markings, 48401762 edges, 48055 markings/sec, 850 secs
lola: sara is running 855 secs || 40351262 markings, 48689455 edges, 47577 markings/sec, 855 secs
lola: sara is running 860 secs || 40586016 markings, 48974729 edges, 46951 markings/sec, 860 secs
lola: sara is running 865 secs || 40820388 markings, 49260836 edges, 46874 markings/sec, 865 secs
lola: sara is running 870 secs || 41052291 markings, 49549895 edges, 46381 markings/sec, 870 secs
lola: sara is running 875 secs || 41295466 markings, 49843344 edges, 48635 markings/sec, 875 secs
lola: sara is running 880 secs || 41539111 markings, 50138692 edges, 48729 markings/sec, 880 secs
lola: sara is running 885 secs || 41781965 markings, 50433077 edges, 48571 markings/sec, 885 secs
lola: sara is running 890 secs || 42023272 markings, 50726984 edges, 48261 markings/sec, 890 secs
lola: sara is running 895 secs || 42263216 markings, 51025686 edges, 47989 markings/sec, 895 secs
lola: sara is running 900 secs || 42506520 markings, 51322812 edges, 48661 markings/sec, 900 secs
lola: sara is running 905 secs || 42749593 markings, 51619542 edges, 48615 markings/sec, 905 secs
lola: sara is running 910 secs || 42991148 markings, 51917921 edges, 48311 markings/sec, 910 secs
lola: sara is running 915 secs || 43232158 markings, 52217777 edges, 48202 markings/sec, 915 secs
lola: sara is running 920 secs || 43471401 markings, 52512088 edges, 47849 markings/sec, 920 secs
lola: sara is running 925 secs || 43710615 markings, 52812630 edges, 47843 markings/sec, 925 secs
lola: sara is running 930 secs || 43950880 markings, 53110169 edges, 48053 markings/sec, 930 secs
lola: sara is running 935 secs || 44190090 markings, 53411114 edges, 47842 markings/sec, 935 secs
lola: sara is running 940 secs || 44428720 markings, 53712682 edges, 47726 markings/sec, 940 secs
lola: sara is running 945 secs || 44666453 markings, 54017300 edges, 47547 markings/sec, 945 secs
lola: sara is running 950 secs || 44905121 markings, 54315657 edges, 47734 markings/sec, 950 secs
lola: sara is running 955 secs || 45140846 markings, 54599052 edges, 47145 markings/sec, 955 secs
lola: sara is running 960 secs || 45375661 markings, 54882693 edges, 46963 markings/sec, 960 secs
lola: sara is running 965 secs || 45609269 markings, 55167724 edges, 46722 markings/sec, 965 secs
lola: sara is running 970 secs || 45841689 markings, 55455005 edges, 46484 markings/sec, 970 secs
lola: sara is running 975 secs || 46075486 markings, 55745150 edges, 46759 markings/sec, 975 secs
lola: sara is running 980 secs || 46309811 markings, 56029851 edges, 46865 markings/sec, 980 secs
lola: sara is running 985 secs || 46543261 markings, 56315379 edges, 46690 markings/sec, 985 secs
lola: sara is running 990 secs || 46775573 markings, 56604826 edges, 46462 markings/sec, 990 secs
lola: sara is running 995 secs || 47012015 markings, 56897037 edges, 47288 markings/sec, 995 secs
lola: sara is running 1000 secs || 47250086 markings, 57191058 edges, 47614 markings/sec, 1000 secs
lola: sara is running 1005 secs || 47487922 markings, 57489021 edges, 47567 markings/sec, 1005 secs
lola: sara is running 1010 secs || 47724826 markings, 57786419 edges, 47381 markings/sec, 1010 secs
lola: sara is running 1015 secs || 47955677 markings, 58075694 edges, 46170 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48186546 markings, 58368402 edges, 46174 markings/sec, 1020 secs
lola: sara is running 1025 secs || 48416330 markings, 58665681 edges, 45957 markings/sec, 1025 secs
lola: sara is running 1030 secs || 48651515 markings, 58953897 edges, 47037 markings/sec, 1030 secs
lola: sara is running 1035 secs || 48885899 markings, 59239940 edges, 46877 markings/sec, 1035 secs
lola: sara is running 1040 secs || 49118806 markings, 59527877 edges, 46581 markings/sec, 1040 secs
lola: sara is running 1045 secs || 49351521 markings, 59817616 edges, 46543 markings/sec, 1045 secs
lola: sara is running 1050 secs || 49584551 markings, 60104303 edges, 46606 markings/sec, 1050 secs
lola: sara is running 1055 secs || 49816146 markings, 60396085 edges, 46319 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50048651 markings, 60682351 edges, 46501 markings/sec, 1060 secs
lola: sara is running 1065 secs || 50280089 markings, 60973607 edges, 46288 markings/sec, 1065 secs
lola: sara is running 1070 secs || 50510860 markings, 61265449 edges, 46154 markings/sec, 1070 secs
lola: sara is running 1075 secs || 50741056 markings, 61559410 edges, 46039 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 || 268194 markings, 302664 edges, 53639 markings/sec, 0 secs
lola: sara is running 5 secs || 535537 markings, 611274 edges, 53469 markings/sec, 5 secs
lola: sara is running 10 secs || 800574 markings, 919928 edges, 53007 markings/sec, 10 secs
lola: sara is running 15 secs || 1064641 markings, 1228416 edges, 52813 markings/sec, 15 secs
lola: sara is running 20 secs || 1327083 markings, 1535000 edges, 52488 markings/sec, 20 secs
lola: sara is running 25 secs || 1586092 markings, 1842267 edges, 51802 markings/sec, 25 secs
lola: sara is running 30 secs || 1842885 markings, 2151141 edges, 51359 markings/sec, 30 secs
lola: sara is running 35 secs || 2102133 markings, 2457971 edges, 51850 markings/sec, 35 secs
lola: sara is running 40 secs || 2362221 markings, 2761838 edges, 52018 markings/sec, 40 secs
lola: sara is running 45 secs || 2623729 markings, 3067407 edges, 52302 markings/sec, 45 secs
lola: sara is running 50 secs || 2882903 markings, 3374923 edges, 51835 markings/sec, 50 secs
lola: sara is running 55 secs || 3138041 markings, 3681785 edges, 51028 markings/sec, 55 secs
lola: sara is running 60 secs || 3392809 markings, 3985324 edges, 50954 markings/sec, 60 secs
lola: sara is running 65 secs || 3647766 markings, 4286353 edges, 50991 markings/sec, 65 secs
lola: sara is running 70 secs || 3901406 markings, 4589238 edges, 50728 markings/sec, 70 secs
lola: sara is running 75 secs || 4149994 markings, 4892113 edges, 49718 markings/sec, 75 secs
lola: sara is running 80 secs || 4407428 markings, 5197469 edges, 51487 markings/sec, 80 secs
lola: sara is running 85 secs || 4661629 markings, 5506652 edges, 50840 markings/sec, 85 secs
lola: sara is running 90 secs || 4917558 markings, 5815135 edges, 51186 markings/sec, 90 secs
lola: sara is running 95 secs || 5168605 markings, 6122233 edges, 50209 markings/sec, 95 secs
lola: sara is running 100 secs || 5400882 markings, 6407234 edges, 46455 markings/sec, 100 secs
lola: sara is running 105 secs || 5642273 markings, 6707303 edges, 48278 markings/sec, 105 secs
lola: sara is running 110 secs || 5885668 markings, 7011924 edges, 48679 markings/sec, 110 secs
lola: sara is running 115 secs || 6136693 markings, 7300977 edges, 50205 markings/sec, 115 secs
lola: sara is running 120 secs || 6361720 markings, 7565287 edges, 45005 markings/sec, 120 secs
lola: sara is running 125 secs || 6586398 markings, 7830230 edges, 44936 markings/sec, 125 secs
lola: sara is running 130 secs || 6819826 markings, 8106318 edges, 46686 markings/sec, 130 secs
lola: sara is running 135 secs || 7072046 markings, 8411339 edges, 50444 markings/sec, 135 secs
lola: sara is running 140 secs || 7325154 markings, 8711041 edges, 50622 markings/sec, 140 secs
lola: sara is running 145 secs || 7577504 markings, 9009355 edges, 50470 markings/sec, 145 secs
lola: sara is running 150 secs || 7818820 markings, 9298092 edges, 48263 markings/sec, 150 secs
lola: sara is running 155 secs || 8071519 markings, 9605123 edges, 50540 markings/sec, 155 secs
lola: sara is running 160 secs || 8323307 markings, 9904699 edges, 50358 markings/sec, 160 secs
lola: sara is running 165 secs || 8577607 markings, 10214760 edges, 50860 markings/sec, 165 secs
lola: sara is running 170 secs || 8824477 markings, 10511387 edges, 49374 markings/sec, 170 secs
lola: sara is running 175 secs || 9078314 markings, 10821752 edges, 50767 markings/sec, 175 secs
lola: sara is running 180 secs || 9331523 markings, 11132790 edges, 50642 markings/sec, 180 secs
lola: sara is running 185 secs || 9583907 markings, 11447453 edges, 50477 markings/sec, 185 secs
lola: sara is running 190 secs || 9838760 markings, 11762163 edges, 50971 markings/sec, 190 secs
lola: sara is running 195 secs || 10097317 markings, 12066562 edges, 51711 markings/sec, 195 secs
lola: sara is running 200 secs || 10353537 markings, 12372004 edges, 51244 markings/sec, 200 secs
lola: sara is running 205 secs || 10606744 markings, 12680969 edges, 50641 markings/sec, 205 secs
lola: sara is running 210 secs || 10864892 markings, 12985969 edges, 51630 markings/sec, 210 secs
lola: sara is running 215 secs || 11120751 markings, 13295575 edges, 51172 markings/sec, 215 secs
lola: sara is running 220 secs || 11375873 markings, 13603996 edges, 51024 markings/sec, 220 secs
lola: sara is running 225 secs || 11629445 markings, 13913800 edges, 50714 markings/sec, 225 secs
lola: sara is running 230 secs || 11881929 markings, 14223589 edges, 50497 markings/sec, 230 secs
lola: sara is running 235 secs || 12133752 markings, 14536134 edges, 50365 markings/sec, 235 secs
lola: sara is running 240 secs || 12374891 markings, 14839859 edges, 48228 markings/sec, 240 secs
lola: sara is running 245 secs || 12621788 markings, 15132532 edges, 49379 markings/sec, 245 secs
lola: sara is running 250 secs || 12877746 markings, 15443340 edges, 51192 markings/sec, 250 secs
lola: sara is running 255 secs || 13129890 markings, 15747721 edges, 50429 markings/sec, 255 secs
lola: sara is running 260 secs || 13373133 markings, 16045016 edges, 48649 markings/sec, 260 secs
lola: sara is running 265 secs || 13616244 markings, 16343425 edges, 48622 markings/sec, 265 secs
lola: sara is running 270 secs || 13857655 markings, 16643034 edges, 48282 markings/sec, 270 secs
lola: sara is running 275 secs || 14096128 markings, 16944716 edges, 47695 markings/sec, 275 secs
lola: sara is running 280 secs || 14338910 markings, 17236398 edges, 48556 markings/sec, 280 secs
lola: sara is running 285 secs || 14580027 markings, 17531079 edges, 48223 markings/sec, 285 secs
lola: sara is running 290 secs || 14821352 markings, 17827983 edges, 48265 markings/sec, 290 secs
lola: sara is running 295 secs || 15061876 markings, 18127709 edges, 48105 markings/sec, 295 secs
lola: sara is running 300 secs || 15308220 markings, 18437237 edges, 49269 markings/sec, 300 secs
lola: sara is running 305 secs || 15560009 markings, 18746119 edges, 50358 markings/sec, 305 secs
lola: sara is running 310 secs || 15810381 markings, 19057515 edges, 50074 markings/sec, 310 secs
lola: sara is running 315 secs || 16059628 markings, 19372582 edges, 49849 markings/sec, 315 secs
lola: sara is running 320 secs || 16309407 markings, 19682927 edges, 49956 markings/sec, 320 secs
----- Kill lola and sara stderr -----
lola: sara is running 325 secs || 16558241 markings, 19998198 edges, 49767 markings/sec, 325 secs
lola: sara is running 330 secs || 16807709 markings, 20312027 edges, 49894 markings/sec, 330 secs
lola: sara is running 335 secs || 17056364 markings, 20629073 edges, 49731 markings/sec, 335 secs
lola: sara is running 340 secs || 17304182 markings, 20947993 edges, 49564 markings/sec, 340 secs
lola: sara is running 345 secs || 17551391 markings, 21272653 edges, 49442 markings/sec, 345 secs
lola: sara is running 350 secs || 17813717 markings, 21573751 edges, 52465 markings/sec, 350 secs
lola: sara is running 355 secs || 18073491 markings, 21878771 edges, 51955 markings/sec, 355 secs
lola: sara is running 360 secs || 18332836 markings, 22183988 edges, 51869 markings/sec, 360 secs
lola: sara is running 365 secs || 18589441 markings, 22490006 edges, 51321 markings/sec, 365 secs
lola: sara is running 370 secs || 18845400 markings, 22802456 edges, 51192 markings/sec, 370 secs
lola: sara is running 375 secs || 19106156 markings, 23107096 edges, 52151 markings/sec, 375 secs
lola: sara is running 380 secs || 19365175 markings, 23413882 edges, 51804 markings/sec, 380 secs
lola: sara is running 385 secs || 19621683 markings, 23723239 edges, 51302 markings/sec, 385 secs
lola: sara is running 390 secs || 19879115 markings, 24032508 edges, 51486 markings/sec, 390 secs
lola: sara is running 395 secs || 20133674 markings, 24337554 edges, 50912 markings/sec, 395 secs
lola: sara is running 400 secs || 20386490 markings, 24644771 edges, 50563 markings/sec, 400 secs
lola: sara is running 405 secs || 20630262 markings, 24941227 edges, 48754 markings/sec, 405 secs
lola: sara is running 410 secs || 20871162 markings, 25235438 edges, 48180 markings/sec, 410 secs
lola: sara is running 415 secs || 21110708 markings, 25531654 edges, 47909 markings/sec, 415 secs
lola: sara is running 420 secs || 21349322 markings, 25830509 edges, 47723 markings/sec, 420 secs
lola: sara is running 425 secs || 21593597 markings, 26125284 edges, 48855 markings/sec, 425 secs
lola: sara is running 430 secs || 21839618 markings, 26415567 edges, 49204 markings/sec, 430 secs
lola: sara is running 435 secs || 22083085 markings, 26706460 edges, 48693 markings/sec, 435 secs
lola: sara is running 440 secs || 22323709 markings, 27000413 edges, 48125 markings/sec, 440 secs
lola: sara is running 445 secs || 22578180 markings, 27301509 edges, 50894 markings/sec, 445 secs
lola: sara is running 450 secs || 22832847 markings, 27610624 edges, 50933 markings/sec, 450 secs
lola: sara is running 455 secs || 23087097 markings, 27917522 edges, 50850 markings/sec, 455 secs
lola: sara is running 460 secs || 23339925 markings, 28226469 edges, 50566 markings/sec, 460 secs
lola: sara is running 465 secs || 23592572 markings, 28536531 edges, 50529 markings/sec, 465 secs
lola: sara is running 470 secs || 23843769 markings, 28848826 edges, 50239 markings/sec, 470 secs
lola: sara is running 475 secs || 24095096 markings, 29163229 edges, 50265 markings/sec, 475 secs
lola: sara is running 480 secs || 24350466 markings, 29467374 edges, 51074 markings/sec, 480 secs
lola: sara is running 485 secs || 24603522 markings, 29776069 edges, 50611 markings/sec, 485 secs
lola: sara is running 490 secs || 24858056 markings, 30081530 edges, 50907 markings/sec, 490 secs
lola: sara is running 495 secs || 25110539 markings, 30390110 edges, 50497 markings/sec, 495 secs
lola: sara is running 500 secs || 25362132 markings, 30699437 edges, 50319 markings/sec, 500 secs
lola: sara is running 505 secs || 25612467 markings, 31012331 edges, 50067 markings/sec, 505 secs
lola: sara is running 510 secs || 25863830 markings, 31324792 edges, 50273 markings/sec, 510 secs
lola: sara is running 515 secs || 26116743 markings, 31632512 edges, 50583 markings/sec, 515 secs
lola: sara is running 520 secs || 26369092 markings, 31940606 edges, 50470 markings/sec, 520 secs
lola: sara is running 525 secs || 26620190 markings, 32251131 edges, 50220 markings/sec, 525 secs
lola: sara is running 530 secs || 26869475 markings, 32564637 edges, 49857 markings/sec, 530 secs
lola: sara is running 535 secs || 27120570 markings, 32874231 edges, 50219 markings/sec, 535 secs
lola: sara is running 540 secs || 27371426 markings, 33184561 edges, 50171 markings/sec, 540 secs
lola: sara is running 545 secs || 27621035 markings, 33498164 edges, 49922 markings/sec, 545 secs
lola: sara is running 550 secs || 27871352 markings, 33811244 edges, 50063 markings/sec, 550 secs
lola: sara is running 555 secs || 28121164 markings, 34123928 edges, 49962 markings/sec, 555 secs
lola: sara is running 560 secs || 28370524 markings, 34438347 edges, 49872 markings/sec, 560 secs
lola: sara is running 565 secs || 28618837 markings, 34754691 edges, 49663 markings/sec, 565 secs
lola: sara is running 570 secs || 28866996 markings, 35071381 edges, 49632 markings/sec, 570 secs
lola: sara is running 575 secs || 29113837 markings, 35391559 edges, 49368 markings/sec, 575 secs
lola: sara is running 580 secs || 29368066 markings, 35706936 edges, 50846 markings/sec, 580 secs
lola: sara is running 585 secs || 29627082 markings, 36012781 edges, 51803 markings/sec, 585 secs
lola: sara is running 590 secs || 29884550 markings, 36320128 edges, 51494 markings/sec, 590 secs
lola: sara is running 595 secs || 30139916 markings, 36630764 edges, 51073 markings/sec, 595 secs
lola: sara is running 600 secs || 30399594 markings, 36939424 edges, 51936 markings/sec, 600 secs
lola: sara is running 605 secs || 30655201 markings, 37250677 edges, 51121 markings/sec, 605 secs
lola: sara is running 610 secs || 30911213 markings, 37558708 edges, 51202 markings/sec, 610 secs
lola: sara is running 615 secs || 31164733 markings, 37868655 edges, 50704 markings/sec, 615 secs
lola: sara is running 620 secs || 31417348 markings, 38179098 edges, 50523 markings/sec, 620 secs
lola: sara is running 625 secs || 31668445 markings, 38492163 edges, 50219 markings/sec, 625 secs
lola: sara is running 630 secs || 31920781 markings, 38804916 edges, 50467 markings/sec, 630 secs
lola: sara is running 635 secs || 32176136 markings, 39109893 edges, 51071 markings/sec, 635 secs
lola: sara is running 640 secs || 32428783 markings, 39418325 edges, 50529 markings/sec, 640 secs
lola: sara is running 645 secs || 32682864 markings, 39723970 edges, 50816 markings/sec, 645 secs
lola: sara is running 650 secs || 32935003 markings, 40032315 edges, 50428 markings/sec, 650 secs
lola: sara is running 655 secs || 33185410 markings, 40340754 edges, 50081 markings/sec, 655 secs
lola: sara is running 660 secs || 33435377 markings, 40652892 edges, 49993 markings/sec, 660 secs
lola: sara is running 665 secs || 33686811 markings, 40965086 edges, 50287 markings/sec, 665 secs
lola: sara is running 670 secs || 33939724 markings, 41273649 edges, 50583 markings/sec, 670 secs
lola: sara is running 675 secs || 34191545 markings, 41581051 edges, 50364 markings/sec, 675 secs
lola: sara is running 680 secs || 34442742 markings, 41891029 edges, 50239 markings/sec, 680 secs
lola: sara is running 685 secs || 34691200 markings, 42205171 edges, 49692 markings/sec, 685 secs
lola: sara is running 690 secs || 34942330 markings, 42513517 edges, 50226 markings/sec, 690 secs
lola: sara is running 695 secs || 35192997 markings, 42823210 edges, 50133 markings/sec, 695 secs
lola: sara is running 700 secs || 35442083 markings, 43136961 edges, 49817 markings/sec, 700 secs
lola: sara is running 705 secs || 35691703 markings, 43448303 edges, 49924 markings/sec, 705 secs
lola: sara is running 710 secs || 35940284 markings, 43760640 edges, 49716 markings/sec, 710 secs
lola: sara is running 715 secs || 36189300 markings, 44075081 edges, 49803 markings/sec, 715 secs
lola: sara is running 720 secs || 36437494 markings, 44390223 edges, 49639 markings/sec, 720 secs
lola: sara is running 725 secs || 36685058 markings, 44706996 edges, 49513 markings/sec, 725 secs
lola: sara is running 730 secs || 36931338 markings, 45026770 edges, 49256 markings/sec, 730 secs
lola: sara is running 735 secs || 37183391 markings, 45339821 edges, 50411 markings/sec, 735 secs
lola: sara is running 740 secs || 37437655 markings, 45644780 edges, 50853 markings/sec, 740 secs
lola: sara is running 745 secs || 37690502 markings, 45951908 edges, 50569 markings/sec, 745 secs
lola: sara is running 750 secs || 37938141 markings, 46252495 edges, 49528 markings/sec, 750 secs
lola: sara is running 755 secs || 38191750 markings, 46562462 edges, 50722 markings/sec, 755 secs
lola: sara is running 760 secs || 38444165 markings, 46874473 edges, 50483 markings/sec, 760 secs
lola: sara is running 765 secs || 38695124 markings, 47189785 edges, 50192 markings/sec, 765 secs
lola: sara is running 770 secs || 38950768 markings, 47501806 edges, 51129 markings/sec, 770 secs
lola: sara is running 775 secs || 39205532 markings, 47813211 edges, 50953 markings/sec, 775 secs
lola: sara is running 780 secs || 39459626 markings, 48125201 edges, 50819 markings/sec, 780 secs
lola: sara is running 785 secs || 39712380 markings, 48438970 edges, 50551 markings/sec, 785 secs
lola: sara is running 790 secs || 39963892 markings, 48755855 edges, 50302 markings/sec, 790 secs
lola: sara is running 795 secs || 40216620 markings, 49065714 edges, 50546 markings/sec, 795 secs
lola: sara is running 800 secs || 40468278 markings, 49378059 edges, 50332 markings/sec, 800 secs
lola: sara is running 805 secs || 40718197 markings, 49694264 edges, 49984 markings/sec, 805 secs
lola: sara is running 810 secs || 40966445 markings, 50002764 edges, 49650 markings/sec, 810 secs
lola: sara is running 815 secs || 41213646 markings, 50315970 edges, 49440 markings/sec, 815 secs
lola: sara is running 820 secs || 41461645 markings, 50626979 edges, 49600 markings/sec, 820 secs
lola: sara is running 825 secs || 41708453 markings, 50940967 edges, 49362 markings/sec, 825 secs
lola: sara is running 830 secs || 41954271 markings, 51257703 edges, 49164 markings/sec, 830 secs
lola: sara is running 835 secs || 42198568 markings, 51577914 edges, 48859 markings/sec, 835 secs
lola: sara is running 840 secs || 42449366 markings, 51882647 edges, 50160 markings/sec, 840 secs
lola: sara is running 845 secs || 42699043 markings, 52188043 edges, 49935 markings/sec, 845 secs
lola: sara is running 850 secs || 42949899 markings, 52495772 edges, 50171 markings/sec, 850 secs
lola: sara is running 855 secs || 43200004 markings, 52807010 edges, 50021 markings/sec, 855 secs
lola: sara is running 860 secs || 43449531 markings, 53120748 edges, 49905 markings/sec, 860 secs
lola: sara is running 865 secs || 43700759 markings, 53429161 edges, 50246 markings/sec, 865 secs
lola: sara is running 870 secs || 43950372 markings, 53739304 edges, 49923 markings/sec, 870 secs
lola: sara is running 875 secs || 44197080 markings, 54051245 edges, 49342 markings/sec, 875 secs
lola: sara is running 880 secs || 44444778 markings, 54358733 edges, 49540 markings/sec, 880 secs
lola: sara is running 885 secs || 44690428 markings, 54670339 edges, 49130 markings/sec, 885 secs
lola: sara is running 890 secs || 44937371 markings, 54980800 edges, 49389 markings/sec, 890 secs
lola: sara is running 895 secs || 45183521 markings, 55293802 edges, 49230 markings/sec, 895 secs
lola: sara is running 900 secs || 45430061 markings, 55611197 edges, 49308 markings/sec, 900 secs
lola: sara is running 905 secs || 45675318 markings, 55934464 edges, 49051 markings/sec, 905 secs
lola: sara is running 910 secs || 45916910 markings, 56230214 edges, 48318 markings/sec, 910 secs
lola: sara is running 915 secs || 46157906 markings, 56528123 edges, 48199 markings/sec, 915 secs
lola: sara is running 920 secs || 46397159 markings, 56828972 edges, 47851 markings/sec, 920 secs
lola: sara is running 925 secs || 46636670 markings, 57128663 edges, 47902 markings/sec, 925 secs
lola: sara is running 930 secs || 46881847 markings, 57435459 edges, 49035 markings/sec, 930 secs
lola: sara is running 935 secs || 47127969 markings, 57746027 edges, 49224 markings/sec, 935 secs
lola: sara is running 940 secs || 47373463 markings, 58058196 edges, 49099 markings/sec, 940 secs
lola: sara is running 945 secs || 47618290 markings, 58371048 edges, 48965 markings/sec, 945 secs
lola: sara is running 950 secs || 47861799 markings, 58687269 edges, 48702 markings/sec, 950 secs
lola: sara is running 955 secs || 48107151 markings, 59001531 edges, 49070 markings/sec, 955 secs
lola: sara is running 960 secs || 48353662 markings, 59309587 edges, 49302 markings/sec, 960 secs
lola: sara is running 965 secs || 48599730 markings, 59620416 edges, 49214 markings/sec, 965 secs
lola: sara is running 970 secs || 48844703 markings, 59932093 edges, 48995 markings/sec, 970 secs
lola: sara is running 975 secs || 49089726 markings, 60244058 edges, 49005 markings/sec, 975 secs
lola: sara is running 980 secs || 49333466 markings, 60558279 edges, 48748 markings/sec, 980 secs
lola: sara is running 985 secs || 49576640 markings, 60875945 edges, 48635 markings/sec, 985 secs
lola: sara is running 990 secs || 49821833 markings, 61184161 edges, 49039 markings/sec, 990 secs
lola: sara is running 995 secs || 50066237 markings, 61495464 edges, 48881 markings/sec, 995 secs
lola: sara is running 1000 secs || 50309463 markings, 61808386 edges, 48645 markings/sec, 1000 secs
lola: sara is running 1005 secs || 50551441 markings, 62127583 edges, 48396 markings/sec, 1005 secs
lola: sara is running 1010 secs || 50796345 markings, 62440433 edges, 48981 markings/sec, 1010 secs
lola: sara is running 1015 secs || 51039845 markings, 62754045 edges, 48700 markings/sec, 1015 secs
lola: sara is running 1020 secs || 51282742 markings, 63072685 edges, 48579 markings/sec, 1020 secs
lola: sara is running 1025 secs || 51526440 markings, 63387094 edges, 48740 markings/sec, 1025 secs
lola: sara is running 1030 secs || 51768879 markings, 63706403 edges, 48488 markings/sec, 1030 secs
lola: sara is running 1035 secs || 52010294 markings, 64025487 edges, 48283 markings/sec, 1035 secs
lola: sara is running 1040 secs || 52252151 markings, 64343990 edges, 48371 markings/sec, 1040 secs
lola: sara is running 1045 secs || 52493451 markings, 64667780 edges, 48260 markings/sec, 1045 secs
lola: sara is running 1050 secs || 52744681 markings, 64985527 edges, 50246 markings/sec, 1050 secs
lola: sara is running 1055 secs || 52998205 markings, 65280687 edges, 50705 markings/sec, 1055 secs
lola: sara is running 1060 secs || 53250722 markings, 65576259 edges, 50503 markings/sec, 1060 secs
lola: sara is running 1065 secs || 53501699 markings, 65873291 edges, 50195 markings/sec, 1065 secs
lola: sara is running 1070 secs || 53750809 markings, 66171958 edges, 49822 markings/sec, 1070 secs
lola: sara is running 1075 secs || 53998837 markings, 66470606 edges, 49606 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Finished stderr -----
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 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="irma4mcc-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 irma4mcc-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 r067-smll-152649739900348"
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 ;