About the Execution of LoLA for DLCshifumi-PT-4b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2164.090 | 3569806.00 | 4070348.00 | 7640.60 | FFTFTFFFFFF??TTT | 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 5.3M
-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.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 5.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCshifumi-PT-4b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300192
=====================================================================
--------------------
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 DLCshifumi-PT-4b-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-4b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526716186805
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCshifumi-PT-4b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCshifumi-PT-4b formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DLCshifumi-PT-4b @ 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: 36356/65536 symbol table entries, 13849 collisions
lola: preprocessing...
lola: Size of bit vector: 15015
lola: finding significant places
lola: 15015 places, 21341 transitions, 14324 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 28617 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-4b-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p11016)
lola: LP says that atomic proposition is always false: (3 <= p755)
lola: LP says that atomic proposition is always false: (3 <= p12254)
lola: LP says that atomic proposition is always false: (3 <= p2486)
lola: LP says that atomic proposition is always false: (2 <= p2293)
lola: LP says that atomic proposition is always false: (3 <= p13339)
lola: LP says that atomic proposition is always false: (2 <= p7349)
lola: LP says that atomic proposition is always false: (2 <= p11754)
lola: LP says that atomic proposition is always false: (2 <= p7857)
lola: LP says that atomic proposition is always false: (3 <= p15014)
lola: LP says that atomic proposition is always false: (3 <= p8500)
lola: LP says that atomic proposition is always false: (3 <= p6557)
lola: LP says that atomic proposition is always false: (3 <= p9359)
lola: LP says that atomic proposition is always false: (2 <= p9477)
lola: LP says that atomic proposition is always false: (2 <= p13114)
lola: LP says that atomic proposition is always false: (3 <= p266)
lola: LP says that atomic proposition is always false: (2 <= p8582)
lola: LP says that atomic proposition is always false: (3 <= p3352)
lola: LP says that atomic proposition is always false: (3 <= p14985)
lola: LP says that atomic proposition is always false: (2 <= p12347)
lola: (E ((() U (p835 <= p10529))) AND A (F (((1 <= p5176))))) : A (F ((E (G ((p59 <= p7802))) AND E (F (FALSE))))) : E (X (A (G (TRUE)))) : A (F (FALSE)) : E (G (((p6231 <= p10123) OR (((p10083 <= p11356)) AND (p8769 + 1 <= p14600))))) : (FALSE OR NOT(E (F ((1 <= p10840))))) : A (F (E (((1 <= p6159) U FALSE)))) : A (G ((p14837 <= p1115))) : A ((((p6871 <= p7437)) U E (G (FALSE)))) : (A (F (FALSE)) OR A (G (A (X ((p3329 <= p12653)))))) : E (F (FALSE)) : E (((p2547 <= p14156) U ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772)))) : NOT((A (F ((p7946 + 1 <= p4866))) AND (((1 <= p1140) OR (p7730 <= p2413)) AND ((p12285 <= p12161) OR (p4083 <= p5049) OR (p6990 + 1 <= p1560))))) : E (F (((p12557 + 1 <= p7905)))) : (((p4201 <= p10218) OR (p7909 + 1 <= p10758)) AND E (F ((1 <= p14405)))) : E (G (E ((FALSE U (p3835 <= p2915)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:183
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:117
lola: rewrite Frontend/Parser/formula_rewrite.k:157
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:130
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:180
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:122
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:183
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 160 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: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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 DLCshifumi-PT-4b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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 DLCshifumi-PT-4b-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 183 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: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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 DLCshifumi-PT-4b-CTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 197 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: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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 DLCshifumi-PT-4b-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 214 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: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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 DLCshifumi-PT-4b-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 233 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: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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 DLCshifumi-PT-4b-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((p3329 <= p12653)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p12653 + 1 <= p3329)
lola: processed formula length: 21
lola: 47 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 329 markings, 354 edges
lola: ========================================
FORMULA DLCshifumi-PT-4b-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 285 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p10840 <= 0)))
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:695
lola: processed formula: A (G ((p10840 <= 0)))
lola: processed formula length: 21
lola: 47 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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:695
lola: formula 0: (1 <= p10840)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-4b-CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-4b-CTLCardinality-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6776 markings, 7528 edges
lola: ========================================
FORMULA DLCshifumi-PT-4b-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p14837 <= p1115)))
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 ((p14837 <= p1115)))
lola: processed formula length: 25
lola: 47 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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: (p1115 + 1 <= p14837)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-4b-CTLCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-4b-CTLCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 57 markings, 56 edges
FORMULA DLCshifumi-PT-4b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p12557 + 1 <= p7905))))
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 (((p12557 + 1 <= p7905))))
lola: processed formula length: 31
lola: 46 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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: ((p12557 + 1 <= p7905))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-4b-CTLCardinality-9-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 25 markings, 24 edges
lola: ========================================
FORMULA DLCshifumi-PT-4b-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p3835 <= p2915)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p3835 <= p2915)))
lola: processed formula length: 24
lola: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 3722 markings, 3722 edges
lola: ========================================
FORMULA DLCshifumi-PT-4b-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 513 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p6231 <= p10123) OR (((p10083 <= p11356)) AND (p8769 + 1 <= p14600)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((p6231 <= p10123) OR (((p10083 <= p11356)) AND (p8769 + 1 <= p14600)))))
lola: processed formula length: 80
lola: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 3138 markings, 3138 edges
lola: ========================================
FORMULA DLCshifumi-PT-4b-CTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p835 <= p10529) AND A (F (((1 <= p5176)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p835 <= p10529)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p835 <= p10529)
lola: processed formula length: 16
lola: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: processed formula with 1 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: ========================================
lola: subprocess 13 will run for 855 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p5176))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((p5176 <= 0))
lola: processed formula length: 14
lola: 47 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3722 markings, 3722 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
FORMULA DLCshifumi-PT-4b-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p4201 <= p10218) OR (p7909 + 1 <= p10758)) AND E (F ((1 <= p14405))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p4201 <= p10218) OR (p7909 + 1 <= p10758))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p4201 <= p10218) OR (p7909 + 1 <= p10758))
lola: processed formula length: 45
lola: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: processed formula with 2 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: ========================================
lola: subprocess 14 will run for 1282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p14405)))
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 ((1 <= p14405)))
lola: processed formula length: 21
lola: 46 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.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: (1 <= p14405)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-4b-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-4b-CTLCardinality-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 63 markings, 62 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCshifumi-PT-4b-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p2547 <= p14156) U ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((p2547 <= p14156) U ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772))))
lola: processed formula length: 73
lola: 48 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-4b-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-4b-CTLCardinality-14-0.sara.
lola: sara is running 0 secs || 4599 markings, 5281 edges, 920 markings/sec, 0 secs
lola: sara is running 5 secs || 8854 markings, 11111 edges, 851 markings/sec, 5 secs
lola: sara is running 10 secs || 13057 markings, 16763 edges, 841 markings/sec, 10 secs
lola: sara is running 15 secs || 17255 markings, 22496 edges, 840 markings/sec, 15 secs
lola: sara is running 20 secs || 21354 markings, 28066 edges, 820 markings/sec, 20 secs
lola: sara is running 25 secs || 25340 markings, 33299 edges, 797 markings/sec, 25 secs
lola: sara is running 30 secs || 29532 markings, 39076 edges, 838 markings/sec, 30 secs
lola: sara is running 35 secs || 33752 markings, 44439 edges, 844 markings/sec, 35 secs
lola: sara is running 40 secs || 38942 markings, 50920 edges, 1038 markings/sec, 40 secs
lola: sara is running 45 secs || 43166 markings, 56536 edges, 845 markings/sec, 45 secs
lola: sara is running 50 secs || 47148 markings, 61933 edges, 796 markings/sec, 50 secs
lola: sara is running 55 secs || 51351 markings, 67715 edges, 841 markings/sec, 55 secs
lola: sara is running 60 secs || 56072 markings, 73483 edges, 944 markings/sec, 60 secs
lola: sara is running 65 secs || 60356 markings, 78953 edges, 857 markings/sec, 65 secs
lola: sara is running 70 secs || 65379 markings, 85162 edges, 1005 markings/sec, 70 secs
lola: sara is running 75 secs || 69572 markings, 90973 edges, 839 markings/sec, 75 secs
lola: sara is running 80 secs || 73772 markings, 96657 edges, 840 markings/sec, 80 secs
lola: sara is running 85 secs || 78783 markings, 102749 edges, 1002 markings/sec, 85 secs
lola: sara is running 90 secs || 83028 markings, 108177 edges, 849 markings/sec, 90 secs
lola: sara is running 95 secs || 87992 markings, 114551 edges, 993 markings/sec, 95 secs
lola: sara is running 100 secs || 92309 markings, 120368 edges, 863 markings/sec, 100 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 105 secs || 96699 markings, 126164 edges, 878 markings/sec, 105 secs
lola: sara is running 110 secs || 101770 markings, 132325 edges, 1014 markings/sec, 110 secs
lola: sara is running 115 secs || 106275 markings, 138259 edges, 901 markings/sec, 115 secs
lola: sara is running 120 secs || 111068 markings, 144310 edges, 959 markings/sec, 120 secs
lola: sara is running 125 secs || 115300 markings, 150156 edges, 846 markings/sec, 125 secs
lola: sara is running 130 secs || 119546 markings, 155801 edges, 849 markings/sec, 130 secs
lola: sara is running 135 secs || 124616 markings, 161743 edges, 1014 markings/sec, 135 secs
lola: sara is running 140 secs || 129547 markings, 168165 edges, 986 markings/sec, 140 secs
lola: sara is running 145 secs || 133796 markings, 173823 edges, 850 markings/sec, 145 secs
lola: sara is running 150 secs || 138050 markings, 179468 edges, 851 markings/sec, 150 secs
lola: sara is running 155 secs || 142270 markings, 185326 edges, 844 markings/sec, 155 secs
lola: sara is running 160 secs || 147340 markings, 191079 edges, 1014 markings/sec, 160 secs
lola: sara is running 165 secs || 152373 markings, 197564 edges, 1007 markings/sec, 165 secs
sara: warning, failure of lp_solve (at job 1020)
lola: sara is running 170 secs || 156409 markings, 202982 edges, 807 markings/sec, 170 secs
lola: sara is running 175 secs || 160580 markings, 208541 edges, 834 markings/sec, 175 secs
lola: sara is running 180 secs || 165589 markings, 214888 edges, 1002 markings/sec, 180 secs
lola: sara is running 185 secs || 169574 markings, 219771 edges, 797 markings/sec, 185 secs
lola: sara is running 190 secs || 173762 markings, 225594 edges, 838 markings/sec, 190 secs
lola: sara is running 195 secs || 177984 markings, 231242 edges, 844 markings/sec, 195 secs
lola: sara is running 200 secs || 182205 markings, 236612 edges, 844 markings/sec, 200 secs
lola: sara is running 205 secs || 186974 markings, 242485 edges, 954 markings/sec, 205 secs
lola: sara is running 210 secs || 191997 markings, 248693 edges, 1005 markings/sec, 210 secs
lola: sara is running 215 secs || 196182 markings, 254533 edges, 837 markings/sec, 215 secs
lola: sara is running 220 secs || 200383 markings, 260258 edges, 840 markings/sec, 220 secs
lola: state equation 0: solution produced
lola: sara is running 225 secs || 204630 markings, 265559 edges, 849 markings/sec, 225 secs
lola: sara is running 230 secs || 209594 markings, 271792 edges, 993 markings/sec, 230 secs
lola: sara is running 235 secs || 214591 markings, 278010 edges, 999 markings/sec, 235 secs
lola: sara is running 240 secs || 219588 markings, 284130 edges, 999 markings/sec, 240 secs
lola: sara is running 245 secs || 223808 markings, 289530 edges, 844 markings/sec, 245 secs
lola: sara is running 250 secs || 228784 markings, 296002 edges, 995 markings/sec, 250 secs
lola: sara is running 255 secs || 232973 markings, 301592 edges, 838 markings/sec, 255 secs
lola: sara is running 260 secs || 237166 markings, 307166 edges, 839 markings/sec, 260 secs
lola: sara is running 265 secs || 241220 markings, 312428 edges, 811 markings/sec, 265 secs
lola: sara is running 270 secs || 246938 markings, 318860 edges, 1144 markings/sec, 270 secs
lola: sara is running 275 secs || 251141 markings, 324240 edges, 841 markings/sec, 275 secs
lola: sara is running 280 secs || 255335 markings, 329816 edges, 839 markings/sec, 280 secs
lola: sara is running 285 secs || 259497 markings, 335610 edges, 832 markings/sec, 285 secs
lola: sara is running 290 secs || 264418 markings, 341873 edges, 984 markings/sec, 290 secs
lola: sara is running 295 secs || 268635 markings, 347477 edges, 843 markings/sec, 295 secs
lola: sara is running 300 secs || 272863 markings, 352895 edges, 846 markings/sec, 300 secs
lola: sara is running 305 secs || 277042 markings, 358650 edges, 836 markings/sec, 305 secs
lola: sara is running 310 secs || 281238 markings, 364237 edges, 839 markings/sec, 310 secs
lola: sara is running 315 secs || 286260 markings, 370127 edges, 1004 markings/sec, 315 secs
lola: sara is running 320 secs || 291230 markings, 376587 edges, 994 markings/sec, 320 secs
lola: sara is running 325 secs || 295435 markings, 382203 edges, 841 markings/sec, 325 secs
lola: sara is running 330 secs || 308711 markings, 397115 edges, 2655 markings/sec, 330 secs
lola: sara is running 335 secs || 322449 markings, 412553 edges, 2748 markings/sec, 335 secs
lola: sara is running 340 secs || 334903 markings, 426563 edges, 2491 markings/sec, 340 secs
lola: sara is running 345 secs || 348229 markings, 441566 edges, 2665 markings/sec, 345 secs
lola: sara is running 350 secs || 361550 markings, 456533 edges, 2664 markings/sec, 350 secs
lola: sara is running 355 secs || 374879 markings, 471569 edges, 2666 markings/sec, 355 secs
lola: sara is running 360 secs || 387973 markings, 486279 edges, 2619 markings/sec, 360 secs
lola: sara is running 365 secs || 401193 markings, 501130 edges, 2644 markings/sec, 365 secs
lola: sara is running 370 secs || 414741 markings, 516371 edges, 2710 markings/sec, 370 secs
lola: sara is running 375 secs || 427878 markings, 531128 edges, 2627 markings/sec, 375 secs
lola: sara is running 380 secs || 440968 markings, 545833 edges, 2618 markings/sec, 380 secs
lola: sara is running 385 secs || 454355 markings, 560888 edges, 2677 markings/sec, 385 secs
lola: sara is running 390 secs || 467928 markings, 576786 edges, 2715 markings/sec, 390 secs
lola: sara is running 395 secs || 480968 markings, 591442 edges, 2608 markings/sec, 395 secs
lola: sara is running 400 secs || 493889 markings, 605963 edges, 2584 markings/sec, 400 secs
lola: sara is running 405 secs || 507126 markings, 620833 edges, 2647 markings/sec, 405 secs
lola: sara is running 410 secs || 520425 markings, 635772 edges, 2660 markings/sec, 410 secs
lola: sara is running 415 secs || 533282 markings, 650221 edges, 2571 markings/sec, 415 secs
lola: sara is running 420 secs || 545604 markings, 664062 edges, 2464 markings/sec, 420 secs
lola: sara is running 425 secs || 559272 markings, 679416 edges, 2734 markings/sec, 425 secs
lola: sara is running 430 secs || 572856 markings, 694675 edges, 2717 markings/sec, 430 secs
lola: sara is running 435 secs || 586711 markings, 710260 edges, 2771 markings/sec, 435 secs
lola: sara is running 440 secs || 600247 markings, 725467 edges, 2707 markings/sec, 440 secs
lola: sara is running 445 secs || 614032 markings, 740967 edges, 2757 markings/sec, 445 secs
lola: sara is running 450 secs || 627525 markings, 756127 edges, 2699 markings/sec, 450 secs
lola: sara is running 455 secs || 641429 markings, 772405 edges, 2781 markings/sec, 455 secs
lola: sara is running 460 secs || 654551 markings, 787152 edges, 2624 markings/sec, 460 secs
lola: sara is running 465 secs || 668275 markings, 802567 edges, 2745 markings/sec, 465 secs
lola: sara is running 470 secs || 681727 markings, 817679 edges, 2690 markings/sec, 470 secs
lola: sara is running 475 secs || 696072 markings, 833838 edges, 2869 markings/sec, 475 secs
lola: sara is running 480 secs || 709770 markings, 849227 edges, 2740 markings/sec, 480 secs
lola: sara is running 485 secs || 723215 markings, 864331 edges, 2689 markings/sec, 485 secs
lola: sara is running 490 secs || 736125 markings, 878836 edges, 2582 markings/sec, 490 secs
lola: sara is running 495 secs || 749843 markings, 894261 edges, 2744 markings/sec, 495 secs
lola: sara is running 500 secs || 763547 markings, 909654 edges, 2741 markings/sec, 500 secs
lola: sara is running 505 secs || 777340 markings, 925166 edges, 2759 markings/sec, 505 secs
lola: sara is running 510 secs || 790981 markings, 940489 edges, 2728 markings/sec, 510 secs
lola: sara is running 515 secs || 804864 markings, 956743 edges, 2777 markings/sec, 515 secs
lola: sara is running 520 secs || 818364 markings, 971911 edges, 2700 markings/sec, 520 secs
lola: sara is running 525 secs || 832021 markings, 987254 edges, 2731 markings/sec, 525 secs
lola: sara is running 530 secs || 845364 markings, 1002242 edges, 2669 markings/sec, 530 secs
lola: sara is running 535 secs || 858467 markings, 1016965 edges, 2621 markings/sec, 535 secs
lola: sara is running 540 secs || 870639 markings, 1030644 edges, 2434 markings/sec, 540 secs
lola: sara is running 545 secs || 884937 markings, 1046740 edges, 2860 markings/sec, 545 secs
lola: sara is running 550 secs || 899340 markings, 1062932 edges, 2881 markings/sec, 550 secs
lola: sara is running 555 secs || 913156 markings, 1078461 edges, 2763 markings/sec, 555 secs
lola: sara is running 560 secs || 927470 markings, 1094563 edges, 2863 markings/sec, 560 secs
lola: sara is running 565 secs || 942417 markings, 1111422 edges, 2989 markings/sec, 565 secs
lola: sara is running 570 secs || 956065 markings, 1126759 edges, 2730 markings/sec, 570 secs
lola: sara is running 575 secs || 969671 markings, 1142042 edges, 2721 markings/sec, 575 secs
lola: sara is running 580 secs || 983109 markings, 1156827 edges, 2688 markings/sec, 580 secs
lola: sara is running 585 secs || 996550 markings, 1171929 edges, 2688 markings/sec, 585 secs
lola: sara is running 590 secs || 1010039 markings, 1187082 edges, 2698 markings/sec, 590 secs
lola: sara is running 595 secs || 1023498 markings, 1202202 edges, 2692 markings/sec, 595 secs
lola: sara is running 600 secs || 1037021 markings, 1217395 edges, 2705 markings/sec, 600 secs
lola: sara is running 605 secs || 1050686 markings, 1232745 edges, 2733 markings/sec, 605 secs
lola: sara is running 610 secs || 1064385 markings, 1248134 edges, 2740 markings/sec, 610 secs
lola: sara is running 615 secs || 1078524 markings, 1264023 edges, 2828 markings/sec, 615 secs
lola: sara is running 620 secs || 1092204 markings, 1279421 edges, 2736 markings/sec, 620 secs
lola: sara is running 625 secs || 1105930 markings, 1294840 edges, 2745 markings/sec, 625 secs
lola: sara is running 630 secs || 1119528 markings, 1310115 edges, 2720 markings/sec, 630 secs
lola: sara is running 635 secs || 1132709 markings, 1324950 edges, 2636 markings/sec, 635 secs
lola: sara is running 640 secs || 1145735 markings, 1339609 edges, 2605 markings/sec, 640 secs
lola: sara is running 645 secs || 1158465 markings, 1353911 edges, 2546 markings/sec, 645 secs
lola: sara is running 650 secs || 1171805 markings, 1368897 edges, 2668 markings/sec, 650 secs
lola: sara is running 655 secs || 1185137 markings, 1383875 edges, 2666 markings/sec, 655 secs
lola: sara is running 660 secs || 1198614 markings, 1399013 edges, 2695 markings/sec, 660 secs
lola: sara is running 665 secs || 1212189 markings, 1414263 edges, 2715 markings/sec, 665 secs
lola: sara is running 670 secs || 1225897 markings, 1429663 edges, 2742 markings/sec, 670 secs
lola: sara is running 675 secs || 1239517 markings, 1444969 edges, 2724 markings/sec, 675 secs
lola: sara is running 680 secs || 1252993 markings, 1460138 edges, 2695 markings/sec, 680 secs
lola: sara is running 685 secs || 1265281 markings, 1473943 edges, 2458 markings/sec, 685 secs
lola: sara is running 690 secs || 1278630 markings, 1488937 edges, 2670 markings/sec, 690 secs
lola: sara is running 695 secs || 1291838 markings, 1503774 edges, 2642 markings/sec, 695 secs
lola: sara is running 700 secs || 1305402 markings, 1519048 edges, 2713 markings/sec, 700 secs
lola: sara is running 705 secs || 1318317 markings, 1533739 edges, 2583 markings/sec, 705 secs
lola: sara is running 710 secs || 1330934 markings, 1547924 edges, 2523 markings/sec, 710 secs
lola: sara is running 715 secs || 1343425 markings, 1561958 edges, 2498 markings/sec, 715 secs
lola: sara is running 720 secs || 1355068 markings, 1575037 edges, 2329 markings/sec, 720 secs
lola: sara is running 725 secs || 1370040 markings, 1591928 edges, 2994 markings/sec, 725 secs
lola: sara is running 730 secs || 1381736 markings, 1605221 edges, 2339 markings/sec, 730 secs
lola: sara is running 735 secs || 1394392 markings, 1619447 edges, 2531 markings/sec, 735 secs
lola: sara is running 740 secs || 1406449 markings, 1632988 edges, 2411 markings/sec, 740 secs
lola: sara is running 745 secs || 1418998 markings, 1647086 edges, 2510 markings/sec, 745 secs
lola: sara is running 750 secs || 1432220 markings, 1661939 edges, 2644 markings/sec, 750 secs
lola: sara is running 755 secs || 1445538 markings, 1676901 edges, 2664 markings/sec, 755 secs
lola: sara is running 760 secs || 1459076 markings, 1692125 edges, 2708 markings/sec, 760 secs
lola: sara is running 765 secs || 1471714 markings, 1706323 edges, 2528 markings/sec, 765 secs
lola: sara is running 770 secs || 1484763 markings, 1720981 edges, 2610 markings/sec, 770 secs
lola: sara is running 775 secs || 1497889 markings, 1735726 edges, 2625 markings/sec, 775 secs
lola: sara is running 780 secs || 1511321 markings, 1750816 edges, 2686 markings/sec, 780 secs
lola: sara is running 785 secs || 1524672 markings, 1765847 edges, 2670 markings/sec, 785 secs
lola: sara is running 790 secs || 1538242 markings, 1781098 edges, 2714 markings/sec, 790 secs
lola: sara is running 795 secs || 1551305 markings, 1795775 edges, 2613 markings/sec, 795 secs
lola: sara is running 800 secs || 1566250 markings, 1812665 edges, 2989 markings/sec, 800 secs
lola: sara is running 805 secs || 1577420 markings, 1825214 edges, 2234 markings/sec, 805 secs
lola: sara is running 810 secs || 1590658 markings, 1839919 edges, 2648 markings/sec, 810 secs
lola: sara is running 815 secs || 1602271 markings, 1852220 edges, 2323 markings/sec, 815 secs
lola: sara is running 820 secs || 1614923 markings, 1866301 edges, 2530 markings/sec, 820 secs
lola: sara is running 825 secs || 1628467 markings, 1881555 edges, 2709 markings/sec, 825 secs
lola: sara is running 830 secs || 1639512 markings, 1899791 edges, 2209 markings/sec, 830 secs
lola: sara is running 835 secs || 1651273 markings, 1916534 edges, 2352 markings/sec, 835 secs
lola: sara is running 840 secs || 1663612 markings, 1930401 edges, 2468 markings/sec, 840 secs
lola: sara is running 845 secs || 1678121 markings, 1946758 edges, 2902 markings/sec, 845 secs
lola: sara is running 850 secs || 1691576 markings, 1961885 edges, 2691 markings/sec, 850 secs
lola: sara is running 855 secs || 1704060 markings, 1975908 edges, 2497 markings/sec, 855 secs
lola: sara is running 860 secs || 1717378 markings, 1990869 edges, 2664 markings/sec, 860 secs
lola: sara is running 865 secs || 1730736 markings, 2005878 edges, 2672 markings/sec, 865 secs
lola: sara is running 870 secs || 1744308 markings, 2021139 edges, 2714 markings/sec, 870 secs
lola: sara is running 875 secs || 1756638 markings, 2034989 edges, 2466 markings/sec, 875 secs
lola: sara is running 880 secs || 1769549 markings, 2049494 edges, 2582 markings/sec, 880 secs
lola: sara is running 885 secs || 1782923 markings, 2064516 edges, 2675 markings/sec, 885 secs
lola: sara is running 890 secs || 1795153 markings, 2078275 edges, 2446 markings/sec, 890 secs
lola: sara is running 895 secs || 1808328 markings, 2093078 edges, 2635 markings/sec, 895 secs
lola: sara is running 900 secs || 1821911 markings, 2108336 edges, 2717 markings/sec, 900 secs
lola: sara is running 905 secs || 1836162 markings, 2124386 edges, 2850 markings/sec, 905 secs
lola: sara is running 910 secs || 1847708 markings, 2137374 edges, 2309 markings/sec, 910 secs
lola: sara is running 915 secs || 1860250 markings, 2151512 edges, 2508 markings/sec, 915 secs
lola: sara is running 920 secs || 1872145 markings, 2164880 edges, 2379 markings/sec, 920 secs
lola: sara is running 925 secs || 1884931 markings, 2179276 edges, 2557 markings/sec, 925 secs
lola: sara is running 930 secs || 1898184 markings, 2194164 edges, 2651 markings/sec, 930 secs
lola: sara is running 935 secs || 1911225 markings, 2208811 edges, 2608 markings/sec, 935 secs
lola: sara is running 940 secs || 1924408 markings, 2223623 edges, 2637 markings/sec, 940 secs
lola: sara is running 945 secs || 1938210 markings, 2239134 edges, 2760 markings/sec, 945 secs
lola: sara is running 950 secs || 1951006 markings, 2253539 edges, 2559 markings/sec, 950 secs
lola: sara is running 955 secs || 1964272 markings, 2268440 edges, 2653 markings/sec, 955 secs
lola: sara is running 960 secs || 1977494 markings, 2283295 edges, 2644 markings/sec, 960 secs
lola: sara is running 965 secs || 1990713 markings, 2298144 edges, 2644 markings/sec, 965 secs
lola: sara is running 970 secs || 2004032 markings, 2313143 edges, 2664 markings/sec, 970 secs
lola: sara is running 975 secs || 2017307 markings, 2328238 edges, 2655 markings/sec, 975 secs
lola: sara is running 980 secs || 2030203 markings, 2342725 edges, 2579 markings/sec, 980 secs
lola: sara is running 985 secs || 2042829 markings, 2356907 edges, 2525 markings/sec, 985 secs
lola: sara is running 990 secs || 2056384 markings, 2372134 edges, 2711 markings/sec, 990 secs
lola: sara is running 995 secs || 2069873 markings, 2387289 edges, 2698 markings/sec, 995 secs
lola: sara is running 1000 secs || 2083794 markings, 2402932 edges, 2784 markings/sec, 1000 secs
lola: sara is running 1005 secs || 2097987 markings, 2418927 edges, 2839 markings/sec, 1005 secs
lola: sara is running 1010 secs || 2111217 markings, 2433791 edges, 2646 markings/sec, 1010 secs
lola: sara is running 1015 secs || 2124950 markings, 2449231 edges, 2747 markings/sec, 1015 secs
lola: sara is running 1020 secs || 2138302 markings, 2464236 edges, 2670 markings/sec, 1020 secs
lola: sara is running 1025 secs || 2150923 markings, 2478412 edges, 2524 markings/sec, 1025 secs
lola: sara is running 1030 secs || 2165425 markings, 2494728 edges, 2900 markings/sec, 1030 secs
lola: sara is running 1035 secs || 2178204 markings, 2509094 edges, 2556 markings/sec, 1035 secs
lola: sara is running 1040 secs || 2190431 markings, 2522830 edges, 2445 markings/sec, 1040 secs
lola: sara is running 1045 secs || 2204142 markings, 2538231 edges, 2742 markings/sec, 1045 secs
lola: sara is running 1050 secs || 2217693 markings, 2553453 edges, 2710 markings/sec, 1050 secs
lola: sara is running 1055 secs || 2230335 markings, 2567657 edges, 2528 markings/sec, 1055 secs
lola: sara is running 1060 secs || 2244199 markings, 2583246 edges, 2773 markings/sec, 1060 secs
lola: sara is running 1065 secs || 2255875 markings, 2596363 edges, 2335 markings/sec, 1065 secs
lola: sara is running 1070 secs || 2268775 markings, 2610854 edges, 2580 markings/sec, 1070 secs
lola: sara is running 1075 secs || 2281486 markings, 2625133 edges, 2542 markings/sec, 1075 secs
lola: sara is running 1080 secs || 2294780 markings, 2640094 edges, 2659 markings/sec, 1080 secs
lola: sara is running 1085 secs || 2306835 markings, 2653638 edges, 2411 markings/sec, 1085 secs
lola: sara is running 1090 secs || 2319680 markings, 2668071 edges, 2569 markings/sec, 1090 secs
lola: sara is running 1095 secs || 2332424 markings, 2682397 edges, 2549 markings/sec, 1095 secs
lola: sara is running 1100 secs || 2345481 markings, 2697064 edges, 2611 markings/sec, 1100 secs
lola: sara is running 1105 secs || 2359236 markings, 2712517 edges, 2751 markings/sec, 1105 secs
lola: sara is running 1110 secs || 2372964 markings, 2727955 edges, 2746 markings/sec, 1110 secs
lola: sara is running 1115 secs || 2386531 markings, 2743194 edges, 2713 markings/sec, 1115 secs
lola: sara is running 1120 secs || 2398554 markings, 2756700 edges, 2405 markings/sec, 1120 secs
lola: sara is running 1125 secs || 2411667 markings, 2771430 edges, 2623 markings/sec, 1125 secs
lola: sara is running 1130 secs || 2425244 markings, 2786683 edges, 2715 markings/sec, 1130 secs
lola: sara is running 1135 secs || 2437823 markings, 2800836 edges, 2516 markings/sec, 1135 secs
lola: sara is running 1140 secs || 2450962 markings, 2815595 edges, 2628 markings/sec, 1140 secs
lola: sara is running 1145 secs || 2463734 markings, 2829941 edges, 2554 markings/sec, 1145 secs
lola: sara is running 1150 secs || 2477249 markings, 2845140 edges, 2703 markings/sec, 1150 secs
lola: sara is running 1155 secs || 2490639 markings, 2860842 edges, 2678 markings/sec, 1155 secs
lola: sara is running 1160 secs || 2503937 markings, 2875780 edges, 2660 markings/sec, 1160 secs
lola: sara is running 1165 secs || 2516205 markings, 2889565 edges, 2454 markings/sec, 1165 secs
lola: sara is running 1170 secs || 2527893 markings, 2902703 edges, 2338 markings/sec, 1170 secs
lola: sara is running 1175 secs || 2541548 markings, 2918041 edges, 2731 markings/sec, 1175 secs
lola: sara is running 1180 secs || 2555127 markings, 2933296 edges, 2716 markings/sec, 1180 secs
lola: sara is running 1185 secs || 2567995 markings, 2947775 edges, 2574 markings/sec, 1185 secs
lola: sara is running 1190 secs || 2581293 markings, 2962712 edges, 2660 markings/sec, 1190 secs
lola: sara is running 1195 secs || 2594634 markings, 2977699 edges, 2668 markings/sec, 1195 secs
lola: sara is running 1200 secs || 2608147 markings, 2992894 edges, 2703 markings/sec, 1200 secs
lola: sara is running 1205 secs || 2621848 markings, 3008945 edges, 2740 markings/sec, 1205 secs
lola: sara is running 1210 secs || 2634955 markings, 3023672 edges, 2621 markings/sec, 1210 secs
lola: sara is running 1215 secs || 2648179 markings, 3038527 edges, 2645 markings/sec, 1215 secs
lola: sara is running 1220 secs || 2661293 markings, 3053259 edges, 2623 markings/sec, 1220 secs
lola: sara is running 1225 secs || 2675481 markings, 3069225 edges, 2838 markings/sec, 1225 secs
lola: sara is running 1230 secs || 2688172 markings, 3083506 edges, 2538 markings/sec, 1230 secs
lola: sara is running 1235 secs || 2701426 markings, 3098412 edges, 2651 markings/sec, 1235 secs
lola: sara is running 1240 secs || 2714520 markings, 3113152 edges, 2619 markings/sec, 1240 secs
lola: sara is running 1245 secs || 2726295 markings, 3126380 edges, 2355 markings/sec, 1245 secs
lola: sara is running 1250 secs || 2739522 markings, 3141238 edges, 2645 markings/sec, 1250 secs
lola: sara is running 1255 secs || 2752801 markings, 3156155 edges, 2656 markings/sec, 1255 secs
lola: sara is running 1260 secs || 2766215 markings, 3171224 edges, 2683 markings/sec, 1260 secs
lola: sara is running 1265 secs || 2779672 markings, 3186358 edges, 2691 markings/sec, 1265 secs
lola: sara is running 1270 secs || 2792625 markings, 3200911 edges, 2591 markings/sec, 1270 secs
lola: sara is running 1275 secs || 2805293 markings, 3215142 edges, 2534 markings/sec, 1275 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no yes no yes no no no no no no unknown unknown yes yes yes
lola: memory consumption: 1439556 KB
lola: time consumption: 2287 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((p4866 <= p7946))) OR (((p1140 <= 0) AND (p2413 + 1 <= p7730)) OR ((p12161 + 1 <= p12285) AND (p5049 + 1 <= p4083) AND (p1560 <= p6990))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p1140 <= 0) AND (p2413 + 1 <= p7730)) OR ((p12161 + 1 <= p12285) AND (p5049 + 1 <= p4083) AND (p1560 <= p6990)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p1140 <= 0) AND (p2413 + 1 <= p7730)) OR ((p12161 + 1 <= p12285) AND (p5049 + 1 <= p4083) AND (p1560 <= p6990)))
lola: processed formula length: 116
lola: 45 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (((p2547 <= p14156) U ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((p2547 <= p14156) U ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772))))
lola: processed formula length: 73
lola: 48 rewrites
lola: closed formula file DLCshifumi-PT-4b-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((p1372 + 1 <= p14087) OR (p9268 + 1 <= p772))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCshifumi-PT-4b-CTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCshifumi-PT-4b-CTLCardinality-16-0.sara.
lola: sara is running 0 secs || 4524 markings, 5197 edges, 905 markings/sec, 0 secs
lola: sara is running 5 secs || 8717 markings, 10871 edges, 839 markings/sec, 5 secs
lola: sara is running 10 secs || 12936 markings, 16627 edges, 844 markings/sec, 10 secs
lola: sara is running 15 secs || 17211 markings, 22419 edges, 855 markings/sec, 15 secs
lola: sara is running 20 secs || 21479 markings, 28206 edges, 854 markings/sec, 20 secs
lola: sara is running 25 secs || 25676 markings, 33895 edges, 839 markings/sec, 25 secs
lola: sara is running 30 secs || 29906 markings, 39656 edges, 846 markings/sec, 30 secs
lola: sara is running 35 secs || 35112 markings, 45966 edges, 1041 markings/sec, 35 secs
lola: sara is running 40 secs || 39378 markings, 51417 edges, 853 markings/sec, 40 secs
lola: sara is running 45 secs || 43649 markings, 57078 edges, 854 markings/sec, 45 secs
lola: sara is running 50 secs || 47912 markings, 62986 edges, 853 markings/sec, 50 secs
lola: sara is running 55 secs || 52160 markings, 68622 edges, 850 markings/sec, 55 secs
lola: sara is running 60 secs || 57265 markings, 74821 edges, 1021 markings/sec, 60 secs
lola: sara is running 65 secs || 62069 markings, 81093 edges, 961 markings/sec, 65 secs
lola: sara is running 70 secs || 66654 markings, 86964 edges, 917 markings/sec, 70 secs
lola: sara is running 75 secs || 70936 markings, 92810 edges, 856 markings/sec, 75 secs
lola: sara is running 80 secs || 75215 markings, 98634 edges, 856 markings/sec, 80 secs
lola: sara is running 85 secs || 80346 markings, 104503 edges, 1026 markings/sec, 85 secs
lola: sara is running 90 secs || 85378 markings, 111038 edges, 1006 markings/sec, 90 secs
lola: sara is running 95 secs || 89599 markings, 116663 edges, 844 markings/sec, 95 secs
lola: sara is running 100 secs || 93843 markings, 122295 edges, 849 markings/sec, 100 secs
lola: sara is running 105 secs || 98065 markings, 128164 edges, 844 markings/sec, 105 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 110 secs || 103121 markings, 134045 edges, 1011 markings/sec, 110 secs
lola: sara is running 115 secs || 108147 markings, 140368 edges, 1005 markings/sec, 115 secs
lola: sara is running 120 secs || 112220 markings, 145828 edges, 815 markings/sec, 120 secs
lola: sara is running 125 secs || 116620 markings, 151785 edges, 880 markings/sec, 125 secs
lola: sara is running 130 secs || 120986 markings, 157667 edges, 873 markings/sec, 130 secs
lola: sara is running 135 secs || 126199 markings, 163723 edges, 1043 markings/sec, 135 secs
lola: sara is running 140 secs || 131339 markings, 170381 edges, 1028 markings/sec, 140 secs
lola: sara is running 145 secs || 135736 markings, 176205 edges, 879 markings/sec, 145 secs
lola: sara is running 150 secs || 140112 markings, 182250 edges, 875 markings/sec, 150 secs
lola: sara is running 155 secs || 144515 markings, 187856 edges, 881 markings/sec, 155 secs
lola: sara is running 160 secs || 149716 markings, 194357 edges, 1040 markings/sec, 160 secs
lola: sara is running 165 secs || 154886 markings, 201005 edges, 1034 markings/sec, 165 secs
sara: warning, failure of lp_solve (at job 1020)
lola: sara is running 170 secs || 159303 markings, 206893 edges, 883 markings/sec, 170 secs
lola: sara is running 175 secs || 164475 markings, 213180 edges, 1034 markings/sec, 175 secs
lola: sara is running 180 secs || 168890 markings, 219004 edges, 883 markings/sec, 180 secs
lola: sara is running 185 secs || 173242 markings, 224927 edges, 870 markings/sec, 185 secs
lola: sara is running 190 secs || 177588 markings, 230758 edges, 869 markings/sec, 190 secs
lola: sara is running 195 secs || 181943 markings, 236317 edges, 871 markings/sec, 195 secs
lola: sara is running 200 secs || 187100 markings, 242709 edges, 1031 markings/sec, 200 secs
lola: sara is running 205 secs || 192273 markings, 249135 edges, 1035 markings/sec, 205 secs
lola: sara is running 210 secs || 196592 markings, 255173 edges, 864 markings/sec, 210 secs
lola: sara is running 215 secs || 200748 markings, 260731 edges, 831 markings/sec, 215 secs
lola: sara is running 220 secs || 205877 markings, 266956 edges, 1026 markings/sec, 220 secs
lola: state equation 0: solution produced
lola: sara is running 225 secs || 210239 markings, 272570 edges, 872 markings/sec, 225 secs
lola: sara is running 230 secs || 215371 markings, 279164 edges, 1026 markings/sec, 230 secs
lola: sara is running 235 secs || 220556 markings, 285216 edges, 1037 markings/sec, 235 secs
lola: sara is running 240 secs || 225694 markings, 291870 edges, 1028 markings/sec, 240 secs
lola: sara is running 245 secs || 230083 markings, 297686 edges, 878 markings/sec, 245 secs
lola: sara is running 250 secs || 234463 markings, 303470 edges, 876 markings/sec, 250 secs
lola: sara is running 255 secs || 238779 markings, 309467 edges, 863 markings/sec, 255 secs
lola: sara is running 260 secs || 243869 markings, 315403 edges, 1018 markings/sec, 260 secs
lola: sara is running 265 secs || 248990 markings, 321368 edges, 1024 markings/sec, 265 secs
lola: sara is running 270 secs || 253359 markings, 327237 edges, 874 markings/sec, 270 secs
lola: sara is running 275 secs || 257701 markings, 333135 edges, 868 markings/sec, 275 secs
lola: sara is running 280 secs || 262031 markings, 339079 edges, 866 markings/sec, 280 secs
lola: sara is running 285 secs || 267127 markings, 345460 edges, 1019 markings/sec, 285 secs
lola: sara is running 290 secs || 271535 markings, 351002 edges, 882 markings/sec, 290 secs
lola: sara is running 295 secs || 275857 markings, 357039 edges, 864 markings/sec, 295 secs
lola: sara is running 300 secs || 280222 markings, 362883 edges, 873 markings/sec, 300 secs
lola: sara is running 305 secs || 285404 markings, 369167 edges, 1036 markings/sec, 305 secs
lola: sara is running 310 secs || 289793 markings, 374963 edges, 878 markings/sec, 310 secs
lola: sara is running 315 secs || 294954 markings, 381437 edges, 1032 markings/sec, 315 secs
lola: sara is running 320 secs || 307494 markings, 395749 edges, 2508 markings/sec, 320 secs
lola: sara is running 325 secs || 321475 markings, 411461 edges, 2796 markings/sec, 325 secs
lola: sara is running 330 secs || 335100 markings, 426783 edges, 2725 markings/sec, 330 secs
lola: sara is running 335 secs || 349123 markings, 442569 edges, 2805 markings/sec, 335 secs
lola: sara is running 340 secs || 362798 markings, 457962 edges, 2735 markings/sec, 340 secs
lola: sara is running 345 secs || 376573 markings, 473473 edges, 2755 markings/sec, 345 secs
lola: sara is running 350 secs || 390121 markings, 488692 edges, 2710 markings/sec, 350 secs
lola: sara is running 355 secs || 403904 markings, 504173 edges, 2757 markings/sec, 355 secs
lola: sara is running 360 secs || 417691 markings, 519685 edges, 2757 markings/sec, 360 secs
lola: sara is running 365 secs || 431505 markings, 535203 edges, 2763 markings/sec, 365 secs
lola: sara is running 370 secs || 445142 markings, 550522 edges, 2727 markings/sec, 370 secs
lola: sara is running 375 secs || 459006 markings, 566111 edges, 2773 markings/sec, 375 secs
lola: sara is running 380 secs || 473053 markings, 582550 edges, 2809 markings/sec, 380 secs
lola: sara is running 385 secs || 486536 markings, 597702 edges, 2697 markings/sec, 385 secs
lola: sara is running 390 secs || 500278 markings, 613140 edges, 2748 markings/sec, 390 secs
lola: sara is running 395 secs || 513872 markings, 628413 edges, 2719 markings/sec, 395 secs
lola: sara is running 400 secs || 527144 markings, 643326 edges, 2654 markings/sec, 400 secs
lola: sara is running 405 secs || 539256 markings, 656931 edges, 2422 markings/sec, 405 secs
lola: sara is running 410 secs || 552719 markings, 672054 edges, 2693 markings/sec, 410 secs
lola: sara is running 415 secs || 566479 markings, 687511 edges, 2752 markings/sec, 415 secs
lola: sara is running 420 secs || 580284 markings, 703044 edges, 2761 markings/sec, 420 secs
lola: sara is running 425 secs || 594043 markings, 718496 edges, 2752 markings/sec, 425 secs
lola: sara is running 430 secs || 607531 markings, 733648 edges, 2698 markings/sec, 430 secs
lola: sara is running 435 secs || 621341 markings, 749178 edges, 2762 markings/sec, 435 secs
lola: sara is running 440 secs || 634956 markings, 765134 edges, 2723 markings/sec, 440 secs
lola: sara is running 445 secs || 648578 markings, 780436 edges, 2724 markings/sec, 445 secs
lola: sara is running 450 secs || 661845 markings, 795344 edges, 2653 markings/sec, 450 secs
lola: sara is running 455 secs || 675644 markings, 810846 edges, 2760 markings/sec, 455 secs
lola: sara is running 460 secs || 690132 markings, 827144 edges, 2898 markings/sec, 460 secs
lola: sara is running 465 secs || 703850 markings, 842573 edges, 2744 markings/sec, 465 secs
lola: sara is running 470 secs || 717680 markings, 858112 edges, 2766 markings/sec, 470 secs
lola: sara is running 475 secs || 730569 markings, 872591 edges, 2578 markings/sec, 475 secs
lola: sara is running 480 secs || 744130 markings, 887843 edges, 2712 markings/sec, 480 secs
lola: sara is running 485 secs || 757990 markings, 903412 edges, 2772 markings/sec, 485 secs
lola: sara is running 490 secs || 771582 markings, 918681 edges, 2718 markings/sec, 490 secs
lola: sara is running 495 secs || 785415 markings, 934237 edges, 2767 markings/sec, 495 secs
lola: sara is running 500 secs || 799164 markings, 950341 edges, 2750 markings/sec, 500 secs
lola: sara is running 505 secs || 812810 markings, 965673 edges, 2729 markings/sec, 505 secs
lola: sara is running 510 secs || 826316 markings, 980844 edges, 2701 markings/sec, 510 secs
lola: sara is running 515 secs || 839805 markings, 995997 edges, 2698 markings/sec, 515 secs
lola: sara is running 520 secs || 853124 markings, 1010963 edges, 2664 markings/sec, 520 secs
lola: sara is running 525 secs || 865570 markings, 1024945 edges, 2489 markings/sec, 525 secs
lola: sara is running 530 secs || 878928 markings, 1039975 edges, 2672 markings/sec, 530 secs
lola: sara is running 535 secs || 893574 markings, 1056456 edges, 2929 markings/sec, 535 secs
lola: sara is running 540 secs || 907311 markings, 1071886 edges, 2747 markings/sec, 540 secs
lola: sara is running 545 secs || 920945 markings, 1087210 edges, 2727 markings/sec, 545 secs
lola: sara is running 550 secs || 936075 markings, 1104244 edges, 3026 markings/sec, 550 secs
lola: sara is running 555 secs || 949927 markings, 1119858 edges, 2770 markings/sec, 555 secs
lola: sara is running 560 secs || 963657 markings, 1135287 edges, 2746 markings/sec, 560 secs
lola: sara is running 565 secs || 977909 markings, 1151207 edges, 2850 markings/sec, 565 secs
lola: sara is running 570 secs || 990784 markings, 1165453 edges, 2575 markings/sec, 570 secs
lola: sara is running 575 secs || 1004383 markings, 1180729 edges, 2720 markings/sec, 575 secs
lola: sara is running 580 secs || 1018091 markings, 1196127 edges, 2742 markings/sec, 580 secs
lola: sara is running 585 secs || 1031737 markings, 1211456 edges, 2729 markings/sec, 585 secs
lola: sara is running 590 secs || 1045497 markings, 1226915 edges, 2752 markings/sec, 590 secs
lola: sara is running 595 secs || 1059255 markings, 1242370 edges, 2752 markings/sec, 595 secs
lola: sara is running 600 secs || 1073481 markings, 1258359 edges, 2845 markings/sec, 600 secs
lola: sara is running 605 secs || 1087434 markings, 1274062 edges, 2791 markings/sec, 605 secs
lola: sara is running 610 secs || 1101028 markings, 1289336 edges, 2719 markings/sec, 610 secs
lola: sara is running 615 secs || 1114871 markings, 1304883 edges, 2769 markings/sec, 615 secs
lola: sara is running 620 secs || 1128446 markings, 1320136 edges, 2715 markings/sec, 620 secs
lola: sara is running 625 secs || 1142147 markings, 1335580 edges, 2740 markings/sec, 625 secs
lola: sara is running 630 secs || 1155370 markings, 1350434 edges, 2645 markings/sec, 630 secs
lola: sara is running 635 secs || 1169195 markings, 1365963 edges, 2765 markings/sec, 635 secs
lola: sara is running 640 secs || 1182803 markings, 1381251 edges, 2722 markings/sec, 640 secs
lola: sara is running 645 secs || 1196216 markings, 1396318 edges, 2683 markings/sec, 645 secs
lola: sara is running 650 secs || 1209642 markings, 1411402 edges, 2685 markings/sec, 650 secs
lola: sara is running 655 secs || 1223234 markings, 1426670 edges, 2718 markings/sec, 655 secs
lola: sara is running 660 secs || 1237372 markings, 1442560 edges, 2828 markings/sec, 660 secs
lola: sara is running 665 secs || 1251114 markings, 1458027 edges, 2748 markings/sec, 665 secs
lola: sara is running 670 secs || 1264537 markings, 1473106 edges, 2685 markings/sec, 670 secs
lola: sara is running 675 secs || 1278023 markings, 1488257 edges, 2697 markings/sec, 675 secs
lola: sara is running 680 secs || 1291704 markings, 1503624 edges, 2736 markings/sec, 680 secs
lola: sara is running 685 secs || 1305500 markings, 1519158 edges, 2759 markings/sec, 685 secs
lola: sara is running 690 secs || 1318959 markings, 1534460 edges, 2692 markings/sec, 690 secs
lola: sara is running 695 secs || 1332419 markings, 1549594 edges, 2692 markings/sec, 695 secs
lola: sara is running 700 secs || 1345508 markings, 1564297 edges, 2618 markings/sec, 700 secs
lola: sara is running 705 secs || 1358368 markings, 1578772 edges, 2572 markings/sec, 705 secs
lola: sara is running 710 secs || 1373122 markings, 1595543 edges, 2951 markings/sec, 710 secs
lola: sara is running 715 secs || 1385403 markings, 1609340 edges, 2456 markings/sec, 715 secs
lola: sara is running 720 secs || 1398450 markings, 1624004 edges, 2609 markings/sec, 720 secs
lola: sara is running 725 secs || 1411712 markings, 1638902 edges, 2652 markings/sec, 725 secs
lola: sara is running 730 secs || 1425184 markings, 1654036 edges, 2694 markings/sec, 730 secs
lola: sara is running 735 secs || 1438894 markings, 1669438 edges, 2742 markings/sec, 735 secs
lola: sara is running 740 secs || 1452709 markings, 1684973 edges, 2763 markings/sec, 740 secs
lola: sara is running 745 secs || 1466171 markings, 1700095 edges, 2692 markings/sec, 745 secs
lola: sara is running 750 secs || 1478947 markings, 1714449 edges, 2555 markings/sec, 750 secs
lola: sara is running 755 secs || 1492427 markings, 1729590 edges, 2696 markings/sec, 755 secs
lola: sara is running 760 secs || 1506160 markings, 1745019 edges, 2747 markings/sec, 760 secs
lola: sara is running 765 secs || 1519961 markings, 1760522 edges, 2760 markings/sec, 765 secs
lola: sara is running 770 secs || 1533800 markings, 1776100 edges, 2768 markings/sec, 770 secs
lola: sara is running 775 secs || 1547543 markings, 1791547 edges, 2749 markings/sec, 775 secs
lola: sara is running 780 secs || 1563302 markings, 1809354 edges, 3152 markings/sec, 780 secs
lola: sara is running 785 secs || 1575754 markings, 1823344 edges, 2490 markings/sec, 785 secs
lola: sara is running 790 secs || 1588882 markings, 1838041 edges, 2626 markings/sec, 790 secs
lola: sara is running 795 secs || 1600909 markings, 1850782 edges, 2405 markings/sec, 795 secs
lola: sara is running 800 secs || 1614200 markings, 1865480 edges, 2658 markings/sec, 800 secs
lola: sara is running 805 secs || 1628467 markings, 1881555 edges, 2853 markings/sec, 805 secs
lola: sara is running 810 secs || 1639917 markings, 1900524 edges, 2290 markings/sec, 810 secs
lola: sara is running 815 secs || 1652149 markings, 1917518 edges, 2446 markings/sec, 815 secs
lola: sara is running 820 secs || 1665036 markings, 1932003 edges, 2577 markings/sec, 820 secs
lola: sara is running 825 secs || 1679637 markings, 1948462 edges, 2920 markings/sec, 825 secs
lola: sara is running 830 secs || 1693280 markings, 1963799 edges, 2729 markings/sec, 830 secs
lola: sara is running 835 secs || 1706925 markings, 1979127 edges, 2729 markings/sec, 835 secs
lola: sara is running 840 secs || 1720575 markings, 1994461 edges, 2730 markings/sec, 840 secs
lola: sara is running 845 secs || 1734370 markings, 2009958 edges, 2759 markings/sec, 845 secs
lola: sara is running 850 secs || 1748290 markings, 2025611 edges, 2784 markings/sec, 850 secs
lola: sara is running 855 secs || 1761238 markings, 2040158 edges, 2590 markings/sec, 855 secs
lola: sara is running 860 secs || 1774947 markings, 2055556 edges, 2742 markings/sec, 860 secs
lola: sara is running 865 secs || 1788573 markings, 2070863 edges, 2725 markings/sec, 865 secs
lola: sara is running 870 secs || 1802735 markings, 2086795 edges, 2832 markings/sec, 870 secs
lola: sara is running 875 secs || 1816326 markings, 2102061 edges, 2718 markings/sec, 875 secs
lola: sara is running 880 secs || 1829826 markings, 2117228 edges, 2700 markings/sec, 880 secs
lola: sara is running 885 secs || 1843379 markings, 2132510 edges, 2711 markings/sec, 885 secs
lola: sara is running 890 secs || 1855513 markings, 2146139 edges, 2427 markings/sec, 890 secs
lola: sara is running 895 secs || 1869013 markings, 2161362 edges, 2700 markings/sec, 895 secs
lola: sara is running 900 secs || 1882058 markings, 2176045 edges, 2609 markings/sec, 900 secs
lola: sara is running 905 secs || 1895599 markings, 2191258 edges, 2708 markings/sec, 905 secs
lola: sara is running 910 secs || 1908991 markings, 2206302 edges, 2678 markings/sec, 910 secs
lola: sara is running 915 secs || 1922559 markings, 2221545 edges, 2714 markings/sec, 915 secs
lola: sara is running 920 secs || 1936677 markings, 2237411 edges, 2824 markings/sec, 920 secs
lola: sara is running 925 secs || 1950367 markings, 2252821 edges, 2738 markings/sec, 925 secs
lola: sara is running 930 secs || 1963784 markings, 2267893 edges, 2683 markings/sec, 930 secs
lola: sara is running 935 secs || 1977236 markings, 2283005 edges, 2690 markings/sec, 935 secs
lola: sara is running 940 secs || 1990904 markings, 2298359 edges, 2734 markings/sec, 940 secs
lola: sara is running 945 secs || 2004660 markings, 2313848 edges, 2751 markings/sec, 945 secs
lola: sara is running 950 secs || 2018061 markings, 2329086 edges, 2680 markings/sec, 950 secs
lola: sara is running 955 secs || 2031118 markings, 2343752 edges, 2611 markings/sec, 955 secs
lola: sara is running 960 secs || 2044532 markings, 2358822 edges, 2683 markings/sec, 960 secs
lola: sara is running 965 secs || 2058085 markings, 2374046 edges, 2711 markings/sec, 965 secs
lola: sara is running 970 secs || 2071596 markings, 2389225 edges, 2702 markings/sec, 970 secs
lola: sara is running 975 secs || 2085798 markings, 2405184 edges, 2840 markings/sec, 975 secs
lola: sara is running 980 secs || 2100340 markings, 2421569 edges, 2908 markings/sec, 980 secs
lola: sara is running 985 secs || 2114474 markings, 2437459 edges, 2827 markings/sec, 985 secs
lola: sara is running 990 secs || 2127924 markings, 2452572 edges, 2690 markings/sec, 990 secs
lola: sara is running 995 secs || 2141645 markings, 2467990 edges, 2744 markings/sec, 995 secs
lola: sara is running 1000 secs || 2154810 markings, 2482779 edges, 2633 markings/sec, 1000 secs
lola: sara is running 1005 secs || 2169153 markings, 2498924 edges, 2869 markings/sec, 1005 secs
lola: sara is running 1010 secs || 2182236 markings, 2513625 edges, 2617 markings/sec, 1010 secs
lola: sara is running 1015 secs || 2195769 markings, 2528825 edges, 2707 markings/sec, 1015 secs
lola: sara is running 1020 secs || 2209291 markings, 2544015 edges, 2704 markings/sec, 1020 secs
lola: sara is running 1025 secs || 2222778 markings, 2559166 edges, 2697 markings/sec, 1025 secs
lola: sara is running 1030 secs || 2236586 markings, 2574693 edges, 2762 markings/sec, 1030 secs
lola: sara is running 1035 secs || 2249555 markings, 2589262 edges, 2594 markings/sec, 1035 secs
lola: sara is running 1040 secs || 2263016 markings, 2604384 edges, 2692 markings/sec, 1040 secs
lola: sara is running 1045 secs || 2276444 markings, 2619468 edges, 2686 markings/sec, 1045 secs
lola: sara is running 1050 secs || 2290372 markings, 2635140 edges, 2786 markings/sec, 1050 secs
lola: sara is running 1055 secs || 2301856 markings, 2648044 edges, 2297 markings/sec, 1055 secs
lola: sara is running 1060 secs || 2314699 markings, 2662471 edges, 2569 markings/sec, 1060 secs
lola: sara is running 1065 secs || 2328233 markings, 2677687 edges, 2707 markings/sec, 1065 secs
lola: sara is running 1070 secs || 2341633 markings, 2692743 edges, 2680 markings/sec, 1070 secs
lola: sara is running 1075 secs || 2355100 markings, 2707870 edges, 2693 markings/sec, 1075 secs
lola: sara is running 1080 secs || 2368893 markings, 2723363 edges, 2759 markings/sec, 1080 secs
lola: sara is running 1085 secs || 2382663 markings, 2738850 edges, 2754 markings/sec, 1085 secs
lola: sara is running 1090 secs || 2395108 markings, 2752829 edges, 2489 markings/sec, 1090 secs
lola: sara is running 1095 secs || 2408443 markings, 2767809 edges, 2667 markings/sec, 1095 secs
lola: sara is running 1100 secs || 2422133 markings, 2783188 edges, 2738 markings/sec, 1100 secs
lola: sara is running 1105 secs || 2436113 markings, 2798913 edges, 2796 markings/sec, 1105 secs
lola: sara is running 1110 secs || 2449792 markings, 2814279 edges, 2736 markings/sec, 1110 secs
lola: sara is running 1115 secs || 2463396 markings, 2829562 edges, 2721 markings/sec, 1115 secs
lola: sara is running 1120 secs || 2477395 markings, 2845303 edges, 2800 markings/sec, 1120 secs
lola: sara is running 1125 secs || 2491229 markings, 2861504 edges, 2767 markings/sec, 1125 secs
lola: sara is running 1130 secs || 2504900 markings, 2876865 edges, 2734 markings/sec, 1130 secs
lola: sara is running 1135 secs || 2517875 markings, 2891442 edges, 2595 markings/sec, 1135 secs
lola: sara is running 1140 secs || 2530628 markings, 2905777 edges, 2551 markings/sec, 1140 secs
lola: sara is running 1145 secs || 2544372 markings, 2921217 edges, 2749 markings/sec, 1145 secs
lola: sara is running 1150 secs || 2558099 markings, 2936635 edges, 2745 markings/sec, 1150 secs
lola: sara is running 1155 secs || 2572081 markings, 2952364 edges, 2796 markings/sec, 1155 secs
lola: sara is running 1160 secs || 2585712 markings, 2967676 edges, 2726 markings/sec, 1160 secs
lola: sara is running 1165 secs || 2599689 markings, 2983392 edges, 2795 markings/sec, 1165 secs
lola: sara is running 1170 secs || 2613183 markings, 2998552 edges, 2699 markings/sec, 1170 secs
lola: sara is running 1175 secs || 2627290 markings, 3015058 edges, 2821 markings/sec, 1175 secs
lola: sara is running 1180 secs || 2640720 markings, 3030148 edges, 2686 markings/sec, 1180 secs
lola: sara is running 1185 secs || 2654451 markings, 3045573 edges, 2746 markings/sec, 1185 secs
lola: sara is running 1190 secs || 2668063 markings, 3060865 edges, 2722 markings/sec, 1190 secs
lola: sara is running 1195 secs || 2682531 markings, 3077168 edges, 2894 markings/sec, 1195 secs
lola: sara is running 1200 secs || 2694853 markings, 3091013 edges, 2464 markings/sec, 1200 secs
lola: sara is running 1205 secs || 2709251 markings, 3107233 edges, 2880 markings/sec, 1205 secs
lola: sara is running 1210 secs || 2722046 markings, 3121606 edges, 2559 markings/sec, 1210 secs
lola: sara is running 1215 secs || 2735089 markings, 3136259 edges, 2609 markings/sec, 1215 secs
lola: sara is running 1220 secs || 2748698 markings, 3151547 edges, 2722 markings/sec, 1220 secs
lola: sara is running 1225 secs || 2762517 markings, 3167072 edges, 2764 markings/sec, 1225 secs
lola: sara is running 1230 secs || 2776307 markings, 3182577 edges, 2758 markings/sec, 1230 secs
lola: sara is running 1235 secs || 2789419 markings, 3197305 edges, 2622 markings/sec, 1235 secs
lola: sara is running 1240 secs || 2802652 markings, 3212175 edges, 2647 markings/sec, 1240 secs
lola: sara is running 1245 secs || 2816301 markings, 3227507 edges, 2730 markings/sec, 1245 secs
lola: sara is running 1250 secs || 2829979 markings, 3242872 edges, 2736 markings/sec, 1250 secs
lola: sara is running 1255 secs || 2843128 markings, 3257641 edges, 2630 markings/sec, 1255 secs
lola: sara is running 1260 secs || 2856874 markings, 3273082 edges, 2749 markings/sec, 1260 secs
lola: sara is running 1265 secs || 2871570 markings, 3289625 edges, 2939 markings/sec, 1265 secs
lola: sara is running 1270 secs || 2884564 markings, 3304223 edges, 2599 markings/sec, 1270 secs
lola: sara is running 1275 secs || 2898061 markings, 3319385 edges, 2699 markings/sec, 1275 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no yes no no no no no no unknown unknown yes yes yes
lola:
preliminary result: no no yes no yes no no no no no no unknown unknown yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no yes no no no no no no unknown unknown yes yes yes
lola: memory consumption: 1479640 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no yes no no no no no no unknown unknown yes yes yes
lola: memory consumption: 1479828 KB
lola: time consumption: 3569 seconds
BK_STOP 1526719756611
--------------------
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="DLCshifumi-PT-4b"
export BK_EXAMINATION="CTLCardinality"
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/DLCshifumi-PT-4b.tgz
mv DLCshifumi-PT-4b 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 DLCshifumi-PT-4b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735300192"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;