About the Execution of M4M.struct for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15901.300 | 3585879.00 | 3820596.00 | 10181.70 | F?F?FTT???FT?T?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 15 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.6M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DNAwalker-PT-18lozangeBlock, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744200346
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-01
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-02
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-03
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-04
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-05
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-06
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-07
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-08
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-09
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-10
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-11
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-12
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-13
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-14
FORMULA_NAME DNAwalker-PT-18lozangeBlock-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526774810161
BK_STOP 1526778396040
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-18lozangeBlock as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', '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': 1537304, 'Memory': 12933.85, 'Tool': 'lola'}, {'Time': 1537368, 'Memory': 13041.71, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DNAwalker-PT-18lozangeBlock...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLCardinality @ DNAwalker-PT-18lozangeBlock @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-CTLCardinality.task
lola: E (F (E (F ((3 <= B78))))) : A (X (E (G (((2 <= B27) OR (A70 <= A31)))))) : A (F (E (X ((A2 + 1 <= A95))))) : E (F ((3 <= A5))) : E (F ((3 <= B26))) : A (X (E (F ((B14 + 1 <= A91))))) : (((A10 <= 1) AND ((B74 <= A72) OR ((B28 + 1 <= B39) AND (B73 + 1 <= B14)))) OR A (X (E (X ((1 <= A90)))))) : E (G (E (G ((A89 + 1 <= A1))))) : (E (X (A (G ((A54 <= A29))))) AND E ((((A3 <= A65) OR (2 <= A93)) U (A11 <= 1)))) : E (X ((E (F ((3 <= B88))) AND E (X ((3 <= B52)))))) : A (F (A (((2 <= B36) U (2 <= A67))))) : E (((B54 <= 1) U E (G ((1 <= A13))))) : E (X (E (((B69 <= A53) U (3 <= A35))))) : A (X (NOT(E (X ((2 <= B73)))))) : NOT((A (F (((A12 <= A77) AND (A27 <= A51)))) AND E (((B83 <= A9) U (3 <= A95))))) : (A (F (A (G ((B39 <= A83))))) AND (A (((A86 <= A28) U (A76 <= A14))) OR E (X (((2 <= A33) AND (B89 <= B55))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (F ((3 <= B78)))))
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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (E (G (((2 <= B27) OR (A70 <= A31))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(NOT(A(TRUE U ((B27 <= 1) AND (A31 + 1 <= A70)))))
lola: processed formula length: 52
lola: 3 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 777153 markings, 909549 edges, 3689348869717491712 markings/sec, 0 secs
lola: 1519529 markings, 1810878 edges, 148475 markings/sec, 5 secs
lola: 2260290 markings, 2706019 edges, 148152 markings/sec, 10 secs
lola: 2989744 markings, 3602347 edges, 145891 markings/sec, 15 secs
lola: 3717144 markings, 4501993 edges, 145480 markings/sec, 20 secs
lola: 4431751 markings, 5406268 edges, 142921 markings/sec, 25 secs
lola: 5142537 markings, 6303204 edges, 142157 markings/sec, 30 secs
lola: 5867317 markings, 7178272 edges, 144956 markings/sec, 35 secs
lola: 6584647 markings, 8054053 edges, 143466 markings/sec, 40 secs
lola: 7291613 markings, 8934652 edges, 141393 markings/sec, 45 secs
lola: 7991259 markings, 9818363 edges, 139929 markings/sec, 50 secs
lola: 8697332 markings, 10696911 edges, 141215 markings/sec, 55 secs
lola: 9390968 markings, 11555807 edges, 138727 markings/sec, 60 secs
lola: 10114957 markings, 12469353 edges, 144798 markings/sec, 65 secs
lola: 10830315 markings, 13376259 edges, 143072 markings/sec, 70 secs
lola: 11544504 markings, 14277583 edges, 142838 markings/sec, 75 secs
lola: 12254611 markings, 15190451 edges, 142021 markings/sec, 80 secs
lola: 12958837 markings, 16102973 edges, 140845 markings/sec, 85 secs
lola: 13660653 markings, 17017861 edges, 140363 markings/sec, 90 secs
lola: 14353793 markings, 17940652 edges, 138628 markings/sec, 95 secs
lola: 15072304 markings, 18856708 edges, 143702 markings/sec, 100 secs
lola: 15812917 markings, 19758561 edges, 148123 markings/sec, 105 secs
lola: 16547483 markings, 20654453 edges, 146913 markings/sec, 110 secs
lola: 17270306 markings, 21553175 edges, 144565 markings/sec, 115 secs
lola: 17976980 markings, 22457525 edges, 141335 markings/sec, 120 secs
lola: 18703874 markings, 23349909 edges, 145379 markings/sec, 125 secs
lola: 19422022 markings, 24242801 edges, 143630 markings/sec, 130 secs
lola: 20127203 markings, 25142746 edges, 141036 markings/sec, 135 secs
lola: 20835399 markings, 26031705 edges, 141639 markings/sec, 140 secs
lola: 21538996 markings, 26926414 edges, 140719 markings/sec, 145 secs
lola: 22244300 markings, 27830876 edges, 141061 markings/sec, 150 secs
lola: 22937103 markings, 28729584 edges, 138561 markings/sec, 155 secs
lola: 23622714 markings, 29629783 edges, 137122 markings/sec, 160 secs
lola: 24295944 markings, 30529943 edges, 134646 markings/sec, 165 secs
lola: 25009998 markings, 31426618 edges, 142811 markings/sec, 170 secs
lola: 25732573 markings, 32317226 edges, 144515 markings/sec, 175 secs
lola: 26443841 markings, 33208382 edges, 142254 markings/sec, 180 secs
lola: 27151240 markings, 34099216 edges, 141480 markings/sec, 185 secs
lola: 27861423 markings, 34988791 edges, 142037 markings/sec, 190 secs
lola: 28562400 markings, 35881289 edges, 140195 markings/sec, 195 secs
lola: 29258927 markings, 36779783 edges, 139305 markings/sec, 200 secs
lola: 29955686 markings, 37677020 edges, 139352 markings/sec, 205 secs
lola: 30641593 markings, 38574406 edges, 137181 markings/sec, 210 secs
lola: 31319487 markings, 39472020 edges, 135579 markings/sec, 215 secs
lola: 32036254 markings, 40363887 edges, 143353 markings/sec, 220 secs
lola: 32736902 markings, 41257563 edges, 140130 markings/sec, 225 secs
lola: 33445690 markings, 42154355 edges, 141758 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((A2 + 1 <= A95)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U EX((A2 + 1 <= A95)))
lola: processed formula length: 29
lola: 2 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 93 markings, 93 edges
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A5)))
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-CTLCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-18lozangeBlock-CTLCardinality-3.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 44516 markings, 50337 edges, 8903 markings/sec, 0 secs
lola: sara is running 5 secs || 92714 markings, 106636 edges, 9640 markings/sec, 5 secs
lola: sara is running 10 secs || 141084 markings, 163758 edges, 9674 markings/sec, 10 secs
lola: sara is running 15 secs || 189871 markings, 221832 edges, 9757 markings/sec, 15 secs
lola: sara is running 20 secs || 238677 markings, 279439 edges, 9761 markings/sec, 20 secs
lola: sara is running 25 secs || 287411 markings, 338243 edges, 9747 markings/sec, 25 secs
lola: sara is running 30 secs || 336171 markings, 396668 edges, 9752 markings/sec, 30 secs
lola: sara is running 35 secs || 384794 markings, 455660 edges, 9725 markings/sec, 35 secs
lola: sara is running 40 secs || 433420 markings, 515590 edges, 9725 markings/sec, 40 secs
lola: sara is running 45 secs || 481952 markings, 576676 edges, 9706 markings/sec, 45 secs
lola: sara is running 50 secs || 530789 markings, 635185 edges, 9767 markings/sec, 50 secs
lola: sara is running 55 secs || 579608 markings, 692953 edges, 9764 markings/sec, 55 secs
lola: sara is running 60 secs || 628399 markings, 751703 edges, 9758 markings/sec, 60 secs
lola: sara is running 65 secs || 677108 markings, 810787 edges, 9742 markings/sec, 65 secs
lola: sara is running 70 secs || 725857 markings, 869969 edges, 9750 markings/sec, 70 secs
lola: sara is running 75 secs || 774467 markings, 929760 edges, 9722 markings/sec, 75 secs
lola: sara is running 80 secs || 822981 markings, 991602 edges, 9703 markings/sec, 80 secs
lola: sara is running 85 secs || 871846 markings, 1049538 edges, 9773 markings/sec, 85 secs
lola: sara is running 90 secs || 920612 markings, 1108724 edges, 9753 markings/sec, 90 secs
lola: sara is running 95 secs || 969321 markings, 1168395 edges, 9742 markings/sec, 95 secs
lola: sara is running 100 secs || 1017892 markings, 1229135 edges, 9714 markings/sec, 100 secs
lola: sara is running 105 secs || 1066494 markings, 1289626 edges, 9720 markings/sec, 105 secs
lola: sara is running 110 secs || 1115191 markings, 1349267 edges, 9739 markings/sec, 110 secs
lola: sara is running 115 secs || 1163748 markings, 1410008 edges, 9711 markings/sec, 115 secs
lola: sara is running 120 secs || 1212174 markings, 1470839 edges, 9685 markings/sec, 120 secs
lola: sara is running 125 secs || 1260180 markings, 1530882 edges, 9601 markings/sec, 125 secs
lola: sara is running 130 secs || 1308660 markings, 1592425 edges, 9696 markings/sec, 130 secs
lola: sara is running 135 secs || 1357166 markings, 1654267 edges, 9701 markings/sec, 135 secs
lola: sara is running 140 secs || 1404948 markings, 1715711 edges, 9556 markings/sec, 140 secs
lola: sara is running 145 secs || 1452660 markings, 1778317 edges, 9542 markings/sec, 145 secs
lola: sara is running 150 secs || 1500564 markings, 1838443 edges, 9581 markings/sec, 150 secs
lola: sara is running 155 secs || 1548604 markings, 1895065 edges, 9608 markings/sec, 155 secs
lola: sara is running 160 secs || 1596511 markings, 1952999 edges, 9581 markings/sec, 160 secs
lola: sara is running 165 secs || 1644468 markings, 2010306 edges, 9591 markings/sec, 165 secs
lola: sara is running 170 secs || 1692314 markings, 2068307 edges, 9569 markings/sec, 170 secs
lola: sara is running 175 secs || 1740071 markings, 2127341 edges, 9551 markings/sec, 175 secs
lola: sara is running 180 secs || 1787812 markings, 2186938 edges, 9548 markings/sec, 180 secs
lola: sara is running 185 secs || 1835704 markings, 2245510 edges, 9578 markings/sec, 185 secs
lola: sara is running 190 secs || 1883601 markings, 2303681 edges, 9579 markings/sec, 190 secs
lola: sara is running 195 secs || 1931452 markings, 2361834 edges, 9570 markings/sec, 195 secs
lola: sara is running 200 secs || 1979235 markings, 2420834 edges, 9557 markings/sec, 200 secs
lola: sara is running 205 secs || 2026981 markings, 2481603 edges, 9549 markings/sec, 205 secs
lola: sara is running 210 secs || 2074858 markings, 2539784 edges, 9575 markings/sec, 210 secs
lola: sara is running 215 secs || 2122725 markings, 2598646 edges, 9573 markings/sec, 215 secs
lola: sara is running 220 secs || 2170498 markings, 2659797 edges, 9555 markings/sec, 220 secs
lola: sara is running 225 secs || 2218264 markings, 2718372 edges, 9553 markings/sec, 225 secs
lola: sara is running 230 secs || 2265909 markings, 2779337 edges, 9529 markings/sec, 230 secs
lola: sara is running 235 secs || 2313642 markings, 2839079 edges, 9547 markings/sec, 235 secs
lola: sara is running 240 secs || 2361321 markings, 2900164 edges, 9536 markings/sec, 240 secs
lola: sara is running 245 secs || 2408949 markings, 2961995 edges, 9526 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= B26)))
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: 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-CTLCardinality-4.sara
lola: ========================================
lola: subprocess 5 will run for 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((B14 + 1 <= A91)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(E(TRUE U (B14 + 1 <= A91)))
lola: processed formula length: 30
lola: 2 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 7159 markings, 7264 edges
lola: ========================================
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((A10 <= 1) AND ((B74 <= A72) OR ((B28 + 1 <= B39) AND (B73 + 1 <= B14)))) OR A (X (E (X ((1 <= A90))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((A10 <= 1) AND ((B74 <= A72) OR ((B28 + 1 <= B39) AND (B73 + 1 <= B14))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((A10 <= 1) AND ((B74 <= A72) OR ((B28 + 1 <= B39) AND (B73 + 1 <= B14))))
lola: processed formula length: 75
lola: 0 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 338 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (E (X ((1 <= A90)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(EX((1 <= A90)))
lola: processed formula length: 18
lola: 2 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 338 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (E (G ((A89 + 1 <= A1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U A(TRUE U (A1 <= A89))))
lola: processed formula length: 36
lola: 4 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 774108 markings, 980981 edges, 154809 markings/sec, 0 secs
lola: 1526648 markings, 1976143 edges, 150508 markings/sec, 5 secs
lola: 2259107 markings, 2961332 edges, 146492 markings/sec, 10 secs
lola: 2965575 markings, 3950044 edges, 141294 markings/sec, 15 secs
lola: 3658386 markings, 4897737 edges, 138562 markings/sec, 20 secs
lola: 4396325 markings, 5890200 edges, 147588 markings/sec, 25 secs
lola: 5132277 markings, 6922210 edges, 147190 markings/sec, 30 secs
lola: 5871530 markings, 7951269 edges, 147851 markings/sec, 35 secs
lola: 6605801 markings, 8984216 edges, 146854 markings/sec, 40 secs
lola: 7336038 markings, 10019210 edges, 146047 markings/sec, 45 secs
lola: 8051306 markings, 11060457 edges, 143054 markings/sec, 50 secs
lola: 8753709 markings, 12111694 edges, 140481 markings/sec, 55 secs
lola: 9440207 markings, 13170557 edges, 137300 markings/sec, 60 secs
lola: 10201148 markings, 14166096 edges, 152188 markings/sec, 65 secs
lola: 10944517 markings, 15161299 edges, 148674 markings/sec, 70 secs
lola: 11658966 markings, 16172014 edges, 142890 markings/sec, 75 secs
lola: 12403607 markings, 17167562 edges, 148928 markings/sec, 80 secs
lola: 13117353 markings, 18179468 edges, 142749 markings/sec, 85 secs
lola: 13844433 markings, 19182650 edges, 145416 markings/sec, 90 secs
lola: 14548602 markings, 20194559 edges, 140834 markings/sec, 95 secs
lola: 15242260 markings, 21213947 edges, 138732 markings/sec, 100 secs
lola: 15914782 markings, 22239778 edges, 134504 markings/sec, 105 secs
lola: 16656307 markings, 23231536 edges, 148305 markings/sec, 110 secs
lola: 17366274 markings, 24238687 edges, 141993 markings/sec, 115 secs
lola: 18090522 markings, 25237438 edges, 144850 markings/sec, 120 secs
lola: 18793747 markings, 26247174 edges, 140645 markings/sec, 125 secs
lola: 19486097 markings, 27264970 edges, 138470 markings/sec, 130 secs
lola: 20156335 markings, 28290619 edges, 134048 markings/sec, 135 secs
lola: 20881055 markings, 29291417 edges, 144944 markings/sec, 140 secs
lola: 21586099 markings, 30305104 edges, 141009 markings/sec, 145 secs
lola: 22280694 markings, 31324873 edges, 138919 markings/sec, 150 secs
lola: 22953152 markings, 32353119 edges, 134492 markings/sec, 155 secs
lola: 23658113 markings, 33371201 edges, 140992 markings/sec, 160 secs
lola: 24348751 markings, 34392763 edges, 138128 markings/sec, 165 secs
lola: 24997782 markings, 35379367 edges, 129806 markings/sec, 170 secs
lola: 25667533 markings, 36402787 edges, 133950 markings/sec, 175 secs
lola: 26327785 markings, 37427473 edges, 132050 markings/sec, 180 secs
lola: 26979537 markings, 38446830 edges, 130350 markings/sec, 185 secs
lola: 27621589 markings, 39472988 edges, 128410 markings/sec, 190 secs
lola: 28258585 markings, 40502525 edges, 127399 markings/sec, 195 secs
lola: 29001851 markings, 41476659 edges, 148653 markings/sec, 200 secs
lola: 29669592 markings, 42369595 edges, 133548 markings/sec, 205 secs
lola: 30326672 markings, 43292364 edges, 131416 markings/sec, 210 secs
lola: 31003630 markings, 44206324 edges, 135392 markings/sec, 215 secs
lola: 31640163 markings, 45088480 edges, 127307 markings/sec, 220 secs
lola: 32333496 markings, 46057903 edges, 138667 markings/sec, 225 secs
lola: 33020908 markings, 47036107 edges, 137482 markings/sec, 230 secs
lola: 33668807 markings, 47976900 edges, 129580 markings/sec, 235 secs
lola: 34270043 markings, 48870428 edges, 120247 markings/sec, 240 secs
lola: 34888256 markings, 49774629 edges, 123643 markings/sec, 245 secs
lola: 35595496 markings, 50735441 edges, 141448 markings/sec, 250 secs
lola: 36287762 markings, 51710427 edges, 138453 markings/sec, 255 secs
lola: 36983091 markings, 52683231 edges, 139066 markings/sec, 260 secs
lola: 37576012 markings, 53534937 edges, 118584 markings/sec, 265 secs
lola: 38188688 markings, 54436508 edges, 122535 markings/sec, 270 secs
lola: 38826250 markings, 55399104 edges, 127512 markings/sec, 275 secs
lola: 39523359 markings, 56380455 edges, 139422 markings/sec, 280 secs
lola: 40212577 markings, 57367926 edges, 137844 markings/sec, 285 secs
lola: 40884360 markings, 58354072 edges, 134357 markings/sec, 290 secs
lola: 41544258 markings, 59341614 edges, 131980 markings/sec, 295 secs
lola: 42216258 markings, 60327965 edges, 134400 markings/sec, 300 secs
lola: 42887864 markings, 61314496 edges, 134321 markings/sec, 305 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (X (A (G ((A54 <= A29))))) AND E ((((A3 <= A65) OR (2 <= A93)) U (A11 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((A54 <= A29)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(E(TRUE U (A29 + 1 <= A54))))
lola: processed formula length: 35
lola: 3 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 362340 markings, 1364512 edges, 72461 markings/sec, 0 secs
lola: 722664 markings, 2972276 edges, 72065 markings/sec, 5 secs
lola: 1090567 markings, 4506931 edges, 73581 markings/sec, 10 secs
lola: 1423539 markings, 6100652 edges, 66594 markings/sec, 15 secs
lola: 1740903 markings, 7683838 edges, 63473 markings/sec, 20 secs
lola: 2095392 markings, 9140964 edges, 70898 markings/sec, 25 secs
lola: 2431638 markings, 10639020 edges, 67249 markings/sec, 30 secs
lola: 2737197 markings, 12177900 edges, 61112 markings/sec, 35 secs
lola: 3086227 markings, 13722014 edges, 69806 markings/sec, 40 secs
lola: 3412968 markings, 15332783 edges, 65348 markings/sec, 45 secs
lola: 3705874 markings, 16937362 edges, 58581 markings/sec, 50 secs
lola: 4034494 markings, 18602693 edges, 65724 markings/sec, 55 secs
lola: 4375265 markings, 20123661 edges, 68154 markings/sec, 60 secs
lola: 4699858 markings, 21639185 edges, 64919 markings/sec, 65 secs
lola: 5027577 markings, 23150923 edges, 65544 markings/sec, 70 secs
lola: 5339653 markings, 24670303 edges, 62415 markings/sec, 75 secs
lola: 5666784 markings, 26364882 edges, 65426 markings/sec, 80 secs
lola: 5970371 markings, 28003599 edges, 60717 markings/sec, 85 secs
lola: 6298611 markings, 29521816 edges, 65648 markings/sec, 90 secs
lola: 6627434 markings, 31307592 edges, 65765 markings/sec, 95 secs
lola: 6936317 markings, 33021670 edges, 61777 markings/sec, 100 secs
lola: 7256458 markings, 34891431 edges, 64028 markings/sec, 105 secs
lola: 7562315 markings, 36733437 edges, 61171 markings/sec, 110 secs
lola: 7876226 markings, 38645198 edges, 62782 markings/sec, 115 secs
lola: 8189539 markings, 40538871 edges, 62663 markings/sec, 120 secs
lola: 8495234 markings, 42330385 edges, 61139 markings/sec, 125 secs
lola: 8794856 markings, 44112597 edges, 59924 markings/sec, 130 secs
lola: 9142695 markings, 45850676 edges, 69568 markings/sec, 135 secs
lola: 9479721 markings, 47415064 edges, 67405 markings/sec, 140 secs
lola: 9788217 markings, 48993272 edges, 61699 markings/sec, 145 secs
lola: 10113928 markings, 50484992 edges, 65142 markings/sec, 150 secs
lola: 10393489 markings, 51866410 edges, 55912 markings/sec, 155 secs
lola: 10666749 markings, 53328746 edges, 54652 markings/sec, 160 secs
lola: 10980183 markings, 54943490 edges, 62687 markings/sec, 165 secs
lola: 11257792 markings, 56323069 edges, 55522 markings/sec, 170 secs
lola: 11567123 markings, 57980671 edges, 61866 markings/sec, 175 secs
lola: 11869092 markings, 59725413 edges, 60394 markings/sec, 180 secs
lola: 12163634 markings, 61501809 edges, 58908 markings/sec, 185 secs
lola: 12448473 markings, 63235325 edges, 56968 markings/sec, 190 secs
lola: 12738151 markings, 65026931 edges, 57936 markings/sec, 195 secs
lola: 13023328 markings, 66816852 edges, 57035 markings/sec, 200 secs
lola: 13305164 markings, 68472870 edges, 56367 markings/sec, 205 secs
lola: 13608672 markings, 70212368 edges, 60702 markings/sec, 210 secs
lola: 13899573 markings, 71720727 edges, 58180 markings/sec, 215 secs
lola: 14182924 markings, 73184004 edges, 56670 markings/sec, 220 secs
lola: 14475674 markings, 74890678 edges, 58550 markings/sec, 225 secs
lola: 14769878 markings, 76685211 edges, 58841 markings/sec, 230 secs
lola: 15053708 markings, 78478897 edges, 56766 markings/sec, 235 secs
lola: 15334121 markings, 80239371 edges, 56083 markings/sec, 240 secs
lola: 15606419 markings, 81876316 edges, 54460 markings/sec, 245 secs
lola: 15880018 markings, 83704840 edges, 54720 markings/sec, 250 secs
lola: 16175265 markings, 85457932 edges, 59049 markings/sec, 255 secs
lola: 16455073 markings, 87268871 edges, 55962 markings/sec, 260 secs
lola: 16738167 markings, 88922170 edges, 56619 markings/sec, 265 secs
lola: 17018362 markings, 90696151 edges, 56039 markings/sec, 270 secs
lola: 17265753 markings, 92348988 edges, 49478 markings/sec, 275 secs
lola: 17537307 markings, 94046159 edges, 54311 markings/sec, 280 secs
lola: 17812307 markings, 95784714 edges, 55000 markings/sec, 285 secs
lola: 18076973 markings, 97547186 edges, 52933 markings/sec, 290 secs
lola: 18334028 markings, 99173127 edges, 51411 markings/sec, 295 secs
lola: 18592940 markings, 100862120 edges, 51782 markings/sec, 300 secs
lola: 18842448 markings, 102622496 edges, 49902 markings/sec, 305 secs
lola: 19143513 markings, 104092314 edges, 60213 markings/sec, 310 secs
lola: 19427127 markings, 105459013 edges, 56723 markings/sec, 315 secs
lola: 19711080 markings, 106930884 edges, 56791 markings/sec, 320 secs
lola: 19997646 markings, 108382466 edges, 57313 markings/sec, 325 secs
lola: 20283582 markings, 109766099 edges, 57187 markings/sec, 330 secs
lola: 20548078 markings, 111218766 edges, 52899 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((E (F ((3 <= B88))) AND E (X ((3 <= B52))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((E(TRUE U (3 <= B88)) AND EX((3 <= B52))))
lola: processed formula length: 45
lola: 3 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 407777 markings, 1523182 edges, 81549 markings/sec, 0 secs
lola: 769193 markings, 3205395 edges, 72283 markings/sec, 5 secs
lola: 1142128 markings, 4763156 edges, 74587 markings/sec, 10 secs
lola: 1478048 markings, 6389500 edges, 67184 markings/sec, 15 secs
lola: 1799253 markings, 8000858 edges, 64241 markings/sec, 20 secs
lola: 2160693 markings, 9449082 edges, 72288 markings/sec, 25 secs
lola: 2495289 markings, 10959385 edges, 66919 markings/sec, 30 secs
lola: 2811726 markings, 12496993 edges, 63287 markings/sec, 35 secs
lola: 3147882 markings, 14031361 edges, 67231 markings/sec, 40 secs
lola: 3470726 markings, 15662305 edges, 64569 markings/sec, 45 secs
lola: 3757649 markings, 17254263 edges, 57385 markings/sec, 50 secs
lola: 4104940 markings, 18887163 edges, 69458 markings/sec, 55 secs
lola: 4443784 markings, 20438318 edges, 67769 markings/sec, 60 secs
lola: 4765641 markings, 21972290 edges, 64371 markings/sec, 65 secs
lola: 5096419 markings, 23484640 edges, 66156 markings/sec, 70 secs
lola: 5416055 markings, 25059863 edges, 63927 markings/sec, 75 secs
lola: 5734228 markings, 26736824 edges, 63635 markings/sec, 80 secs
lola: 6049259 markings, 28360023 edges, 63006 markings/sec, 85 secs
lola: 6372345 markings, 29926272 edges, 64617 markings/sec, 90 secs
lola: 6701495 markings, 31739635 edges, 65830 markings/sec, 95 secs
lola: 7013096 markings, 33475615 edges, 62320 markings/sec, 100 secs
lola: 7331463 markings, 35354306 edges, 63673 markings/sec, 105 secs
lola: 7639447 markings, 37217074 edges, 61597 markings/sec, 110 secs
lola: 7947599 markings, 39094623 edges, 61630 markings/sec, 115 secs
lola: 8267495 markings, 41026590 edges, 63979 markings/sec, 120 secs
lola: 8568923 markings, 42764999 edges, 60286 markings/sec, 125 secs
lola: 8881555 markings, 44626841 edges, 62526 markings/sec, 130 secs
lola: 9238484 markings, 46284850 edges, 71386 markings/sec, 135 secs
lola: 9564883 markings, 47848347 edges, 65280 markings/sec, 140 secs
lola: 9874173 markings, 49383853 edges, 61858 markings/sec, 145 secs
lola: 10181735 markings, 50854988 edges, 61512 markings/sec, 150 secs
lola: 10489127 markings, 52370893 edges, 61478 markings/sec, 155 secs
lola: 10775546 markings, 53964335 edges, 57284 markings/sec, 160 secs
lola: 11110635 markings, 55579909 edges, 67018 markings/sec, 165 secs
lola: 11404148 markings, 57058736 edges, 58703 markings/sec, 170 secs
lola: 11705938 markings, 58775122 edges, 60358 markings/sec, 175 secs
lola: 12017652 markings, 60622484 edges, 62343 markings/sec, 180 secs
lola: 12313356 markings, 62397258 edges, 59141 markings/sec, 185 secs
lola: 12612807 markings, 64282369 edges, 59890 markings/sec, 190 secs
lola: 12911226 markings, 66114080 edges, 59684 markings/sec, 195 secs
lola: 13211170 markings, 67951066 edges, 59989 markings/sec, 200 secs
lola: 13500028 markings, 69713676 edges, 57772 markings/sec, 205 secs
lola: 13820576 markings, 71302673 edges, 64110 markings/sec, 210 secs
lola: 14117687 markings, 72836699 edges, 59422 markings/sec, 215 secs
lola: 14424283 markings, 74621886 edges, 61319 markings/sec, 220 secs
lola: 14723091 markings, 76449136 edges, 59762 markings/sec, 225 secs
lola: 15015133 markings, 78245467 edges, 58408 markings/sec, 230 secs
lola: 15305656 markings, 80064464 edges, 58105 markings/sec, 235 secs
lola: 15587260 markings, 81779758 edges, 56321 markings/sec, 240 secs
lola: 15868312 markings, 83641980 edges, 56210 markings/sec, 245 secs
lola: 16162122 markings, 85394858 edges, 58762 markings/sec, 250 secs
lola: 16443828 markings, 87217550 edges, 56341 markings/sec, 255 secs
lola: 16727439 markings, 88875770 edges, 56722 markings/sec, 260 secs
lola: 17008218 markings, 90641354 edges, 56156 markings/sec, 265 secs
lola: 17280292 markings, 92461022 edges, 54415 markings/sec, 270 secs
lola: 17559214 markings, 94187910 edges, 55784 markings/sec, 275 secs
lola: 17842991 markings, 95989031 edges, 56755 markings/sec, 280 secs
lola: 18110204 markings, 97775690 edges, 53443 markings/sec, 285 secs
lola: 18375284 markings, 99444550 edges, 53016 markings/sec, 290 secs
lola: 18642990 markings, 101240719 edges, 53541 markings/sec, 295 secs
lola: 18896893 markings, 103011253 edges, 50781 markings/sec, 300 secs
lola: 19212790 markings, 104473715 edges, 63179 markings/sec, 305 secs
lola: 19522785 markings, 105901817 edges, 61999 markings/sec, 310 secs
lola: 19796288 markings, 107425030 edges, 54701 markings/sec, 315 secs
lola: 20093309 markings, 108816017 edges, 59404 markings/sec, 320 secs
lola: 20374271 markings, 110297823 edges, 56192 markings/sec, 325 secs
lola: 20642674 markings, 111757257 edges, 53681 markings/sec, 330 secs
lola: 20903083 markings, 113215903 edges, 52082 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (((2 <= B36) U (2 <= A67)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U A((2 <= B36) U (2 <= A67)))
lola: processed formula length: 36
lola: 2 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 70 markings, 140 edges
lola: ========================================
lola: subprocess 11 will run for 410 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((B54 <= 1) U E (G ((1 <= A13)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((B54 <= 1) U NOT(A(TRUE U (A13 <= 0))))
lola: processed formula length: 41
lola: 3 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 70 markings, 137 edges
lola: ========================================
lola: subprocess 12 will run for 512 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (E (((B69 <= A53) U (3 <= A35)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(E((B69 <= A53) U (3 <= A35)))
lola: processed formula length: 32
lola: 2 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 422887 markings, 1577387 edges, 84533 markings/sec, 0 secs
lola: 777369 markings, 3241877 edges, 70896 markings/sec, 5 secs
lola: 1145878 markings, 4780613 edges, 73702 markings/sec, 10 secs
lola: 1474469 markings, 6370444 edges, 65718 markings/sec, 15 secs
lola: 1791736 markings, 7960551 edges, 63453 markings/sec, 20 secs
lola: 2151252 markings, 9406558 edges, 71903 markings/sec, 25 secs
lola: 2484453 markings, 10907041 edges, 66640 markings/sec, 30 secs
lola: 2795667 markings, 12433239 edges, 62243 markings/sec, 35 secs
lola: 3132008 markings, 13954293 edges, 67268 markings/sec, 40 secs
lola: 3453361 markings, 15565386 edges, 64271 markings/sec, 45 secs
lola: 3735153 markings, 17120273 edges, 56358 markings/sec, 50 secs
lola: 4069534 markings, 18737325 edges, 66876 markings/sec, 55 secs
lola: 4402497 markings, 20267753 edges, 66593 markings/sec, 60 secs
lola: 4725161 markings, 21771524 edges, 64533 markings/sec, 65 secs
lola: 5049217 markings, 23260177 edges, 64811 markings/sec, 70 secs
lola: 5355093 markings, 24759518 edges, 61175 markings/sec, 75 secs
lola: 5676238 markings, 26427547 edges, 64229 markings/sec, 80 secs
lola: 5975428 markings, 28040331 edges, 59838 markings/sec, 85 secs
lola: 6298881 markings, 29534984 edges, 64691 markings/sec, 90 secs
lola: 6622868 markings, 31295681 edges, 64797 markings/sec, 95 secs
lola: 6926262 markings, 32976023 edges, 60679 markings/sec, 100 secs
lola: 7243185 markings, 34825102 edges, 63385 markings/sec, 105 secs
lola: 7544359 markings, 36632737 edges, 60235 markings/sec, 110 secs
lola: 7855306 markings, 38535079 edges, 62189 markings/sec, 115 secs
lola: 8164118 markings, 40402008 edges, 61762 markings/sec, 120 secs
lola: 8445308 markings, 42061876 edges, 56238 markings/sec, 125 secs
lola: 8738372 markings, 43800746 edges, 58613 markings/sec, 130 secs
lola: 9076428 markings, 45561120 edges, 67611 markings/sec, 135 secs
lola: 9426529 markings, 47180396 edges, 70020 markings/sec, 140 secs
lola: 9747421 markings, 48787835 edges, 64178 markings/sec, 145 secs
lola: 10079714 markings, 50322365 edges, 66459 markings/sec, 150 secs
lola: 10391255 markings, 51867272 edges, 62308 markings/sec, 155 secs
lola: 10692351 markings, 53488847 edges, 60219 markings/sec, 160 secs
lola: 11031789 markings, 55216151 edges, 67888 markings/sec, 165 secs
lola: 11342621 markings, 56742506 edges, 62166 markings/sec, 170 secs
lola: 11655951 markings, 58475633 edges, 62666 markings/sec, 175 secs
lola: 11976251 markings, 60354493 edges, 64060 markings/sec, 180 secs
lola: 12281804 markings, 62203193 edges, 61111 markings/sec, 185 secs
lola: 12587933 markings, 64129659 edges, 61226 markings/sec, 190 secs
lola: 12893247 markings, 66003517 edges, 61063 markings/sec, 195 secs
lola: 13197130 markings, 67870590 edges, 60777 markings/sec, 200 secs
lola: 13487673 markings, 69638692 edges, 58109 markings/sec, 205 secs
lola: 13809458 markings, 71238895 edges, 64357 markings/sec, 210 secs
lola: 14103981 markings, 72767504 edges, 58905 markings/sec, 215 secs
lola: 14405179 markings, 74518746 edges, 60240 markings/sec, 220 secs
lola: 14705719 markings, 76354389 edges, 60108 markings/sec, 225 secs
lola: 14996822 markings, 78128430 edges, 58221 markings/sec, 230 secs
lola: 15287454 markings, 79940770 edges, 58126 markings/sec, 235 secs
lola: 15569281 markings, 81668741 edges, 56365 markings/sec, 240 secs
lola: 15852085 markings, 83522946 edges, 56561 markings/sec, 245 secs
lola: 16144762 markings, 85291768 edges, 58535 markings/sec, 250 secs
lola: 16434751 markings, 87156912 edges, 57998 markings/sec, 255 secs
lola: 16721541 markings, 88841920 edges, 57358 markings/sec, 260 secs
lola: 17005601 markings, 90622894 edges, 56812 markings/sec, 265 secs
lola: 17283852 markings, 92486658 edges, 55650 markings/sec, 270 secs
lola: 17566971 markings, 94237388 edges, 56624 markings/sec, 275 secs
lola: 17856165 markings, 96074809 edges, 57839 markings/sec, 280 secs
lola: 18127851 markings, 97893273 edges, 54337 markings/sec, 285 secs
lola: 18391379 markings, 99548295 edges, 52706 markings/sec, 290 secs
lola: 18661759 markings, 101382081 edges, 54076 markings/sec, 295 secs
lola: 18920353 markings, 103174378 edges, 51719 markings/sec, 300 secs
lola: 19246387 markings, 104649173 edges, 65207 markings/sec, 305 secs
lola: 19558706 markings, 106100845 edges, 62464 markings/sec, 310 secs
lola: 19839757 markings, 107653751 edges, 56210 markings/sec, 315 secs
lola: 20152744 markings, 109066484 edges, 62597 markings/sec, 320 secs
lola: 20430992 markings, 110602131 edges, 55650 markings/sec, 325 secs
lola: 20704511 markings, 112104532 edges, 54704 markings/sec, 330 secs
lola: 20971154 markings, 113591791 edges, 53329 markings/sec, 335 secs
lola: 21275141 markings, 115017837 edges, 60797 markings/sec, 340 secs
lola: 21574924 markings, 116497358 edges, 59957 markings/sec, 345 secs
lola: 21863395 markings, 117962443 edges, 57694 markings/sec, 350 secs
lola: 22133538 markings, 119472703 edges, 54029 markings/sec, 355 secs
lola: 22437100 markings, 120917525 edges, 60712 markings/sec, 360 secs
lola: 22699699 markings, 122400176 edges, 52520 markings/sec, 365 secs
lola: 22950925 markings, 123842637 edges, 50245 markings/sec, 370 secs
lola: 23194563 markings, 125280938 edges, 48728 markings/sec, 375 secs
lola: 23458451 markings, 126799070 edges, 52778 markings/sec, 380 secs
lola: 23757093 markings, 128144778 edges, 59728 markings/sec, 385 secs
lola: 24030077 markings, 129603157 edges, 54597 markings/sec, 390 secs
lola: 24304707 markings, 131067703 edges, 54926 markings/sec, 395 secs
lola: 24573415 markings, 132519320 edges, 53742 markings/sec, 400 secs
lola: 24883345 markings, 133977129 edges, 61986 markings/sec, 405 secs
lola: 25169532 markings, 135472209 edges, 57237 markings/sec, 410 secs
lola: 25433884 markings, 136954527 edges, 52870 markings/sec, 415 secs
lola: 25682382 markings, 138424257 edges, 49700 markings/sec, 420 secs
lola: 25956479 markings, 139889344 edges, 54819 markings/sec, 425 secs
lola: 26223402 markings, 141293826 edges, 53385 markings/sec, 430 secs
lola: 26517165 markings, 142826971 edges, 58753 markings/sec, 435 secs
lola: 26790901 markings, 144372461 edges, 54747 markings/sec, 440 secs
lola: 27082274 markings, 146020185 edges, 58275 markings/sec, 445 secs
lola: 27364403 markings, 147664022 edges, 56426 markings/sec, 450 secs
lola: 27641449 markings, 149319359 edges, 55409 markings/sec, 455 secs
lola: 27919598 markings, 151013408 edges, 55630 markings/sec, 460 secs
lola: 28207733 markings, 152741813 edges, 57627 markings/sec, 465 secs
lola: 28461895 markings, 154339945 edges, 50832 markings/sec, 470 secs
lola: 28716121 markings, 155937463 edges, 50845 markings/sec, 475 secs
lola: 29033320 markings, 157538529 edges, 63440 markings/sec, 480 secs
lola: 29310287 markings, 158958068 edges, 55393 markings/sec, 485 secs
lola: 29591131 markings, 160367550 edges, 56169 markings/sec, 490 secs
lola: 29847157 markings, 161808895 edges, 51205 markings/sec, 495 secs
lola: 30132749 markings, 163177422 edges, 57118 markings/sec, 500 secs
lola: 30401010 markings, 164577118 edges, 53652 markings/sec, 505 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 513 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (NOT(E (X ((2 <= B73))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(AX((B73 <= 1)))
lola: processed formula length: 18
lola: 5 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 769 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (F (((A12 <= A77) AND (A27 <= A51)))) AND E (((B83 <= A9) U (3 <= A95)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 769 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((A77 + 1 <= A12) OR (A51 + 1 <= A27))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((A12 <= A77) AND (A27 <= A51))))
lola: processed formula length: 46
lola: 10 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
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: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1539 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((A9 + 1 <= B83) R (A95 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((A9 + 1 <= B83) R (A95 <= 2)))
lola: processed formula: A (((A9 + 1 <= B83) R (A95 <= 2)))
lola: processed formula length: 34
lola: 8 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 660 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 8522 markings, 20501 edges, 1704 markings/sec, 0 secs
lola: 15568 markings, 42705 edges, 1409 markings/sec, 5 secs
lola: 22730 markings, 63904 edges, 1432 markings/sec, 10 secs
lola: 29275 markings, 87096 edges, 1309 markings/sec, 15 secs
lola: 35992 markings, 111040 edges, 1343 markings/sec, 20 secs
lola: 42598 markings, 135977 edges, 1321 markings/sec, 25 secs
lola: 49808 markings, 156513 edges, 1442 markings/sec, 30 secs
lola: 56486 markings, 180112 edges, 1336 markings/sec, 35 secs
lola: 63208 markings, 203213 edges, 1344 markings/sec, 40 secs
lola: 69933 markings, 221263 edges, 1345 markings/sec, 45 secs
lola: 76379 markings, 239648 edges, 1289 markings/sec, 50 secs
lola: 82765 markings, 261031 edges, 1277 markings/sec, 55 secs
lola: 88901 markings, 281831 edges, 1227 markings/sec, 60 secs
lola: 95201 markings, 301617 edges, 1260 markings/sec, 65 secs
lola: 101459 markings, 324230 edges, 1252 markings/sec, 70 secs
lola: 107489 markings, 351158 edges, 1206 markings/sec, 75 secs
lola: 113628 markings, 378682 edges, 1228 markings/sec, 80 secs
lola: 119673 markings, 405986 edges, 1209 markings/sec, 85 secs
lola: 125988 markings, 431232 edges, 1263 markings/sec, 90 secs
lola: 132086 markings, 456983 edges, 1220 markings/sec, 95 secs
lola: 138169 markings, 482132 edges, 1217 markings/sec, 100 secs
lola: 144329 markings, 507637 edges, 1232 markings/sec, 105 secs
lola: 150497 markings, 530870 edges, 1234 markings/sec, 110 secs
lola: 156716 markings, 556636 edges, 1244 markings/sec, 115 secs
lola: 162964 markings, 582348 edges, 1250 markings/sec, 120 secs
lola: 170376 markings, 604099 edges, 1482 markings/sec, 125 secs
lola: 177172 markings, 624099 edges, 1359 markings/sec, 130 secs
lola: 183643 markings, 645822 edges, 1294 markings/sec, 135 secs
lola: 189894 markings, 669228 edges, 1250 markings/sec, 140 secs
lola: 196320 markings, 693219 edges, 1285 markings/sec, 145 secs
lola: 202699 markings, 718841 edges, 1276 markings/sec, 150 secs
lola: 209115 markings, 743790 edges, 1283 markings/sec, 155 secs
lola: 215529 markings, 770074 edges, 1283 markings/sec, 160 secs
lola: 222072 markings, 792665 edges, 1309 markings/sec, 165 secs
lola: 228464 markings, 817350 edges, 1278 markings/sec, 170 secs
lola: 234698 markings, 844739 edges, 1247 markings/sec, 175 secs
lola: 241581 markings, 869220 edges, 1377 markings/sec, 180 secs
lola: 248181 markings, 891513 edges, 1320 markings/sec, 185 secs
lola: 254396 markings, 913521 edges, 1243 markings/sec, 190 secs
lola: 260653 markings, 937797 edges, 1251 markings/sec, 195 secs
lola: 266945 markings, 963580 edges, 1258 markings/sec, 200 secs
lola: 272944 markings, 987991 edges, 1200 markings/sec, 205 secs
lola: 279073 markings, 1011926 edges, 1226 markings/sec, 210 secs
lola: 285145 markings, 1037908 edges, 1214 markings/sec, 215 secs
lola: 291209 markings, 1063748 edges, 1213 markings/sec, 220 secs
lola: 297472 markings, 1092561 edges, 1253 markings/sec, 225 secs
lola: 303437 markings, 1120617 edges, 1193 markings/sec, 230 secs
lola: 309499 markings, 1147702 edges, 1212 markings/sec, 235 secs
lola: 315680 markings, 1175164 edges, 1236 markings/sec, 240 secs
lola: 321869 markings, 1203997 edges, 1238 markings/sec, 245 secs
lola: 328032 markings, 1231632 edges, 1233 markings/sec, 250 secs
lola: 334063 markings, 1258348 edges, 1206 markings/sec, 255 secs
lola: 340252 markings, 1285564 edges, 1238 markings/sec, 260 secs
lola: 346389 markings, 1314078 edges, 1227 markings/sec, 265 secs
lola: 352601 markings, 1341683 edges, 1242 markings/sec, 270 secs
lola: 358767 markings, 1368654 edges, 1233 markings/sec, 275 secs
lola: 364938 markings, 1398217 edges, 1234 markings/sec, 280 secs
lola: 370984 markings, 1426072 edges, 1209 markings/sec, 285 secs
lola: 377032 markings, 1454801 edges, 1210 markings/sec, 290 secs
lola: 383107 markings, 1483905 edges, 1215 markings/sec, 295 secs
lola: 389388 markings, 1512928 edges, 1256 markings/sec, 300 secs
lola: 395691 markings, 1542822 edges, 1261 markings/sec, 305 secs
lola: 401858 markings, 1573983 edges, 1233 markings/sec, 310 secs
lola: 408031 markings, 1604725 edges, 1235 markings/sec, 315 secs
lola: 414664 markings, 1624460 edges, 1327 markings/sec, 320 secs
lola: 420874 markings, 1646798 edges, 1242 markings/sec, 325 secs
lola: 426990 markings, 1673427 edges, 1223 markings/sec, 330 secs
lola: 433371 markings, 1697994 edges, 1276 markings/sec, 335 secs
lola: 439652 markings, 1724201 edges, 1256 markings/sec, 340 secs
lola: 445905 markings, 1752565 edges, 1251 markings/sec, 345 secs
lola: 452060 markings, 1783327 edges, 1231 markings/sec, 350 secs
lola: 458343 markings, 1815385 edges, 1257 markings/sec, 355 secs
lola: 464602 markings, 1838406 edges, 1252 markings/sec, 360 secs
lola: 470700 markings, 1866877 edges, 1220 markings/sec, 365 secs
lola: 476725 markings, 1895611 edges, 1205 markings/sec, 370 secs
lola: 482711 markings, 1927141 edges, 1197 markings/sec, 375 secs
lola: 488903 markings, 1953692 edges, 1238 markings/sec, 380 secs
lola: 494985 markings, 1982176 edges, 1216 markings/sec, 385 secs
lola: 501115 markings, 2012265 edges, 1226 markings/sec, 390 secs
lola: 507105 markings, 2044770 edges, 1198 markings/sec, 395 secs
lola: 513713 markings, 2066889 edges, 1322 markings/sec, 400 secs
lola: 520101 markings, 2092453 edges, 1278 markings/sec, 405 secs
lola: 526241 markings, 2117244 edges, 1228 markings/sec, 410 secs
lola: 532264 markings, 2146427 edges, 1205 markings/sec, 415 secs
lola: 538641 markings, 2172708 edges, 1275 markings/sec, 420 secs
lola: 544766 markings, 2200528 edges, 1225 markings/sec, 425 secs
lola: 550975 markings, 2229758 edges, 1242 markings/sec, 430 secs
lola: 557004 markings, 2260027 edges, 1206 markings/sec, 435 secs
lola: 563233 markings, 2289546 edges, 1246 markings/sec, 440 secs
lola: 569524 markings, 2314131 edges, 1258 markings/sec, 445 secs
lola: 575668 markings, 2341588 edges, 1229 markings/sec, 450 secs
lola: 581871 markings, 2369371 edges, 1241 markings/sec, 455 secs
lola: 587928 markings, 2401165 edges, 1211 markings/sec, 460 secs
lola: 594189 markings, 2430701 edges, 1252 markings/sec, 465 secs
lola: 600361 markings, 2460592 edges, 1234 markings/sec, 470 secs
lola: 606730 markings, 2489362 edges, 1274 markings/sec, 475 secs
lola: 612924 markings, 2512646 edges, 1239 markings/sec, 480 secs
lola: 619275 markings, 2536577 edges, 1270 markings/sec, 485 secs
lola: 626153 markings, 2561977 edges, 1376 markings/sec, 490 secs
lola: 632562 markings, 2585785 edges, 1282 markings/sec, 495 secs
lola: 638909 markings, 2611911 edges, 1269 markings/sec, 500 secs
lola: 645066 markings, 2638634 edges, 1231 markings/sec, 505 secs
lola: 651800 markings, 2665134 edges, 1347 markings/sec, 510 secs
lola: 658418 markings, 2691571 edges, 1324 markings/sec, 515 secs
lola: 664692 markings, 2718610 edges, 1255 markings/sec, 520 secs
lola: 670695 markings, 2742549 edges, 1201 markings/sec, 525 secs
lola: 676869 markings, 2769824 edges, 1235 markings/sec, 530 secs
lola: 682950 markings, 2800232 edges, 1216 markings/sec, 535 secs
lola: 688883 markings, 2828408 edges, 1187 markings/sec, 540 secs
lola: 695047 markings, 2860076 edges, 1233 markings/sec, 545 secs
lola: 700851 markings, 2889463 edges, 1161 markings/sec, 550 secs
lola: 706811 markings, 2917275 edges, 1192 markings/sec, 555 secs
lola: 712780 markings, 2946810 edges, 1194 markings/sec, 560 secs
lola: 719086 markings, 2971680 edges, 1261 markings/sec, 565 secs
lola: 725192 markings, 3000490 edges, 1221 markings/sec, 570 secs
lola: 731359 markings, 3028402 edges, 1233 markings/sec, 575 secs
lola: 737685 markings, 3056554 edges, 1265 markings/sec, 580 secs
lola: 744082 markings, 3084131 edges, 1279 markings/sec, 585 secs
lola: 750203 markings, 3111587 edges, 1224 markings/sec, 590 secs
lola: 756325 markings, 3142338 edges, 1224 markings/sec, 595 secs
lola: 762408 markings, 3173660 edges, 1217 markings/sec, 600 secs
lola: 768512 markings, 3204008 edges, 1221 markings/sec, 605 secs
lola: 774691 markings, 3236441 edges, 1236 markings/sec, 610 secs
lola: 780781 markings, 3269677 edges, 1218 markings/sec, 615 secs
lola: 786977 markings, 3298177 edges, 1239 markings/sec, 620 secs
lola: 792924 markings, 3328158 edges, 1189 markings/sec, 625 secs
lola: 798996 markings, 3358029 edges, 1214 markings/sec, 630 secs
lola: 805017 markings, 3389660 edges, 1204 markings/sec, 635 secs
lola: 810942 markings, 3421265 edges, 1185 markings/sec, 640 secs
lola: 817255 markings, 3450139 edges, 1263 markings/sec, 645 secs
lola: 823422 markings, 3480626 edges, 1233 markings/sec, 650 secs
lola: 829358 markings, 3512781 edges, 1187 markings/sec, 655 secs
lola: 835427 markings, 3547030 edges, 1214 markings/sec, 660 secs
lola: 841362 markings, 3579604 edges, 1187 markings/sec, 665 secs
lola: 847449 markings, 3610315 edges, 1217 markings/sec, 670 secs
lola: 853859 markings, 3643061 edges, 1282 markings/sec, 675 secs
lola: 861235 markings, 3663152 edges, 1475 markings/sec, 680 secs
lola: 867571 markings, 3682628 edges, 1267 markings/sec, 685 secs
lola: 874100 markings, 3704951 edges, 1306 markings/sec, 690 secs
lola: 880883 markings, 3726066 edges, 1357 markings/sec, 695 secs
lola: 887321 markings, 3745835 edges, 1288 markings/sec, 700 secs
lola: 893784 markings, 3767757 edges, 1293 markings/sec, 705 secs
lola: 900358 markings, 3792111 edges, 1315 markings/sec, 710 secs
lola: 906387 markings, 3814757 edges, 1206 markings/sec, 715 secs
lola: 912448 markings, 3837806 edges, 1212 markings/sec, 720 secs
lola: 918494 markings, 3860516 edges, 1209 markings/sec, 725 secs
lola: 924641 markings, 3881498 edges, 1229 markings/sec, 730 secs
lola: 930699 markings, 3904257 edges, 1212 markings/sec, 735 secs
lola: 936742 markings, 3929881 edges, 1209 markings/sec, 740 secs
lola: 942771 markings, 3956542 edges, 1206 markings/sec, 745 secs
lola: 948863 markings, 3981423 edges, 1218 markings/sec, 750 secs
lola: 954874 markings, 4008863 edges, 1202 markings/sec, 755 secs
lola: 961038 markings, 4032461 edges, 1233 markings/sec, 760 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 770 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (A (G ((B39 <= A83))))) AND (A (((A86 <= A28) U (A76 <= A14))) OR E (X (((2 <= A33) AND (B89 <= B55))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 770 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((B39 <= A83)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (A (G ((B39 <= A83)))))
lola: processed formula: A (F (A (G ((B39 <= A83)))))
lola: processed formula length: 28
lola: 0 rewrites
lola: formula mentions 0 of 164 places; total mentions: 0
lola: closed formula file DNAwalker-PT-18lozangeBlock-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 660 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 9792 markings, 21846 edges, 1958 markings/sec, 0 secs
lola: 18520 markings, 47612 edges, 1746 markings/sec, 5 secs
lola: 26514 markings, 76663 edges, 1599 markings/sec, 10 secs
lola: 34645 markings, 104222 edges, 1626 markings/sec, 15 secs
lola: 43137 markings, 133117 edges, 1698 markings/sec, 20 secs
lola: 51904 markings, 163358 edges, 1753 markings/sec, 25 secs
lola: 60622 markings, 192011 edges, 1744 markings/sec, 30 secs
lola: 68967 markings, 221022 edges, 1669 markings/sec, 35 secs
lola: 76129 markings, 239858 edges, 1432 markings/sec, 40 secs
lola: 83732 markings, 255420 edges, 1521 markings/sec, 45 secs
lola: 91344 markings, 271382 edges, 1522 markings/sec, 50 secs
lola: 99085 markings, 289189 edges, 1548 markings/sec, 55 secs
lola: 105735 markings, 309273 edges, 1330 markings/sec, 60 secs
lola: 112658 markings, 325810 edges, 1385 markings/sec, 65 secs
lola: 118940 markings, 344988 edges, 1256 markings/sec, 70 secs
lola: 126439 markings, 372595 edges, 1500 markings/sec, 75 secs
lola: 133403 markings, 398132 edges, 1393 markings/sec, 80 secs
lola: 140629 markings, 415385 edges, 1445 markings/sec, 85 secs
lola: 147854 markings, 431972 edges, 1445 markings/sec, 90 secs
lola: 154274 markings, 453175 edges, 1284 markings/sec, 95 secs
lola: 161279 markings, 469358 edges, 1401 markings/sec, 100 secs
lola: 167207 markings, 491991 edges, 1186 markings/sec, 105 secs
lola: 174169 markings, 514512 edges, 1392 markings/sec, 110 secs
lola: 181977 markings, 537480 edges, 1562 markings/sec, 115 secs
lola: 189369 markings, 567894 edges, 1478 markings/sec, 120 secs
lola: 196470 markings, 594310 edges, 1420 markings/sec, 125 secs
lola: 204280 markings, 626283 edges, 1562 markings/sec, 130 secs
lola: 212510 markings, 654147 edges, 1646 markings/sec, 135 secs
lola: 220421 markings, 685530 edges, 1582 markings/sec, 140 secs
lola: 228420 markings, 718051 edges, 1600 markings/sec, 145 secs
lola: 236596 markings, 745548 edges, 1635 markings/sec, 150 secs
lola: 244424 markings, 777615 edges, 1566 markings/sec, 155 secs
lola: 252493 markings, 808176 edges, 1614 markings/sec, 160 secs
lola: 260532 markings, 836776 edges, 1608 markings/sec, 165 secs
lola: 268464 markings, 869688 edges, 1586 markings/sec, 170 secs
lola: 275911 markings, 897173 edges, 1489 markings/sec, 175 secs
lola: 282177 markings, 920196 edges, 1253 markings/sec, 180 secs
lola: 288083 markings, 942146 edges, 1181 markings/sec, 185 secs
lola: 293848 markings, 965332 edges, 1153 markings/sec, 190 secs
lola: 299768 markings, 990761 edges, 1184 markings/sec, 195 secs
lola: 306226 markings, 1013231 edges, 1292 markings/sec, 200 secs
lola: 312674 markings, 1034241 edges, 1290 markings/sec, 205 secs
lola: 318873 markings, 1056717 edges, 1240 markings/sec, 210 secs
lola: 325012 markings, 1079162 edges, 1228 markings/sec, 215 secs
lola: 331177 markings, 1104068 edges, 1233 markings/sec, 220 secs
lola: 336930 markings, 1128478 edges, 1151 markings/sec, 225 secs
lola: 343200 markings, 1153828 edges, 1254 markings/sec, 230 secs
lola: 350716 markings, 1176406 edges, 1503 markings/sec, 235 secs
lola: 357867 markings, 1201253 edges, 1430 markings/sec, 240 secs
lola: 364781 markings, 1226626 edges, 1383 markings/sec, 245 secs
lola: 371664 markings, 1254619 edges, 1377 markings/sec, 250 secs
lola: 378391 markings, 1282954 edges, 1345 markings/sec, 255 secs
lola: 385409 markings, 1307704 edges, 1404 markings/sec, 260 secs
lola: 392222 markings, 1331429 edges, 1363 markings/sec, 265 secs
lola: 398340 markings, 1355927 edges, 1224 markings/sec, 270 secs
lola: 404710 markings, 1379291 edges, 1274 markings/sec, 275 secs
lola: 410842 markings, 1403739 edges, 1226 markings/sec, 280 secs
lola: 417012 markings, 1428034 edges, 1234 markings/sec, 285 secs
lola: 423845 markings, 1450527 edges, 1367 markings/sec, 290 secs
lola: 429978 markings, 1472607 edges, 1227 markings/sec, 295 secs
lola: 435886 markings, 1496546 edges, 1182 markings/sec, 300 secs
lola: 441718 markings, 1517952 edges, 1166 markings/sec, 305 secs
lola: 447455 markings, 1541346 edges, 1147 markings/sec, 310 secs
lola: 453242 markings, 1564160 edges, 1157 markings/sec, 315 secs
lola: 460426 markings, 1588059 edges, 1437 markings/sec, 320 secs
lola: 467036 markings, 1609885 edges, 1322 markings/sec, 325 secs
lola: 473532 markings, 1633691 edges, 1299 markings/sec, 330 secs
lola: 479908 markings, 1657502 edges, 1275 markings/sec, 335 secs
lola: 486323 markings, 1684051 edges, 1283 markings/sec, 340 secs
lola: 492592 markings, 1710814 edges, 1254 markings/sec, 345 secs
lola: 499474 markings, 1734054 edges, 1376 markings/sec, 350 secs
lola: 505748 markings, 1756546 edges, 1255 markings/sec, 355 secs
lola: 511755 markings, 1780874 edges, 1201 markings/sec, 360 secs
lola: 517683 markings, 1802681 edges, 1186 markings/sec, 365 secs
lola: 523518 markings, 1826465 edges, 1167 markings/sec, 370 secs
lola: 529405 markings, 1849732 edges, 1177 markings/sec, 375 secs
lola: 535387 markings, 1870413 edges, 1196 markings/sec, 380 secs
lola: 541230 markings, 1888343 edges, 1169 markings/sec, 385 secs
lola: 546975 markings, 1910843 edges, 1149 markings/sec, 390 secs
lola: 555696 markings, 1932164 edges, 1744 markings/sec, 395 secs
lola: 562684 markings, 1952078 edges, 1398 markings/sec, 400 secs
lola: 569618 markings, 1970307 edges, 1387 markings/sec, 405 secs
lola: 576527 markings, 1987865 edges, 1382 markings/sec, 410 secs
lola: 583066 markings, 2005520 edges, 1308 markings/sec, 415 secs
lola: 589864 markings, 2023748 edges, 1360 markings/sec, 420 secs
lola: 596226 markings, 2046225 edges, 1272 markings/sec, 425 secs
lola: 602400 markings, 2064198 edges, 1235 markings/sec, 430 secs
lola: 609448 markings, 2084516 edges, 1410 markings/sec, 435 secs
lola: 616342 markings, 2110883 edges, 1379 markings/sec, 440 secs
lola: 623672 markings, 2130479 edges, 1466 markings/sec, 445 secs
lola: 630013 markings, 2155373 edges, 1268 markings/sec, 450 secs
lola: 635871 markings, 2179113 edges, 1172 markings/sec, 455 secs
lola: 641989 markings, 2204031 edges, 1224 markings/sec, 460 secs
lola: 647695 markings, 2227158 edges, 1141 markings/sec, 465 secs
lola: 654100 markings, 2252392 edges, 1281 markings/sec, 470 secs
lola: 661564 markings, 2276750 edges, 1493 markings/sec, 475 secs
lola: 668759 markings, 2303220 edges, 1439 markings/sec, 480 secs
lola: 675452 markings, 2327962 edges, 1339 markings/sec, 485 secs
lola: 681863 markings, 2354309 edges, 1282 markings/sec, 490 secs
lola: 688388 markings, 2379625 edges, 1305 markings/sec, 495 secs
lola: 695803 markings, 2403685 edges, 1483 markings/sec, 500 secs
lola: 702443 markings, 2426762 edges, 1328 markings/sec, 505 secs
lola: 709208 markings, 2452213 edges, 1353 markings/sec, 510 secs
lola: 715196 markings, 2476240 edges, 1198 markings/sec, 515 secs
lola: 721230 markings, 2500024 edges, 1207 markings/sec, 520 secs
lola: 728380 markings, 2524219 edges, 1430 markings/sec, 525 secs
lola: 735494 markings, 2547983 edges, 1423 markings/sec, 530 secs
lola: 742441 markings, 2575459 edges, 1389 markings/sec, 535 secs
lola: 748543 markings, 2597973 edges, 1220 markings/sec, 540 secs
lola: 754889 markings, 2623333 edges, 1269 markings/sec, 545 secs
lola: 760727 markings, 2649216 edges, 1168 markings/sec, 550 secs
lola: 767627 markings, 2673633 edges, 1380 markings/sec, 555 secs
lola: 773659 markings, 2695319 edges, 1206 markings/sec, 560 secs
lola: 779683 markings, 2718426 edges, 1205 markings/sec, 565 secs
lola: 785584 markings, 2742422 edges, 1180 markings/sec, 570 secs
lola: 791377 markings, 2765807 edges, 1159 markings/sec, 575 secs
lola: 797145 markings, 2790191 edges, 1154 markings/sec, 580 secs
lola: 803329 markings, 2814678 edges, 1237 markings/sec, 585 secs
lola: 809304 markings, 2838715 edges, 1195 markings/sec, 590 secs
lola: 815008 markings, 2863103 edges, 1141 markings/sec, 595 secs
lola: 822881 markings, 2886157 edges, 1575 markings/sec, 600 secs
lola: 830983 markings, 2908644 edges, 1620 markings/sec, 605 secs
lola: 837583 markings, 2928237 edges, 1320 markings/sec, 610 secs
lola: 844129 markings, 2947368 edges, 1309 markings/sec, 615 secs
lola: 850570 markings, 2966116 edges, 1288 markings/sec, 620 secs
lola: 856919 markings, 2986214 edges, 1270 markings/sec, 625 secs
lola: 863618 markings, 3004733 edges, 1340 markings/sec, 630 secs
lola: 869881 markings, 3023727 edges, 1253 markings/sec, 635 secs
lola: 876061 markings, 3042290 edges, 1236 markings/sec, 640 secs
lola: 882179 markings, 3060469 edges, 1224 markings/sec, 645 secs
lola: 888324 markings, 3078903 edges, 1229 markings/sec, 650 secs
lola: 894557 markings, 3097182 edges, 1247 markings/sec, 655 secs
lola: 900858 markings, 3116698 edges, 1260 markings/sec, 660 secs
lola: 906913 markings, 3135203 edges, 1211 markings/sec, 665 secs
lola: 913023 markings, 3155366 edges, 1222 markings/sec, 670 secs
lola: 919053 markings, 3173287 edges, 1206 markings/sec, 675 secs
lola: 924963 markings, 3191579 edges, 1182 markings/sec, 680 secs
lola: 931283 markings, 3210383 edges, 1264 markings/sec, 685 secs
lola: 937539 markings, 3228861 edges, 1251 markings/sec, 690 secs
lola: 943617 markings, 3247364 edges, 1216 markings/sec, 695 secs
lola: 949453 markings, 3268127 edges, 1167 markings/sec, 700 secs
lola: 955705 markings, 3287585 edges, 1250 markings/sec, 705 secs
lola: 961856 markings, 3306492 edges, 1230 markings/sec, 710 secs
lola: 967912 markings, 3325208 edges, 1211 markings/sec, 715 secs
lola: 973956 markings, 3343569 edges, 1209 markings/sec, 720 secs
lola: 979973 markings, 3362058 edges, 1203 markings/sec, 725 secs
lola: 985887 markings, 3382404 edges, 1183 markings/sec, 730 secs
lola: 991943 markings, 3400990 edges, 1211 markings/sec, 735 secs
lola: 997707 markings, 3423460 edges, 1153 markings/sec, 740 secs
lola: 1003414 markings, 3446228 edges, 1141 markings/sec, 745 secs
lola: 1009332 markings, 3470623 edges, 1184 markings/sec, 750 secs
lola: 1017177 markings, 3493530 edges, 1569 markings/sec, 755 secs
lola: 1025103 markings, 3516464 edges, 1585 markings/sec, 760 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no unknown no unknown no yes yes unknown unknown unknown no yes unknown yes unknown unknown
lola: time limit reached - aborting
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-18lozangeBlock"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-structural"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649744200346"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;