About the Execution of Irma.full for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7372.210 | 3584918.00 | 7116032.00 | 11383.30 | 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-full
Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-smll-152649737400348
=====================================================================
--------------------
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 1526669573400
BK_STOP 1526673158318
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-18lozangeBlock as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3540106, 'Memory': 4591.21, 'Tool': 'lola'}, {'Time': 3540194, 'Memory': 4601.52, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityCardinality lola DNAwalker-PT-18lozangeBlock...
Time: 3600 - MCC
----- Start make prepare stderr -----
----- 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 stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.task
lola: A (G (((1 <= B17) OR (A18 <= A83)))) : E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91)))) : E (F (((B25 <= A54) AND (2 <= A47) AND ((2 <= B17) OR (B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70))))) : A (G ((((A85 <= 0) OR (A4 <= 2)) AND ((2 <= A47) OR (2 <= A47) OR (3 <= A64))))) : E (F (((1 <= B12) AND (3 <= A54) AND (A26 <= 0)))) : A (G ((A74 <= B45))) : E (F (((A64 <= 1) AND (A92 + 1 <= A83) AND (B59 <= 0)))) : E (F ((2 <= A76))) : A (G ((((A47 <= 0) AND (B65 <= 2)) OR (2 <= A1)))) : E (F (((A17 + 1 <= B79) AND (3 <= B62) AND (A98 <= B45)))) : E (F (((2 <= B12) OR ((B26 <= 0) AND (B24 + 1 <= A34))))) : A (G ((B83 <= 2))) : A (G ((A49 <= B12))) : E (F ((3 <= A33))) : A (G ((((A13 <= 2) AND (B85 <= 1)) OR (3 <= A77)))) : E (F (((1 <= A75) AND (1 <= B44) AND (1 <= A29) AND (3 <= A60))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= B17) OR (A18 <= A83))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((B17 + 1 <= B69) OR (A52 + 1 <= B42)) AND (2 <= A91))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((B25 <= A54) AND (2 <= A47) AND ((2 <= B17) OR (B69 <= B86)) AND ((1 <= B55) OR (A94 <= B85) OR (3 <= A70)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 24 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
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: 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: ========================================
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 || 205300 markings, 223371 edges, 41060 markings/sec, 0 secs
lola: sara is running 5 secs || 432285 markings, 474671 edges, 45397 markings/sec, 5 secs
lola: sara is running 10 secs || 657013 markings, 726395 edges, 44946 markings/sec, 10 secs
lola: sara is running 15 secs || 879009 markings, 979689 edges, 44399 markings/sec, 15 secs
lola: sara is running 20 secs || 1104358 markings, 1229828 edges, 45070 markings/sec, 20 secs
lola: sara is running 25 secs || 1327638 markings, 1482211 edges, 44656 markings/sec, 25 secs
lola: sara is running 30 secs || 1550711 markings, 1735290 edges, 44615 markings/sec, 30 secs
lola: sara is running 35 secs || 1772268 markings, 1988761 edges, 44311 markings/sec, 35 secs
lola: sara is running 40 secs || 1994177 markings, 2241233 edges, 44382 markings/sec, 40 secs
lola: sara is running 45 secs || 2214448 markings, 2495836 edges, 44054 markings/sec, 45 secs
lola: sara is running 50 secs || 2431851 markings, 2750820 edges, 43481 markings/sec, 50 secs
lola: sara is running 55 secs || 2655003 markings, 3004868 edges, 44630 markings/sec, 55 secs
lola: sara is running 60 secs || 2879524 markings, 3256332 edges, 44904 markings/sec, 60 secs
lola: sara is running 65 secs || 3101341 markings, 3509729 edges, 44363 markings/sec, 65 secs
lola: sara is running 70 secs || 3327717 markings, 3764880 edges, 45275 markings/sec, 70 secs
lola: sara is running 75 secs || 3551219 markings, 4020075 edges, 44700 markings/sec, 75 secs
lola: sara is running 80 secs || 3774307 markings, 4276709 edges, 44618 markings/sec, 80 secs
lola: sara is running 85 secs || 3995596 markings, 4534360 edges, 44258 markings/sec, 85 secs
lola: sara is running 90 secs || 4216304 markings, 4793087 edges, 44142 markings/sec, 90 secs
lola: sara is running 95 secs || 4441243 markings, 5047245 edges, 44988 markings/sec, 95 secs
lola: sara is running 100 secs || 4664458 markings, 5302655 edges, 44643 markings/sec, 100 secs
lola: sara is running 105 secs || 4885027 markings, 5556612 edges, 44114 markings/sec, 105 secs
lola: sara is running 110 secs || 5104355 markings, 5812312 edges, 43866 markings/sec, 110 secs
lola: sara is running 115 secs || 5322742 markings, 6068506 edges, 43677 markings/sec, 115 secs
lola: sara is running 120 secs || 5535697 markings, 6312897 edges, 42591 markings/sec, 120 secs
lola: sara is running 125 secs || 5755831 markings, 6568113 edges, 44027 markings/sec, 125 secs
lola: sara is running 130 secs || 5972104 markings, 6825800 edges, 43255 markings/sec, 130 secs
lola: sara is running 135 secs || 6192817 markings, 7079818 edges, 44143 markings/sec, 135 secs
lola: sara is running 140 secs || 6411508 markings, 7337414 edges, 43738 markings/sec, 140 secs
lola: sara is running 145 secs || 6632252 markings, 7597395 edges, 44149 markings/sec, 145 secs
lola: sara is running 150 secs || 6850013 markings, 7856237 edges, 43552 markings/sec, 150 secs
lola: sara is running 155 secs || 7066788 markings, 8115690 edges, 43355 markings/sec, 155 secs
lola: sara is running 160 secs || 7280598 markings, 8375199 edges, 42762 markings/sec, 160 secs
lola: sara is running 165 secs || 7502976 markings, 8636123 edges, 44476 markings/sec, 165 secs
lola: sara is running 170 secs || 7730142 markings, 8890425 edges, 45433 markings/sec, 170 secs
lola: sara is running 175 secs || 7953946 markings, 9146683 edges, 44761 markings/sec, 175 secs
lola: sara is running 180 secs || 8180765 markings, 9400907 edges, 45364 markings/sec, 180 secs
lola: sara is running 185 secs || 8404281 markings, 9656869 edges, 44703 markings/sec, 185 secs
lola: sara is running 190 secs || 8627503 markings, 9912924 edges, 44644 markings/sec, 190 secs
lola: sara is running 195 secs || 8848763 markings, 10169884 edges, 44252 markings/sec, 195 secs
lola: sara is running 200 secs || 9068222 markings, 10429103 edges, 43892 markings/sec, 200 secs
lola: sara is running 205 secs || 9294487 markings, 10683919 edges, 45253 markings/sec, 205 secs
lola: sara is running 210 secs || 9518263 markings, 10939504 edges, 44755 markings/sec, 210 secs
lola: sara is running 215 secs || 9741282 markings, 11196197 edges, 44604 markings/sec, 215 secs
lola: sara is running 220 secs || 9962217 markings, 11452975 edges, 44187 markings/sec, 220 secs
lola: sara is running 225 secs || 10182031 markings, 11712132 edges, 43963 markings/sec, 225 secs
lola: sara is running 230 secs || 10405709 markings, 11968506 edges, 44736 markings/sec, 230 secs
lola: sara is running 235 secs || 10627899 markings, 12225617 edges, 44438 markings/sec, 235 secs
lola: sara is running 240 secs || 10846116 markings, 12485111 edges, 43643 markings/sec, 240 secs
lola: sara is running 245 secs || 11068530 markings, 12741440 edges, 44483 markings/sec, 245 secs
lola: sara is running 250 secs || 11287318 markings, 12999556 edges, 43758 markings/sec, 250 secs
lola: sara is running 255 secs || 11507725 markings, 13259372 edges, 44081 markings/sec, 255 secs
lola: sara is running 260 secs || 11725900 markings, 13518586 edges, 43635 markings/sec, 260 secs
lola: sara is running 265 secs || 11942695 markings, 13777523 edges, 43359 markings/sec, 265 secs
lola: sara is running 270 secs || 12156958 markings, 14037571 edges, 42853 markings/sec, 270 secs
lola: sara is running 275 secs || 12377509 markings, 14299254 edges, 44110 markings/sec, 275 secs
lola: sara is running 280 secs || 12601911 markings, 14554212 edges, 44880 markings/sec, 280 secs
lola: sara is running 285 secs || 12825806 markings, 14809638 edges, 44779 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: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 11 will run for 649 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((B83 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10.sara.
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11.sara
lola: 1 markings, 0 edges
lola: ========================================
lola: state equation: calling and running sara
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)
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11.sara.
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: ========================================
lola: 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
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 246152 markings, 268536 edges, 49230 markings/sec, 0 secs
lola: sara is running 5 secs || 494237 markings, 543932 edges, 49617 markings/sec, 5 secs
lola: sara is running 10 secs || 739567 markings, 818450 edges, 49066 markings/sec, 10 secs
lola: sara is running 15 secs || 985220 markings, 1094618 edges, 49131 markings/sec, 15 secs
lola: sara is running 20 secs || 1231576 markings, 1369500 edges, 49271 markings/sec, 20 secs
lola: sara is running 25 secs || 1476744 markings, 1647963 edges, 49034 markings/sec, 25 secs
lola: sara is running 30 secs || 1722044 markings, 1923364 edges, 49060 markings/sec, 30 secs
lola: sara is running 35 secs || 1965892 markings, 2200354 edges, 48770 markings/sec, 35 secs
lola: sara is running 40 secs || 2209036 markings, 2478385 edges, 48629 markings/sec, 40 secs
lola: sara is running 45 secs || 2451344 markings, 2758729 edges, 48462 markings/sec, 45 secs
lola: sara is running 50 secs || 2695896 markings, 3039173 edges, 48910 markings/sec, 50 secs
lola: sara is running 55 secs || 2941944 markings, 3313595 edges, 49210 markings/sec, 55 secs
lola: sara is running 60 secs || 3186434 markings, 3591679 edges, 48898 markings/sec, 60 secs
lola: sara is running 65 secs || 3433530 markings, 3868107 edges, 49419 markings/sec, 65 secs
lola: sara is running 70 secs || 3678397 markings, 4146442 edges, 48973 markings/sec, 70 secs
lola: sara is running 75 secs || 3922497 markings, 4425314 edges, 48820 markings/sec, 75 secs
lola: sara is running 80 secs || 4165828 markings, 4706120 edges, 48666 markings/sec, 80 secs
lola: sara is running 85 secs || 4409799 markings, 4988494 edges, 48794 markings/sec, 85 secs
lola: sara is running 90 secs || 4655760 markings, 5265977 edges, 49192 markings/sec, 90 secs
lola: sara is running 95 secs || 4900749 markings, 5544393 edges, 48998 markings/sec, 95 secs
lola: sara is running 100 secs || 5144452 markings, 5824437 edges, 48741 markings/sec, 100 secs
lola: sara is running 105 secs || 5387992 markings, 6106123 edges, 48708 markings/sec, 105 secs
lola: sara is running 110 secs || 5632587 markings, 6387636 edges, 48919 markings/sec, 110 secs
lola: sara is running 115 secs || 5877099 markings, 6667148 edges, 48902 markings/sec, 115 secs
lola: sara is running 120 secs || 6120460 markings, 6948832 edges, 48672 markings/sec, 120 secs
lola: sara is running 125 secs || 6363380 markings, 7231049 edges, 48584 markings/sec, 125 secs
lola: sara is running 130 secs || 6606104 markings, 7511394 edges, 48545 markings/sec, 130 secs
lola: sara is running 135 secs || 6847872 markings, 7794125 edges, 48354 markings/sec, 135 secs
lola: sara is running 140 secs || 7089414 markings, 8076660 edges, 48308 markings/sec, 140 secs
lola: sara is running 145 secs || 7330652 markings, 8360300 edges, 48248 markings/sec, 145 secs
lola: sara is running 150 secs || 7572064 markings, 8646049 edges, 48282 markings/sec, 150 secs
lola: sara is running 155 secs || 7812128 markings, 8935121 edges, 48013 markings/sec, 155 secs
lola: sara is running 160 secs || 8056910 markings, 9206009 edges, 48956 markings/sec, 160 secs
lola: sara is running 165 secs || 8300065 markings, 9480161 edges, 48631 markings/sec, 165 secs
lola: sara is running 170 secs || 8543415 markings, 9754273 edges, 48670 markings/sec, 170 secs
lola: sara is running 175 secs || 8785760 markings, 10030055 edges, 48469 markings/sec, 175 secs
lola: sara is running 180 secs || 9027100 markings, 10304797 edges, 48268 markings/sec, 180 secs
lola: sara is running 185 secs || 9266503 markings, 10579028 edges, 47881 markings/sec, 185 secs
lola: sara is running 190 secs || 9504060 markings, 10856635 edges, 47511 markings/sec, 190 secs
lola: sara is running 195 secs || 9745722 markings, 11129115 edges, 48332 markings/sec, 195 secs
lola: sara is running 200 secs || 9986300 markings, 11402369 edges, 48116 markings/sec, 200 secs
lola: sara is running 205 secs || 10226328 markings, 11676247 edges, 48006 markings/sec, 205 secs
lola: sara is running 210 secs || 10465944 markings, 11951920 edges, 47923 markings/sec, 210 secs
lola: sara is running 215 secs || 10704982 markings, 12231443 edges, 47808 markings/sec, 215 secs
lola: sara is running 220 secs || 10945280 markings, 12505136 edges, 48060 markings/sec, 220 secs
lola: sara is running 225 secs || 11184200 markings, 12778329 edges, 47784 markings/sec, 225 secs
lola: sara is running 230 secs || 11421272 markings, 13055182 edges, 47414 markings/sec, 230 secs
lola: sara is running 235 secs || 11660152 markings, 13330556 edges, 47776 markings/sec, 235 secs
lola: sara is running 240 secs || 11898144 markings, 13607388 edges, 47598 markings/sec, 240 secs
lola: sara is running 245 secs || 12135982 markings, 13884158 edges, 47568 markings/sec, 245 secs
lola: sara is running 250 secs || 12373410 markings, 14162928 edges, 47486 markings/sec, 250 secs
lola: sara is running 255 secs || 12610592 markings, 14442184 edges, 47436 markings/sec, 255 secs
lola: sara is running 260 secs || 12846859 markings, 14723762 edges, 47253 markings/sec, 260 secs
lola: sara is running 265 secs || 13085557 markings, 15004457 edges, 47740 markings/sec, 265 secs
lola: sara is running 270 secs || 13326359 markings, 15276650 edges, 48160 markings/sec, 270 secs
lola: sara is running 275 secs || 13566935 markings, 15549796 edges, 48115 markings/sec, 275 secs
lola: sara is running 280 secs || 13806643 markings, 15825239 edges, 47942 markings/sec, 280 secs
lola: sara is running 285 secs || 14046126 markings, 16102441 edges, 47897 markings/sec, 285 secs
lola: sara is running 290 secs || 14288796 markings, 16381748 edges, 48534 markings/sec, 290 secs
lola: sara is running 295 secs || 14529784 markings, 16657184 edges, 48198 markings/sec, 295 secs
lola: sara is running 300 secs || 14772478 markings, 16937898 edges, 48539 markings/sec, 300 secs
lola: sara is running 305 secs || 15015182 markings, 17220179 edges, 48541 markings/sec, 305 secs
lola: sara is running 310 secs || 15255080 markings, 17496963 edges, 47980 markings/sec, 310 secs
lola: sara is running 315 secs || 15493090 markings, 17775556 edges, 47602 markings/sec, 315 secs
lola: sara is running 320 secs || 15731468 markings, 18053546 edges, 47676 markings/sec, 320 secs
lola: sara is running 325 secs || 15969670 markings, 18333267 edges, 47640 markings/sec, 325 secs
lola: sara is running 330 secs || 16206624 markings, 18614214 edges, 47391 markings/sec, 330 secs
lola: sara is running 335 secs || 16442791 markings, 18899089 edges, 47233 markings/sec, 335 secs
lola: sara is running 340 secs || 16683068 markings, 19172974 edges, 48055 markings/sec, 340 secs
lola: sara is running 345 secs || 16922779 markings, 19448003 edges, 47942 markings/sec, 345 secs
lola: sara is running 350 secs || 17160940 markings, 19724866 edges, 47632 markings/sec, 350 secs
lola: sara is running 355 secs || 17399311 markings, 20001124 edges, 47674 markings/sec, 355 secs
lola: sara is running 360 secs || 17637768 markings, 20277086 edges, 47691 markings/sec, 360 secs
lola: sara is running 365 secs || 17875200 markings, 20554026 edges, 47486 markings/sec, 365 secs
lola: sara is running 370 secs || 18112528 markings, 20832580 edges, 47466 markings/sec, 370 secs
lola: sara is running 375 secs || 18349700 markings, 21111343 edges, 47434 markings/sec, 375 secs
lola: sara is running 380 secs || 18585968 markings, 21392381 edges, 47254 markings/sec, 380 secs
lola: sara is running 385 secs || 18822413 markings, 21674863 edges, 47289 markings/sec, 385 secs
lola: sara is running 390 secs || 19061608 markings, 21950088 edges, 47839 markings/sec, 390 secs
lola: sara is running 395 secs || 19299296 markings, 22228653 edges, 47538 markings/sec, 395 secs
lola: sara is running 400 secs || 19537248 markings, 22504627 edges, 47590 markings/sec, 400 secs
lola: sara is running 405 secs || 19774364 markings, 22783058 edges, 47423 markings/sec, 405 secs
lola: sara is running 410 secs || 20010644 markings, 23063322 edges, 47256 markings/sec, 410 secs
lola: sara is running 415 secs || 20246001 markings, 23344648 edges, 47071 markings/sec, 415 secs
lola: sara is running 420 secs || 20483114 markings, 23623417 edges, 47423 markings/sec, 420 secs
lola: sara is running 425 secs || 20722329 markings, 23904581 edges, 47843 markings/sec, 425 secs
lola: sara is running 430 secs || 20959866 markings, 24184368 edges, 47507 markings/sec, 430 secs
lola: sara is running 435 secs || 21195613 markings, 24465681 edges, 47149 markings/sec, 435 secs
lola: sara is running 440 secs || 21431163 markings, 24746840 edges, 47110 markings/sec, 440 secs
lola: sara is running 445 secs || 21667359 markings, 25025749 edges, 47239 markings/sec, 445 secs
----- Kill lola and sara stderr -----
----- Finished stderr -----
lola: sara is running 450 secs || 21903216 markings, 25307243 edges, 47171 markings/sec, 450 secs
lola: sara is running 455 secs || 22138748 markings, 25589433 edges, 47106 markings/sec, 455 secs
lola: sara is running 460 secs || 22374324 markings, 25871321 edges, 47115 markings/sec, 460 secs
lola: sara is running 465 secs || 22611779 markings, 26157169 edges, 47491 markings/sec, 465 secs
lola: sara is running 470 secs || 22847015 markings, 26442483 edges, 47047 markings/sec, 470 secs
lola: sara is running 475 secs || 23082404 markings, 26728294 edges, 47078 markings/sec, 475 secs
lola: sara is running 480 secs || 23318607 markings, 27019467 edges, 47241 markings/sec, 480 secs
lola: sara is running 485 secs || 23563734 markings, 27302035 edges, 49025 markings/sec, 485 secs
lola: sara is running 490 secs || 23810132 markings, 27577681 edges, 49280 markings/sec, 490 secs
lola: sara is running 495 secs || 24053679 markings, 27853226 edges, 48709 markings/sec, 495 secs
lola: sara is running 500 secs || 24294855 markings, 28125646 edges, 48235 markings/sec, 500 secs
lola: sara is running 505 secs || 24535677 markings, 28399161 edges, 48164 markings/sec, 505 secs
lola: sara is running 510 secs || 24776487 markings, 28675881 edges, 48162 markings/sec, 510 secs
lola: sara is running 515 secs || 25017844 markings, 28955145 edges, 48271 markings/sec, 515 secs
lola: sara is running 520 secs || 25260900 markings, 29233180 edges, 48611 markings/sec, 520 secs
lola: sara is running 525 secs || 25501924 markings, 29507726 edges, 48205 markings/sec, 525 secs
lola: sara is running 530 secs || 25737981 markings, 29774917 edges, 47211 markings/sec, 530 secs
lola: sara is running 535 secs || 25981444 markings, 30053872 edges, 48693 markings/sec, 535 secs
lola: sara is running 540 secs || 26223594 markings, 30336066 edges, 48430 markings/sec, 540 secs
lola: sara is running 545 secs || 26468656 markings, 30616120 edges, 49012 markings/sec, 545 secs
lola: sara is running 550 secs || 26712313 markings, 30895968 edges, 48731 markings/sec, 550 secs
lola: sara is running 555 secs || 26954779 markings, 31176888 edges, 48493 markings/sec, 555 secs
lola: sara is running 560 secs || 27197151 markings, 31457755 edges, 48474 markings/sec, 560 secs
lola: sara is running 565 secs || 27439106 markings, 31737735 edges, 48391 markings/sec, 565 secs
lola: sara is running 570 secs || 27680034 markings, 32019474 edges, 48186 markings/sec, 570 secs
lola: sara is running 575 secs || 27920568 markings, 32301622 edges, 48107 markings/sec, 575 secs
lola: sara is running 580 secs || 28161072 markings, 32584063 edges, 48101 markings/sec, 580 secs
lola: sara is running 585 secs || 28400953 markings, 32869397 edges, 47976 markings/sec, 585 secs
lola: sara is running 590 secs || 28641728 markings, 33154999 edges, 48155 markings/sec, 590 secs
lola: sara is running 595 secs || 28886209 markings, 33430297 edges, 48896 markings/sec, 595 secs
lola: sara is running 600 secs || 29129307 markings, 33706488 edges, 48620 markings/sec, 600 secs
lola: sara is running 605 secs || 29371738 markings, 33984287 edges, 48486 markings/sec, 605 secs
lola: sara is running 610 secs || 29613952 markings, 34264463 edges, 48443 markings/sec, 610 secs
lola: sara is running 615 secs || 29856612 markings, 34544663 edges, 48532 markings/sec, 615 secs
lola: sara is running 620 secs || 30099770 markings, 34822414 edges, 48632 markings/sec, 620 secs
lola: sara is running 625 secs || 30337974 markings, 35097401 edges, 47641 markings/sec, 625 secs
lola: sara is running 630 secs || 30574552 markings, 35373490 edges, 47316 markings/sec, 630 secs
lola: sara is running 635 secs || 30811444 markings, 35646323 edges, 47378 markings/sec, 635 secs
lola: sara is running 640 secs || 31050420 markings, 35926291 edges, 47795 markings/sec, 640 secs
lola: sara is running 645 secs || 31290473 markings, 36205288 edges, 48011 markings/sec, 645 secs
lola: sara is running 650 secs || 31529269 markings, 36485672 edges, 47759 markings/sec, 650 secs
lola: sara is running 655 secs || 31767107 markings, 36767535 edges, 47568 markings/sec, 655 secs
lola: sara is running 660 secs || 32003953 markings, 37051794 edges, 47369 markings/sec, 660 secs
lola: sara is running 665 secs || 32245306 markings, 37329246 edges, 48271 markings/sec, 665 secs
lola: sara is running 670 secs || 32485930 markings, 37605613 edges, 48125 markings/sec, 670 secs
lola: sara is running 675 secs || 32725676 markings, 37883498 edges, 47949 markings/sec, 675 secs
lola: sara is running 680 secs || 32965495 markings, 38161356 edges, 47964 markings/sec, 680 secs
lola: sara is running 685 secs || 33204880 markings, 38438447 edges, 47877 markings/sec, 685 secs
lola: sara is running 690 secs || 33443366 markings, 38717537 edges, 47697 markings/sec, 690 secs
lola: sara is running 695 secs || 33681356 markings, 38996517 edges, 47598 markings/sec, 695 secs
lola: sara is running 700 secs || 33919421 markings, 39276009 edges, 47613 markings/sec, 700 secs
lola: sara is running 705 secs || 34157138 markings, 39558205 edges, 47543 markings/sec, 705 secs
lola: sara is running 710 secs || 34394494 markings, 39842582 edges, 47471 markings/sec, 710 secs
lola: sara is running 715 secs || 34638796 markings, 40123785 edges, 48860 markings/sec, 715 secs
lola: sara is running 720 secs || 34881016 markings, 40407668 edges, 48444 markings/sec, 720 secs
lola: sara is running 725 secs || 35123676 markings, 40688791 edges, 48532 markings/sec, 725 secs
lola: sara is running 730 secs || 35365104 markings, 40972339 edges, 48286 markings/sec, 730 secs
lola: sara is running 735 secs || 35606114 markings, 41257953 edges, 48202 markings/sec, 735 secs
lola: sara is running 740 secs || 35845797 markings, 41545144 edges, 47937 markings/sec, 740 secs
lola: sara is running 745 secs || 36087320 markings, 41828700 edges, 48305 markings/sec, 745 secs
lola: sara is running 750 secs || 36327912 markings, 42110912 edges, 48118 markings/sec, 750 secs
lola: sara is running 755 secs || 36568327 markings, 42394356 edges, 48083 markings/sec, 755 secs
lola: sara is running 760 secs || 36807644 markings, 42680163 edges, 47863 markings/sec, 760 secs
lola: sara is running 765 secs || 37047312 markings, 42966056 edges, 47934 markings/sec, 765 secs
lola: sara is running 770 secs || 37287288 markings, 43249546 edges, 47995 markings/sec, 770 secs
lola: sara is running 775 secs || 37526174 markings, 43535345 edges, 47777 markings/sec, 775 secs
lola: sara is running 780 secs || 37765161 markings, 43821829 edges, 47797 markings/sec, 780 secs
lola: sara is running 785 secs || 38004092 markings, 44107507 edges, 47786 markings/sec, 785 secs
lola: sara is running 790 secs || 38243224 markings, 44395536 edges, 47826 markings/sec, 790 secs
lola: sara is running 795 secs || 38481844 markings, 44684807 edges, 47724 markings/sec, 795 secs
lola: sara is running 800 secs || 38719392 markings, 44974675 edges, 47510 markings/sec, 800 secs
lola: sara is running 805 secs || 38955847 markings, 45268093 edges, 47291 markings/sec, 805 secs
lola: sara is running 810 secs || 39200424 markings, 45544888 edges, 48915 markings/sec, 810 secs
lola: sara is running 815 secs || 39443727 markings, 45821736 edges, 48661 markings/sec, 815 secs
lola: sara is running 820 secs || 39686696 markings, 46098530 edges, 48594 markings/sec, 820 secs
lola: sara is running 825 secs || 39928476 markings, 46377111 edges, 48356 markings/sec, 825 secs
lola: sara is running 830 secs || 40169947 markings, 46658709 edges, 48294 markings/sec, 830 secs
lola: sara is running 835 secs || 40413092 markings, 46935643 edges, 48629 markings/sec, 835 secs
lola: sara is running 840 secs || 40654904 markings, 47213116 edges, 48362 markings/sec, 840 secs
lola: sara is running 845 secs || 40894848 markings, 47494875 edges, 47989 markings/sec, 845 secs
lola: sara is running 850 secs || 41136936 markings, 47771964 edges, 48418 markings/sec, 850 secs
lola: sara is running 855 secs || 41376937 markings, 48052021 edges, 48000 markings/sec, 855 secs
lola: sara is running 860 secs || 41617372 markings, 48331752 edges, 48087 markings/sec, 860 secs
lola: sara is running 865 secs || 41857153 markings, 48613148 edges, 47956 markings/sec, 865 secs
lola: sara is running 870 secs || 42096664 markings, 48895686 edges, 47902 markings/sec, 870 secs
lola: sara is running 875 secs || 42335319 markings, 49180997 edges, 47731 markings/sec, 875 secs
lola: sara is running 880 secs || 42576930 markings, 49463245 edges, 48322 markings/sec, 880 secs
lola: sara is running 885 secs || 42819452 markings, 49740515 edges, 48504 markings/sec, 885 secs
lola: sara is running 890 secs || 43060660 markings, 50019617 edges, 48242 markings/sec, 890 secs
lola: sara is running 895 secs || 43301692 markings, 50299923 edges, 48206 markings/sec, 895 secs
lola: sara is running 900 secs || 43542901 markings, 50578069 edges, 48242 markings/sec, 900 secs
lola: sara is running 905 secs || 43782940 markings, 50859059 edges, 48008 markings/sec, 905 secs
lola: sara is running 910 secs || 44023052 markings, 51139121 edges, 48022 markings/sec, 910 secs
lola: sara is running 915 secs || 44263012 markings, 51420970 edges, 47992 markings/sec, 915 secs
lola: sara is running 920 secs || 44502480 markings, 51704838 edges, 47894 markings/sec, 920 secs
lola: sara is running 925 secs || 44740580 markings, 51992636 edges, 47620 markings/sec, 925 secs
lola: sara is running 930 secs || 44981584 markings, 52269197 edges, 48201 markings/sec, 930 secs
lola: sara is running 935 secs || 45221940 markings, 52549500 edges, 48071 markings/sec, 935 secs
lola: sara is running 940 secs || 45462312 markings, 52829184 edges, 48074 markings/sec, 940 secs
lola: sara is running 945 secs || 45701859 markings, 53110295 edges, 47909 markings/sec, 945 secs
lola: sara is running 950 secs || 45940993 markings, 53392469 edges, 47827 markings/sec, 950 secs
lola: sara is running 955 secs || 46179261 markings, 53677012 edges, 47654 markings/sec, 955 secs
lola: sara is running 960 secs || 46418521 markings, 53960586 edges, 47852 markings/sec, 960 secs
lola: sara is running 965 secs || 46657924 markings, 54241529 edges, 47881 markings/sec, 965 secs
lola: sara is running 970 secs || 46896946 markings, 54522413 edges, 47804 markings/sec, 970 secs
lola: sara is running 975 secs || 47135148 markings, 54805601 edges, 47640 markings/sec, 975 secs
lola: sara is running 980 secs || 47372710 markings, 55090630 edges, 47512 markings/sec, 980 secs
lola: sara is running 985 secs || 47611448 markings, 55371688 edges, 47748 markings/sec, 985 secs
lola: sara is running 990 secs || 47849312 markings, 55655006 edges, 47573 markings/sec, 990 secs
lola: sara is running 995 secs || 48086824 markings, 55940488 edges, 47502 markings/sec, 995 secs
lola: sara is running 1000 secs || 48324732 markings, 56224469 edges, 47582 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48561950 markings, 56510664 edges, 47444 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48798876 markings, 56796846 edges, 47385 markings/sec, 1010 secs
lola: sara is running 1015 secs || 49035464 markings, 57083878 edges, 47318 markings/sec, 1015 secs
lola: sara is running 1020 secs || 49271348 markings, 57374219 edges, 47177 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49511676 markings, 57658695 edges, 48066 markings/sec, 1025 secs
lola: sara is running 1030 secs || 49752902 markings, 57934352 edges, 48245 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49992527 markings, 58211647 edges, 47925 markings/sec, 1035 secs
lola: sara is running 1040 secs || 50232250 markings, 58490570 edges, 47945 markings/sec, 1040 secs
lola: sara is running 1045 secs || 50471844 markings, 58766819 edges, 47919 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50710326 markings, 59045989 edges, 47696 markings/sec, 1050 secs
lola: sara is running 1055 secs || 50948892 markings, 59324306 edges, 47713 markings/sec, 1055 secs
lola: sara is running 1060 secs || 51187135 markings, 59604001 edges, 47649 markings/sec, 1060 secs
lola: sara is running 1065 secs || 51424971 markings, 59885924 edges, 47567 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51661525 markings, 60171239 edges, 47311 markings/sec, 1070 secs
lola: sara is running 1075 secs || 51902459 markings, 60448496 edges, 48187 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 || 251243 markings, 281517 edges, 50249 markings/sec, 0 secs
lola: sara is running 5 secs || 502546 markings, 567937 edges, 50261 markings/sec, 5 secs
lola: sara is running 10 secs || 750940 markings, 856087 edges, 49679 markings/sec, 10 secs
lola: sara is running 15 secs || 999565 markings, 1140629 edges, 49725 markings/sec, 15 secs
lola: sara is running 20 secs || 1246855 markings, 1428710 edges, 49458 markings/sec, 20 secs
lola: sara is running 25 secs || 1491751 markings, 1714511 edges, 48979 markings/sec, 25 secs
lola: sara is running 30 secs || 1734662 markings, 1999893 edges, 48582 markings/sec, 30 secs
lola: sara is running 35 secs || 1975489 markings, 2287827 edges, 48165 markings/sec, 35 secs
lola: sara is running 40 secs || 2219576 markings, 2574130 edges, 48817 markings/sec, 40 secs
lola: sara is running 45 secs || 2464650 markings, 2856546 edges, 49015 markings/sec, 45 secs
lola: sara is running 50 secs || 2709558 markings, 3140660 edges, 48982 markings/sec, 50 secs
lola: sara is running 55 secs || 2953316 markings, 3426037 edges, 48752 markings/sec, 55 secs
lola: sara is running 60 secs || 3181218 markings, 3695999 edges, 45580 markings/sec, 60 secs
lola: sara is running 65 secs || 3421093 markings, 3984867 edges, 47975 markings/sec, 65 secs
lola: sara is running 70 secs || 3664060 markings, 4267464 edges, 48593 markings/sec, 70 secs
lola: sara is running 75 secs || 3905737 markings, 4550582 edges, 48335 markings/sec, 75 secs
lola: sara is running 80 secs || 4145661 markings, 4834916 edges, 47985 markings/sec, 80 secs
lola: sara is running 85 secs || 4384530 markings, 5124032 edges, 47774 markings/sec, 85 secs
lola: sara is running 90 secs || 4626057 markings, 5407209 edges, 48305 markings/sec, 90 secs
lola: sara is running 95 secs || 4865821 markings, 5693530 edges, 47953 markings/sec, 95 secs
lola: sara is running 100 secs || 5105361 markings, 5981593 edges, 47908 markings/sec, 100 secs
lola: sara is running 105 secs || 5344446 markings, 6269153 edges, 47817 markings/sec, 105 secs
lola: sara is running 110 secs || 5582832 markings, 6557057 edges, 47677 markings/sec, 110 secs
lola: sara is running 115 secs || 5820197 markings, 6846934 edges, 47473 markings/sec, 115 secs
lola: sara is running 120 secs || 6057326 markings, 7140041 edges, 47426 markings/sec, 120 secs
lola: sara is running 125 secs || 6298124 markings, 7431381 edges, 48160 markings/sec, 125 secs
lola: sara is running 130 secs || 6543448 markings, 7713375 edges, 49065 markings/sec, 130 secs
lola: sara is running 135 secs || 6783401 markings, 7992471 edges, 47991 markings/sec, 135 secs
lola: sara is running 140 secs || 7025057 markings, 8274869 edges, 48331 markings/sec, 140 secs
lola: sara is running 145 secs || 7265386 markings, 8557617 edges, 48066 markings/sec, 145 secs
lola: sara is running 150 secs || 7475666 markings, 8809307 edges, 42056 markings/sec, 150 secs
lola: sara is running 155 secs || 7717586 markings, 9095109 edges, 48384 markings/sec, 155 secs
lola: sara is running 160 secs || 7959031 markings, 9377760 edges, 48289 markings/sec, 160 secs
lola: sara is running 165 secs || 8200796 markings, 9662481 edges, 48353 markings/sec, 165 secs
lola: sara is running 170 secs || 8443416 markings, 9954175 edges, 48524 markings/sec, 170 secs
lola: sara is running 175 secs || 8688451 markings, 10244408 edges, 49007 markings/sec, 175 secs
lola: sara is running 180 secs || 8932892 markings, 10534683 edges, 48888 markings/sec, 180 secs
lola: sara is running 185 secs || 9175966 markings, 10827462 edges, 48615 markings/sec, 185 secs
lola: sara is running 190 secs || 9419461 markings, 11118635 edges, 48699 markings/sec, 190 secs
lola: sara is running 195 secs || 9661677 markings, 11411530 edges, 48443 markings/sec, 195 secs
lola: sara is running 200 secs || 9903156 markings, 11705542 edges, 48296 markings/sec, 200 secs
lola: sara is running 205 secs || 10143551 markings, 12001565 edges, 48079 markings/sec, 205 secs
lola: sara is running 210 secs || 10385041 markings, 12300438 edges, 48298 markings/sec, 210 secs
lola: sara is running 215 secs || 10631861 markings, 12588260 edges, 49364 markings/sec, 215 secs
lola: sara is running 220 secs || 10878633 markings, 12877408 edges, 49354 markings/sec, 220 secs
lola: sara is running 225 secs || 11122386 markings, 13167546 edges, 48751 markings/sec, 225 secs
lola: sara is running 230 secs || 11366966 markings, 13460139 edges, 48916 markings/sec, 230 secs
lola: sara is running 235 secs || 11612281 markings, 13750207 edges, 49063 markings/sec, 235 secs
lola: sara is running 240 secs || 11854586 markings, 14043135 edges, 48461 markings/sec, 240 secs
lola: sara is running 245 secs || 12100391 markings, 14335600 edges, 49161 markings/sec, 245 secs
lola: sara is running 250 secs || 12343391 markings, 14629454 edges, 48600 markings/sec, 250 secs
lola: sara is running 255 secs || 12584984 markings, 14922834 edges, 48319 markings/sec, 255 secs
lola: sara is running 260 secs || 12826011 markings, 15217690 edges, 48205 markings/sec, 260 secs
lola: sara is running 265 secs || 13065376 markings, 15517196 edges, 47873 markings/sec, 265 secs
lola: sara is running 270 secs || 13309256 markings, 15806625 edges, 48776 markings/sec, 270 secs
lola: sara is running 275 secs || 13552363 markings, 16095124 edges, 48621 markings/sec, 275 secs
lola: sara is running 280 secs || 13794152 markings, 16386284 edges, 48358 markings/sec, 280 secs
lola: sara is running 285 secs || 14036058 markings, 16676457 edges, 48381 markings/sec, 285 secs
lola: sara is running 290 secs || 14277321 markings, 16968112 edges, 48253 markings/sec, 290 secs
lola: sara is running 295 secs || 14516675 markings, 17259763 edges, 47871 markings/sec, 295 secs
lola: sara is running 300 secs || 14752438 markings, 17550455 edges, 47153 markings/sec, 300 secs
lola: sara is running 305 secs || 14988801 markings, 17843813 edges, 47273 markings/sec, 305 secs
lola: sara is running 310 secs || 15229643 markings, 18131648 edges, 48168 markings/sec, 310 secs
lola: sara is running 315 secs || 15470613 markings, 18423016 edges, 48194 markings/sec, 315 secs
lola: sara is running 320 secs || 15710676 markings, 18715421 edges, 48013 markings/sec, 320 secs
lola: sara is running 325 secs || 15949693 markings, 19009437 edges, 47803 markings/sec, 325 secs
lola: sara is running 330 secs || 16188007 markings, 19307534 edges, 47663 markings/sec, 330 secs
lola: sara is running 335 secs || 16428666 markings, 19599820 edges, 48132 markings/sec, 335 secs
lola: sara is running 340 secs || 16669221 markings, 19892718 edges, 48111 markings/sec, 340 secs
lola: sara is running 345 secs || 16907956 markings, 20189799 edges, 47747 markings/sec, 345 secs
lola: sara is running 350 secs || 17147216 markings, 20486014 edges, 47852 markings/sec, 350 secs
lola: sara is running 355 secs || 17385763 markings, 20780100 edges, 47709 markings/sec, 355 secs
lola: sara is running 360 secs || 17621151 markings, 21074589 edges, 47078 markings/sec, 360 secs
lola: sara is running 365 secs || 17856456 markings, 21369302 edges, 47061 markings/sec, 365 secs
lola: sara is running 370 secs || 18094455 markings, 21668233 edges, 47600 markings/sec, 370 secs
lola: sara is running 375 secs || 18332000 markings, 21969814 edges, 47509 markings/sec, 375 secs
lola: sara is running 380 secs || 18568474 markings, 22275914 edges, 47295 markings/sec, 380 secs
lola: sara is running 385 secs || 18819026 markings, 22567648 edges, 50110 markings/sec, 385 secs
lola: sara is running 390 secs || 19067956 markings, 22858630 edges, 49786 markings/sec, 390 secs
lola: sara is running 395 secs || 19318721 markings, 23148199 edges, 50153 markings/sec, 395 secs
lola: sara is running 400 secs || 19567401 markings, 23440848 edges, 49736 markings/sec, 400 secs
lola: sara is running 405 secs || 19814181 markings, 23733397 edges, 49356 markings/sec, 405 secs
lola: sara is running 410 secs || 20060196 markings, 24027093 edges, 49203 markings/sec, 410 secs
lola: sara is running 415 secs || 20308171 markings, 24316945 edges, 49595 markings/sec, 415 secs
lola: sara is running 420 secs || 20554956 markings, 24606179 edges, 49357 markings/sec, 420 secs
lola: sara is running 425 secs || 20799851 markings, 24899095 edges, 48979 markings/sec, 425 secs
lola: sara is running 430 secs || 21045971 markings, 25191931 edges, 49224 markings/sec, 430 secs
lola: sara is running 435 secs || 21292253 markings, 25483722 edges, 49256 markings/sec, 435 secs
lola: sara is running 440 secs || 21536426 markings, 25779327 edges, 48835 markings/sec, 440 secs
lola: sara is running 445 secs || 21781706 markings, 26070982 edges, 49056 markings/sec, 445 secs
lola: sara is running 450 secs || 22025131 markings, 26365794 edges, 48685 markings/sec, 450 secs
lola: sara is running 455 secs || 22268016 markings, 26660947 edges, 48577 markings/sec, 455 secs
lola: sara is running 460 secs || 22509951 markings, 26958363 edges, 48387 markings/sec, 460 secs
lola: sara is running 465 secs || 22751428 markings, 27260490 edges, 48295 markings/sec, 465 secs
lola: sara is running 470 secs || 23000513 markings, 27548841 edges, 49817 markings/sec, 470 secs
lola: sara is running 475 secs || 23247926 markings, 27840137 edges, 49483 markings/sec, 475 secs
lola: sara is running 480 secs || 23493330 markings, 28130945 edges, 49081 markings/sec, 480 secs
lola: sara is running 485 secs || 23738416 markings, 28424733 edges, 49017 markings/sec, 485 secs
lola: sara is running 490 secs || 23985131 markings, 28716081 edges, 49343 markings/sec, 490 secs
lola: sara is running 495 secs || 24228947 markings, 29009516 edges, 48763 markings/sec, 495 secs
lola: sara is running 500 secs || 24475096 markings, 29303169 edges, 49230 markings/sec, 500 secs
lola: sara is running 505 secs || 24718949 markings, 29598356 edges, 48771 markings/sec, 505 secs
lola: sara is running 510 secs || 24958026 markings, 29888863 edges, 47815 markings/sec, 510 secs
lola: sara is running 515 secs || 25194053 markings, 30176659 edges, 47205 markings/sec, 515 secs
lola: sara is running 520 secs || 25427726 markings, 30467437 edges, 46735 markings/sec, 520 secs
lola: sara is running 525 secs || 25667129 markings, 30754471 edges, 47881 markings/sec, 525 secs
lola: sara is running 530 secs || 25906231 markings, 31037900 edges, 47820 markings/sec, 530 secs
lola: sara is running 535 secs || 26143171 markings, 31324438 edges, 47388 markings/sec, 535 secs
lola: sara is running 540 secs || 26381599 markings, 31608463 edges, 47686 markings/sec, 540 secs
lola: sara is running 545 secs || 26617936 markings, 31894666 edges, 47267 markings/sec, 545 secs
lola: sara is running 550 secs || 26852646 markings, 32180008 edges, 46942 markings/sec, 550 secs
lola: sara is running 555 secs || 27086621 markings, 32467934 edges, 46795 markings/sec, 555 secs
lola: sara is running 560 secs || 27319476 markings, 32759729 edges, 46571 markings/sec, 560 secs
lola: sara is running 565 secs || 27558911 markings, 33044834 edges, 47887 markings/sec, 565 secs
lola: sara is running 570 secs || 27795126 markings, 33330470 edges, 47243 markings/sec, 570 secs
lola: sara is running 575 secs || 28030046 markings, 33616005 edges, 46984 markings/sec, 575 secs
lola: sara is running 580 secs || 28264401 markings, 33901955 edges, 46871 markings/sec, 580 secs
lola: sara is running 585 secs || 28497124 markings, 34191875 edges, 46545 markings/sec, 585 secs
lola: sara is running 590 secs || 28732426 markings, 34478945 edges, 47060 markings/sec, 590 secs
lola: sara is running 595 secs || 28967278 markings, 34765582 edges, 46970 markings/sec, 595 secs
lola: sara is running 600 secs || 29201006 markings, 35054050 edges, 46746 markings/sec, 600 secs
lola: sara is running 605 secs || 29434242 markings, 35345467 edges, 46647 markings/sec, 605 secs
lola: sara is running 610 secs || 29667610 markings, 35631948 edges, 46674 markings/sec, 610 secs
lola: sara is running 615 secs || 29899567 markings, 35922465 edges, 46391 markings/sec, 615 secs
lola: sara is running 620 secs || 30132726 markings, 36211498 edges, 46632 markings/sec, 620 secs
lola: sara is running 625 secs || 30364966 markings, 36503479 edges, 46448 markings/sec, 625 secs
lola: sara is running 630 secs || 30596736 markings, 36795775 edges, 46354 markings/sec, 630 secs
lola: sara is running 635 secs || 30828086 markings, 37091200 edges, 46270 markings/sec, 635 secs
lola: sara is running 640 secs || 31063483 markings, 37389491 edges, 47079 markings/sec, 640 secs
lola: sara is running 645 secs || 31308391 markings, 37676217 edges, 48982 markings/sec, 645 secs
lola: sara is running 650 secs || 31552936 markings, 37961959 edges, 48909 markings/sec, 650 secs
lola: sara is running 655 secs || 31793473 markings, 38248522 edges, 48107 markings/sec, 655 secs
lola: sara is running 660 secs || 32036015 markings, 38538399 edges, 48508 markings/sec, 660 secs
lola: sara is running 665 secs || 32280481 markings, 38827584 edges, 48893 markings/sec, 665 secs
lola: sara is running 670 secs || 32521911 markings, 39119515 edges, 48286 markings/sec, 670 secs
lola: sara is running 675 secs || 32764879 markings, 39408603 edges, 48594 markings/sec, 675 secs
lola: sara is running 680 secs || 33004537 markings, 39698485 edges, 47932 markings/sec, 680 secs
lola: sara is running 685 secs || 33242627 markings, 39987587 edges, 47618 markings/sec, 685 secs
lola: sara is running 690 secs || 33478776 markings, 40276306 edges, 47230 markings/sec, 690 secs
lola: sara is running 695 secs || 33707746 markings, 40561544 edges, 45794 markings/sec, 695 secs
lola: sara is running 700 secs || 33932280 markings, 40830049 edges, 44907 markings/sec, 700 secs
lola: sara is running 705 secs || 34172476 markings, 41114868 edges, 48039 markings/sec, 705 secs
lola: sara is running 710 secs || 34410428 markings, 41402605 edges, 47590 markings/sec, 710 secs
lola: sara is running 715 secs || 34649561 markings, 41687463 edges, 47827 markings/sec, 715 secs
lola: sara is running 720 secs || 34886203 markings, 41974023 edges, 47328 markings/sec, 720 secs
lola: sara is running 725 secs || 35121536 markings, 42260138 edges, 47067 markings/sec, 725 secs
lola: sara is running 730 secs || 35356141 markings, 42548705 edges, 46921 markings/sec, 730 secs
lola: sara is running 735 secs || 35589766 markings, 42842017 edges, 46725 markings/sec, 735 secs
lola: sara is running 740 secs || 35831239 markings, 43128933 edges, 48295 markings/sec, 740 secs
lola: sara is running 745 secs || 36070050 markings, 43417838 edges, 47762 markings/sec, 745 secs
lola: sara is running 750 secs || 36307791 markings, 43706653 edges, 47548 markings/sec, 750 secs
lola: sara is running 755 secs || 36544292 markings, 43995804 edges, 47300 markings/sec, 755 secs
lola: sara is running 760 secs || 36779101 markings, 44288810 edges, 46962 markings/sec, 760 secs
lola: sara is running 765 secs || 37016226 markings, 44577487 edges, 47425 markings/sec, 765 secs
lola: sara is running 770 secs || 37251242 markings, 44864270 edges, 47003 markings/sec, 770 secs
lola: sara is running 775 secs || 37485506 markings, 45153812 edges, 46853 markings/sec, 775 secs
lola: sara is running 780 secs || 37719290 markings, 45444978 edges, 46757 markings/sec, 780 secs
lola: sara is running 785 secs || 37953386 markings, 45732798 edges, 46819 markings/sec, 785 secs
lola: sara is running 790 secs || 38185822 markings, 46025492 edges, 46487 markings/sec, 790 secs
lola: sara is running 795 secs || 38419376 markings, 46313496 edges, 46711 markings/sec, 795 secs
lola: sara is running 800 secs || 38652154 markings, 46606142 edges, 46556 markings/sec, 800 secs
lola: sara is running 805 secs || 38884448 markings, 46899745 edges, 46459 markings/sec, 805 secs
lola: sara is running 810 secs || 39116074 markings, 47196525 edges, 46325 markings/sec, 810 secs
lola: sara is running 815 secs || 39352259 markings, 47493875 edges, 47237 markings/sec, 815 secs
lola: sara is running 820 secs || 39593275 markings, 47778145 edges, 48203 markings/sec, 820 secs
lola: sara is running 825 secs || 39830611 markings, 48063475 edges, 47467 markings/sec, 825 secs
lola: sara is running 830 secs || 40070494 markings, 48350057 edges, 47977 markings/sec, 830 secs
lola: sara is running 835 secs || 40307731 markings, 48637897 edges, 47447 markings/sec, 835 secs
lola: sara is running 840 secs || 40543456 markings, 48922589 edges, 47145 markings/sec, 840 secs
lola: sara is running 845 secs || 40778586 markings, 49209754 edges, 47026 markings/sec, 845 secs
lola: sara is running 850 secs || 41011476 markings, 49498436 edges, 46578 markings/sec, 850 secs
lola: sara is running 855 secs || 41249853 markings, 49789519 edges, 47675 markings/sec, 855 secs
lola: sara is running 860 secs || 41488834 markings, 50077310 edges, 47796 markings/sec, 860 secs
lola: sara is running 865 secs || 41726386 markings, 50363972 edges, 47510 markings/sec, 865 secs
lola: sara is running 870 secs || 41962742 markings, 50653372 edges, 47271 markings/sec, 870 secs
lola: sara is running 875 secs || 42200461 markings, 50946510 edges, 47544 markings/sec, 875 secs
lola: sara is running 880 secs || 42440526 markings, 51243389 edges, 48013 markings/sec, 880 secs
lola: sara is running 885 secs || 42681693 markings, 51536474 edges, 48233 markings/sec, 885 secs
lola: sara is running 890 secs || 42921776 markings, 51831636 edges, 48017 markings/sec, 890 secs
lola: sara is running 895 secs || 43160336 markings, 52131336 edges, 47712 markings/sec, 895 secs
lola: sara is running 900 secs || 43399600 markings, 52423159 edges, 47853 markings/sec, 900 secs
lola: sara is running 905 secs || 43637176 markings, 52719054 edges, 47515 markings/sec, 905 secs
lola: sara is running 910 secs || 43875596 markings, 53015891 edges, 47684 markings/sec, 910 secs
lola: sara is running 915 secs || 44113106 markings, 53314350 edges, 47502 markings/sec, 915 secs
lola: sara is running 920 secs || 44350149 markings, 53614015 edges, 47409 markings/sec, 920 secs
lola: sara is running 925 secs || 44586551 markings, 53914650 edges, 47280 markings/sec, 925 secs
lola: sara is running 930 secs || 44823781 markings, 54219427 edges, 47446 markings/sec, 930 secs
lola: sara is running 935 secs || 45065058 markings, 54507069 edges, 48255 markings/sec, 935 secs
lola: sara is running 940 secs || 45304680 markings, 54796920 edges, 47924 markings/sec, 940 secs
lola: sara is running 945 secs || 45543241 markings, 55087064 edges, 47712 markings/sec, 945 secs
lola: sara is running 950 secs || 45780941 markings, 55379374 edges, 47540 markings/sec, 950 secs
lola: sara is running 955 secs || 46017751 markings, 55676732 edges, 47362 markings/sec, 955 secs
lola: sara is running 960 secs || 46257328 markings, 55965695 edges, 47915 markings/sec, 960 secs
lola: sara is running 965 secs || 46496326 markings, 56257808 edges, 47800 markings/sec, 965 secs
lola: sara is running 970 secs || 46733644 markings, 56552083 edges, 47464 markings/sec, 970 secs
lola: sara is running 975 secs || 46970696 markings, 56845500 edges, 47410 markings/sec, 975 secs
lola: sara is running 980 secs || 47205777 markings, 57136243 edges, 47016 markings/sec, 980 secs
lola: sara is running 985 secs || 47440245 markings, 57429216 edges, 46894 markings/sec, 985 secs
lola: sara is running 990 secs || 47674576 markings, 57721231 edges, 46866 markings/sec, 990 secs
lola: sara is running 995 secs || 47908372 markings, 58015147 edges, 46759 markings/sec, 995 secs
lola: sara is running 1000 secs || 48141667 markings, 58311984 edges, 46659 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48374365 markings, 58610240 edges, 46540 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48610256 markings, 58904040 edges, 47178 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48846823 markings, 59191859 edges, 47313 markings/sec, 1015 secs
lola: sara is running 1020 secs || 49082196 markings, 59481829 edges, 47075 markings/sec, 1020 secs
lola: sara is running 1025 secs || 49316898 markings, 59775655 edges, 46940 markings/sec, 1025 secs
lola: sara is running 1030 secs || 49552421 markings, 60064009 edges, 47105 markings/sec, 1030 secs
lola: sara is running 1035 secs || 49786682 markings, 60357012 edges, 46852 markings/sec, 1035 secs
lola: sara is running 1040 secs || 50021491 markings, 60648990 edges, 46962 markings/sec, 1040 secs
lola: sara is running 1045 secs || 50255361 markings, 60943036 edges, 46774 markings/sec, 1045 secs
lola: sara is running 1050 secs || 50489145 markings, 61237646 edges, 46757 markings/sec, 1050 secs
lola: sara is running 1055 secs || 50722043 markings, 61534891 edges, 46580 markings/sec, 1055 secs
lola: sara is running 1060 secs || 50955381 markings, 61835300 edges, 46668 markings/sec, 1060 secs
lola: sara is running 1065 secs || 51191290 markings, 62124301 edges, 47182 markings/sec, 1065 secs
lola: sara is running 1070 secs || 51425693 markings, 62417723 edges, 46881 markings/sec, 1070 secs
lola: sara is running 1075 secs || 51661311 markings, 62710213 edges, 47124 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 || 240284 markings, 270974 edges, 48057 markings/sec, 0 secs
lola: sara is running 5 secs || 500425 markings, 569999 edges, 52028 markings/sec, 5 secs
lola: sara is running 10 secs || 757790 markings, 870014 edges, 51473 markings/sec, 10 secs
lola: sara is running 15 secs || 1014524 markings, 1168355 edges, 51347 markings/sec, 15 secs
lola: sara is running 20 secs || 1270645 markings, 1468119 edges, 51224 markings/sec, 20 secs
lola: sara is running 25 secs || 1529002 markings, 1773892 edges, 51671 markings/sec, 25 secs
lola: sara is running 30 secs || 1785808 markings, 2081896 edges, 51361 markings/sec, 30 secs
lola: sara is running 35 secs || 2043258 markings, 2389589 edges, 51490 markings/sec, 35 secs
lola: sara is running 40 secs || 2302753 markings, 2690890 edges, 51899 markings/sec, 40 secs
lola: sara is running 45 secs || 2562630 markings, 2995134 edges, 51975 markings/sec, 45 secs
lola: sara is running 50 secs || 2821849 markings, 3301609 edges, 51844 markings/sec, 50 secs
lola: sara is running 55 secs || 3079209 markings, 3610512 edges, 51472 markings/sec, 55 secs
lola: sara is running 60 secs || 3335851 markings, 3919306 edges, 51328 markings/sec, 60 secs
lola: sara is running 65 secs || 3593813 markings, 4222868 edges, 51592 markings/sec, 65 secs
lola: sara is running 70 secs || 3850389 markings, 4528228 edges, 51315 markings/sec, 70 secs
lola: sara is running 75 secs || 4105290 markings, 4839176 edges, 50980 markings/sec, 75 secs
lola: sara is running 80 secs || 4363603 markings, 5145141 edges, 51663 markings/sec, 80 secs
lola: sara is running 85 secs || 4617704 markings, 5452419 edges, 50820 markings/sec, 85 secs
lola: sara is running 90 secs || 4865699 markings, 5752240 edges, 49599 markings/sec, 90 secs
lola: sara is running 95 secs || 5114452 markings, 6056455 edges, 49751 markings/sec, 95 secs
lola: sara is running 100 secs || 5354989 markings, 6351357 edges, 48107 markings/sec, 100 secs
lola: sara is running 105 secs || 5604566 markings, 6659794 edges, 49915 markings/sec, 105 secs
lola: sara is running 110 secs || 5826352 markings, 6940833 edges, 44357 markings/sec, 110 secs
lola: sara is running 115 secs || 6063036 markings, 7215352 edges, 47337 markings/sec, 115 secs
lola: sara is running 120 secs || 6307306 markings, 7502592 edges, 48854 markings/sec, 120 secs
lola: sara is running 125 secs || 6560250 markings, 7799488 edges, 50589 markings/sec, 125 secs
lola: sara is running 130 secs || 6819232 markings, 8105599 edges, 51796 markings/sec, 130 secs
lola: sara is running 135 secs || 7074356 markings, 8414121 edges, 51025 markings/sec, 135 secs
lola: sara is running 140 secs || 7332076 markings, 8719161 edges, 51544 markings/sec, 140 secs
lola: sara is running 145 secs || 7589241 markings, 9023531 edges, 51433 markings/sec, 145 secs
lola: sara is running 150 secs || 7845037 markings, 9330282 edges, 51159 markings/sec, 150 secs
lola: sara is running 155 secs || 8100027 markings, 9638472 edges, 50998 markings/sec, 155 secs
lola: sara is running 160 secs || 8356703 markings, 9944760 edges, 51335 markings/sec, 160 secs
lola: sara is running 165 secs || 8611561 markings, 10255908 edges, 50972 markings/sec, 165 secs
lola: sara is running 170 secs || 8870612 markings, 10567570 edges, 51810 markings/sec, 170 secs
lola: sara is running 175 secs || 9126758 markings, 10880621 edges, 51229 markings/sec, 175 secs
lola: sara is running 180 secs || 9381322 markings, 11194476 edges, 50913 markings/sec, 180 secs
lola: sara is running 185 secs || 9634663 markings, 11511539 edges, 50668 markings/sec, 185 secs
lola: sara is running 190 secs || 9892578 markings, 11824322 edges, 51583 markings/sec, 190 secs
lola: sara is running 195 secs || 10153519 markings, 12132277 edges, 52188 markings/sec, 195 secs
lola: sara is running 200 secs || 10412147 markings, 12441558 edges, 51726 markings/sec, 200 secs
lola: sara is running 205 secs || 10669442 markings, 12754115 edges, 51459 markings/sec, 205 secs
lola: sara is running 210 secs || 10930143 markings, 13064985 edges, 52140 markings/sec, 210 secs
lola: sara is running 215 secs || 11187214 markings, 13379255 edges, 51414 markings/sec, 215 secs
lola: sara is running 220 secs || 11445702 markings, 13688521 edges, 51698 markings/sec, 220 secs
lola: sara is running 225 secs || 11701419 markings, 14001036 edges, 51143 markings/sec, 225 secs
lola: sara is running 230 secs || 11955616 markings, 14314043 edges, 50839 markings/sec, 230 secs
lola: sara is running 235 secs || 12208253 markings, 14629910 edges, 50527 markings/sec, 235 secs
lola: sara is running 240 secs || 12463195 markings, 14943531 edges, 50988 markings/sec, 240 secs
lola: sara is running 245 secs || 12720392 markings, 15251056 edges, 51439 markings/sec, 245 secs
lola: sara is running 250 secs || 12975481 markings, 15561919 edges, 51018 markings/sec, 250 secs
lola: sara is running 255 secs || 13231226 markings, 15871148 edges, 51149 markings/sec, 255 secs
lola: sara is running 260 secs || 13485332 markings, 16181880 edges, 50821 markings/sec, 260 secs
lola: sara is running 265 secs || 13738433 markings, 16494964 edges, 50620 markings/sec, 265 secs
lola: sara is running 270 secs || 13989358 markings, 16808910 edges, 50185 markings/sec, 270 secs
lola: sara is running 275 secs || 14227502 markings, 17101702 edges, 47629 markings/sec, 275 secs
lola: sara is running 280 secs || 14465266 markings, 17393077 edges, 47553 markings/sec, 280 secs
lola: sara is running 285 secs || 14702644 markings, 17682383 edges, 47476 markings/sec, 285 secs
lola: sara is running 290 secs || 14939121 markings, 17974164 edges, 47295 markings/sec, 290 secs
lola: sara is running 295 secs || 15173978 markings, 18269869 edges, 46971 markings/sec, 295 secs
lola: sara is running 300 secs || 15402883 markings, 18552336 edges, 45781 markings/sec, 300 secs
lola: sara is running 305 secs || 15659041 markings, 18869755 edges, 51232 markings/sec, 305 secs
lola: sara is running 310 secs || 15911626 markings, 19185343 edges, 50517 markings/sec, 310 secs
lola: sara is running 315 secs || 16164175 markings, 19502074 edges, 50510 markings/sec, 315 secs
lola: sara is running 320 secs || 16418149 markings, 19819772 edges, 50795 markings/sec, 320 secs
lola: sara is running 325 secs || 16672210 markings, 20140330 edges, 50812 markings/sec, 325 secs
lola: sara is running 330 secs || 16924990 markings, 20461972 edges, 50556 markings/sec, 330 secs
lola: sara is running 335 secs || 17176095 markings, 20782456 edges, 50221 markings/sec, 335 secs
lola: sara is running 340 secs || 17425569 markings, 21106050 edges, 49895 markings/sec, 340 secs
lola: sara is running 345 secs || 17683316 markings, 21423846 edges, 51549 markings/sec, 345 secs
lola: sara is running 350 secs || 17946800 markings, 21731069 edges, 52697 markings/sec, 350 secs
lola: sara is running 355 secs || 18211294 markings, 22040191 edges, 52899 markings/sec, 355 secs
lola: sara is running 360 secs || 18472786 markings, 22350425 edges, 52298 markings/sec, 360 secs
lola: sara is running 365 secs || 18732629 markings, 22662934 edges, 51969 markings/sec, 365 secs
lola: sara is running 370 secs || 18992834 markings, 22972836 edges, 52041 markings/sec, 370 secs
lola: sara is running 375 secs || 19253711 markings, 23280735 edges, 52175 markings/sec, 375 secs
lola: sara is running 380 secs || 19512485 markings, 23590332 edges, 51755 markings/sec, 380 secs
lola: sara is running 385 secs || 19770014 markings, 23903136 edges, 51506 markings/sec, 385 secs
lola: sara is running 390 secs || 20028801 markings, 24211538 edges, 51757 markings/sec, 390 secs
lola: sara is running 395 secs || 20285883 markings, 24525679 edges, 51416 markings/sec, 395 secs
lola: sara is running 400 secs || 20544000 markings, 24834957 edges, 51623 markings/sec, 400 secs
lola: sara is running 405 secs || 20799849 markings, 25147675 edges, 51170 markings/sec, 405 secs
lola: sara is running 410 secs || 21057402 markings, 25464965 edges, 51511 markings/sec, 410 secs
lola: sara is running 415 secs || 21313627 markings, 25785060 edges, 51245 markings/sec, 415 secs
lola: sara is running 420 secs || 21568364 markings, 26095628 edges, 50947 markings/sec, 420 secs
lola: sara is running 425 secs || 21828590 markings, 26402556 edges, 52045 markings/sec, 425 secs
lola: sara is running 430 secs || 22086518 markings, 26710526 edges, 51586 markings/sec, 430 secs
lola: sara is running 435 secs || 22341600 markings, 27020982 edges, 51016 markings/sec, 435 secs
lola: sara is running 440 secs || 22599404 markings, 27327117 edges, 51561 markings/sec, 440 secs
lola: sara is running 445 secs || 22854630 markings, 27637636 edges, 51045 markings/sec, 445 secs
lola: sara is running 450 secs || 23110404 markings, 27945771 edges, 51155 markings/sec, 450 secs
lola: sara is running 455 secs || 23364123 markings, 28255883 edges, 50744 markings/sec, 455 secs
lola: sara is running 460 secs || 23617074 markings, 28566752 edges, 50590 markings/sec, 460 secs
lola: sara is running 465 secs || 23868520 markings, 28879781 edges, 50289 markings/sec, 465 secs
lola: sara is running 470 secs || 24120595 markings, 29192914 edges, 50415 markings/sec, 470 secs
lola: sara is running 475 secs || 24375860 markings, 29497571 edges, 51053 markings/sec, 475 secs
lola: sara is running 480 secs || 24628803 markings, 29806623 edges, 50589 markings/sec, 480 secs
lola: sara is running 485 secs || 24883313 markings, 30112665 edges, 50902 markings/sec, 485 secs
lola: sara is running 490 secs || 25135959 markings, 30421268 edges, 50529 markings/sec, 490 secs
lola: sara is running 495 secs || 25387608 markings, 30731199 edges, 50330 markings/sec, 495 secs
lola: sara is running 500 secs || 25637925 markings, 31043883 edges, 50063 markings/sec, 500 secs
lola: sara is running 505 secs || 25889769 markings, 31356483 edges, 50369 markings/sec, 505 secs
lola: sara is running 510 secs || 26142649 markings, 31665004 edges, 50576 markings/sec, 510 secs
lola: sara is running 515 secs || 26395182 markings, 31973308 edges, 50507 markings/sec, 515 secs
lola: sara is running 520 secs || 26646499 markings, 32283549 edges, 50263 markings/sec, 520 secs
lola: sara is running 525 secs || 26895776 markings, 32598661 edges, 49855 markings/sec, 525 secs
lola: sara is running 530 secs || 27148073 markings, 32908447 edges, 50459 markings/sec, 530 secs
lola: sara is running 535 secs || 27399350 markings, 33218914 edges, 50255 markings/sec, 535 secs
lola: sara is running 540 secs || 27648902 markings, 33533341 edges, 49910 markings/sec, 540 secs
lola: sara is running 545 secs || 27899535 markings, 33846071 edges, 50127 markings/sec, 545 secs
lola: sara is running 550 secs || 28149151 markings, 34159532 edges, 49923 markings/sec, 550 secs
lola: sara is running 555 secs || 28398890 markings, 34474625 edges, 49948 markings/sec, 555 secs
lola: sara is running 560 secs || 28647613 markings, 34790590 edges, 49745 markings/sec, 560 secs
lola: sara is running 565 secs || 28895741 markings, 35108320 edges, 49626 markings/sec, 565 secs
lola: sara is running 570 secs || 29142687 markings, 35429094 edges, 49389 markings/sec, 570 secs
lola: sara is running 575 secs || 29397633 markings, 35741749 edges, 50989 markings/sec, 575 secs
lola: sara is running 580 secs || 29656353 markings, 36047384 edges, 51744 markings/sec, 580 secs
lola: sara is running 585 secs || 29912469 markings, 36353868 edges, 51223 markings/sec, 585 secs
lola: sara is running 590 secs || 30167688 markings, 36663470 edges, 51044 markings/sec, 590 secs
lola: sara is running 595 secs || 30425843 markings, 36971289 edges, 51631 markings/sec, 595 secs
lola: sara is running 600 secs || 30679385 markings, 37281241 edges, 50708 markings/sec, 600 secs
lola: sara is running 605 secs || 30935038 markings, 37587553 edges, 51131 markings/sec, 605 secs
lola: sara is running 610 secs || 31187985 markings, 37896690 edges, 50589 markings/sec, 610 secs
lola: sara is running 615 secs || 31438389 markings, 38205067 edges, 50081 markings/sec, 615 secs
lola: sara is running 620 secs || 31687043 markings, 38515721 edges, 49731 markings/sec, 620 secs
lola: sara is running 625 secs || 31938532 markings, 38826096 edges, 50298 markings/sec, 625 secs
lola: sara is running 630 secs || 32193577 markings, 39130612 edges, 51009 markings/sec, 630 secs
lola: sara is running 635 secs || 32445002 markings, 39437472 edges, 50285 markings/sec, 635 secs
lola: sara is running 640 secs || 32698679 markings, 39743181 edges, 50735 markings/sec, 640 secs
lola: sara is running 645 secs || 32950701 markings, 40051189 edges, 50404 markings/sec, 645 secs
lola: sara is running 650 secs || 33201877 markings, 40361289 edges, 50235 markings/sec, 650 secs
lola: sara is running 655 secs || 33451152 markings, 40673069 edges, 49855 markings/sec, 655 secs
lola: sara is running 660 secs || 33703289 markings, 40984524 edges, 50427 markings/sec, 660 secs
lola: sara is running 665 secs || 33956220 markings, 41293879 edges, 50586 markings/sec, 665 secs
lola: sara is running 670 secs || 34207912 markings, 41601870 edges, 50338 markings/sec, 670 secs
lola: sara is running 675 secs || 34458214 markings, 41910258 edges, 50060 markings/sec, 675 secs
lola: sara is running 680 secs || 34705708 markings, 42224544 edges, 49499 markings/sec, 680 secs
lola: sara is running 685 secs || 34957477 markings, 42532517 edges, 50354 markings/sec, 685 secs
lola: sara is running 690 secs || 35208546 markings, 42842593 edges, 50214 markings/sec, 690 secs
lola: sara is running 695 secs || 35457592 markings, 43157164 edges, 49809 markings/sec, 695 secs
lola: sara is running 700 secs || 35705097 markings, 43464680 edges, 49501 markings/sec, 700 secs
lola: sara is running 705 secs || 35943056 markings, 43764122 edges, 47592 markings/sec, 705 secs
lola: sara is running 710 secs || 36181381 markings, 44064617 edges, 47665 markings/sec, 710 secs
lola: sara is running 715 secs || 36418730 markings, 44366959 edges, 47470 markings/sec, 715 secs
lola: sara is running 720 secs || 36655592 markings, 44669409 edges, 47372 markings/sec, 720 secs
lola: sara is running 725 secs || 36891600 markings, 44975984 edges, 47202 markings/sec, 725 secs
lola: sara is running 730 secs || 37132322 markings, 45279210 edges, 48144 markings/sec, 730 secs
lola: sara is running 735 secs || 37378090 markings, 45572615 edges, 49154 markings/sec, 735 secs
lola: sara is running 740 secs || 37624006 markings, 45873043 edges, 49183 markings/sec, 740 secs
lola: sara is running 745 secs || 37875071 markings, 46175156 edges, 50213 markings/sec, 745 secs
lola: sara is running 750 secs || 38116929 markings, 46470399 edges, 48372 markings/sec, 750 secs
lola: sara is running 755 secs || 38357928 markings, 46767000 edges, 48200 markings/sec, 755 secs
lola: sara is running 760 secs || 38597542 markings, 47066069 edges, 47923 markings/sec, 760 secs
lola: sara is running 765 secs || 38838344 markings, 47366668 edges, 48160 markings/sec, 765 secs
lola: sara is running 770 secs || 39082506 markings, 47662544 edges, 48832 markings/sec, 770 secs
lola: sara is running 775 secs || 39325322 markings, 47959306 edges, 48563 markings/sec, 775 secs
lola: sara is running 780 secs || 39571320 markings, 48264041 edges, 49200 markings/sec, 780 secs
lola: sara is running 785 secs || 39820346 markings, 48575094 edges, 49805 markings/sec, 785 secs
lola: sara is running 790 secs || 40066436 markings, 48880566 edges, 49218 markings/sec, 790 secs
lola: sara is running 795 secs || 40316743 markings, 49189018 edges, 50061 markings/sec, 795 secs
lola: sara is running 800 secs || 40565703 markings, 49500381 edges, 49792 markings/sec, 800 secs
lola: sara is running 805 secs || 40814250 markings, 49812380 edges, 49709 markings/sec, 805 secs
lola: sara is running 810 secs || 41062293 markings, 50122363 edges, 49609 markings/sec, 810 secs
lola: sara is running 815 secs || 41309414 markings, 50435680 edges, 49424 markings/sec, 815 secs
lola: sara is running 820 secs || 41556123 markings, 50748631 edges, 49342 markings/sec, 820 secs
lola: sara is running 825 secs || 41802568 markings, 51062305 edges, 49289 markings/sec, 825 secs
lola: sara is running 830 secs || 42047957 markings, 51378992 edges, 49078 markings/sec, 830 secs
lola: sara is running 835 secs || 42294786 markings, 51696491 edges, 49366 markings/sec, 835 secs
lola: sara is running 840 secs || 42546893 markings, 52001781 edges, 50421 markings/sec, 840 secs
lola: sara is running 845 secs || 42797778 markings, 52308309 edges, 50177 markings/sec, 845 secs
lola: sara is running 850 secs || 43047161 markings, 52617071 edges, 49877 markings/sec, 850 secs
lola: sara is running 855 secs || 43295222 markings, 52927672 edges, 49612 markings/sec, 855 secs
lola: sara is running 860 secs || 43545033 markings, 53236896 edges, 49962 markings/sec, 860 secs
lola: sara is running 865 secs || 43794486 markings, 53545368 edges, 49891 markings/sec, 865 secs
lola: sara is running 870 secs || 44042312 markings, 53855608 edges, 49565 markings/sec, 870 secs
lola: sara is running 875 secs || 44282720 markings, 54156944 edges, 48082 markings/sec, 875 secs
lola: sara is running 880 secs || 44530678 markings, 54466485 edges, 49592 markings/sec, 880 secs
lola: sara is running 885 secs || 44777813 markings, 54779690 edges, 49427 markings/sec, 885 secs
lola: sara is running 890 secs || 45024754 markings, 55093306 edges, 49388 markings/sec, 890 secs
lola: sara is running 895 secs || 45271478 markings, 55407424 edges, 49345 markings/sec, 895 secs
lola: sara is running 900 secs || 45517037 markings, 55724495 edges, 49112 markings/sec, 900 secs
lola: sara is running 905 secs || 45763941 markings, 56042869 edges, 49381 markings/sec, 905 secs
lola: sara is running 910 secs || 46015016 markings, 56350911 edges, 50215 markings/sec, 910 secs
lola: sara is running 915 secs || 46264490 markings, 56661094 edges, 49895 markings/sec, 915 secs
lola: sara is running 920 secs || 46512655 markings, 56975070 edges, 49633 markings/sec, 920 secs
lola: sara is running 925 secs || 46761609 markings, 57283945 edges, 49791 markings/sec, 925 secs
lola: sara is running 930 secs || 47008597 markings, 57597257 edges, 49398 markings/sec, 930 secs
lola: sara is running 935 secs || 47256149 markings, 57908361 edges, 49510 markings/sec, 935 secs
lola: sara is running 940 secs || 47502591 markings, 58222441 edges, 49288 markings/sec, 940 secs
lola: sara is running 945 secs || 47747751 markings, 58537658 edges, 49032 markings/sec, 945 secs
lola: sara is running 950 secs || 47990928 markings, 58859275 edges, 48635 markings/sec, 950 secs
lola: sara is running 955 secs || 48229416 markings, 59153692 edges, 47698 markings/sec, 955 secs
lola: sara is running 960 secs || 48462398 markings, 59447046 edges, 46596 markings/sec, 960 secs
lola: sara is running 965 secs || 48695212 markings, 59740760 edges, 46563 markings/sec, 965 secs
lola: sara is running 970 secs || 48927165 markings, 60036122 edges, 46391 markings/sec, 970 secs
lola: sara is running 975 secs || 49159159 markings, 60332220 edges, 46399 markings/sec, 975 secs
lola: sara is running 980 secs || 49403747 markings, 60649592 edges, 48918 markings/sec, 980 secs
lola: sara is running 985 secs || 49649336 markings, 60967164 edges, 49118 markings/sec, 985 secs
lola: sara is running 990 secs || 49894761 markings, 61278539 edges, 49085 markings/sec, 990 secs
lola: sara is running 995 secs || 50141175 markings, 61592117 edges, 49283 markings/sec, 995 secs
lola: sara is running 1000 secs || 50386826 markings, 61909082 edges, 49130 markings/sec, 1000 secs
lola: sara is running 1005 secs || 50630950 markings, 62228428 edges, 48825 markings/sec, 1005 secs
lola: sara is running 1010 secs || 50876315 markings, 62541905 edges, 49073 markings/sec, 1010 secs
lola: sara is running 1015 secs || 51120384 markings, 62858391 edges, 48814 markings/sec, 1015 secs
lola: sara is running 1020 secs || 51364714 markings, 63177556 edges, 48866 markings/sec, 1020 secs
lola: sara is running 1025 secs || 51610408 markings, 63496530 edges, 49139 markings/sec, 1025 secs
lola: sara is running 1030 secs || 51854798 markings, 63818291 edges, 48878 markings/sec, 1030 secs
lola: sara is running 1035 secs || 52096821 markings, 64137494 edges, 48405 markings/sec, 1035 secs
lola: sara is running 1040 secs || 52337391 markings, 64459489 edges, 48114 markings/sec, 1040 secs
lola: sara is running 1045 secs || 52577410 markings, 64784046 edges, 48004 markings/sec, 1045 secs
lola: sara is running 1050 secs || 52836725 markings, 65091426 edges, 51863 markings/sec, 1050 secs
lola: sara is running 1055 secs || 53097673 markings, 65397530 edges, 52190 markings/sec, 1055 secs
lola: sara is running 1060 secs || 53359631 markings, 65705698 edges, 52392 markings/sec, 1060 secs
lola: sara is running 1065 secs || 53619673 markings, 66013776 edges, 52008 markings/sec, 1065 secs
lola: sara is running 1070 secs || 53876574 markings, 66325956 edges, 51380 markings/sec, 1070 secs
lola: sara is running 1075 secs || 54136737 markings, 66631870 edges, 52033 markings/sec, 1075 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no unknown no yes yes no no yes yes no unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no yes yes no unknown no yes yes no no yes yes no unknown unknown unknown
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara 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-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-full"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-smll-152649737400348"
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 ;