About the Execution of M4M.full for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.090 | 3585584.00 | 3787433.00 | 10589.90 | 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-full
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 r070-smll-152649743200346
=====================================================================
--------------------
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 1526786190146
BK_STOP 1526789775730
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-18lozangeBlock as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': '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...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-18lozangeBlock: translating PT formula 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 stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-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 235 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: 794286 markings, 929683 edges, 3689348869717491712 markings/sec, 0 secs
lola: 1553438 markings, 1853392 edges, 151830 markings/sec, 5 secs
lola: 2318597 markings, 2777188 edges, 153032 markings/sec, 10 secs
lola: 3073260 markings, 3704163 edges, 150933 markings/sec, 15 secs
lola: 3819661 markings, 4629970 edges, 149280 markings/sec, 20 secs
lola: 4549295 markings, 5557592 edges, 145927 markings/sec, 25 secs
lola: 5253927 markings, 6436483 edges, 140926 markings/sec, 30 secs
lola: 5997592 markings, 7341489 edges, 148733 markings/sec, 35 secs
lola: 6734164 markings, 8240167 edges, 147314 markings/sec, 40 secs
lola: 7461813 markings, 9145124 edges, 145530 markings/sec, 45 secs
lola: 8166281 markings, 10046253 edges, 140894 markings/sec, 50 secs
lola: 8895687 markings, 10941570 edges, 145881 markings/sec, 55 secs
lola: 9612577 markings, 11833504 edges, 143378 markings/sec, 60 secs
lola: 10319328 markings, 12734263 edges, 141350 markings/sec, 65 secs
lola: 11034648 markings, 13633153 edges, 143064 markings/sec, 70 secs
lola: 11748969 markings, 14541773 edges, 142864 markings/sec, 75 secs
lola: 12463294 markings, 15457232 edges, 142865 markings/sec, 80 secs
lola: 13169046 markings, 16373775 edges, 141150 markings/sec, 85 secs
lola: 13863852 markings, 17288430 edges, 138961 markings/sec, 90 secs
lola: 14547849 markings, 18203747 edges, 136799 markings/sec, 95 secs
lola: 15275388 markings, 19098644 edges, 145508 markings/sec, 100 secs
lola: 16002731 markings, 19986981 edges, 145469 markings/sec, 105 secs
lola: 16686009 markings, 20825670 edges, 136656 markings/sec, 110 secs
lola: 17368226 markings, 21676946 edges, 136443 markings/sec, 115 secs
lola: 18070238 markings, 22580371 edges, 140402 markings/sec, 120 secs
lola: 18806717 markings, 23480867 edges, 147296 markings/sec, 125 secs
lola: 19528886 markings, 24376641 edges, 144434 markings/sec, 130 secs
lola: 20231490 markings, 25280111 edges, 140521 markings/sec, 135 secs
lola: 20952685 markings, 26177871 edges, 144239 markings/sec, 140 secs
lola: 21657810 markings, 27082331 edges, 141025 markings/sec, 145 secs
lola: 22365772 markings, 27988058 edges, 141592 markings/sec, 150 secs
lola: 23028792 markings, 28848795 edges, 132604 markings/sec, 155 secs
lola: 23713749 markings, 29751616 edges, 136991 markings/sec, 160 secs
lola: 24386017 markings, 30653142 edges, 134454 markings/sec, 165 secs
lola: 25102471 markings, 31539772 edges, 143291 markings/sec, 170 secs
lola: 25812949 markings, 32418884 edges, 142096 markings/sec, 175 secs
lola: 26517737 markings, 33303273 edges, 140958 markings/sec, 180 secs
lola: 27223481 markings, 34189698 edges, 141149 markings/sec, 185 secs
lola: 27927213 markings, 35071145 edges, 140746 markings/sec, 190 secs
lola: 28625194 markings, 35962726 edges, 139596 markings/sec, 195 secs
lola: 29318782 markings, 36854079 edges, 138718 markings/sec, 200 secs
lola: 30013614 markings, 37750230 edges, 138966 markings/sec, 205 secs
lola: 30695290 markings, 38644715 edges, 136335 markings/sec, 210 secs
lola: 31379130 markings, 39545531 edges, 136768 markings/sec, 215 secs
lola: 32093456 markings, 40433721 edges, 142865 markings/sec, 220 secs
lola: 32791131 markings, 41324111 edges, 139535 markings/sec, 225 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 236 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 || 46896 markings, 53094 edges, 9379 markings/sec, 0 secs
lola: sara is running 5 secs || 93260 markings, 107240 edges, 9273 markings/sec, 5 secs
lola: sara is running 10 secs || 139578 markings, 161954 edges, 9264 markings/sec, 10 secs
lola: sara is running 15 secs || 184256 markings, 215313 edges, 8936 markings/sec, 15 secs
lola: sara is running 20 secs || 232375 markings, 271924 edges, 9624 markings/sec, 20 secs
lola: sara is running 25 secs || 280320 markings, 329972 edges, 9589 markings/sec, 25 secs
lola: sara is running 30 secs || 328407 markings, 387185 edges, 9617 markings/sec, 30 secs
lola: sara is running 35 secs || 373350 markings, 441746 edges, 8989 markings/sec, 35 secs
lola: sara is running 40 secs || 421269 markings, 500497 edges, 9584 markings/sec, 40 secs
lola: sara is running 45 secs || 469062 markings, 560179 edges, 9559 markings/sec, 45 secs
lola: sara is running 50 secs || 517099 markings, 618897 edges, 9607 markings/sec, 50 secs
lola: sara is running 55 secs || 565198 markings, 675629 edges, 9620 markings/sec, 55 secs
lola: sara is running 60 secs || 613281 markings, 733716 edges, 9617 markings/sec, 60 secs
lola: sara is running 65 secs || 661616 markings, 791542 edges, 9667 markings/sec, 65 secs
lola: sara is running 70 secs || 710038 markings, 850294 edges, 9684 markings/sec, 70 secs
lola: sara is running 75 secs || 758645 markings, 910249 edges, 9721 markings/sec, 75 secs
lola: sara is running 80 secs || 807127 markings, 971078 edges, 9696 markings/sec, 80 secs
lola: sara is running 85 secs || 855840 markings, 1030219 edges, 9743 markings/sec, 85 secs
lola: sara is running 90 secs || 903533 markings, 1088125 edges, 9539 markings/sec, 90 secs
lola: sara is running 95 secs || 946453 markings, 1140502 edges, 8584 markings/sec, 95 secs
lola: sara is running 100 secs || 995155 markings, 1200582 edges, 9740 markings/sec, 100 secs
lola: sara is running 105 secs || 1043759 markings, 1262330 edges, 9721 markings/sec, 105 secs
lola: sara is running 110 secs || 1092499 markings, 1321584 edges, 9748 markings/sec, 110 secs
lola: sara is running 115 secs || 1140918 markings, 1381321 edges, 9684 markings/sec, 115 secs
lola: sara is running 120 secs || 1189456 markings, 1443123 edges, 9708 markings/sec, 120 secs
lola: sara is running 125 secs || 1235724 markings, 1500055 edges, 9254 markings/sec, 125 secs
lola: sara is running 130 secs || 1284462 markings, 1562376 edges, 9748 markings/sec, 130 secs
lola: sara is running 135 secs || 1333319 markings, 1623631 edges, 9771 markings/sec, 135 secs
lola: sara is running 140 secs || 1382186 markings, 1686158 edges, 9773 markings/sec, 140 secs
lola: sara is running 145 secs || 1430813 markings, 1749324 edges, 9725 markings/sec, 145 secs
lola: sara is running 150 secs || 1479551 markings, 1814387 edges, 9748 markings/sec, 150 secs
lola: sara is running 155 secs || 1528495 markings, 1871219 edges, 9789 markings/sec, 155 secs
lola: sara is running 160 secs || 1576871 markings, 1929371 edges, 9675 markings/sec, 160 secs
lola: sara is running 165 secs || 1625312 markings, 1987155 edges, 9688 markings/sec, 165 secs
lola: sara is running 170 secs || 1674306 markings, 2046601 edges, 9799 markings/sec, 170 secs
lola: sara is running 175 secs || 1723346 markings, 2106370 edges, 9808 markings/sec, 175 secs
lola: sara is running 180 secs || 1772162 markings, 2167026 edges, 9763 markings/sec, 180 secs
lola: sara is running 185 secs || 1821146 markings, 2228194 edges, 9797 markings/sec, 185 secs
lola: sara is running 190 secs || 1870341 markings, 2287375 edges, 9839 markings/sec, 190 secs
lola: sara is running 195 secs || 1919432 markings, 2346974 edges, 9818 markings/sec, 195 secs
lola: sara is running 200 secs || 1968470 markings, 2407341 edges, 9808 markings/sec, 200 secs
lola: sara is running 205 secs || 2016338 markings, 2467833 edges, 9574 markings/sec, 205 secs
lola: sara is running 210 secs || 2064877 markings, 2527309 edges, 9708 markings/sec, 210 secs
lola: sara is running 215 secs || 2113955 markings, 2587765 edges, 9816 markings/sec, 215 secs
lola: sara is running 220 secs || 2162742 markings, 2649456 edges, 9757 markings/sec, 220 secs
lola: sara is running 225 secs || 2211360 markings, 2709828 edges, 9724 markings/sec, 225 secs
lola: sara is running 230 secs || 2260253 markings, 2771732 edges, 9779 markings/sec, 230 secs
lola: sara is running 235 secs || 2309289 markings, 2833496 edges, 9807 markings/sec, 235 secs
lola: sara is running 240 secs || 2358064 markings, 2895908 edges, 9755 markings/sec, 240 secs
lola: sara is running 245 secs || 2406957 markings, 2959406 edges, 9779 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: state equation: write sara problem file to DNAwalker-PT-18lozangeBlock-CTLCardinality-4.sara
lola: lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
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 305 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 305 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: 785183 markings, 995881 edges, 157024 markings/sec, 0 secs
lola: 1569202 markings, 2032369 edges, 156804 markings/sec, 5 secs
lola: 2296564 markings, 3013700 edges, 145472 markings/sec, 10 secs
lola: 3044046 markings, 4062998 edges, 149496 markings/sec, 15 secs
lola: 3736162 markings, 4999645 edges, 138423 markings/sec, 20 secs
lola: 4500301 markings, 6035539 edges, 152828 markings/sec, 25 secs
lola: 5244749 markings, 7084949 edges, 148890 markings/sec, 30 secs
lola: 6001724 markings, 8127116 edges, 151395 markings/sec, 35 secs
lola: 6739070 markings, 9182238 edges, 147469 markings/sec, 40 secs
lola: 7484716 markings, 10233752 edges, 149129 markings/sec, 45 secs
lola: 8209332 markings, 11298325 edges, 144923 markings/sec, 50 secs
lola: 8915537 markings, 12359839 edges, 141241 markings/sec, 55 secs
lola: 9622648 markings, 13400847 edges, 141422 markings/sec, 60 secs
lola: 10374285 markings, 14391345 edges, 150327 markings/sec, 65 secs
lola: 11108074 markings, 15387720 edges, 146758 markings/sec, 70 secs
lola: 11827342 markings, 16390423 edges, 143854 markings/sec, 75 secs
lola: 12562634 markings, 17387230 edges, 147058 markings/sec, 80 secs
lola: 13276787 markings, 18392690 edges, 142831 markings/sec, 85 secs
lola: 13993699 markings, 19398316 edges, 143382 markings/sec, 90 secs
lola: 14694691 markings, 20414005 edges, 140198 markings/sec, 95 secs
lola: 15387109 markings, 21431734 edges, 138484 markings/sec, 100 secs
lola: 16076637 markings, 22449988 edges, 137906 markings/sec, 105 secs
lola: 16782383 markings, 23407042 edges, 141149 markings/sec, 110 secs
lola: 17499126 markings, 24414993 edges, 143349 markings/sec, 115 secs
lola: 18219071 markings, 25421903 edges, 143989 markings/sec, 120 secs
lola: 18921876 markings, 26443264 edges, 140561 markings/sec, 125 secs
lola: 19618597 markings, 27465852 edges, 139344 markings/sec, 130 secs
lola: 20307371 markings, 28492511 edges, 137755 markings/sec, 135 secs
lola: 21026503 markings, 29501399 edges, 143826 markings/sec, 140 secs
lola: 21708041 markings, 30491066 edges, 136308 markings/sec, 145 secs
lola: 22415613 markings, 31528759 edges, 141514 markings/sec, 150 secs
lola: 23109199 markings, 32572785 edges, 138717 markings/sec, 155 secs
lola: 23820141 markings, 33604811 edges, 142188 markings/sec, 160 secs
lola: 24513954 markings, 34643888 edges, 138763 markings/sec, 165 secs
lola: 25204974 markings, 35695401 edges, 138204 markings/sec, 170 secs
lola: 25881319 markings, 36751588 edges, 135269 markings/sec, 175 secs
lola: 26567040 markings, 37801838 edges, 137144 markings/sec, 180 secs
lola: 27239671 markings, 38863574 edges, 134526 markings/sec, 185 secs
lola: 27898978 markings, 39924194 edges, 131861 markings/sec, 190 secs
lola: 28575472 markings, 40907567 edges, 135299 markings/sec, 195 secs
lola: 29310449 markings, 41882331 edges, 146995 markings/sec, 200 secs
lola: 30026109 markings, 42864851 edges, 143132 markings/sec, 205 secs
lola: 30739878 markings, 43848759 edges, 142754 markings/sec, 210 secs
lola: 31454934 markings, 44830403 edges, 143011 markings/sec, 215 secs
lola: 32158055 markings, 45815756 edges, 140624 markings/sec, 220 secs
lola: 32853277 markings, 46802671 edges, 139044 markings/sec, 225 secs
lola: 33543918 markings, 47795487 edges, 138128 markings/sec, 230 secs
lola: 34220650 markings, 48795034 edges, 135346 markings/sec, 235 secs
lola: 34900978 markings, 49791314 edges, 136066 markings/sec, 240 secs
lola: 35619557 markings, 50768789 edges, 143716 markings/sec, 245 secs
lola: 36319888 markings, 51754639 edges, 140066 markings/sec, 250 secs
lola: 37020698 markings, 52738121 edges, 140162 markings/sec, 255 secs
lola: 37707843 markings, 53735435 edges, 137429 markings/sec, 260 secs
lola: 38387938 markings, 54734404 edges, 136019 markings/sec, 265 secs
lola: 39057798 markings, 55736104 edges, 133972 markings/sec, 270 secs
lola: 39761852 markings, 56720361 edges, 140811 markings/sec, 275 secs
lola: 40452331 markings, 57718130 edges, 138096 markings/sec, 280 secs
lola: 41134494 markings, 58720966 edges, 136433 markings/sec, 285 secs
lola: 41798795 markings, 59727941 edges, 132860 markings/sec, 290 secs
lola: 42486947 markings, 60723712 edges, 137630 markings/sec, 295 secs
lola: 43125802 markings, 61672599 edges, 127771 markings/sec, 300 secs
lola: 43131927 markings, 61682046 edges, 1225 markings/sec, 305 secs
lola: 43135008 markings, 61686907 edges, 616 markings/sec, 310 secs
lola: 43135989 markings, 61688479 edges, 196 markings/sec, 315 secs
lola: 43136895 markings, 61689970 edges, 181 markings/sec, 320 secs
lola: 43137820 markings, 61691528 edges, 185 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 338 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 338 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: 423931 markings, 1573584 edges, 84780 markings/sec, 0 secs
lola: 789132 markings, 3287996 edges, 73040 markings/sec, 5 secs
lola: 1166451 markings, 4865352 edges, 75464 markings/sec, 10 secs
lola: 1505291 markings, 6512943 edges, 67768 markings/sec, 15 secs
lola: 1838141 markings, 8169268 edges, 66570 markings/sec, 20 secs
lola: 2207882 markings, 9661526 edges, 73948 markings/sec, 25 secs
lola: 2552177 markings, 11236414 edges, 68859 markings/sec, 30 secs
lola: 2879803 markings, 12768940 edges, 65525 markings/sec, 35 secs
lola: 3219786 markings, 14386398 edges, 67997 markings/sec, 40 secs
lola: 3548655 markings, 16069279 edges, 65774 markings/sec, 45 secs
lola: 3866056 markings, 17805495 edges, 63480 markings/sec, 50 secs
lola: 4217219 markings, 19378612 edges, 70233 markings/sec, 55 secs
lola: 4556575 markings, 20963906 edges, 67871 markings/sec, 60 secs
lola: 4888765 markings, 22554762 edges, 66438 markings/sec, 65 secs
lola: 5221525 markings, 24082708 edges, 66552 markings/sec, 70 secs
lola: 5558334 markings, 25772897 edges, 67362 markings/sec, 75 secs
lola: 5871971 markings, 27456845 edges, 62727 markings/sec, 80 secs
lola: 6217345 markings, 29125483 edges, 69075 markings/sec, 85 secs
lola: 6552974 markings, 30900127 edges, 67126 markings/sec, 90 secs
lola: 6874024 markings, 32646971 edges, 64210 markings/sec, 95 secs
lola: 7204599 markings, 34578627 edges, 66115 markings/sec, 100 secs
lola: 7520693 markings, 36463570 edges, 63219 markings/sec, 105 secs
lola: 7841573 markings, 38434224 edges, 64176 markings/sec, 110 secs
lola: 8159948 markings, 40361542 edges, 63675 markings/sec, 115 secs
lola: 8472187 markings, 42200500 edges, 62448 markings/sec, 120 secs
lola: 8781711 markings, 44038829 edges, 61905 markings/sec, 125 secs
lola: 9141595 markings, 45845290 edges, 71977 markings/sec, 130 secs
lola: 9476782 markings, 47400886 edges, 67037 markings/sec, 135 secs
lola: 9794655 markings, 49028147 edges, 63575 markings/sec, 140 secs
lola: 10127542 markings, 50553591 edges, 66577 markings/sec, 145 secs
lola: 10440297 markings, 52106361 edges, 62551 markings/sec, 150 secs
lola: 10741467 markings, 53766063 edges, 60234 markings/sec, 155 secs
lola: 11089802 markings, 55468690 edges, 69667 markings/sec, 160 secs
lola: 11400164 markings, 57024214 edges, 62072 markings/sec, 165 secs
lola: 11715877 markings, 58817148 edges, 63143 markings/sec, 170 secs
lola: 12036104 markings, 60723077 edges, 64045 markings/sec, 175 secs
lola: 12340647 markings, 62565312 edges, 60909 markings/sec, 180 secs
lola: 12649121 markings, 64465176 edges, 61695 markings/sec, 185 secs
lola: 12954401 markings, 66369429 edges, 61056 markings/sec, 190 secs
lola: 13250685 markings, 68158685 edges, 59257 markings/sec, 195 secs
lola: 13544070 markings, 69897087 edges, 58677 markings/sec, 200 secs
lola: 13849037 markings, 71452437 edges, 60993 markings/sec, 205 secs
lola: 14141229 markings, 72946993 edges, 58438 markings/sec, 210 secs
lola: 14444951 markings, 74717336 edges, 60744 markings/sec, 215 secs
lola: 14743769 markings, 76544073 edges, 59764 markings/sec, 220 secs
lola: 15032114 markings, 78339499 edges, 57669 markings/sec, 225 secs
lola: 15312781 markings, 80095862 edges, 56133 markings/sec, 230 secs
lola: 15586205 markings, 81759147 edges, 54685 markings/sec, 235 secs
lola: 15859451 markings, 83556480 edges, 54649 markings/sec, 240 secs
lola: 16144003 markings, 85275236 edges, 56910 markings/sec, 245 secs
lola: 16425278 markings, 87076446 edges, 56255 markings/sec, 250 secs
lola: 16707414 markings, 88743672 edges, 56427 markings/sec, 255 secs
lola: 16984157 markings, 90456325 edges, 55349 markings/sec, 260 secs
lola: 17237085 markings, 92168583 edges, 50586 markings/sec, 265 secs
lola: 17507841 markings, 93869035 edges, 54151 markings/sec, 270 secs
lola: 17787098 markings, 95609518 edges, 55851 markings/sec, 275 secs
lola: 18051190 markings, 97373642 edges, 52818 markings/sec, 280 secs
lola: 18314155 markings, 99051215 edges, 52593 markings/sec, 285 secs
lola: 18577050 markings, 100756152 edges, 52579 markings/sec, 290 secs
lola: 18816776 markings, 102443977 edges, 47945 markings/sec, 295 secs
lola: 19104041 markings, 103943980 edges, 57453 markings/sec, 300 secs
lola: 19409612 markings, 105385398 edges, 61114 markings/sec, 305 secs
lola: 19700847 markings, 106874208 edges, 58247 markings/sec, 310 secs
lola: 19986606 markings, 108340706 edges, 57152 markings/sec, 315 secs
lola: 20285839 markings, 109778923 edges, 59847 markings/sec, 320 secs
lola: 20556965 markings, 111271739 edges, 54225 markings/sec, 325 secs
lola: 20814805 markings, 112708714 edges, 51568 markings/sec, 330 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 338 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: 415694 markings, 1551540 edges, 83132 markings/sec, 0 secs
lola: 763282 markings, 3180502 edges, 69518 markings/sec, 5 secs
lola: 1131840 markings, 4715600 edges, 73712 markings/sec, 10 secs
lola: 1464368 markings, 6320143 edges, 66506 markings/sec, 15 secs
lola: 1785364 markings, 7927496 edges, 64199 markings/sec, 20 secs
lola: 2148767 markings, 9393873 edges, 72681 markings/sec, 25 secs
lola: 2482985 markings, 10898980 edges, 66844 markings/sec, 30 secs
lola: 2789792 markings, 12409944 edges, 61361 markings/sec, 35 secs
lola: 3126754 markings, 13927942 edges, 67392 markings/sec, 40 secs
lola: 3452571 markings, 15560922 edges, 65163 markings/sec, 45 secs
lola: 3742643 markings, 17164836 edges, 58014 markings/sec, 50 secs
lola: 4091167 markings, 18827224 edges, 69705 markings/sec, 55 secs
lola: 4432130 markings, 20384268 edges, 68193 markings/sec, 60 secs
lola: 4759687 markings, 21941582 edges, 65511 markings/sec, 65 secs
lola: 5094584 markings, 23476947 edges, 66979 markings/sec, 70 secs
lola: 5412787 markings, 25042995 edges, 63641 markings/sec, 75 secs
lola: 5738339 markings, 26758858 edges, 65110 markings/sec, 80 secs
lola: 6052311 markings, 28374189 edges, 62794 markings/sec, 85 secs
lola: 6373074 markings, 29930281 edges, 64153 markings/sec, 90 secs
lola: 6707511 markings, 31773350 edges, 66887 markings/sec, 95 secs
lola: 7024906 markings, 33543118 edges, 63479 markings/sec, 100 secs
lola: 7341464 markings, 35418549 edges, 63312 markings/sec, 105 secs
lola: 7651290 markings, 37290030 edges, 61965 markings/sec, 110 secs
lola: 7960699 markings, 39176498 edges, 61882 markings/sec, 115 secs
lola: 8277691 markings, 41088116 edges, 63398 markings/sec, 120 secs
lola: 8578152 markings, 42820107 edges, 60092 markings/sec, 125 secs
lola: 8890976 markings, 44681445 edges, 62565 markings/sec, 130 secs
lola: 9247823 markings, 46333183 edges, 71369 markings/sec, 135 secs
lola: 9574117 markings, 47900028 edges, 65259 markings/sec, 140 secs
lola: 9896758 markings, 49477492 edges, 64528 markings/sec, 145 secs
lola: 10207292 markings, 50990778 edges, 62107 markings/sec, 150 secs
lola: 10517982 markings, 52521144 edges, 62138 markings/sec, 155 secs
lola: 10816557 markings, 54180165 edges, 59715 markings/sec, 160 secs
lola: 11140210 markings, 55731797 edges, 64731 markings/sec, 165 secs
lola: 11442140 markings, 57276652 edges, 60386 markings/sec, 170 secs
lola: 11753130 markings, 59046031 edges, 62198 markings/sec, 175 secs
lola: 12063251 markings, 60910823 edges, 62024 markings/sec, 180 secs
lola: 12363405 markings, 62729759 edges, 60031 markings/sec, 185 secs
lola: 12666007 markings, 64580511 edges, 60520 markings/sec, 190 secs
lola: 12966240 markings, 66459687 edges, 60047 markings/sec, 195 secs
lola: 13258664 markings, 68217613 edges, 58485 markings/sec, 200 secs
lola: 13557994 markings, 69979550 edges, 59866 markings/sec, 205 secs
lola: 13866059 markings, 71565162 edges, 61613 markings/sec, 210 secs
lola: 14167058 markings, 73107204 edges, 60200 markings/sec, 215 secs
lola: 14473780 markings, 74894796 edges, 61344 markings/sec, 220 secs
lola: 14772833 markings, 76712724 edges, 59811 markings/sec, 225 secs
lola: 15053789 markings, 78497928 edges, 56191 markings/sec, 230 secs
lola: 15336318 markings, 80269937 edges, 56506 markings/sec, 235 secs
lola: 15614487 markings, 81941115 edges, 55634 markings/sec, 240 secs
lola: 15882912 markings, 83744949 edges, 53685 markings/sec, 245 secs
lola: 16175085 markings, 85473234 edges, 58435 markings/sec, 250 secs
lola: 16443370 markings, 87214594 edges, 53657 markings/sec, 255 secs
lola: 16723692 markings, 88853914 edges, 56064 markings/sec, 260 secs
lola: 17002781 markings, 90601979 edges, 55818 markings/sec, 265 secs
lola: 17261938 markings, 92340582 edges, 51831 markings/sec, 270 secs
lola: 17543223 markings, 94093785 edges, 56257 markings/sec, 275 secs
lola: 17825063 markings, 95876354 edges, 56368 markings/sec, 280 secs
lola: 18080543 markings, 97586391 edges, 51096 markings/sec, 285 secs
lola: 18345217 markings, 99256986 edges, 52935 markings/sec, 290 secs
lola: 18614816 markings, 101029770 edges, 53920 markings/sec, 295 secs
lola: 18865243 markings, 102793823 edges, 50085 markings/sec, 300 secs
lola: 19177920 markings, 104286329 edges, 62535 markings/sec, 305 secs
lola: 19491004 markings, 105743902 edges, 62617 markings/sec, 310 secs
lola: 19769940 markings, 107270187 edges, 55787 markings/sec, 315 secs
lola: 20063933 markings, 108661852 edges, 58799 markings/sec, 320 secs
lola: 20346516 markings, 110134743 edges, 56517 markings/sec, 325 secs
lola: 20611934 markings, 111583970 edges, 53084 markings/sec, 330 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 338 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: subprocess 11 will run for 406 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((B54 <= 1) U E (G ((1 <= A13)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: ========================================
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 508 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: 390756 markings, 1461537 edges, 78107 markings/sec, 0 secs
lola: 745138 markings, 3095312 edges, 70876 markings/sec, 5 secs
lola: 1109569 markings, 4608352 edges, 72886 markings/sec, 10 secs
lola: 1437960 markings, 6182072 edges, 65678 markings/sec, 15 secs
lola: 1752954 markings, 7759587 edges, 62999 markings/sec, 20 secs
lola: 2104484 markings, 9193493 edges, 70306 markings/sec, 25 secs
lola: 2435520 markings, 10667722 edges, 66207 markings/sec, 30 secs
lola: 2734624 markings, 12176590 edges, 59821 markings/sec, 35 secs
lola: 3075098 markings, 13679131 edges, 68095 markings/sec, 40 secs
lola: 3394201 markings, 15251859 edges, 63821 markings/sec, 45 secs
lola: 3680294 markings, 16805774 edges, 57219 markings/sec, 50 secs
lola: 3986994 markings, 18455320 edges, 61340 markings/sec, 55 secs
lola: 4331454 markings, 19923748 edges, 68892 markings/sec, 60 secs
lola: 4650553 markings, 21407016 edges, 63820 markings/sec, 65 secs
lola: 4966222 markings, 22884902 edges, 63134 markings/sec, 70 secs
lola: 5265526 markings, 24321741 edges, 59861 markings/sec, 75 secs
lola: 5586505 markings, 25936426 edges, 64196 markings/sec, 80 secs
lola: 5875375 markings, 27490374 edges, 57774 markings/sec, 85 secs
lola: 6204688 markings, 29075569 edges, 65863 markings/sec, 90 secs
lola: 6521161 markings, 30737637 edges, 63295 markings/sec, 95 secs
lola: 6829537 markings, 32412002 edges, 61675 markings/sec, 100 secs
lola: 7141313 markings, 34238763 edges, 62355 markings/sec, 105 secs
lola: 7445857 markings, 36065733 edges, 60909 markings/sec, 110 secs
lola: 7749515 markings, 37885214 edges, 60732 markings/sec, 115 secs
lola: 8054428 markings, 39742469 edges, 60983 markings/sec, 120 secs
lola: 8366706 markings, 41621350 edges, 62456 markings/sec, 125 secs
lola: 8645069 markings, 43248938 edges, 55673 markings/sec, 130 secs
lola: 8971499 markings, 45125853 edges, 65286 markings/sec, 135 secs
lola: 9319644 markings, 46704047 edges, 69629 markings/sec, 140 secs
lola: 9633918 markings, 48196832 edges, 62855 markings/sec, 145 secs
lola: 9936815 markings, 49664207 edges, 60579 markings/sec, 150 secs
lola: 10228322 markings, 51105352 edges, 58301 markings/sec, 155 secs
lola: 10528423 markings, 52571268 edges, 60020 markings/sec, 160 secs
lola: 10816174 markings, 54178107 edges, 57550 markings/sec, 165 secs
lola: 11132765 markings, 55692871 edges, 63318 markings/sec, 170 secs
lola: 11419550 markings, 57145871 edges, 57357 markings/sec, 175 secs
lola: 11714364 markings, 58822295 edges, 58963 markings/sec, 180 secs
lola: 12019725 markings, 60635273 edges, 61072 markings/sec, 185 secs
lola: 12309598 markings, 62371457 edges, 57975 markings/sec, 190 secs
lola: 12602357 markings, 64220244 edges, 58552 markings/sec, 195 secs
lola: 12892637 markings, 66000037 edges, 58056 markings/sec, 200 secs
lola: 13184276 markings, 67799604 edges, 58328 markings/sec, 205 secs
lola: 13462243 markings, 69485634 edges, 55593 markings/sec, 210 secs
lola: 13777368 markings, 71079481 edges, 63025 markings/sec, 215 secs
lola: 14065812 markings, 72577353 edges, 57689 markings/sec, 220 secs
lola: 14360664 markings, 74240815 edges, 58970 markings/sec, 225 secs
lola: 14654013 markings, 76037390 edges, 58670 markings/sec, 230 secs
lola: 14938070 markings, 77743423 edges, 56811 markings/sec, 235 secs
lola: 15218481 markings, 79478806 edges, 56082 markings/sec, 240 secs
lola: 15496146 markings, 81240261 edges, 55533 markings/sec, 245 secs
lola: 15755384 markings, 82902850 edges, 51848 markings/sec, 250 secs
lola: 16028975 markings, 84612707 edges, 54718 markings/sec, 255 secs
lola: 16309791 markings, 86323740 edges, 56163 markings/sec, 260 secs
lola: 16579088 markings, 88027707 edges, 53859 markings/sec, 265 secs
lola: 16846599 markings, 89581413 edges, 53502 markings/sec, 270 secs
lola: 17106341 markings, 91320523 edges, 51948 markings/sec, 275 secs
lola: 17369029 markings, 93052947 edges, 52538 markings/sec, 280 secs
lola: 17635168 markings, 94673084 edges, 53228 markings/sec, 285 secs
lola: 17906063 markings, 96430396 edges, 54179 markings/sec, 290 secs
lola: 18156896 markings, 98079604 edges, 50167 markings/sec, 295 secs
lola: 18405647 markings, 99648245 edges, 49750 markings/sec, 300 secs
lola: 18662903 markings, 101390376 edges, 51451 markings/sec, 305 secs
lola: 18902541 markings, 103048683 edges, 47928 markings/sec, 310 secs
lola: 19205546 markings, 104432487 edges, 60601 markings/sec, 315 secs
lola: 19500164 markings, 105793542 edges, 58924 markings/sec, 320 secs
lola: 19764951 markings, 107242806 edges, 52957 markings/sec, 325 secs
lola: 20045467 markings, 108583077 edges, 56103 markings/sec, 330 secs
lola: 20318277 markings, 109974721 edges, 54562 markings/sec, 335 secs
lola: 20572431 markings, 111374255 edges, 50831 markings/sec, 340 secs
lola: 20821052 markings, 112750443 edges, 49724 markings/sec, 345 secs
lola: 21062934 markings, 114121637 edges, 48376 markings/sec, 350 secs
lola: 21360608 markings, 115413456 edges, 59535 markings/sec, 355 secs
lola: 21642960 markings, 116789947 edges, 56470 markings/sec, 360 secs
lola: 21902346 markings, 118185891 edges, 51877 markings/sec, 365 secs
lola: 22152671 markings, 119586371 edges, 50065 markings/sec, 370 secs
lola: 22438040 markings, 120922496 edges, 57074 markings/sec, 375 secs
lola: 22691680 markings, 122355390 edges, 50728 markings/sec, 380 secs
lola: 22932002 markings, 123729719 edges, 48064 markings/sec, 385 secs
lola: 23164793 markings, 125100617 edges, 46558 markings/sec, 390 secs
lola: 23410865 markings, 126510609 edges, 49214 markings/sec, 395 secs
lola: 23684077 markings, 127836089 edges, 54642 markings/sec, 400 secs
lola: 23956253 markings, 129227523 edges, 54435 markings/sec, 405 secs
lola: 24213234 markings, 130581616 edges, 51396 markings/sec, 410 secs
lola: 24460746 markings, 131914604 edges, 49502 markings/sec, 415 secs
lola: 24741403 markings, 133270990 edges, 56131 markings/sec, 420 secs
lola: 25009131 markings, 134674805 edges, 53546 markings/sec, 425 secs
lola: 25285943 markings, 136097418 edges, 55362 markings/sec, 430 secs
lola: 25528668 markings, 137518218 edges, 48545 markings/sec, 435 secs
lola: 25777277 markings, 138953289 edges, 49722 markings/sec, 440 secs
lola: 26038091 markings, 140321912 edges, 52163 markings/sec, 445 secs
lola: 26295024 markings, 141685303 edges, 51387 markings/sec, 450 secs
lola: 26577284 markings, 143147448 edges, 56452 markings/sec, 455 secs
lola: 26829046 markings, 144596597 edges, 50352 markings/sec, 460 secs
lola: 27109479 markings, 146176996 edges, 56087 markings/sec, 465 secs
lola: 27380754 markings, 147761449 edges, 54255 markings/sec, 470 secs
lola: 27647181 markings, 149354557 edges, 53285 markings/sec, 475 secs
lola: 27912813 markings, 150974595 edges, 53126 markings/sec, 480 secs
lola: 28195470 markings, 152669240 edges, 56531 markings/sec, 485 secs
lola: 28441758 markings, 154210581 edges, 49258 markings/sec, 490 secs
lola: 28682852 markings, 155750346 edges, 48219 markings/sec, 495 secs
lola: 28990607 markings, 157322742 edges, 61551 markings/sec, 500 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 508 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 762 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 762 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 1524 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: 8798 markings, 21593 edges, 1760 markings/sec, 0 secs
lola: 15584 markings, 42745 edges, 1357 markings/sec, 5 secs
lola: 22543 markings, 63467 edges, 1392 markings/sec, 10 secs
lola: 28955 markings, 86035 edges, 1282 markings/sec, 15 secs
lola: 35548 markings, 109510 edges, 1319 markings/sec, 20 secs
lola: 42072 markings, 133935 edges, 1305 markings/sec, 25 secs
lola: 49238 markings, 155028 edges, 1433 markings/sec, 30 secs
lola: 55902 markings, 177627 edges, 1333 markings/sec, 35 secs
lola: 62458 markings, 201615 edges, 1311 markings/sec, 40 secs
lola: 69268 markings, 219022 edges, 1362 markings/sec, 45 secs
lola: 75649 markings, 237367 edges, 1276 markings/sec, 50 secs
lola: 82009 markings, 258269 edges, 1272 markings/sec, 55 secs
lola: 88082 markings, 279481 edges, 1215 markings/sec, 60 secs
lola: 94306 markings, 298578 edges, 1245 markings/sec, 65 secs
lola: 100564 markings, 320961 edges, 1252 markings/sec, 70 secs
lola: 106532 markings, 346671 edges, 1194 markings/sec, 75 secs
lola: 112622 markings, 374374 edges, 1218 markings/sec, 80 secs
lola: 118653 markings, 401755 edges, 1206 markings/sec, 85 secs
lola: 124926 markings, 427265 edges, 1255 markings/sec, 90 secs
lola: 130977 markings, 452177 edges, 1210 markings/sec, 95 secs
lola: 136992 markings, 477648 edges, 1203 markings/sec, 100 secs
lola: 143156 markings, 502782 edges, 1233 markings/sec, 105 secs
lola: 149514 markings, 527327 edges, 1272 markings/sec, 110 secs
lola: 155678 markings, 552719 edges, 1233 markings/sec, 115 secs
lola: 161905 markings, 577710 edges, 1245 markings/sec, 120 secs
lola: 169120 markings, 600677 edges, 1443 markings/sec, 125 secs
lola: 175794 markings, 619928 edges, 1335 markings/sec, 130 secs
lola: 182311 markings, 640812 edges, 1303 markings/sec, 135 secs
lola: 188596 markings, 664067 edges, 1257 markings/sec, 140 secs
lola: 194961 markings, 687712 edges, 1273 markings/sec, 145 secs
lola: 201250 markings, 712620 edges, 1258 markings/sec, 150 secs
lola: 207599 markings, 737759 edges, 1270 markings/sec, 155 secs
lola: 213938 markings, 763013 edges, 1268 markings/sec, 160 secs
lola: 220506 markings, 786911 edges, 1314 markings/sec, 165 secs
lola: 226884 markings, 810910 edges, 1276 markings/sec, 170 secs
lola: 233037 markings, 837494 edges, 1231 markings/sec, 175 secs
lola: 239765 markings, 863844 edges, 1346 markings/sec, 180 secs
lola: 246394 markings, 884929 edges, 1326 markings/sec, 185 secs
lola: 252586 markings, 907390 edges, 1238 markings/sec, 190 secs
lola: 258829 markings, 930362 edges, 1249 markings/sec, 195 secs
lola: 265053 markings, 956186 edges, 1245 markings/sec, 200 secs
lola: 271032 markings, 979798 edges, 1196 markings/sec, 205 secs
lola: 276930 markings, 1003576 edges, 1180 markings/sec, 210 secs
lola: 282899 markings, 1027460 edges, 1194 markings/sec, 215 secs
lola: 288810 markings, 1053648 edges, 1182 markings/sec, 220 secs
lola: 294947 markings, 1081393 edges, 1227 markings/sec, 225 secs
lola: 300974 markings, 1108895 edges, 1205 markings/sec, 230 secs
lola: 306929 markings, 1135769 edges, 1191 markings/sec, 235 secs
lola: 312865 markings, 1163560 edges, 1187 markings/sec, 240 secs
lola: 319000 markings, 1190433 edges, 1227 markings/sec, 245 secs
lola: 325003 markings, 1219719 edges, 1201 markings/sec, 250 secs
lola: 331141 markings, 1244740 edges, 1228 markings/sec, 255 secs
lola: 337259 markings, 1272546 edges, 1224 markings/sec, 260 secs
lola: 343368 markings, 1299162 edges, 1222 markings/sec, 265 secs
lola: 349402 markings, 1327049 edges, 1207 markings/sec, 270 secs
lola: 355395 markings, 1354459 edges, 1199 markings/sec, 275 secs
lola: 361614 markings, 1382039 edges, 1244 markings/sec, 280 secs
lola: 367579 markings, 1411643 edges, 1193 markings/sec, 285 secs
lola: 373617 markings, 1437810 edges, 1208 markings/sec, 290 secs
lola: 379543 markings, 1466159 edges, 1185 markings/sec, 295 secs
lola: 385439 markings, 1496415 edges, 1179 markings/sec, 300 secs
lola: 391775 markings, 1524630 edges, 1267 markings/sec, 305 secs
lola: 397826 markings, 1553727 edges, 1210 markings/sec, 310 secs
lola: 403809 markings, 1583141 edges, 1197 markings/sec, 315 secs
lola: 410180 markings, 1610349 edges, 1274 markings/sec, 320 secs
lola: 416544 markings, 1630880 edges, 1273 markings/sec, 325 secs
lola: 422737 markings, 1654919 edges, 1239 markings/sec, 330 secs
lola: 428862 markings, 1681560 edges, 1225 markings/sec, 335 secs
lola: 435283 markings, 1706337 edges, 1284 markings/sec, 340 secs
lola: 441453 markings, 1731462 edges, 1234 markings/sec, 345 secs
lola: 447597 markings, 1760635 edges, 1229 markings/sec, 350 secs
lola: 453655 markings, 1791756 edges, 1212 markings/sec, 355 secs
lola: 459951 markings, 1820625 edges, 1259 markings/sec, 360 secs
lola: 466082 markings, 1844911 edges, 1226 markings/sec, 365 secs
lola: 472070 markings, 1874242 edges, 1198 markings/sec, 370 secs
lola: 478045 markings, 1902294 edges, 1195 markings/sec, 375 secs
lola: 483986 markings, 1933869 edges, 1188 markings/sec, 380 secs
lola: 490098 markings, 1959597 edges, 1222 markings/sec, 385 secs
lola: 496106 markings, 1988002 edges, 1202 markings/sec, 390 secs
lola: 502151 markings, 2017722 edges, 1209 markings/sec, 395 secs
lola: 508272 markings, 2048616 edges, 1224 markings/sec, 400 secs
lola: 514571 markings, 2070098 edges, 1260 markings/sec, 405 secs
lola: 520892 markings, 2095404 edges, 1264 markings/sec, 410 secs
lola: 526983 markings, 2120798 edges, 1218 markings/sec, 415 secs
lola: 532184 markings, 2146042 edges, 1040 markings/sec, 420 secs
lola: 538468 markings, 2171951 edges, 1257 markings/sec, 425 secs
lola: 544533 markings, 2199318 edges, 1213 markings/sec, 430 secs
lola: 550664 markings, 2228071 edges, 1226 markings/sec, 435 secs
lola: 556640 markings, 2258019 edges, 1195 markings/sec, 440 secs
lola: 562810 markings, 2287932 edges, 1234 markings/sec, 445 secs
lola: 569058 markings, 2312202 edges, 1250 markings/sec, 450 secs
lola: 575093 markings, 2339356 edges, 1207 markings/sec, 455 secs
lola: 581266 markings, 2366654 edges, 1235 markings/sec, 460 secs
lola: 587261 markings, 2397378 edges, 1199 markings/sec, 465 secs
lola: 593474 markings, 2427000 edges, 1243 markings/sec, 470 secs
lola: 599677 markings, 2457119 edges, 1241 markings/sec, 475 secs
lola: 605942 markings, 2486969 edges, 1253 markings/sec, 480 secs
lola: 612144 markings, 2509421 edges, 1240 markings/sec, 485 secs
lola: 618436 markings, 2532876 edges, 1258 markings/sec, 490 secs
lola: 625233 markings, 2558593 edges, 1359 markings/sec, 495 secs
lola: 631643 markings, 2582237 edges, 1282 markings/sec, 500 secs
lola: 637951 markings, 2607624 edges, 1262 markings/sec, 505 secs
lola: 643999 markings, 2634345 edges, 1210 markings/sec, 510 secs
lola: 650414 markings, 2660053 edges, 1283 markings/sec, 515 secs
lola: 657230 markings, 2686928 edges, 1363 markings/sec, 520 secs
lola: 663432 markings, 2714132 edges, 1240 markings/sec, 525 secs
lola: 669449 markings, 2737759 edges, 1203 markings/sec, 530 secs
lola: 675519 markings, 2763485 edges, 1214 markings/sec, 535 secs
lola: 681641 markings, 2793559 edges, 1224 markings/sec, 540 secs
lola: 687595 markings, 2822070 edges, 1191 markings/sec, 545 secs
lola: 693712 markings, 2853280 edges, 1223 markings/sec, 550 secs
lola: 699612 markings, 2883478 edges, 1180 markings/sec, 555 secs
lola: 705527 markings, 2911669 edges, 1183 markings/sec, 560 secs
lola: 711524 markings, 2940266 edges, 1199 markings/sec, 565 secs
lola: 717785 markings, 2966305 edges, 1252 markings/sec, 570 secs
lola: 723858 markings, 2994402 edges, 1215 markings/sec, 575 secs
lola: 730060 markings, 3022199 edges, 1240 markings/sec, 580 secs
lola: 736432 markings, 3051600 edges, 1274 markings/sec, 585 secs
lola: 742809 markings, 3079223 edges, 1275 markings/sec, 590 secs
lola: 748918 markings, 3105501 edges, 1222 markings/sec, 595 secs
lola: 755042 markings, 3135704 edges, 1225 markings/sec, 600 secs
lola: 761102 markings, 3167062 edges, 1212 markings/sec, 605 secs
lola: 767160 markings, 3196985 edges, 1212 markings/sec, 610 secs
lola: 773166 markings, 3228013 edges, 1201 markings/sec, 615 secs
lola: 779210 markings, 3260956 edges, 1209 markings/sec, 620 secs
lola: 785297 markings, 3289761 edges, 1217 markings/sec, 625 secs
lola: 791241 markings, 3318742 edges, 1189 markings/sec, 630 secs
lola: 797140 markings, 3349634 edges, 1180 markings/sec, 635 secs
lola: 803132 markings, 3379292 edges, 1198 markings/sec, 640 secs
lola: 809097 markings, 3410456 edges, 1193 markings/sec, 645 secs
lola: 815190 markings, 3440002 edges, 1219 markings/sec, 650 secs
lola: 821360 markings, 3471587 edges, 1234 markings/sec, 655 secs
lola: 827216 markings, 3500172 edges, 1171 markings/sec, 660 secs
lola: 833169 markings, 3534957 edges, 1191 markings/sec, 665 secs
lola: 839040 markings, 3567330 edges, 1174 markings/sec, 670 secs
lola: 845038 markings, 3598321 edges, 1200 markings/sec, 675 secs
lola: 850895 markings, 3631197 edges, 1171 markings/sec, 680 secs
lola: 857938 markings, 3653855 edges, 1409 markings/sec, 685 secs
lola: 864678 markings, 3673585 edges, 1348 markings/sec, 690 secs
lola: 871159 markings, 3694678 edges, 1296 markings/sec, 695 secs
lola: 877164 markings, 3716079 edges, 1201 markings/sec, 700 secs
lola: 883974 markings, 3735440 edges, 1362 markings/sec, 705 secs
lola: 890388 markings, 3755274 edges, 1283 markings/sec, 710 secs
lola: 896872 markings, 3779093 edges, 1297 markings/sec, 715 secs
lola: 903025 markings, 3802353 edges, 1231 markings/sec, 720 secs
lola: 909002 markings, 3824691 edges, 1195 markings/sec, 725 secs
lola: 915015 markings, 3847637 edges, 1203 markings/sec, 730 secs
lola: 921012 markings, 3869729 edges, 1199 markings/sec, 735 secs
lola: 927004 markings, 3889865 edges, 1198 markings/sec, 740 secs
lola: 932947 markings, 3913217 edges, 1189 markings/sec, 745 secs
lola: 938889 markings, 3939127 edges, 1188 markings/sec, 750 secs
lola: 944843 markings, 3965234 edges, 1191 markings/sec, 755 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 762 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 762 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: 9615 markings, 21258 edges, 1923 markings/sec, 0 secs
lola: 18380 markings, 47080 edges, 1753 markings/sec, 5 secs
lola: 26470 markings, 76491 edges, 1618 markings/sec, 10 secs
lola: 34694 markings, 104379 edges, 1645 markings/sec, 15 secs
lola: 43267 markings, 133657 edges, 1715 markings/sec, 20 secs
lola: 52207 markings, 164005 edges, 1788 markings/sec, 25 secs
lola: 60965 markings, 193072 edges, 1752 markings/sec, 30 secs
lola: 69280 markings, 221962 edges, 1663 markings/sec, 35 secs
lola: 76676 markings, 240959 edges, 1479 markings/sec, 40 secs
lola: 84358 markings, 256732 edges, 1536 markings/sec, 45 secs
lola: 92079 markings, 272945 edges, 1544 markings/sec, 50 secs
lola: 99761 markings, 291406 edges, 1536 markings/sec, 55 secs
lola: 106720 markings, 312719 edges, 1392 markings/sec, 60 secs
lola: 113664 markings, 328015 edges, 1389 markings/sec, 65 secs
lola: 119891 markings, 348775 edges, 1245 markings/sec, 70 secs
lola: 127922 markings, 378195 edges, 1606 markings/sec, 75 secs
lola: 134705 markings, 402099 edges, 1357 markings/sec, 80 secs
lola: 142147 markings, 418750 edges, 1488 markings/sec, 85 secs
lola: 149412 markings, 435546 edges, 1453 markings/sec, 90 secs
lola: 155853 markings, 456630 edges, 1288 markings/sec, 95 secs
lola: 162362 markings, 473862 edges, 1302 markings/sec, 100 secs
lola: 168306 markings, 497058 edges, 1189 markings/sec, 105 secs
lola: 175944 markings, 519124 edges, 1528 markings/sec, 110 secs
lola: 183209 markings, 543242 edges, 1453 markings/sec, 115 secs
lola: 190620 markings, 573327 edges, 1482 markings/sec, 120 secs
lola: 198251 markings, 601145 edges, 1526 markings/sec, 125 secs
lola: 206175 markings, 633301 edges, 1585 markings/sec, 130 secs
lola: 214366 markings, 660940 edges, 1638 markings/sec, 135 secs
lola: 222265 markings, 693361 edges, 1580 markings/sec, 140 secs
lola: 230362 markings, 723891 edges, 1619 markings/sec, 145 secs
lola: 238420 markings, 752598 edges, 1612 markings/sec, 150 secs
lola: 246373 markings, 785689 edges, 1591 markings/sec, 155 secs
lola: 254509 markings, 814806 edges, 1627 markings/sec, 160 secs
lola: 262441 markings, 844631 edges, 1586 markings/sec, 165 secs
lola: 270416 markings, 877457 edges, 1595 markings/sec, 170 secs
lola: 277605 markings, 903313 edges, 1438 markings/sec, 175 secs
lola: 283683 markings, 926024 edges, 1216 markings/sec, 180 secs
lola: 289602 markings, 947917 edges, 1184 markings/sec, 185 secs
lola: 295346 markings, 971925 edges, 1149 markings/sec, 190 secs
lola: 301255 markings, 997120 edges, 1182 markings/sec, 195 secs
lola: 307831 markings, 1018317 edges, 1315 markings/sec, 200 secs
lola: 314384 markings, 1040561 edges, 1311 markings/sec, 205 secs
lola: 320384 markings, 1062197 edges, 1200 markings/sec, 210 secs
lola: 326462 markings, 1084929 edges, 1216 markings/sec, 215 secs
lola: 332617 markings, 1110093 edges, 1231 markings/sec, 220 secs
lola: 338387 markings, 1134638 edges, 1154 markings/sec, 225 secs
lola: 345201 markings, 1158889 edges, 1363 markings/sec, 230 secs
lola: 352534 markings, 1182265 edges, 1467 markings/sec, 235 secs
lola: 359512 markings, 1207201 edges, 1396 markings/sec, 240 secs
lola: 366371 markings, 1232734 edges, 1372 markings/sec, 245 secs
lola: 373208 markings, 1260557 edges, 1367 markings/sec, 250 secs
lola: 379894 markings, 1289185 edges, 1337 markings/sec, 255 secs
lola: 387078 markings, 1313340 edges, 1437 markings/sec, 260 secs
lola: 393555 markings, 1336429 edges, 1295 markings/sec, 265 secs
lola: 399783 markings, 1361795 edges, 1246 markings/sec, 270 secs
lola: 405982 markings, 1384320 edges, 1240 markings/sec, 275 secs
lola: 412087 markings, 1409124 edges, 1221 markings/sec, 280 secs
lola: 418225 markings, 1433635 edges, 1228 markings/sec, 285 secs
lola: 425072 markings, 1454522 edges, 1369 markings/sec, 290 secs
lola: 431100 markings, 1476689 edges, 1206 markings/sec, 295 secs
lola: 436945 markings, 1500895 edges, 1169 markings/sec, 300 secs
lola: 442745 markings, 1522312 edges, 1160 markings/sec, 305 secs
lola: 448463 markings, 1545702 edges, 1144 markings/sec, 310 secs
lola: 454221 markings, 1568764 edges, 1152 markings/sec, 315 secs
lola: 461558 markings, 1591912 edges, 1467 markings/sec, 320 secs
lola: 468157 markings, 1613590 edges, 1320 markings/sec, 325 secs
lola: 474523 markings, 1637403 edges, 1273 markings/sec, 330 secs
lola: 480855 markings, 1661554 edges, 1266 markings/sec, 335 secs
lola: 487220 markings, 1688104 edges, 1273 markings/sec, 340 secs
lola: 493465 markings, 1714787 edges, 1249 markings/sec, 345 secs
lola: 500337 markings, 1737048 edges, 1374 markings/sec, 350 secs
lola: 506545 markings, 1759484 edges, 1242 markings/sec, 355 secs
lola: 512499 markings, 1783946 edges, 1191 markings/sec, 360 secs
lola: 518400 markings, 1805573 edges, 1180 markings/sec, 365 secs
lola: 524210 markings, 1829482 edges, 1162 markings/sec, 370 secs
lola: 530055 markings, 1852763 edges, 1169 markings/sec, 375 secs
lola: 535994 markings, 1872781 edges, 1188 markings/sec, 380 secs
lola: 541813 markings, 1890205 edges, 1164 markings/sec, 385 secs
lola: 547506 markings, 1913112 edges, 1139 markings/sec, 390 secs
lola: 556344 markings, 1933720 edges, 1768 markings/sec, 395 secs
lola: 563301 markings, 1953538 edges, 1391 markings/sec, 400 secs
lola: 570243 markings, 1971700 edges, 1388 markings/sec, 405 secs
lola: 577023 markings, 1989155 edges, 1356 markings/sec, 410 secs
lola: 583534 markings, 2006808 edges, 1302 markings/sec, 415 secs
lola: 590279 markings, 2024997 edges, 1349 markings/sec, 420 secs
lola: 596595 markings, 2047597 edges, 1263 markings/sec, 425 secs
lola: 602962 markings, 2066321 edges, 1273 markings/sec, 430 secs
lola: 610117 markings, 2086387 edges, 1431 markings/sec, 435 secs
lola: 617034 markings, 2112878 edges, 1383 markings/sec, 440 secs
lola: 624196 markings, 2132620 edges, 1432 markings/sec, 445 secs
lola: 630519 markings, 2157495 edges, 1265 markings/sec, 450 secs
lola: 636337 markings, 2181222 edges, 1164 markings/sec, 455 secs
lola: 642479 markings, 2206259 edges, 1228 markings/sec, 460 secs
lola: 648261 markings, 2229407 edges, 1156 markings/sec, 465 secs
lola: 655173 markings, 2255452 edges, 1382 markings/sec, 470 secs
lola: 662241 markings, 2278881 edges, 1414 markings/sec, 475 secs
lola: 669552 markings, 2306354 edges, 1462 markings/sec, 480 secs
lola: 676011 markings, 2330469 edges, 1292 markings/sec, 485 secs
lola: 682515 markings, 2356762 edges, 1301 markings/sec, 490 secs
lola: 689109 markings, 2381662 edges, 1319 markings/sec, 495 secs
lola: 696351 markings, 2405223 edges, 1448 markings/sec, 500 secs
lola: 703071 markings, 2429356 edges, 1344 markings/sec, 505 secs
lola: 709656 markings, 2453836 edges, 1317 markings/sec, 510 secs
lola: 715620 markings, 2478026 edges, 1193 markings/sec, 515 secs
lola: 721634 markings, 2501990 edges, 1203 markings/sec, 520 secs
lola: 728969 markings, 2526312 edges, 1467 markings/sec, 525 secs
lola: 735917 markings, 2549621 edges, 1390 markings/sec, 530 secs
lola: 742828 markings, 2576708 edges, 1382 markings/sec, 535 secs
lola: 748903 markings, 2599545 edges, 1215 markings/sec, 540 secs
lola: 755227 markings, 2624868 edges, 1265 markings/sec, 545 secs
lola: 761040 markings, 2650680 edges, 1163 markings/sec, 550 secs
lola: 767925 markings, 2674696 edges, 1377 markings/sec, 555 secs
lola: 773951 markings, 2696333 edges, 1205 markings/sec, 560 secs
lola: 779938 markings, 2719492 edges, 1197 markings/sec, 565 secs
lola: 785832 markings, 2743350 edges, 1179 markings/sec, 570 secs
lola: 791604 markings, 2766751 edges, 1154 markings/sec, 575 secs
lola: 797360 markings, 2791026 edges, 1151 markings/sec, 580 secs
lola: 803536 markings, 2815477 edges, 1235 markings/sec, 585 secs
lola: 809549 markings, 2839613 edges, 1203 markings/sec, 590 secs
lola: 815239 markings, 2864277 edges, 1138 markings/sec, 595 secs
lola: 823213 markings, 2887067 edges, 1595 markings/sec, 600 secs
lola: 831218 markings, 2909364 edges, 1601 markings/sec, 605 secs
lola: 837846 markings, 2929001 edges, 1326 markings/sec, 610 secs
lola: 844362 markings, 2948049 edges, 1303 markings/sec, 615 secs
lola: 850781 markings, 2966738 edges, 1284 markings/sec, 620 secs
lola: 857153 markings, 2986849 edges, 1274 markings/sec, 625 secs
lola: 863804 markings, 3005317 edges, 1330 markings/sec, 630 secs
lola: 870078 markings, 3024322 edges, 1255 markings/sec, 635 secs
lola: 876235 markings, 3042840 edges, 1231 markings/sec, 640 secs
lola: 882339 markings, 3060985 edges, 1221 markings/sec, 645 secs
lola: 888498 markings, 3079423 edges, 1232 markings/sec, 650 secs
lola: 894708 markings, 3097610 edges, 1242 markings/sec, 655 secs
lola: 900979 markings, 3117076 edges, 1254 markings/sec, 660 secs
lola: 907050 markings, 3135589 edges, 1214 markings/sec, 665 secs
lola: 913157 markings, 3155787 edges, 1221 markings/sec, 670 secs
lola: 919203 markings, 3173719 edges, 1209 markings/sec, 675 secs
lola: 925122 markings, 3192125 edges, 1184 markings/sec, 680 secs
lola: 931462 markings, 3210906 edges, 1268 markings/sec, 685 secs
lola: 937687 markings, 3229304 edges, 1245 markings/sec, 690 secs
lola: 943782 markings, 3247853 edges, 1219 markings/sec, 695 secs
lola: 949604 markings, 3268742 edges, 1164 markings/sec, 700 secs
lola: 955869 markings, 3288088 edges, 1253 markings/sec, 705 secs
lola: 962018 markings, 3306980 edges, 1230 markings/sec, 710 secs
lola: 968073 markings, 3325671 edges, 1211 markings/sec, 715 secs
lola: 974110 markings, 3344049 edges, 1207 markings/sec, 720 secs
lola: 980108 markings, 3362468 edges, 1200 markings/sec, 725 secs
lola: 986026 markings, 3382813 edges, 1184 markings/sec, 730 secs
lola: 992110 markings, 3401490 edges, 1217 markings/sec, 735 secs
lola: 997882 markings, 3424199 edges, 1154 markings/sec, 740 secs
lola: 1003589 markings, 3446983 edges, 1141 markings/sec, 745 secs
lola: 1009618 markings, 3471317 edges, 1206 markings/sec, 750 secs
lola: 1017391 markings, 3494298 edges, 1555 markings/sec, 755 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-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is 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 r070-smll-152649743200346"
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 ;