About the Execution of LoLA for DNAwalker-PT-08ringLL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1096.650 | 3569287.00 | 6794869.00 | 7237.30 | TTT?FF?TFTTF??TF | 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 276K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.3K 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 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K 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 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 9 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 112K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-08ringLL, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735400278
=====================================================================
--------------------
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-08ringLL-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526790225878
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-08ringLL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-08ringLL formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DNAwalker-PT-08ringLL @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= B3)
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always true: (B4 <= A17)
lola: LP says that atomic proposition is always false: (2 <= B5)
lola: atomic prop true by contained trap!
lola: A (G (((A14 <= 0) OR (A17 <= 2) OR (B3 <= A13)))) : A (G (TRUE)) : A (G (((2 <= A10) OR (A10 <= A7) OR (A13 <= 2) OR (((B4 <= A2) OR (1 <= B5)) AND (B2 + 1 <= A8))))) : A (G (((A13 <= 2) OR (A14 <= 2)))) : E (F (((3 <= A8) AND (A9 <= B4) AND (A1 + 1 <= A13) AND ((A2 <= A11) OR (2 <= A7))))) : E (F ((3 <= A3))) : E (F ((3 <= A7))) : E (F (((A13 <= 0) AND ((A13 <= B3) OR (1 <= B4)) AND (A18 <= 0) AND (A12 <= 0)))) : E (F (((3 <= A7) AND (2 <= A10) AND (A6 <= A17) AND (A5 <= A11)))) : A (G (())) : A (G (TRUE)) : E (F (())) : E (F ((3 <= A2))) : E (F (((B3 <= B15) AND (3 <= A5)))) : A (G (())) : A (G (((A12 <= A9) OR (1 <= A20))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 211 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: ========================================
15 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: processed formula with 0 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: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A3)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A3)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A3)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 382897 markings, 2023745 edges, 76579 markings/sec, 0 secs
lola: sara is running 5 secs || 734498 markings, 4113214 edges, 70320 markings/sec, 5 secs
lola: sara is running 10 secs || 1094254 markings, 6140268 edges, 71951 markings/sec, 10 secs
lola: sara is running 15 secs || 1434178 markings, 8205192 edges, 67985 markings/sec, 15 secs
lola: sara is running 20 secs || 1756992 markings, 10348383 edges, 64563 markings/sec, 20 secs
lola: sara is running 25 secs || 2085397 markings, 12501189 edges, 65681 markings/sec, 25 secs
lola: sara is running 30 secs || 2417523 markings, 14663607 edges, 66425 markings/sec, 30 secs
lola: sara is running 35 secs || 2728833 markings, 16777799 edges, 62262 markings/sec, 35 secs
lola: sara is running 40 secs || 3029230 markings, 19082811 edges, 60079 markings/sec, 40 secs
lola: sara is running 45 secs || 3333235 markings, 21196164 edges, 60801 markings/sec, 45 secs
lola: sara is running 50 secs || 3637974 markings, 23467564 edges, 60948 markings/sec, 50 secs
lola: sara is running 55 secs || 3933831 markings, 25627200 edges, 59171 markings/sec, 55 secs
lola: sara is running 60 secs || 4219318 markings, 27923408 edges, 57097 markings/sec, 60 secs
lola: sara is running 65 secs || 4579363 markings, 29854695 edges, 72009 markings/sec, 65 secs
lola: sara is running 70 secs || 4913634 markings, 31875570 edges, 66854 markings/sec, 70 secs
lola: sara is running 75 secs || 5247958 markings, 33892028 edges, 66865 markings/sec, 75 secs
lola: sara is running 80 secs || 5573344 markings, 35967453 edges, 65077 markings/sec, 80 secs
lola: sara is running 85 secs || 5884795 markings, 38022558 edges, 62290 markings/sec, 85 secs
lola: sara is running 90 secs || 6216280 markings, 40039305 edges, 66297 markings/sec, 90 secs
lola: sara is running 95 secs || 6586720 markings, 41770666 edges, 74088 markings/sec, 95 secs
lola: sara is running 100 secs || 6934547 markings, 43709736 edges, 69565 markings/sec, 100 secs
lola: sara is running 105 secs || 7270061 markings, 45571471 edges, 67103 markings/sec, 105 secs
lola: sara is running 110 secs || 7586592 markings, 47555528 edges, 63306 markings/sec, 110 secs
lola: sara is running 115 secs || 7885853 markings, 49588723 edges, 59852 markings/sec, 115 secs
lola: sara is running 120 secs || 8176653 markings, 51615492 edges, 58160 markings/sec, 120 secs
lola: sara is running 125 secs || 8446767 markings, 53887105 edges, 54023 markings/sec, 125 secs
lola: sara is running 130 secs || 8729429 markings, 56119459 edges, 56532 markings/sec, 130 secs
lola: sara is running 135 secs || 9069100 markings, 58127780 edges, 67934 markings/sec, 135 secs
lola: sara is running 140 secs || 9406953 markings, 60078690 edges, 67571 markings/sec, 140 secs
lola: sara is running 145 secs || 9725294 markings, 62135401 edges, 63668 markings/sec, 145 secs
lola: sara is running 150 secs || 10018474 markings, 64279123 edges, 58636 markings/sec, 150 secs
lola: sara is running 155 secs || 10295178 markings, 66571907 edges, 55341 markings/sec, 155 secs
lola: sara is running 160 secs || 10601457 markings, 68724271 edges, 61256 markings/sec, 160 secs
lola: sara is running 165 secs || 10921515 markings, 70790105 edges, 64012 markings/sec, 165 secs
lola: sara is running 170 secs || 11200127 markings, 72988073 edges, 55722 markings/sec, 170 secs
lola: sara is running 175 secs || 11504948 markings, 75129512 edges, 60964 markings/sec, 175 secs
lola: sara is running 180 secs || 11785664 markings, 77327164 edges, 56143 markings/sec, 180 secs
lola: sara is running 185 secs || 12074149 markings, 79545180 edges, 57697 markings/sec, 185 secs
lola: sara is running 190 secs || 12354254 markings, 81752887 edges, 56021 markings/sec, 190 secs
lola: sara is running 195 secs || 12657467 markings, 83778851 edges, 60643 markings/sec, 195 secs
lola: sara is running 200 secs || 12959650 markings, 85801830 edges, 60437 markings/sec, 200 secs
lola: sara is running 205 secs || 13245567 markings, 88042509 edges, 57183 markings/sec, 205 secs
lola: sara is running 210 secs || 13549061 markings, 90181026 edges, 60699 markings/sec, 210 secs
lola: sara is running 215 secs || 13835334 markings, 92464383 edges, 57255 markings/sec, 215 secs
lola: sara is running 220 secs || 14123389 markings, 94689682 edges, 57611 markings/sec, 220 secs
lola: sara is running 225 secs || 14393401 markings, 96974035 edges, 54002 markings/sec, 225 secs
lola: sara is running 230 secs || 14657496 markings, 99199382 edges, 52819 markings/sec, 230 secs
lola: sara is running 235 secs || 14943630 markings, 101407295 edges, 57227 markings/sec, 235 secs
lola: sara is running 240 secs || 15213742 markings, 103741090 edges, 54022 markings/sec, 240 secs
lola: sara is running 245 secs || 15473014 markings, 106041421 edges, 51854 markings/sec, 245 secs
lola: sara is running 250 secs || 15729313 markings, 108322021 edges, 51260 markings/sec, 250 secs
lola: sara is running 255 secs || 15993723 markings, 110576940 edges, 52882 markings/sec, 255 secs
lola: sara is running 260 secs || 16252924 markings, 112870313 edges, 51840 markings/sec, 260 secs
lola: sara is running 265 secs || 16511435 markings, 115158983 edges, 51702 markings/sec, 265 secs
lola: sara is running 270 secs || 16785193 markings, 117456242 edges, 54752 markings/sec, 270 secs
lola: sara is running 275 secs || 17044724 markings, 119859001 edges, 51906 markings/sec, 275 secs
lola: sara is running 280 secs || 17310509 markings, 122175863 edges, 53157 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown yes yes no unknown unknown yes unknown
lola: memory consumption: 604096 KB
lola: time consumption: 683 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A2)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A2)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A2)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 374388 markings, 2035985 edges, 74878 markings/sec, 0 secs
lola: sara is running 5 secs || 725265 markings, 4005202 edges, 70175 markings/sec, 5 secs
lola: sara is running 10 secs || 1068890 markings, 6135100 edges, 68725 markings/sec, 10 secs
lola: sara is running 15 secs || 1402205 markings, 8170758 edges, 66663 markings/sec, 15 secs
lola: sara is running 20 secs || 1712742 markings, 10320083 edges, 62107 markings/sec, 20 secs
lola: sara is running 25 secs || 2031196 markings, 12491848 edges, 63691 markings/sec, 25 secs
lola: sara is running 30 secs || 2380122 markings, 14469408 edges, 69785 markings/sec, 30 secs
lola: sara is running 35 secs || 2701508 markings, 16639537 edges, 64277 markings/sec, 35 secs
lola: sara is running 40 secs || 3014604 markings, 18854703 edges, 62619 markings/sec, 40 secs
lola: sara is running 45 secs || 3335699 markings, 20943383 edges, 64219 markings/sec, 45 secs
lola: sara is running 50 secs || 3639182 markings, 23138689 edges, 60697 markings/sec, 50 secs
lola: sara is running 55 secs || 3938347 markings, 25305220 edges, 59833 markings/sec, 55 secs
lola: sara is running 60 secs || 4249632 markings, 27364003 edges, 62257 markings/sec, 60 secs
lola: sara is running 65 secs || 4542128 markings, 29548106 edges, 58499 markings/sec, 65 secs
lola: sara is running 70 secs || 4908532 markings, 31397230 edges, 73281 markings/sec, 70 secs
lola: sara is running 75 secs || 5247416 markings, 33483491 edges, 67777 markings/sec, 75 secs
lola: sara is running 80 secs || 5570972 markings, 35589530 edges, 64711 markings/sec, 80 secs
lola: sara is running 85 secs || 5885717 markings, 37666768 edges, 62949 markings/sec, 85 secs
lola: sara is running 90 secs || 6202152 markings, 39720985 edges, 63287 markings/sec, 90 secs
lola: sara is running 95 secs || 6512165 markings, 41744662 edges, 62003 markings/sec, 95 secs
lola: sara is running 100 secs || 6836586 markings, 43847285 edges, 64884 markings/sec, 100 secs
lola: sara is running 105 secs || 7189283 markings, 45884286 edges, 70539 markings/sec, 105 secs
lola: sara is running 110 secs || 7501366 markings, 48163079 edges, 62417 markings/sec, 110 secs
lola: sara is running 115 secs || 7803156 markings, 50490860 edges, 60358 markings/sec, 115 secs
lola: sara is running 120 secs || 8096743 markings, 52786956 edges, 58717 markings/sec, 120 secs
lola: sara is running 125 secs || 8427332 markings, 54937562 edges, 66118 markings/sec, 125 secs
lola: sara is running 130 secs || 8724445 markings, 57272744 edges, 59423 markings/sec, 130 secs
lola: sara is running 135 secs || 9039504 markings, 59416712 edges, 63012 markings/sec, 135 secs
lola: sara is running 140 secs || 9331900 markings, 61555749 edges, 58479 markings/sec, 140 secs
lola: sara is running 145 secs || 9597475 markings, 63864240 edges, 53115 markings/sec, 145 secs
lola: sara is running 150 secs || 9936523 markings, 65847908 edges, 67810 markings/sec, 150 secs
lola: sara is running 155 secs || 10261523 markings, 67977537 edges, 65000 markings/sec, 155 secs
lola: sara is running 160 secs || 10553394 markings, 70272253 edges, 58374 markings/sec, 160 secs
lola: sara is running 165 secs || 10841288 markings, 72610437 edges, 57579 markings/sec, 165 secs
lola: sara is running 170 secs || 11122870 markings, 74905079 edges, 56316 markings/sec, 170 secs
lola: sara is running 175 secs || 11430063 markings, 77017954 edges, 61439 markings/sec, 175 secs
lola: sara is running 180 secs || 11723089 markings, 79317096 edges, 58605 markings/sec, 180 secs
lola: sara is running 185 secs || 12000753 markings, 81683229 edges, 55533 markings/sec, 185 secs
lola: sara is running 190 secs || 12305145 markings, 83760811 edges, 60878 markings/sec, 190 secs
lola: sara is running 195 secs || 12586866 markings, 86062352 edges, 56344 markings/sec, 195 secs
lola: sara is running 200 secs || 12855884 markings, 88420299 edges, 53804 markings/sec, 200 secs
lola: sara is running 205 secs || 13125045 markings, 90753961 edges, 53832 markings/sec, 205 secs
lola: sara is running 210 secs || 13405558 markings, 93045370 edges, 56103 markings/sec, 210 secs
lola: sara is running 215 secs || 13705120 markings, 95325510 edges, 59912 markings/sec, 215 secs
lola: sara is running 220 secs || 13995308 markings, 97643454 edges, 58038 markings/sec, 220 secs
lola: sara is running 225 secs || 14277490 markings, 99905943 edges, 56436 markings/sec, 225 secs
lola: sara is running 230 secs || 14558135 markings, 102138305 edges, 56129 markings/sec, 230 secs
lola: sara is running 235 secs || 14838374 markings, 104379278 edges, 56048 markings/sec, 235 secs
lola: sara is running 240 secs || 15098648 markings, 106647130 edges, 52055 markings/sec, 240 secs
lola: sara is running 245 secs || 15352487 markings, 109087534 edges, 50768 markings/sec, 245 secs
lola: sara is running 250 secs || 15611924 markings, 111485312 edges, 51887 markings/sec, 250 secs
lola: sara is running 255 secs || 15903066 markings, 113801874 edges, 58228 markings/sec, 255 secs
lola: sara is running 260 secs || 16169921 markings, 116152604 edges, 53371 markings/sec, 260 secs
lola: sara is running 265 secs || 16447254 markings, 118482614 edges, 55467 markings/sec, 265 secs
lola: sara is running 270 secs || 16718779 markings, 120816263 edges, 54305 markings/sec, 270 secs
lola: sara is running 275 secs || 16983971 markings, 123184928 edges, 53038 markings/sec, 275 secs
lola: sara is running 280 secs || 17258164 markings, 125486757 edges, 54839 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown yes yes no unknown unknown yes unknown
lola: memory consumption: 602784 KB
lola: time consumption: 971 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A7)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A7)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A7)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 341198 markings, 2134174 edges, 68240 markings/sec, 0 secs
lola: sara is running 5 secs || 653270 markings, 4326720 edges, 62414 markings/sec, 5 secs
lola: sara is running 10 secs || 956080 markings, 6503135 edges, 60562 markings/sec, 10 secs
lola: sara is running 15 secs || 1240142 markings, 8834415 edges, 56812 markings/sec, 15 secs
lola: sara is running 20 secs || 1547053 markings, 11060576 edges, 61382 markings/sec, 20 secs
lola: sara is running 25 secs || 1843012 markings, 13274685 edges, 59192 markings/sec, 25 secs
lola: sara is running 30 secs || 2139853 markings, 15456424 edges, 59368 markings/sec, 30 secs
lola: sara is running 35 secs || 2426274 markings, 17689846 edges, 57284 markings/sec, 35 secs
lola: sara is running 40 secs || 2690710 markings, 19959179 edges, 52887 markings/sec, 40 secs
lola: sara is running 45 secs || 3001067 markings, 22179327 edges, 62071 markings/sec, 45 secs
lola: sara is running 50 secs || 3295349 markings, 24417134 edges, 58856 markings/sec, 50 secs
lola: sara is running 55 secs || 3584702 markings, 26669608 edges, 57871 markings/sec, 55 secs
lola: sara is running 60 secs || 3870229 markings, 28930396 edges, 57105 markings/sec, 60 secs
lola: sara is running 65 secs || 4145384 markings, 31160762 edges, 55031 markings/sec, 65 secs
lola: sara is running 70 secs || 4453848 markings, 33268657 edges, 61693 markings/sec, 70 secs
lola: sara is running 75 secs || 4739721 markings, 35453498 edges, 57175 markings/sec, 75 secs
lola: sara is running 80 secs || 5014621 markings, 37646417 edges, 54980 markings/sec, 80 secs
lola: sara is running 85 secs || 5281286 markings, 39790570 edges, 53333 markings/sec, 85 secs
lola: sara is running 90 secs || 5529075 markings, 42014045 edges, 49558 markings/sec, 90 secs
lola: sara is running 95 secs || 5781203 markings, 44276012 edges, 50426 markings/sec, 95 secs
lola: sara is running 100 secs || 6100951 markings, 46478049 edges, 63950 markings/sec, 100 secs
lola: sara is running 105 secs || 6395061 markings, 48744878 edges, 58822 markings/sec, 105 secs
lola: sara is running 110 secs || 6698247 markings, 50881678 edges, 60637 markings/sec, 110 secs
lola: sara is running 115 secs || 6973055 markings, 53201550 edges, 54962 markings/sec, 115 secs
lola: sara is running 120 secs || 7253074 markings, 55483682 edges, 56004 markings/sec, 120 secs
lola: sara is running 125 secs || 7546185 markings, 57735124 edges, 58622 markings/sec, 125 secs
lola: sara is running 130 secs || 7834545 markings, 59959082 edges, 57672 markings/sec, 130 secs
lola: sara is running 135 secs || 8119055 markings, 62136145 edges, 56902 markings/sec, 135 secs
lola: sara is running 140 secs || 8395117 markings, 64383398 edges, 55212 markings/sec, 140 secs
lola: sara is running 145 secs || 8666300 markings, 66633491 edges, 54237 markings/sec, 145 secs
lola: sara is running 150 secs || 8942779 markings, 68884098 edges, 55296 markings/sec, 150 secs
lola: sara is running 155 secs || 9232203 markings, 71158187 edges, 57885 markings/sec, 155 secs
lola: sara is running 160 secs || 9508440 markings, 73475436 edges, 55247 markings/sec, 160 secs
lola: sara is running 165 secs || 9790912 markings, 75710341 edges, 56494 markings/sec, 165 secs
lola: sara is running 170 secs || 10056890 markings, 78068367 edges, 53196 markings/sec, 170 secs
lola: sara is running 175 secs || 10333061 markings, 80303716 edges, 55234 markings/sec, 175 secs
lola: sara is running 180 secs || 10602476 markings, 82543287 edges, 53883 markings/sec, 180 secs
lola: sara is running 185 secs || 10874043 markings, 84811499 edges, 54313 markings/sec, 185 secs
lola: sara is running 190 secs || 11146272 markings, 87069272 edges, 54446 markings/sec, 190 secs
lola: sara is running 195 secs || 11398231 markings, 89425901 edges, 50392 markings/sec, 195 secs
lola: sara is running 200 secs || 11666496 markings, 91678211 edges, 53653 markings/sec, 200 secs
lola: sara is running 205 secs || 11926195 markings, 93985164 edges, 51940 markings/sec, 205 secs
lola: sara is running 210 secs || 12188951 markings, 96251111 edges, 52551 markings/sec, 210 secs
lola: sara is running 215 secs || 12438911 markings, 98405503 edges, 49992 markings/sec, 215 secs
lola: sara is running 220 secs || 12732604 markings, 100629682 edges, 58739 markings/sec, 220 secs
lola: sara is running 225 secs || 13035215 markings, 102740794 edges, 60522 markings/sec, 225 secs
lola: sara is running 230 secs || 13321572 markings, 104945057 edges, 57271 markings/sec, 230 secs
lola: sara is running 235 secs || 13614514 markings, 107108978 edges, 58588 markings/sec, 235 secs
lola: sara is running 240 secs || 13887579 markings, 109334910 edges, 54613 markings/sec, 240 secs
lola: sara is running 245 secs || 14184659 markings, 111496756 edges, 59416 markings/sec, 245 secs
lola: sara is running 250 secs || 14467837 markings, 113718583 edges, 56636 markings/sec, 250 secs
lola: sara is running 255 secs || 14753805 markings, 115857838 edges, 57194 markings/sec, 255 secs
lola: sara is running 260 secs || 15028365 markings, 118065595 edges, 54912 markings/sec, 260 secs
lola: sara is running 265 secs || 15287581 markings, 120221314 edges, 51843 markings/sec, 265 secs
lola: sara is running 270 secs || 15541843 markings, 122501743 edges, 50852 markings/sec, 270 secs
lola: sara is running 275 secs || 15835742 markings, 124573697 edges, 58780 markings/sec, 275 secs
lola: sara is running 280 secs || 16122644 markings, 126652328 edges, 57380 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown yes yes no unknown unknown yes unknown
lola: memory consumption: 565964 KB
lola: time consumption: 1259 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A13 <= 2) OR (A14 <= 2))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A13 <= 2) OR (A14 <= 2))))
lola: processed formula length: 35
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((3 <= A13) AND (3 <= A14))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 573818 markings, 1819620 edges, 114764 markings/sec, 0 secs
lola: sara is running 5 secs || 1073246 markings, 3737448 edges, 99886 markings/sec, 5 secs
lola: sara is running 10 secs || 1577011 markings, 5704831 edges, 100753 markings/sec, 10 secs
lola: sara is running 15 secs || 2085535 markings, 7709257 edges, 101705 markings/sec, 15 secs
lola: sara is running 20 secs || 2591448 markings, 9687400 edges, 101183 markings/sec, 20 secs
lola: sara is running 25 secs || 3097943 markings, 11703890 edges, 101299 markings/sec, 25 secs
lola: sara is running 30 secs || 3569826 markings, 13766109 edges, 94377 markings/sec, 30 secs
lola: sara is running 35 secs || 4048015 markings, 15793947 edges, 95638 markings/sec, 35 secs
lola: sara is running 40 secs || 4500442 markings, 17993044 edges, 90485 markings/sec, 40 secs
lola: sara is running 45 secs || 4967464 markings, 20169689 edges, 93404 markings/sec, 45 secs
lola: sara is running 50 secs || 5406527 markings, 22392355 edges, 87813 markings/sec, 50 secs
lola: sara is running 55 secs || 5942961 markings, 24334718 edges, 107287 markings/sec, 55 secs
lola: sara is running 60 secs || 6444569 markings, 26243328 edges, 100322 markings/sec, 60 secs
lola: sara is running 65 secs || 6933959 markings, 28100485 edges, 97878 markings/sec, 65 secs
lola: sara is running 70 secs || 7393412 markings, 30144807 edges, 91891 markings/sec, 70 secs
lola: sara is running 75 secs || 7857577 markings, 32234123 edges, 92833 markings/sec, 75 secs
lola: sara is running 80 secs || 8292380 markings, 34421041 edges, 86961 markings/sec, 80 secs
lola: sara is running 85 secs || 8774184 markings, 36334235 edges, 96361 markings/sec, 85 secs
lola: sara is running 90 secs || 9229701 markings, 38315958 edges, 91103 markings/sec, 90 secs
lola: sara is running 95 secs || 9653189 markings, 40346189 edges, 84698 markings/sec, 95 secs
lola: sara is running 100 secs || 10116319 markings, 42454070 edges, 92626 markings/sec, 100 secs
lola: sara is running 105 secs || 10579899 markings, 44550162 edges, 92716 markings/sec, 105 secs
lola: sara is running 110 secs || 11035734 markings, 46736262 edges, 91167 markings/sec, 110 secs
lola: sara is running 115 secs || 11483786 markings, 48843664 edges, 89610 markings/sec, 115 secs
lola: sara is running 120 secs || 11987842 markings, 50780993 edges, 100811 markings/sec, 120 secs
lola: sara is running 125 secs || 12473238 markings, 52746757 edges, 97079 markings/sec, 125 secs
lola: sara is running 130 secs || 12955881 markings, 54605953 edges, 96529 markings/sec, 130 secs
lola: sara is running 135 secs || 13415211 markings, 56544297 edges, 91866 markings/sec, 135 secs
lola: sara is running 140 secs || 13888449 markings, 58437188 edges, 94648 markings/sec, 140 secs
lola: sara is running 145 secs || 14353223 markings, 60314779 edges, 92955 markings/sec, 145 secs
lola: sara is running 150 secs || 14803176 markings, 62331958 edges, 89991 markings/sec, 150 secs
lola: sara is running 155 secs || 15246090 markings, 64338875 edges, 88583 markings/sec, 155 secs
lola: sara is running 160 secs || 15676734 markings, 66361181 edges, 86129 markings/sec, 160 secs
lola: sara is running 165 secs || 16145287 markings, 68340442 edges, 93711 markings/sec, 165 secs
lola: sara is running 170 secs || 16641018 markings, 70222096 edges, 99146 markings/sec, 170 secs
lola: sara is running 175 secs || 17116247 markings, 72189490 edges, 95046 markings/sec, 175 secs
lola: sara is running 180 secs || 17565901 markings, 74211992 edges, 89931 markings/sec, 180 secs
lola: sara is running 185 secs || 17986926 markings, 76237565 edges, 84205 markings/sec, 185 secs
lola: sara is running 190 secs || 18447405 markings, 78149371 edges, 92096 markings/sec, 190 secs
lola: sara is running 195 secs || 18908893 markings, 80190502 edges, 92298 markings/sec, 195 secs
lola: sara is running 200 secs || 19369473 markings, 82274085 edges, 92116 markings/sec, 200 secs
lola: sara is running 205 secs || 19809049 markings, 84218558 edges, 87915 markings/sec, 205 secs
lola: sara is running 210 secs || 20230843 markings, 86158206 edges, 84359 markings/sec, 210 secs
lola: sara is running 215 secs || 20563409 markings, 88106117 edges, 66513 markings/sec, 215 secs
lola: sara is running 220 secs || 20912798 markings, 90222729 edges, 69878 markings/sec, 220 secs
lola: sara is running 225 secs || 21277392 markings, 92297974 edges, 72919 markings/sec, 225 secs
lola: sara is running 230 secs || 21592984 markings, 94506093 edges, 63118 markings/sec, 230 secs
lola: sara is running 235 secs || 22031856 markings, 96661733 edges, 87774 markings/sec, 235 secs
lola: sara is running 240 secs || 22483429 markings, 98785285 edges, 90315 markings/sec, 240 secs
lola: sara is running 245 secs || 22923422 markings, 100902863 edges, 87999 markings/sec, 245 secs
lola: sara is running 250 secs || 23326403 markings, 103072505 edges, 80596 markings/sec, 250 secs
lola: sara is running 255 secs || 23747898 markings, 105167558 edges, 84299 markings/sec, 255 secs
lola: sara is running 260 secs || 24170269 markings, 107316514 edges, 84474 markings/sec, 260 secs
lola: sara is running 265 secs || 24596181 markings, 109530350 edges, 85182 markings/sec, 265 secs
lola: sara is running 270 secs || 24996329 markings, 111634622 edges, 80030 markings/sec, 270 secs
lola: sara is running 275 secs || 25372783 markings, 113762090 edges, 75291 markings/sec, 275 secs
lola: sara is running 280 secs || 25694833 markings, 115930397 edges, 64410 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown yes yes no unknown unknown yes unknown
lola: memory consumption: 886320 KB
lola: time consumption: 1547 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((B3 <= B15) AND (3 <= A5))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((B3 <= B15) AND (3 <= A5))))
lola: processed formula length: 35
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((B3 <= B15) AND (3 <= A5))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 427324 markings, 2081200 edges, 85465 markings/sec, 0 secs
lola: sara is running 5 secs || 811150 markings, 4326600 edges, 76765 markings/sec, 5 secs
lola: sara is running 10 secs || 1207802 markings, 6482114 edges, 79330 markings/sec, 10 secs
lola: sara is running 15 secs || 1587485 markings, 8656378 edges, 75937 markings/sec, 15 secs
lola: sara is running 20 secs || 1959914 markings, 10815691 edges, 74486 markings/sec, 20 secs
lola: sara is running 25 secs || 2364227 markings, 12896587 edges, 80863 markings/sec, 25 secs
lola: sara is running 30 secs || 2743736 markings, 15044819 edges, 75902 markings/sec, 30 secs
lola: sara is running 35 secs || 3113338 markings, 17159469 edges, 73920 markings/sec, 35 secs
lola: sara is running 40 secs || 3409011 markings, 19215763 edges, 59135 markings/sec, 40 secs
lola: sara is running 45 secs || 3789420 markings, 21536842 edges, 76082 markings/sec, 45 secs
lola: sara is running 50 secs || 4178037 markings, 23759902 edges, 77723 markings/sec, 50 secs
lola: sara is running 55 secs || 4594307 markings, 25770068 edges, 83254 markings/sec, 55 secs
lola: sara is running 60 secs || 4998725 markings, 27834104 edges, 80884 markings/sec, 60 secs
lola: sara is running 65 secs || 5346459 markings, 29812894 edges, 69547 markings/sec, 65 secs
lola: sara is running 70 secs || 5712149 markings, 31997616 edges, 73138 markings/sec, 70 secs
lola: sara is running 75 secs || 6098748 markings, 34063302 edges, 77320 markings/sec, 75 secs
lola: sara is running 80 secs || 6547282 markings, 36098787 edges, 89707 markings/sec, 80 secs
lola: sara is running 85 secs || 6959661 markings, 38272345 edges, 82476 markings/sec, 85 secs
lola: sara is running 90 secs || 7370477 markings, 40371884 edges, 82163 markings/sec, 90 secs
lola: sara is running 95 secs || 7736702 markings, 42492490 edges, 73245 markings/sec, 95 secs
lola: sara is running 100 secs || 8065821 markings, 44654749 edges, 65824 markings/sec, 100 secs
lola: sara is running 105 secs || 8456061 markings, 46947925 edges, 78048 markings/sec, 105 secs
lola: sara is running 110 secs || 8870783 markings, 48974395 edges, 82944 markings/sec, 110 secs
lola: sara is running 115 secs || 9264253 markings, 51126300 edges, 78694 markings/sec, 115 secs
lola: sara is running 120 secs || 9667959 markings, 53352412 edges, 80741 markings/sec, 120 secs
lola: sara is running 125 secs || 10060873 markings, 55502511 edges, 78583 markings/sec, 125 secs
lola: sara is running 130 secs || 10407233 markings, 57680674 edges, 69272 markings/sec, 130 secs
lola: sara is running 135 secs || 10754574 markings, 60004087 edges, 69468 markings/sec, 135 secs
lola: sara is running 140 secs || 11087375 markings, 62290629 edges, 66560 markings/sec, 140 secs
lola: sara is running 145 secs || 11417605 markings, 64554241 edges, 66046 markings/sec, 145 secs
lola: sara is running 150 secs || 11749797 markings, 66749191 edges, 66438 markings/sec, 150 secs
lola: sara is running 155 secs || 12114436 markings, 68903241 edges, 72928 markings/sec, 155 secs
lola: sara is running 160 secs || 12452970 markings, 71160967 edges, 67707 markings/sec, 160 secs
lola: sara is running 165 secs || 12808196 markings, 73451108 edges, 71045 markings/sec, 165 secs
lola: sara is running 170 secs || 13134192 markings, 75757714 edges, 65199 markings/sec, 170 secs
lola: sara is running 175 secs || 13469789 markings, 78071114 edges, 67119 markings/sec, 175 secs
lola: sara is running 180 secs || 13806105 markings, 80321574 edges, 67263 markings/sec, 180 secs
lola: sara is running 185 secs || 14149893 markings, 82415567 edges, 68758 markings/sec, 185 secs
lola: sara is running 190 secs || 14493542 markings, 84588283 edges, 68730 markings/sec, 190 secs
lola: sara is running 195 secs || 14823886 markings, 86866038 edges, 66069 markings/sec, 195 secs
lola: sara is running 200 secs || 15162611 markings, 89173232 edges, 67745 markings/sec, 200 secs
lola: sara is running 205 secs || 15463185 markings, 91451526 edges, 60115 markings/sec, 205 secs
lola: sara is running 210 secs || 15787364 markings, 93776229 edges, 64836 markings/sec, 210 secs
lola: sara is running 215 secs || 16108662 markings, 96174630 edges, 64260 markings/sec, 215 secs
lola: sara is running 220 secs || 16416394 markings, 98480318 edges, 61546 markings/sec, 220 secs
lola: sara is running 225 secs || 16728736 markings, 100828649 edges, 62468 markings/sec, 225 secs
lola: sara is running 230 secs || 17054047 markings, 102965301 edges, 65062 markings/sec, 230 secs
lola: sara is running 235 secs || 17388364 markings, 105155559 edges, 66863 markings/sec, 235 secs
lola: sara is running 240 secs || 17708428 markings, 107403262 edges, 64013 markings/sec, 240 secs
lola: sara is running 245 secs || 18071252 markings, 109737956 edges, 72565 markings/sec, 245 secs
lola: sara is running 250 secs || 18406517 markings, 112175550 edges, 67053 markings/sec, 250 secs
lola: sara is running 255 secs || 18736803 markings, 114553361 edges, 66057 markings/sec, 255 secs
lola: sara is running 260 secs || 19062144 markings, 116958804 edges, 65068 markings/sec, 260 secs
lola: sara is running 265 secs || 19387782 markings, 119339994 edges, 65128 markings/sec, 265 secs
lola: sara is running 270 secs || 19704232 markings, 121696136 edges, 63290 markings/sec, 270 secs
lola: sara is running 275 secs || 20043051 markings, 124022849 edges, 67764 markings/sec, 275 secs
lola: sara is running 280 secs || 20365917 markings, 126325346 edges, 64573 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown yes yes no unknown unknown yes unknown
lola: memory consumption: 707400 KB
lola: time consumption: 1835 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A12 <= A9) OR (1 <= A20))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A12 <= A9) OR (1 <= A20))))
lola: processed formula length: 36
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A9 + 1 <= A12) AND (A20 <= 0))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A14 <= 0) OR (A17 <= 2) OR (B3 <= A13))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((A14 <= 0) OR (A17 <= 2) OR (B3 <= A13))))
lola: processed formula length: 51
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= A14) AND (3 <= A17) AND (A13 + 1 <= B3))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 407930 markings, 1848406 edges, 81586 markings/sec, 0 secs
lola: sara is running 5 secs || 937851 markings, 3618215 edges, 105984 markings/sec, 5 secs
lola: sara is running 10 secs || 1454293 markings, 5337005 edges, 103288 markings/sec, 10 secs
lola: sara is running 15 secs || 1904926 markings, 7335554 edges, 90127 markings/sec, 15 secs
lola: sara is running 20 secs || 2359036 markings, 9381499 edges, 90822 markings/sec, 20 secs
lola: sara is running 25 secs || 2975360 markings, 11278303 edges, 123265 markings/sec, 25 secs
lola: sara is running 30 secs || 3395918 markings, 13124579 edges, 84112 markings/sec, 30 secs
lola: sara is running 35 secs || 3780144 markings, 15229093 edges, 76845 markings/sec, 35 secs
lola: sara is running 40 secs || 4439714 markings, 16991787 edges, 131914 markings/sec, 40 secs
lola: sara is running 45 secs || 4828965 markings, 18989219 edges, 77850 markings/sec, 45 secs
lola: sara is running 50 secs || 5300772 markings, 20969797 edges, 94361 markings/sec, 50 secs
lola: sara is running 55 secs || 5762726 markings, 22972799 edges, 92391 markings/sec, 55 secs
lola: sara is running 60 secs || 6509253 markings, 24622687 edges, 149305 markings/sec, 60 secs
lola: sara is running 65 secs || 7239615 markings, 26384150 edges, 146072 markings/sec, 65 secs
lola: sara is running 70 secs || 7764223 markings, 28233378 edges, 104922 markings/sec, 70 secs
lola: sara is running 75 secs || 8142354 markings, 30208559 edges, 75626 markings/sec, 75 secs
lola: sara is running 80 secs || 8514329 markings, 32240969 edges, 74395 markings/sec, 80 secs
lola: sara is running 85 secs || 8944195 markings, 34136132 edges, 85973 markings/sec, 85 secs
lola: sara is running 90 secs || 9350541 markings, 36092780 edges, 81269 markings/sec, 90 secs
lola: sara is running 95 secs || 9790522 markings, 37903686 edges, 87996 markings/sec, 95 secs
lola: sara is running 100 secs || 10211709 markings, 39940040 edges, 84237 markings/sec, 100 secs
lola: sara is running 105 secs || 10623956 markings, 42045088 edges, 82449 markings/sec, 105 secs
lola: sara is running 110 secs || 11125129 markings, 44089183 edges, 100235 markings/sec, 110 secs
lola: sara is running 115 secs || 11577754 markings, 46054405 edges, 90525 markings/sec, 115 secs
lola: sara is running 120 secs || 11979800 markings, 48176298 edges, 80409 markings/sec, 120 secs
lola: sara is running 125 secs || 12427934 markings, 50096115 edges, 89627 markings/sec, 125 secs
lola: sara is running 130 secs || 12831139 markings, 52124892 edges, 80641 markings/sec, 130 secs
lola: sara is running 135 secs || 13177225 markings, 54225265 edges, 69217 markings/sec, 135 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 13340851 markings, 55331192 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 398 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((A13 <= 0) AND ((A13 <= B3) OR (1 <= B4)) AND (A18 <= 0) AND (A12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((A13 <= 0) AND ((A13 <= B3) OR (1 <= B4)) AND (A18 <= 0) AND (A12 <= 0))))
lola: processed formula length: 82
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((A13 <= 0) AND ((A13 <= B3) OR (1 <= B4)) AND (A18 <= 0) AND (A12 <= 0))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-12-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 13 will run for 530 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
...considering subproblem: E (F (((3 <= A7) AND (2 <= A10) AND (A6 <= A17) AND (A5 <= A11))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A7) AND (2 <= A10) AND (A6 <= A17) AND (A5 <= A11))))
lola: processed formula length: 66
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((3 <= A7) AND (2 <= A10) AND (A6 <= A17) AND (A5 <= A11))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 376026 markings, 1950305 edges, 75205 markings/sec, 0 secs
lola: sara is running 5 secs || 721338 markings, 4006216 edges, 69062 markings/sec, 5 secs
lola: sara is running 10 secs || 1067700 markings, 6183550 edges, 69272 markings/sec, 10 secs
lola: sara is running 15 secs || 1381899 markings, 8548139 edges, 62840 markings/sec, 15 secs
lola: sara is running 20 secs || 1707035 markings, 10616323 edges, 65027 markings/sec, 20 secs
lola: sara is running 25 secs || 2009682 markings, 12907339 edges, 60529 markings/sec, 25 secs
lola: sara is running 30 secs || 2310082 markings, 15260042 edges, 60080 markings/sec, 30 secs
lola: sara is running 35 secs || 2598075 markings, 17648688 edges, 57599 markings/sec, 35 secs
lola: sara is running 40 secs || 2886248 markings, 19957574 edges, 57635 markings/sec, 40 secs
lola: sara is running 45 secs || 3204076 markings, 22148260 edges, 63566 markings/sec, 45 secs
lola: sara is running 50 secs || 3540402 markings, 24278589 edges, 67265 markings/sec, 50 secs
lola: sara is running 55 secs || 3865722 markings, 26372197 edges, 65064 markings/sec, 55 secs
lola: sara is running 60 secs || 4171786 markings, 28720976 edges, 61213 markings/sec, 60 secs
lola: sara is running 65 secs || 4469420 markings, 31114010 edges, 59527 markings/sec, 65 secs
lola: sara is running 70 secs || 4770949 markings, 33521469 edges, 60306 markings/sec, 70 secs
lola: sara is running 75 secs || 5088131 markings, 35727902 edges, 63436 markings/sec, 75 secs
lola: sara is running 80 secs || 5373727 markings, 38117847 edges, 57119 markings/sec, 80 secs
lola: sara is running 85 secs || 5668104 markings, 40389091 edges, 58875 markings/sec, 85 secs
lola: sara is running 90 secs || 5941477 markings, 42759124 edges, 54675 markings/sec, 90 secs
lola: sara is running 95 secs || 6227827 markings, 45042009 edges, 57270 markings/sec, 95 secs
lola: sara is running 100 secs || 6518869 markings, 47067090 edges, 58208 markings/sec, 100 secs
lola: sara is running 105 secs || 6889799 markings, 48885399 edges, 74186 markings/sec, 105 secs
lola: sara is running 110 secs || 7237634 markings, 50902180 edges, 69567 markings/sec, 110 secs
lola: sara is running 115 secs || 7562932 markings, 53023510 edges, 65060 markings/sec, 115 secs
lola: sara is running 120 secs || 7891178 markings, 55117368 edges, 65649 markings/sec, 120 secs
lola: sara is running 125 secs || 8241437 markings, 57373967 edges, 70052 markings/sec, 125 secs
lola: sara is running 130 secs || 8600760 markings, 59293116 edges, 71865 markings/sec, 130 secs
lola: sara is running 135 secs || 8923061 markings, 61380449 edges, 64460 markings/sec, 135 secs
lola: sara is running 140 secs || 9257700 markings, 63475762 edges, 66928 markings/sec, 140 secs
lola: sara is running 145 secs || 9583992 markings, 65647353 edges, 65258 markings/sec, 145 secs
lola: sara is running 150 secs || 9918309 markings, 67759037 edges, 66863 markings/sec, 150 secs
lola: sara is running 155 secs || 10283352 markings, 69634441 edges, 73009 markings/sec, 155 secs
lola: sara is running 160 secs || 10613731 markings, 71685300 edges, 66076 markings/sec, 160 secs
lola: sara is running 165 secs || 10932168 markings, 73794967 edges, 63687 markings/sec, 165 secs
lola: sara is running 170 secs || 11243473 markings, 75932522 edges, 62261 markings/sec, 170 secs
lola: sara is running 175 secs || 11545861 markings, 78101352 edges, 60478 markings/sec, 175 secs
lola: sara is running 180 secs || 11840370 markings, 80167830 edges, 58902 markings/sec, 180 secs
lola: sara is running 185 secs || 12123659 markings, 82413308 edges, 56658 markings/sec, 185 secs
lola: sara is running 190 secs || 12427453 markings, 84761688 edges, 60759 markings/sec, 190 secs
lola: sara is running 195 secs || 12729012 markings, 87072825 edges, 60312 markings/sec, 195 secs
lola: sara is running 200 secs || 13039625 markings, 89292277 edges, 62123 markings/sec, 200 secs
lola: sara is running 205 secs || 13335502 markings, 91700895 edges, 59175 markings/sec, 205 secs
lola: sara is running 210 secs || 13680227 markings, 93549516 edges, 68945 markings/sec, 210 secs
lola: sara is running 215 secs || 13990396 markings, 95569759 edges, 62034 markings/sec, 215 secs
lola: sara is running 220 secs || 14284280 markings, 97572297 edges, 58777 markings/sec, 220 secs
lola: sara is running 225 secs || 14576326 markings, 99791641 edges, 58409 markings/sec, 225 secs
lola: sara is running 230 secs || 14886572 markings, 101982420 edges, 62049 markings/sec, 230 secs
lola: sara is running 235 secs || 15188706 markings, 104225088 edges, 60427 markings/sec, 235 secs
lola: sara is running 240 secs || 15499988 markings, 106245462 edges, 62256 markings/sec, 240 secs
lola: sara is running 245 secs || 15761074 markings, 108313633 edges, 52217 markings/sec, 245 secs
lola: sara is running 250 secs || 16040614 markings, 110509761 edges, 55908 markings/sec, 250 secs
lola: sara is running 255 secs || 16333728 markings, 112827179 edges, 58623 markings/sec, 255 secs
lola: sara is running 260 secs || 16626144 markings, 115024776 edges, 58483 markings/sec, 260 secs
lola: sara is running 265 secs || 16893351 markings, 117425217 edges, 53441 markings/sec, 265 secs
lola: sara is running 270 secs || 17177295 markings, 119687071 edges, 56789 markings/sec, 270 secs
lola: sara is running 275 secs || 17439092 markings, 121931554 edges, 52359 markings/sec, 275 secs
lola: sara is running 280 secs || 17747788 markings, 123969012 edges, 61739 markings/sec, 280 secs
lola: sara is running 285 secs || 18041712 markings, 126020174 edges, 58785 markings/sec, 285 secs
lola: sara is running 290 secs || 18317827 markings, 128057694 edges, 55223 markings/sec, 290 secs
lola: sara is running 295 secs || 18589904 markings, 130221769 edges, 54415 markings/sec, 295 secs
lola: sara is running 300 secs || 18876294 markings, 132190980 edges, 57278 markings/sec, 300 secs
lola: sara is running 305 secs || 19140770 markings, 134308262 edges, 52895 markings/sec, 305 secs
lola: sara is running 310 secs || 19375267 markings, 136454261 edges, 46899 markings/sec, 310 secs
lola: sara is running 315 secs || 19619405 markings, 138545108 edges, 48828 markings/sec, 315 secs
lola: sara is running 320 secs || 19886201 markings, 140696098 edges, 53359 markings/sec, 320 secs
lola: sara is running 325 secs || 20161874 markings, 142900514 edges, 55135 markings/sec, 325 secs
lola: sara is running 330 secs || 20429163 markings, 145163093 edges, 53458 markings/sec, 330 secs
lola: sara is running 335 secs || 20702716 markings, 147425950 edges, 54711 markings/sec, 335 secs
lola: sara is running 340 secs || 20972679 markings, 149651710 edges, 53993 markings/sec, 340 secs
lola: sara is running 345 secs || 21251765 markings, 151766963 edges, 55817 markings/sec, 345 secs
lola: sara is running 350 secs || 21518762 markings, 153895233 edges, 53399 markings/sec, 350 secs
lola: sara is running 355 secs || 21786938 markings, 156050943 edges, 53635 markings/sec, 355 secs
lola: sara is running 360 secs || 22050171 markings, 158151777 edges, 52647 markings/sec, 360 secs
lola: sara is running 365 secs || 22331908 markings, 160179573 edges, 56347 markings/sec, 365 secs
lola: sara is running 370 secs || 22577412 markings, 162327193 edges, 49101 markings/sec, 370 secs
lola: sara is running 375 secs || 22840725 markings, 164538032 edges, 52663 markings/sec, 375 secs
lola: sara is running 380 secs || 23084996 markings, 166882779 edges, 48854 markings/sec, 380 secs
lola: sara is running 385 secs || 23336454 markings, 169046459 edges, 50292 markings/sec, 385 secs
lola: sara is running 390 secs || 23576774 markings, 171283818 edges, 48064 markings/sec, 390 secs
lola: sara is running 395 secs || 23846234 markings, 173600495 edges, 53892 markings/sec, 395 secs
lola: sara is running 400 secs || 24091414 markings, 176015571 edges, 49036 markings/sec, 400 secs
lola: sara is running 405 secs || 24348239 markings, 178436481 edges, 51365 markings/sec, 405 secs
lola: sara is running 410 secs || 24590269 markings, 180818838 edges, 48406 markings/sec, 410 secs
lola: sara is running 415 secs || 24847228 markings, 183104348 edges, 51392 markings/sec, 415 secs
lola: sara is running 420 secs || 25087513 markings, 185397125 edges, 48057 markings/sec, 420 secs
lola: sara is running 425 secs || 25328012 markings, 187698585 edges, 48100 markings/sec, 425 secs
lola: sara is running 430 secs || 25599392 markings, 189818926 edges, 54276 markings/sec, 430 secs
lola: sara is running 435 secs || 25850226 markings, 192079862 edges, 50167 markings/sec, 435 secs
lola: sara is running 440 secs || 26097956 markings, 194484472 edges, 49546 markings/sec, 440 secs
lola: sara is running 445 secs || 26326371 markings, 196917954 edges, 45683 markings/sec, 445 secs
lola: sara is running 450 secs || 26572310 markings, 199302789 edges, 49188 markings/sec, 450 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 26612234 markings, 199679043 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 568 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A8) AND (A9 <= B4) AND (A1 + 1 <= A13) AND ((A2 <= A11) OR (2 <= A7)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((3 <= A8) AND (A9 <= B4) AND (A1 + 1 <= A13) AND ((A2 <= A11) OR (2 <= A7)))))
lola: processed formula length: 86
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((3 <= A8) AND (A9 <= B4) AND (A1 + 1 <= A13) AND ((A2 <= A11) OR (2 <= A7)))
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 404160 markings, 1859626 edges, 80832 markings/sec, 0 secs
lola: sara is running 5 secs || 800503 markings, 3849131 edges, 79269 markings/sec, 5 secs
lola: sara is running 10 secs || 1191047 markings, 5790345 edges, 78109 markings/sec, 10 secs
lola: sara is running 15 secs || 1536007 markings, 7802576 edges, 68992 markings/sec, 15 secs
lola: sara is running 20 secs || 1896015 markings, 9987397 edges, 72002 markings/sec, 20 secs
lola: sara is running 25 secs || 2238278 markings, 12148277 edges, 68453 markings/sec, 25 secs
lola: sara is running 30 secs || 2643925 markings, 14087114 edges, 81129 markings/sec, 30 secs
lola: sara is running 35 secs || 3034680 markings, 16090635 edges, 78151 markings/sec, 35 secs
lola: sara is running 40 secs || 3442432 markings, 18247513 edges, 81550 markings/sec, 40 secs
lola: sara is running 45 secs || 3815324 markings, 20235422 edges, 74578 markings/sec, 45 secs
lola: sara is running 50 secs || 4141478 markings, 22270775 edges, 65231 markings/sec, 50 secs
lola: sara is running 55 secs || 4466936 markings, 24372162 edges, 65092 markings/sec, 55 secs
lola: sara is running 60 secs || 4833260 markings, 26623135 edges, 73265 markings/sec, 60 secs
lola: sara is running 65 secs || 5225516 markings, 28857458 edges, 78451 markings/sec, 65 secs
lola: sara is running 70 secs || 5620409 markings, 30984844 edges, 78979 markings/sec, 70 secs
lola: sara is running 75 secs || 5991440 markings, 33175899 edges, 74206 markings/sec, 75 secs
lola: sara is running 80 secs || 6408194 markings, 35278072 edges, 83351 markings/sec, 80 secs
lola: sara is running 85 secs || 6772065 markings, 37406324 edges, 72774 markings/sec, 85 secs
lola: sara is running 90 secs || 7083103 markings, 39589188 edges, 62208 markings/sec, 90 secs
lola: sara is running 95 secs || 7378349 markings, 41828678 edges, 59049 markings/sec, 95 secs
lola: sara is running 100 secs || 7699875 markings, 43952682 edges, 64305 markings/sec, 100 secs
lola: sara is running 105 secs || 7998542 markings, 46106439 edges, 59733 markings/sec, 105 secs
lola: sara is running 110 secs || 8339901 markings, 48303948 edges, 68272 markings/sec, 110 secs
lola: sara is running 115 secs || 8716426 markings, 50399595 edges, 75305 markings/sec, 115 secs
lola: sara is running 120 secs || 9067560 markings, 52594194 edges, 70227 markings/sec, 120 secs
lola: sara is running 125 secs || 9481488 markings, 54643796 edges, 82786 markings/sec, 125 secs
lola: sara is running 130 secs || 9831805 markings, 56708197 edges, 70063 markings/sec, 130 secs
lola: sara is running 135 secs || 10115919 markings, 58746156 edges, 56823 markings/sec, 135 secs
lola: sara is running 140 secs || 10408397 markings, 60856150 edges, 58496 markings/sec, 140 secs
lola: sara is running 145 secs || 10702394 markings, 62874488 edges, 58799 markings/sec, 145 secs
lola: sara is running 150 secs || 10991675 markings, 65009605 edges, 57856 markings/sec, 150 secs
lola: sara is running 155 secs || 11278168 markings, 67256612 edges, 57299 markings/sec, 155 secs
lola: sara is running 160 secs || 11557361 markings, 69507253 edges, 55839 markings/sec, 160 secs
lola: sara is running 165 secs || 11907687 markings, 71574288 edges, 70065 markings/sec, 165 secs
lola: sara is running 170 secs || 12298037 markings, 73560286 edges, 78070 markings/sec, 170 secs
lola: sara is running 175 secs || 12668294 markings, 75749172 edges, 74051 markings/sec, 175 secs
lola: sara is running 180 secs || 13046377 markings, 77743305 edges, 75617 markings/sec, 180 secs
lola: sara is running 185 secs || 13376365 markings, 79827724 edges, 65998 markings/sec, 185 secs
lola: sara is running 190 secs || 13716796 markings, 82063347 edges, 68086 markings/sec, 190 secs
lola: sara is running 195 secs || 14054636 markings, 84244827 edges, 67568 markings/sec, 195 secs
lola: sara is running 200 secs || 14419813 markings, 86310618 edges, 73035 markings/sec, 200 secs
lola: sara is running 205 secs || 14811757 markings, 88289285 edges, 78389 markings/sec, 205 secs
lola: sara is running 210 secs || 15186547 markings, 90430676 edges, 74958 markings/sec, 210 secs
lola: sara is running 215 secs || 15585491 markings, 92687721 edges, 79789 markings/sec, 215 secs
lola: sara is running 220 secs || 15960432 markings, 94717030 edges, 74988 markings/sec, 220 secs
lola: sara is running 225 secs || 16278883 markings, 96821742 edges, 63690 markings/sec, 225 secs
lola: sara is running 230 secs || 16600127 markings, 98840801 edges, 64249 markings/sec, 230 secs
lola: sara is running 235 secs || 16906951 markings, 101033467 edges, 61365 markings/sec, 235 secs
lola: sara is running 240 secs || 17277615 markings, 103294091 edges, 74133 markings/sec, 240 secs
lola: sara is running 245 secs || 17664557 markings, 105463756 edges, 77388 markings/sec, 245 secs
lola: sara is running 250 secs || 18026604 markings, 107631192 edges, 72409 markings/sec, 250 secs
lola: sara is running 255 secs || 18368913 markings, 109841630 edges, 68462 markings/sec, 255 secs
lola: sara is running 260 secs || 18772975 markings, 111942421 edges, 80812 markings/sec, 260 secs
lola: sara is running 265 secs || 19157856 markings, 114043929 edges, 76976 markings/sec, 265 secs
lola: sara is running 270 secs || 19498900 markings, 116223815 edges, 68209 markings/sec, 270 secs
lola: sara is running 275 secs || 19839588 markings, 118383928 edges, 68138 markings/sec, 275 secs
lola: sara is running 280 secs || 20219568 markings, 120517139 edges, 75996 markings/sec, 280 secs
lola: sara is running 285 secs || 20606675 markings, 122580016 edges, 77421 markings/sec, 285 secs
lola: sara is running 290 secs || 20981501 markings, 124798049 edges, 74965 markings/sec, 290 secs
lola: sara is running 295 secs || 21324524 markings, 127009915 edges, 68605 markings/sec, 295 secs
lola: sara is running 300 secs || 21623813 markings, 129191088 edges, 59858 markings/sec, 300 secs
lola: sara is running 305 secs || 21915643 markings, 131361841 edges, 58366 markings/sec, 305 secs
lola: sara is running 310 secs || 22206691 markings, 133591728 edges, 58210 markings/sec, 310 secs
lola: sara is running 315 secs || 22500927 markings, 135727529 edges, 58847 markings/sec, 315 secs
lola: sara is running 320 secs || 22783304 markings, 137882502 edges, 56475 markings/sec, 320 secs
lola: sara is running 325 secs || 23079372 markings, 140096070 edges, 59214 markings/sec, 325 secs
lola: sara is running 330 secs || 23375492 markings, 142295204 edges, 59224 markings/sec, 330 secs
lola: sara is running 335 secs || 23649735 markings, 144502613 edges, 54849 markings/sec, 335 secs
lola: sara is running 340 secs || 23925321 markings, 146641537 edges, 55117 markings/sec, 340 secs
lola: sara is running 345 secs || 24190441 markings, 148916545 edges, 53024 markings/sec, 345 secs
lola: sara is running 350 secs || 24477791 markings, 151109263 edges, 57470 markings/sec, 350 secs
lola: sara is running 355 secs || 24759304 markings, 153259142 edges, 56303 markings/sec, 355 secs
lola: sara is running 360 secs || 25028453 markings, 155421393 edges, 53830 markings/sec, 360 secs
lola: sara is running 365 secs || 25313227 markings, 157562513 edges, 56955 markings/sec, 365 secs
lola: sara is running 370 secs || 25573927 markings, 159721064 edges, 52140 markings/sec, 370 secs
lola: sara is running 375 secs || 25837229 markings, 161842709 edges, 52660 markings/sec, 375 secs
lola: sara is running 380 secs || 26089009 markings, 163879231 edges, 50356 markings/sec, 380 secs
lola: sara is running 385 secs || 26329519 markings, 166004573 edges, 48102 markings/sec, 385 secs
lola: sara is running 390 secs || 26563985 markings, 168009429 edges, 46893 markings/sec, 390 secs
lola: sara is running 395 secs || 26808387 markings, 170064740 edges, 48880 markings/sec, 395 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 26893906 markings, 170931630 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 734 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= A10) OR (A10 <= A7) OR (A13 <= 2) OR (((B4 <= A2) OR (1 <= B5)) AND (B2 + 1 <= A8)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((2 <= A10) OR (A10 <= A7) OR (A13 <= 2) OR (((B4 <= A2) OR (1 <= B5)) AND (B2 + 1 <= A8)))))
lola: processed formula length: 103
lola: 17 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((A10 <= 1) AND (A7 + 1 <= A10) AND (3 <= A13) AND (((A2 + 1 <= B4) AND (B5 <= 0)) OR (A8 <= B2)))
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A3)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A3)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A3)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 380219 markings, 2006540 edges, 76044 markings/sec, 0 secs
lola: sara is running 5 secs || 726090 markings, 4063159 edges, 69174 markings/sec, 5 secs
lola: sara is running 10 secs || 1080957 markings, 6050176 edges, 70973 markings/sec, 10 secs
lola: sara is running 15 secs || 1415969 markings, 8074200 edges, 67002 markings/sec, 15 secs
lola: sara is running 20 secs || 1730403 markings, 10197563 edges, 62887 markings/sec, 20 secs
lola: sara is running 25 secs || 2052376 markings, 12288813 edges, 64395 markings/sec, 25 secs
lola: sara is running 30 secs || 2377146 markings, 14413851 edges, 64954 markings/sec, 30 secs
lola: sara is running 35 secs || 2686161 markings, 16463312 edges, 61803 markings/sec, 35 secs
lola: sara is running 40 secs || 2969747 markings, 18735108 edges, 56717 markings/sec, 40 secs
lola: sara is running 45 secs || 3278124 markings, 20754995 edges, 61675 markings/sec, 45 secs
lola: sara is running 50 secs || 3572942 markings, 23016486 edges, 58964 markings/sec, 50 secs
lola: sara is running 55 secs || 3864974 markings, 25109183 edges, 58406 markings/sec, 55 secs
lola: sara is running 60 secs || 4144206 markings, 27314747 edges, 55846 markings/sec, 60 secs
lola: sara is running 65 secs || 4473162 markings, 29347696 edges, 65791 markings/sec, 65 secs
lola: sara is running 70 secs || 4813770 markings, 31239066 edges, 68122 markings/sec, 70 secs
lola: sara is running 75 secs || 5140897 markings, 33329061 edges, 65425 markings/sec, 75 secs
lola: sara is running 80 secs || 5465221 markings, 35341994 edges, 64865 markings/sec, 80 secs
lola: sara is running 85 secs || 5784219 markings, 37296664 edges, 63800 markings/sec, 85 secs
lola: sara is running 90 secs || 6090197 markings, 39416943 edges, 61196 markings/sec, 90 secs
lola: sara is running 95 secs || 6459861 markings, 41183582 edges, 73933 markings/sec, 95 secs
lola: sara is running 100 secs || 6801433 markings, 43010233 edges, 68314 markings/sec, 100 secs
lola: sara is running 105 secs || 7145430 markings, 44918673 edges, 68799 markings/sec, 105 secs
lola: sara is running 110 secs || 7487412 markings, 46856786 edges, 68396 markings/sec, 110 secs
lola: sara is running 115 secs || 7784187 markings, 48854419 edges, 59355 markings/sec, 115 secs
lola: sara is running 120 secs || 8071630 markings, 50910537 edges, 57489 markings/sec, 120 secs
lola: sara is running 125 secs || 8350987 markings, 53069691 edges, 55871 markings/sec, 125 secs
lola: sara is running 130 secs || 8631983 markings, 55270060 edges, 56199 markings/sec, 130 secs
lola: sara is running 135 secs || 8927790 markings, 57458992 edges, 59161 markings/sec, 135 secs
lola: sara is running 140 secs || 9282380 markings, 59321599 edges, 70918 markings/sec, 140 secs
lola: sara is running 145 secs || 9610411 markings, 61334836 edges, 65606 markings/sec, 145 secs
lola: sara is running 150 secs || 9907821 markings, 63410047 edges, 59482 markings/sec, 150 secs
lola: sara is running 155 secs || 10176556 markings, 65658040 edges, 53747 markings/sec, 155 secs
lola: sara is running 160 secs || 10452441 markings, 67927588 edges, 55177 markings/sec, 160 secs
lola: sara is running 165 secs || 10793195 markings, 69886974 edges, 68151 markings/sec, 165 secs
lola: sara is running 170 secs || 11085532 markings, 72019383 edges, 58467 markings/sec, 170 secs
lola: sara is running 175 secs || 11363221 markings, 74260551 edges, 55538 markings/sec, 175 secs
lola: sara is running 180 secs || 11672372 markings, 76357854 edges, 61830 markings/sec, 180 secs
lola: sara is running 185 secs || 11950280 markings, 78593920 edges, 55582 markings/sec, 185 secs
lola: sara is running 190 secs || 12236257 markings, 80805421 edges, 57195 markings/sec, 190 secs
lola: sara is running 195 secs || 12520839 markings, 82940156 edges, 56916 markings/sec, 195 secs
lola: sara is running 200 secs || 12834724 markings, 84924236 edges, 62777 markings/sec, 200 secs
lola: sara is running 205 secs || 13121256 markings, 87089617 edges, 57306 markings/sec, 205 secs
lola: sara is running 210 secs || 13414683 markings, 89260320 edges, 58685 markings/sec, 210 secs
lola: sara is running 215 secs || 13701571 markings, 91408985 edges, 57378 markings/sec, 215 secs
lola: sara is running 220 secs || 13985603 markings, 93613676 edges, 56806 markings/sec, 220 secs
lola: sara is running 225 secs || 14262489 markings, 95857198 edges, 55377 markings/sec, 225 secs
lola: sara is running 230 secs || 14518581 markings, 98034492 edges, 51218 markings/sec, 230 secs
lola: sara is running 235 secs || 14793835 markings, 100161749 edges, 55051 markings/sec, 235 secs
lola: sara is running 240 secs || 15058690 markings, 102443760 edges, 52971 markings/sec, 240 secs
lola: sara is running 245 secs || 15321129 markings, 104673367 edges, 52488 markings/sec, 245 secs
lola: sara is running 250 secs || 15573403 markings, 106923977 edges, 50455 markings/sec, 250 secs
lola: sara is running 255 secs || 15827404 markings, 109194669 edges, 50800 markings/sec, 255 secs
lola: sara is running 260 secs || 16089607 markings, 111468320 edges, 52441 markings/sec, 260 secs
lola: sara is running 265 secs || 16346653 markings, 113732863 edges, 51409 markings/sec, 265 secs
lola: sara is running 270 secs || 16606801 markings, 116013800 edges, 52030 markings/sec, 270 secs
lola: sara is running 275 secs || 16873371 markings, 118292058 edges, 53314 markings/sec, 275 secs
lola: sara is running 280 secs || 17142852 markings, 120625761 edges, 53896 markings/sec, 280 secs
lola: sara is running 285 secs || 17406427 markings, 123078253 edges, 52715 markings/sec, 285 secs
lola: sara is running 290 secs || 17671633 markings, 125433502 edges, 53041 markings/sec, 290 secs
lola: sara is running 295 secs || 17938768 markings, 127776927 edges, 53427 markings/sec, 295 secs
lola: sara is running 300 secs || 18194165 markings, 130170991 edges, 51079 markings/sec, 300 secs
lola: sara is running 305 secs || 18457637 markings, 132362280 edges, 52694 markings/sec, 305 secs
lola: sara is running 310 secs || 18732959 markings, 134670322 edges, 55064 markings/sec, 310 secs
lola: sara is running 315 secs || 19046592 markings, 136975487 edges, 62727 markings/sec, 315 secs
lola: sara is running 320 secs || 19339300 markings, 139294841 edges, 58542 markings/sec, 320 secs
lola: sara is running 325 secs || 19636830 markings, 141572879 edges, 59506 markings/sec, 325 secs
lola: sara is running 330 secs || 19925456 markings, 143831777 edges, 57725 markings/sec, 330 secs
lola: sara is running 335 secs || 20200849 markings, 146189634 edges, 55079 markings/sec, 335 secs
lola: sara is running 340 secs || 20478656 markings, 148552383 edges, 55561 markings/sec, 340 secs
lola: sara is running 345 secs || 20756075 markings, 150944215 edges, 55484 markings/sec, 345 secs
lola: sara is running 350 secs || 21038907 markings, 153354869 edges, 56566 markings/sec, 350 secs
lola: sara is running 355 secs || 21307253 markings, 155659676 edges, 53669 markings/sec, 355 secs
lola: sara is running 360 secs || 21558071 markings, 158119552 edges, 50164 markings/sec, 360 secs
lola: sara is running 365 secs || 21824675 markings, 160442041 edges, 53321 markings/sec, 365 secs
lola: sara is running 370 secs || 22074316 markings, 162836219 edges, 49928 markings/sec, 370 secs
lola: sara is running 375 secs || 22329977 markings, 165368463 edges, 51132 markings/sec, 375 secs
lola: sara is running 380 secs || 22584573 markings, 167859717 edges, 50919 markings/sec, 380 secs
lola: sara is running 385 secs || 22837792 markings, 170327829 edges, 50644 markings/sec, 385 secs
lola: sara is running 390 secs || 23088465 markings, 172766551 edges, 50135 markings/sec, 390 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 23223964 markings, 174166810 edges
lola: ========================================
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A2)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= A2)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file DNAwalker-PT-08ringLL-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= A2)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-08ringLL-ReachabilityCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-08ringLL-ReachabilityCardinality-17-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 380444 markings, 2084121 edges, 76089 markings/sec, 0 secs
lola: sara is running 5 secs || 738874 markings, 4101217 edges, 71686 markings/sec, 5 secs
lola: sara is running 10 secs || 1092364 markings, 6257640 edges, 70698 markings/sec, 10 secs
lola: sara is running 15 secs || 1435668 markings, 8361925 edges, 68661 markings/sec, 15 secs
lola: sara is running 20 secs || 1748673 markings, 10607990 edges, 62601 markings/sec, 20 secs
lola: sara is running 25 secs || 2080358 markings, 12769993 edges, 66337 markings/sec, 25 secs
lola: sara is running 30 secs || 2431280 markings, 14781707 edges, 70184 markings/sec, 30 secs
lola: sara is running 35 secs || 2759115 markings, 17041889 edges, 65567 markings/sec, 35 secs
lola: sara is running 40 secs || 3081183 markings, 19263659 edges, 64414 markings/sec, 40 secs
lola: sara is running 45 secs || 3404260 markings, 21447265 edges, 64615 markings/sec, 45 secs
lola: sara is running 50 secs || 3707265 markings, 23681198 edges, 60601 markings/sec, 50 secs
lola: sara is running 55 secs || 4018614 markings, 25777608 edges, 62270 markings/sec, 55 secs
lola: sara is running 60 secs || 4318541 markings, 27931001 edges, 59985 markings/sec, 60 secs
lola: sara is running 65 secs || 4644347 markings, 30058670 edges, 65161 markings/sec, 65 secs
lola: sara is running 70 secs || 5011004 markings, 31953405 edges, 73331 markings/sec, 70 secs
lola: sara is running 75 secs || 5345694 markings, 34139286 edges, 66938 markings/sec, 75 secs
lola: sara is running 80 secs || 5675028 markings, 36242444 edges, 65867 markings/sec, 80 secs
lola: sara is running 85 secs || 5995126 markings, 38354533 edges, 64020 markings/sec, 85 secs
lola: sara is running 90 secs || 6307167 markings, 40444226 edges, 62408 markings/sec, 90 secs
lola: sara is running 95 secs || 6620980 markings, 42559817 edges, 62763 markings/sec, 95 secs
lola: sara is running 100 secs || 6974603 markings, 44613164 edges, 70725 markings/sec, 100 secs
lola: sara is running 105 secs || 7319092 markings, 46790511 edges, 68898 markings/sec, 105 secs
lola: sara is running 110 secs || 7628208 markings, 49143101 edges, 61823 markings/sec, 110 secs
lola: sara is running 115 secs || 7934264 markings, 51492356 edges, 61211 markings/sec, 115 secs
lola: sara is running 120 secs || 8255926 markings, 53682562 edges, 64332 markings/sec, 120 secs
lola: sara is running 125 secs || 8566953 markings, 56026994 edges, 62205 markings/sec, 125 secs
lola: sara is running 130 secs || 8875527 markings, 58299017 edges, 61715 markings/sec, 130 secs
lola: sara is running 135 secs || 9183661 markings, 60553430 edges, 61627 markings/sec, 135 secs
lola: sara is running 140 secs || 9469895 markings, 62712728 edges, 57247 markings/sec, 140 secs
lola: sara is running 145 secs || 9781896 markings, 64900912 edges, 62400 markings/sec, 145 secs
lola: sara is running 150 secs || 10121406 markings, 66956151 edges, 67902 markings/sec, 150 secs
lola: sara is running 155 secs || 10427448 markings, 69233114 edges, 61208 markings/sec, 155 secs
lola: sara is running 160 secs || 10717050 markings, 71605289 edges, 57920 markings/sec, 160 secs
lola: sara is running 165 secs || 11005779 markings, 73941635 edges, 57746 markings/sec, 165 secs
lola: sara is running 170 secs || 11297205 markings, 76209028 edges, 58285 markings/sec, 170 secs
lola: sara is running 175 secs || 11609806 markings, 78407541 edges, 62520 markings/sec, 175 secs
lola: sara is running 180 secs || 11897133 markings, 80779181 edges, 57465 markings/sec, 180 secs
lola: sara is running 185 secs || 12190476 markings, 83034997 edges, 58669 markings/sec, 185 secs
lola: sara is running 190 secs || 12488610 markings, 85220194 edges, 59627 markings/sec, 190 secs
lola: sara is running 195 secs || 12763375 markings, 87574794 edges, 54953 markings/sec, 195 secs
lola: sara is running 200 secs || 13032071 markings, 89949205 edges, 53739 markings/sec, 200 secs
lola: sara is running 205 secs || 13303039 markings, 92256130 edges, 54194 markings/sec, 205 secs
lola: sara is running 210 secs || 13603771 markings, 94553219 edges, 60146 markings/sec, 210 secs
lola: sara is running 215 secs || 13896275 markings, 96840800 edges, 58501 markings/sec, 215 secs
lola: sara is running 220 secs || 14183459 markings, 99135076 edges, 57437 markings/sec, 220 secs
lola: sara is running 225 secs || 14465285 markings, 101440926 edges, 56365 markings/sec, 225 secs
lola: sara is running 230 secs || 14756663 markings, 103682380 edges, 58276 markings/sec, 230 secs
lola: sara is running 235 secs || 15030063 markings, 105995928 edges, 54680 markings/sec, 235 secs
lola: sara is running 240 secs || 15282570 markings, 108431886 edges, 50501 markings/sec, 240 secs
lola: sara is running 245 secs || 15548224 markings, 110860441 edges, 53131 markings/sec, 245 secs
lola: sara is running 250 secs || 15832115 markings, 113248901 edges, 56778 markings/sec, 250 secs
lola: sara is running 255 secs || 16110940 markings, 115550336 edges, 55765 markings/sec, 255 secs
lola: sara is running 260 secs || 16386997 markings, 117954092 edges, 55211 markings/sec, 260 secs
lola: sara is running 265 secs || 16658920 markings, 120297172 edges, 54385 markings/sec, 265 secs
lola: sara is running 270 secs || 16922663 markings, 122668587 edges, 52749 markings/sec, 270 secs
lola: sara is running 275 secs || 17201359 markings, 124986572 edges, 55739 markings/sec, 275 secs
lola: sara is running 280 secs || 17456051 markings, 127326701 edges, 50938 markings/sec, 280 secs
lola: sara is running 285 secs || 17716512 markings, 129764266 edges, 52092 markings/sec, 285 secs
lola: sara is running 290 secs || 17978941 markings, 132135946 edges, 52486 markings/sec, 290 secs
lola: sara is running 295 secs || 18250460 markings, 134358962 edges, 54304 markings/sec, 295 secs
lola: sara is running 300 secs || 18520594 markings, 136635121 edges, 54027 markings/sec, 300 secs
lola: sara is running 305 secs || 18769470 markings, 139020565 edges, 49775 markings/sec, 305 secs
lola: sara is running 310 secs || 19020710 markings, 141419124 edges, 50248 markings/sec, 310 secs
lola: sara is running 315 secs || 19293488 markings, 143790571 edges, 54556 markings/sec, 315 secs
lola: sara is running 320 secs || 19596067 markings, 146143502 edges, 60516 markings/sec, 320 secs
lola: sara is running 325 secs || 19886454 markings, 148385699 edges, 58077 markings/sec, 325 secs
lola: sara is running 330 secs || 20178306 markings, 150771772 edges, 58370 markings/sec, 330 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes unknown no no unknown yes no yes yes no unknown unknown yes no
lola:
preliminary result: yes yes yes unknown no no unknown yes no yes yes no unknown unknown yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes unknown no no unknown yes no yes yes no unknown unknown yes no
lola: memory consumption: 695296 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes unknown no no unknown yes no yes yes no unknown unknown yes no
lola: memory consumption: 695392 KB
lola: time consumption: 3569 seconds
BK_STOP 1526793795165
--------------------
content from stderr:
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-08ringLL"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
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-08ringLL.tgz
mv DNAwalker-PT-08ringLL 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 lola"
echo " Input is DNAwalker-PT-08ringLL, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735400278"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;