About the Execution of LoLA for CloudReconfiguration-PT-303
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11907.700 | 3571027.00 | 7149287.00 | 8982.30 | TF?FTTFFTTTFFT?F | 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 820K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-303, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379800019
=====================================================================
--------------------
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 CloudReconfiguration-PT-303-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-303-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526474734443
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-303 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 CloudReconfiguration-PT-303 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-303 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: Size of bit vector: 2584
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p2532)
lola: LP says that atomic proposition is always false: (3 <= p1782)
lola: LP says that atomic proposition is always false: (2 <= p2463)
lola: LP says that atomic proposition is always false: (2 <= p2141)
lola: LP says that atomic proposition is always false: (3 <= p1417)
lola: LP says that atomic proposition is always false: (3 <= p1110)
lola: LP says that atomic proposition is always false: (3 <= p1877)
lola: LP says that atomic proposition is always false: (2 <= p1106)
lola: LP says that atomic proposition is always false: (3 <= p1380)
lola: LP says that atomic proposition is always false: (3 <= p836)
lola: LP says that atomic proposition is always false: (2 <= p1221)
lola: LP says that atomic proposition is always false: (3 <= p549)
lola: LP says that atomic proposition is always false: (3 <= p2445)
lola: LP says that atomic proposition is always false: (2 <= p2349)
lola: LP says that atomic proposition is always false: (2 <= p2110)
lola: LP says that atomic proposition is always false: (2 <= p1134)
lola: LP says that atomic proposition is always false: (3 <= p1159)
lola: LP says that atomic proposition is always false: (3 <= p332)
lola: LP says that atomic proposition is always false: (2 <= p250)
lola: LP says that atomic proposition is always false: (3 <= p517)
lola: E (F (((p2060 + 1 <= p1178)))) : A (G (((p1035 <= p1743) OR (p368 <= p2571)))) : A (G (((p1050 <= p1295) OR (p80 <= p58)))) : A (G ((p925 <= p1098))) : E (F ((p1270 + 1 <= p993))) : A (G (())) : A (G ((((p1073 <= p629) AND (1 <= p2461)) OR (1 <= p1346) OR (p1535 <= p916)))) : E (F (())) : E (F (((p1768 + 1 <= p166) AND ((p411 <= p2531) OR ((p1361 <= p1228) AND (p1184 <= p1724)))))) : A (G (())) : A (G (())) : A (G ((((p1127 <= p94) OR (1 <= p2475)) AND ((p1304 <= p370) OR ((p27 <= p1439) AND (1 <= p2224)))))) : E (F (())) : E (F (((1 <= p1159) AND (p1956 + 1 <= p392)))) : A (G ((p1378 <= p1275))) : A (G ((((p958 <= p2075)) AND (p976 <= p1743))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p1270 + 1 <= p993)))
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 ((p1270 + 1 <= p993)))
lola: processed formula length: 27
lola: 16 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (p1270 + 1 <= p993)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-5-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: 77 markings, 76 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2060 + 1 <= p1178))))
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 (((p2060 + 1 <= p1178))))
lola: processed formula length: 30
lola: 16 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p2060 + 1 <= p1178))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-6-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: 72 markings, 71 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p925 <= p1098)))
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 ((p925 <= p1098)))
lola: processed formula length: 23
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p1098 + 1 <= p925)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1378 <= p1275)))
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 ((p1378 <= p1275)))
lola: processed formula length: 24
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p1275 + 1 <= p1378)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 85221 markings, 102303 edges, 17044 markings/sec, 0 secs
lola: sara is running 5 secs || 172363 markings, 208928 edges, 17428 markings/sec, 5 secs
lola: sara is running 10 secs || 252400 markings, 306867 edges, 16007 markings/sec, 10 secs
lola: sara is running 15 secs || 332313 markings, 404660 edges, 15983 markings/sec, 15 secs
lola: sara is running 20 secs || 421905 markings, 514448 edges, 17918 markings/sec, 20 secs
lola: sara is running 25 secs || 511983 markings, 624470 edges, 18016 markings/sec, 25 secs
lola: sara is running 30 secs || 607380 markings, 741371 edges, 19079 markings/sec, 30 secs
lola: sara is running 35 secs || 692941 markings, 846777 edges, 17112 markings/sec, 35 secs
lola: sara is running 40 secs || 770749 markings, 942499 edges, 15562 markings/sec, 40 secs
lola: sara is running 45 secs || 841410 markings, 1029775 edges, 14132 markings/sec, 45 secs
lola: sara is running 50 secs || 910523 markings, 1114875 edges, 13823 markings/sec, 50 secs
lola: sara is running 55 secs || 978765 markings, 1199088 edges, 13648 markings/sec, 55 secs
lola: sara is running 60 secs || 1064342 markings, 1304736 edges, 17115 markings/sec, 60 secs
lola: sara is running 65 secs || 1150829 markings, 1411602 edges, 17297 markings/sec, 65 secs
lola: sara is running 70 secs || 1244939 markings, 1527396 edges, 18822 markings/sec, 70 secs
lola: sara is running 75 secs || 1328013 markings, 1630190 edges, 16615 markings/sec, 75 secs
lola: sara is running 80 secs || 1396947 markings, 1712875 edges, 13787 markings/sec, 80 secs
lola: sara is running 85 secs || 1469828 markings, 1801090 edges, 14576 markings/sec, 85 secs
lola: sara is running 90 secs || 1545259 markings, 1892838 edges, 15086 markings/sec, 90 secs
lola: sara is running 95 secs || 1617706 markings, 1980402 edges, 14489 markings/sec, 95 secs
lola: sara is running 100 secs || 1699722 markings, 2075303 edges, 16403 markings/sec, 100 secs
lola: sara is running 105 secs || 1774448 markings, 2165514 edges, 14945 markings/sec, 105 secs
lola: sara is running 110 secs || 1849653 markings, 2257258 edges, 15041 markings/sec, 110 secs
lola: sara is running 115 secs || 1925640 markings, 2350046 edges, 15197 markings/sec, 115 secs
lola: sara is running 120 secs || 2002875 markings, 2444965 edges, 15447 markings/sec, 120 secs
lola: sara is running 125 secs || 2079424 markings, 2538739 edges, 15310 markings/sec, 125 secs
lola: sara is running 130 secs || 2156341 markings, 2633315 edges, 15383 markings/sec, 130 secs
lola: sara is running 135 secs || 2233675 markings, 2728283 edges, 15467 markings/sec, 135 secs
lola: sara is running 140 secs || 2308365 markings, 2819670 edges, 14938 markings/sec, 140 secs
lola: sara is running 145 secs || 2384509 markings, 2913005 edges, 15229 markings/sec, 145 secs
lola: sara is running 150 secs || 2461129 markings, 3006913 edges, 15324 markings/sec, 150 secs
lola: sara is running 155 secs || 2540635 markings, 3104685 edges, 15901 markings/sec, 155 secs
lola: sara is running 160 secs || 2617788 markings, 3199016 edges, 15431 markings/sec, 160 secs
lola: sara is running 165 secs || 2696129 markings, 3294995 edges, 15668 markings/sec, 165 secs
lola: sara is running 170 secs || 2775109 markings, 3392006 edges, 15796 markings/sec, 170 secs
lola: sara is running 175 secs || 2849894 markings, 3483530 edges, 14957 markings/sec, 175 secs
lola: sara is running 180 secs || 2927135 markings, 3577932 edges, 15448 markings/sec, 180 secs
lola: sara is running 185 secs || 3003231 markings, 3671121 edges, 15219 markings/sec, 185 secs
lola: sara is running 190 secs || 3079242 markings, 3764615 edges, 15202 markings/sec, 190 secs
lola: sara is running 195 secs || 3157410 markings, 3860178 edges, 15634 markings/sec, 195 secs
lola: sara is running 200 secs || 3232560 markings, 3952966 edges, 15030 markings/sec, 200 secs
lola: sara is running 205 secs || 3309228 markings, 4047060 edges, 15334 markings/sec, 205 secs
lola: sara is running 210 secs || 3383660 markings, 4138302 edges, 14886 markings/sec, 210 secs
lola: sara is running 215 secs || 3456948 markings, 4227988 edges, 14658 markings/sec, 215 secs
lola: sara is running 220 secs || 3529002 markings, 4316642 edges, 14411 markings/sec, 220 secs
lola: sara is running 225 secs || 3598623 markings, 4402333 edges, 13924 markings/sec, 225 secs
lola: sara is running 230 secs || 3664819 markings, 4482720 edges, 13239 markings/sec, 230 secs
lola: sara is running 235 secs || 3739812 markings, 4574698 edges, 14999 markings/sec, 235 secs
lola: sara is running 240 secs || 3812983 markings, 4664250 edges, 14634 markings/sec, 240 secs
lola: sara is running 245 secs || 3890633 markings, 4759852 edges, 15530 markings/sec, 245 secs
lola: sara is running 250 secs || 3960278 markings, 4845455 edges, 13929 markings/sec, 250 secs
lola: sara is running 255 secs || 4034372 markings, 4936030 edges, 14819 markings/sec, 255 secs
lola: sara is running 260 secs || 4109951 markings, 5028632 edges, 15116 markings/sec, 260 secs
lola: sara is running 265 secs || 4187390 markings, 5124042 edges, 15488 markings/sec, 265 secs
lola: sara is running 270 secs || 4258111 markings, 5210264 edges, 14144 markings/sec, 270 secs
lola: sara is running 275 secs || 4327508 markings, 5295858 edges, 13879 markings/sec, 275 secs
lola: sara is running 280 secs || 4402411 markings, 5387291 edges, 14981 markings/sec, 280 secs
lola: sara is running 285 secs || 4474172 markings, 5475085 edges, 14352 markings/sec, 285 secs
lola: sara is running 290 secs || 4547400 markings, 5565051 edges, 14646 markings/sec, 290 secs
lola: sara is running 295 secs || 4620409 markings, 5652876 edges, 14602 markings/sec, 295 secs
lola: sara is running 300 secs || 4693154 markings, 5741989 edges, 14549 markings/sec, 300 secs
lola: sara is running 305 secs || 4763514 markings, 5827026 edges, 14072 markings/sec, 305 secs
lola: sara is running 310 secs || 4836447 markings, 5916056 edges, 14587 markings/sec, 310 secs
lola: sara is running 315 secs || 4907128 markings, 6000568 edges, 14136 markings/sec, 315 secs
lola: sara is running 320 secs || 4974508 markings, 6081154 edges, 13476 markings/sec, 320 secs
lola: sara is running 325 secs || 5041014 markings, 6163422 edges, 13301 markings/sec, 325 secs
lola: sara is running 330 secs || 5109751 markings, 6248325 edges, 13747 markings/sec, 330 secs
lola: sara is running 335 secs || 5180530 markings, 6335379 edges, 14156 markings/sec, 335 secs
lola: sara is running 340 secs || 5250505 markings, 6421883 edges, 13995 markings/sec, 340 secs
lola: sara is running 345 secs || 5325690 markings, 6514523 edges, 15037 markings/sec, 345 secs
lola: sara is running 350 secs || 5400236 markings, 6606658 edges, 14909 markings/sec, 350 secs
lola: sara is running 355 secs || 5474226 markings, 6697529 edges, 14798 markings/sec, 355 secs
lola: sara is running 360 secs || 5548613 markings, 6788946 edges, 14877 markings/sec, 360 secs
lola: sara is running 365 secs || 5621027 markings, 6878199 edges, 14483 markings/sec, 365 secs
lola: sara is running 370 secs || 5695728 markings, 6969975 edges, 14940 markings/sec, 370 secs
lola: sara is running 375 secs || 5768046 markings, 7058718 edges, 14464 markings/sec, 375 secs
lola: sara is running 380 secs || 5842031 markings, 7149846 edges, 14797 markings/sec, 380 secs
lola: sara is running 385 secs || 5914787 markings, 7239484 edges, 14551 markings/sec, 385 secs
lola: sara is running 390 secs || 5986627 markings, 7328128 edges, 14368 markings/sec, 390 secs
lola: sara is running 395 secs || 6058987 markings, 7416669 edges, 14472 markings/sec, 395 secs
lola: sara is running 400 secs || 6130659 markings, 7504743 edges, 14334 markings/sec, 400 secs
lola: sara is running 405 secs || 6203776 markings, 7594372 edges, 14623 markings/sec, 405 secs
lola: sara is running 410 secs || 6281318 markings, 7689849 edges, 15508 markings/sec, 410 secs
lola: sara is running 415 secs || 6353920 markings, 7778937 edges, 14520 markings/sec, 415 secs
lola: sara is running 420 secs || 6427308 markings, 7868969 edges, 14678 markings/sec, 420 secs
lola: sara is running 425 secs || 6500593 markings, 7958721 edges, 14657 markings/sec, 425 secs
lola: sara is running 430 secs || 6568930 markings, 8043326 edges, 13667 markings/sec, 430 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown no yes yes unknown no unknown yes yes unknown no unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown unknown no yes yes unknown no unknown yes yes unknown no unknown unknown unknown
lola: memory consumption: 1886940 KB
lola: time consumption: 487 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p1159) AND (p1956 + 1 <= p392))))
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 <= p1159) AND (p1956 + 1 <= p392))))
lola: processed formula length: 46
lola: 16 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p1159) AND (p1956 + 1 <= p392))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 188 markings, 199 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 513 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1050 <= p1295) OR (p80 <= p58))))
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 (((p1050 <= p1295) OR (p80 <= p58))))
lola: processed formula length: 43
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p1295 + 1 <= p1050) AND (p58 + 1 <= p80))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 48167 markings, 86028 edges, 9633 markings/sec, 0 secs
lola: sara is running 5 secs || 93533 markings, 188922 edges, 9073 markings/sec, 5 secs
lola: sara is running 10 secs || 137882 markings, 290751 edges, 8870 markings/sec, 10 secs
lola: sara is running 15 secs || 181247 markings, 384073 edges, 8673 markings/sec, 15 secs
lola: sara is running 20 secs || 226114 markings, 486438 edges, 8973 markings/sec, 20 secs
lola: sara is running 25 secs || 270325 markings, 581819 edges, 8842 markings/sec, 25 secs
lola: sara is running 30 secs || 316328 markings, 684931 edges, 9201 markings/sec, 30 secs
lola: sara is running 35 secs || 363662 markings, 792566 edges, 9467 markings/sec, 35 secs
lola: sara is running 40 secs || 409082 markings, 896383 edges, 9084 markings/sec, 40 secs
lola: sara is running 45 secs || 454826 markings, 1001527 edges, 9149 markings/sec, 45 secs
lola: sara is running 50 secs || 501022 markings, 1106972 edges, 9239 markings/sec, 50 secs
lola: sara is running 55 secs || 548819 markings, 1205866 edges, 9559 markings/sec, 55 secs
lola: sara is running 60 secs || 591570 markings, 1299977 edges, 8550 markings/sec, 60 secs
lola: sara is running 65 secs || 634734 markings, 1392800 edges, 8633 markings/sec, 65 secs
lola: sara is running 70 secs || 678415 markings, 1486824 edges, 8736 markings/sec, 70 secs
lola: sara is running 75 secs || 721678 markings, 1580186 edges, 8653 markings/sec, 75 secs
lola: sara is running 80 secs || 764693 markings, 1673504 edges, 8603 markings/sec, 80 secs
lola: sara is running 85 secs || 806238 markings, 1768348 edges, 8309 markings/sec, 85 secs
lola: sara is running 90 secs || 847918 markings, 1863462 edges, 8336 markings/sec, 90 secs
lola: sara is running 95 secs || 889568 markings, 1958696 edges, 8330 markings/sec, 95 secs
lola: sara is running 100 secs || 933925 markings, 2047720 edges, 8871 markings/sec, 100 secs
lola: sara is running 105 secs || 974966 markings, 2141558 edges, 8208 markings/sec, 105 secs
lola: sara is running 110 secs || 1017830 markings, 2239427 edges, 8573 markings/sec, 110 secs
lola: sara is running 115 secs || 1060461 markings, 2336978 edges, 8526 markings/sec, 115 secs
lola: sara is running 120 secs || 1105882 markings, 2419322 edges, 9084 markings/sec, 120 secs
lola: sara is running 125 secs || 1150346 markings, 2508105 edges, 8893 markings/sec, 125 secs
lola: sara is running 130 secs || 1192880 markings, 2596999 edges, 8507 markings/sec, 130 secs
lola: sara is running 135 secs || 1234052 markings, 2694310 edges, 8234 markings/sec, 135 secs
lola: sara is running 140 secs || 1277892 markings, 2787355 edges, 8768 markings/sec, 140 secs
lola: sara is running 145 secs || 1322253 markings, 2875376 edges, 8872 markings/sec, 145 secs
lola: sara is running 150 secs || 1369582 markings, 2983741 edges, 9466 markings/sec, 150 secs
lola: sara is running 155 secs || 1418255 markings, 3095513 edges, 9735 markings/sec, 155 secs
lola: sara is running 160 secs || 1465162 markings, 3203563 edges, 9381 markings/sec, 160 secs
lola: sara is running 165 secs || 1512457 markings, 3299020 edges, 9459 markings/sec, 165 secs
lola: sara is running 170 secs || 1560276 markings, 3394982 edges, 9564 markings/sec, 170 secs
lola: sara is running 175 secs || 1608059 markings, 3489403 edges, 9557 markings/sec, 175 secs
lola: sara is running 180 secs || 1655339 markings, 3578557 edges, 9456 markings/sec, 180 secs
lola: sara is running 185 secs || 1701870 markings, 3666487 edges, 9306 markings/sec, 185 secs
lola: sara is running 190 secs || 1747461 markings, 3771170 edges, 9118 markings/sec, 190 secs
lola: sara is running 195 secs || 1793221 markings, 3876251 edges, 9152 markings/sec, 195 secs
lola: sara is running 200 secs || 1837476 markings, 3976275 edges, 8851 markings/sec, 200 secs
lola: sara is running 205 secs || 1883182 markings, 4064462 edges, 9141 markings/sec, 205 secs
lola: sara is running 210 secs || 1927691 markings, 4165406 edges, 8902 markings/sec, 210 secs
lola: sara is running 215 secs || 1968958 markings, 4262835 edges, 8253 markings/sec, 215 secs
lola: sara is running 220 secs || 2011602 markings, 4361404 edges, 8529 markings/sec, 220 secs
lola: sara is running 225 secs || 2054893 markings, 4454149 edges, 8658 markings/sec, 225 secs
lola: sara is running 230 secs || 2096163 markings, 4542665 edges, 8254 markings/sec, 230 secs
lola: sara is running 235 secs || 2136790 markings, 4631252 edges, 8125 markings/sec, 235 secs
lola: sara is running 240 secs || 2175381 markings, 4714361 edges, 7718 markings/sec, 240 secs
lola: sara is running 245 secs || 2212339 markings, 4794263 edges, 7392 markings/sec, 245 secs
lola: sara is running 250 secs || 2250336 markings, 4875656 edges, 7599 markings/sec, 250 secs
lola: sara is running 255 secs || 2287935 markings, 4957571 edges, 7520 markings/sec, 255 secs
lola: sara is running 260 secs || 2332276 markings, 5053246 edges, 8868 markings/sec, 260 secs
lola: sara is running 265 secs || 2377361 markings, 5150907 edges, 9017 markings/sec, 265 secs
lola: sara is running 270 secs || 2419407 markings, 5243512 edges, 8409 markings/sec, 270 secs
lola: sara is running 275 secs || 2463418 markings, 5342753 edges, 8802 markings/sec, 275 secs
lola: sara is running 280 secs || 2511324 markings, 5448074 edges, 9581 markings/sec, 280 secs
lola: sara is running 285 secs || 2561642 markings, 5562598 edges, 10064 markings/sec, 285 secs
lola: sara is running 290 secs || 2611947 markings, 5677344 edges, 10061 markings/sec, 290 secs
lola: sara is running 295 secs || 2660255 markings, 5787712 edges, 9662 markings/sec, 295 secs
lola: sara is running 300 secs || 2708004 markings, 5896493 edges, 9550 markings/sec, 300 secs
lola: sara is running 305 secs || 2756994 markings, 5996049 edges, 9798 markings/sec, 305 secs
lola: sara is running 310 secs || 2803938 markings, 6088564 edges, 9389 markings/sec, 310 secs
lola: sara is running 315 secs || 2848079 markings, 6182483 edges, 8828 markings/sec, 315 secs
lola: sara is running 320 secs || 2890320 markings, 6283862 edges, 8448 markings/sec, 320 secs
lola: sara is running 325 secs || 2938580 markings, 6393190 edges, 9652 markings/sec, 325 secs
lola: sara is running 330 secs || 2985999 markings, 6501212 edges, 9484 markings/sec, 330 secs
lola: sara is running 335 secs || 3032004 markings, 6605194 edges, 9201 markings/sec, 335 secs
lola: sara is running 340 secs || 3076950 markings, 6705120 edges, 8989 markings/sec, 340 secs
lola: sara is running 345 secs || 3124438 markings, 6798456 edges, 9498 markings/sec, 345 secs
lola: sara is running 350 secs || 3170014 markings, 6901282 edges, 9115 markings/sec, 350 secs
lola: sara is running 355 secs || 3215376 markings, 6999297 edges, 9072 markings/sec, 355 secs
lola: sara is running 360 secs || 3252923 markings, 7084194 edges, 7509 markings/sec, 360 secs
lola: sara is running 365 secs || 3287773 markings, 7162997 edges, 6970 markings/sec, 365 secs
lola: sara is running 370 secs || 3324943 markings, 7247152 edges, 7434 markings/sec, 370 secs
lola: sara is running 375 secs || 3361750 markings, 7330974 edges, 7361 markings/sec, 375 secs
lola: sara is running 380 secs || 3399398 markings, 7416243 edges, 7530 markings/sec, 380 secs
lola: sara is running 385 secs || 3437387 markings, 7502241 edges, 7598 markings/sec, 385 secs
lola: sara is running 390 secs || 3470844 markings, 7578020 edges, 6691 markings/sec, 390 secs
lola: sara is running 395 secs || 3505271 markings, 7656070 edges, 6885 markings/sec, 395 secs
lola: sara is running 400 secs || 3539756 markings, 7734119 edges, 6897 markings/sec, 400 secs
lola: sara is running 405 secs || 3574999 markings, 7813825 edges, 7049 markings/sec, 405 secs
lola: sara is running 410 secs || 3610159 markings, 7893531 edges, 7032 markings/sec, 410 secs
lola: sara is running 415 secs || 3645078 markings, 7972694 edges, 6984 markings/sec, 415 secs
lola: sara is running 420 secs || 3682013 markings, 8056520 edges, 7387 markings/sec, 420 secs
lola: sara is running 425 secs || 3724397 markings, 8152860 edges, 8477 markings/sec, 425 secs
lola: sara is running 430 secs || 3768204 markings, 8252393 edges, 8761 markings/sec, 430 secs
lola: sara is running 435 secs || 3811605 markings, 8350955 edges, 8680 markings/sec, 435 secs
lola: sara is running 440 secs || 3852713 markings, 8444588 edges, 8222 markings/sec, 440 secs
lola: sara is running 445 secs || 3894467 markings, 8539377 edges, 8351 markings/sec, 445 secs
lola: sara is running 450 secs || 3939540 markings, 8632540 edges, 9015 markings/sec, 450 secs
lola: sara is running 455 secs || 3986168 markings, 8738840 edges, 9326 markings/sec, 455 secs
lola: sara is running 460 secs || 4032341 markings, 8843909 edges, 9235 markings/sec, 460 secs
lola: sara is running 465 secs || 4078670 markings, 8948747 edges, 9266 markings/sec, 465 secs
lola: sara is running 470 secs || 4123537 markings, 9050909 edges, 8973 markings/sec, 470 secs
lola: sara is running 475 secs || 4169380 markings, 9154952 edges, 9169 markings/sec, 475 secs
lola: sara is running 480 secs || 4215331 markings, 9255222 edges, 9190 markings/sec, 480 secs
lola: sara is running 485 secs || 4265567 markings, 9321580 edges, 10047 markings/sec, 485 secs
lola: sara is running 490 secs || 4314234 markings, 9393342 edges, 9733 markings/sec, 490 secs
lola: sara is running 495 secs || 4355601 markings, 9469610 edges, 8273 markings/sec, 495 secs
lola: sara is running 500 secs || 4395246 markings, 9552710 edges, 7929 markings/sec, 500 secs
lola: sara is running 505 secs || 4439400 markings, 9647793 edges, 8831 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown no yes yes unknown no unknown yes yes unknown no yes unknown unknown
lola: memory consumption: 1246064 KB
lola: time consumption: 1000 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1035 <= p1743) OR (p368 <= p2571))))
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 (((p1035 <= p1743) OR (p368 <= p2571))))
lola: processed formula length: 46
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p1743 + 1 <= p1035) AND (p2571 + 1 <= p368))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 104 markings, 103 edges
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p958 <= p2075)) AND (p976 <= p1743))))
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 ((((p958 <= p2075)) AND (p976 <= p1743))))
lola: processed formula length: 47
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p2075 + 1 <= p958)) OR (p1743 + 1 <= p976))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-12-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 64 markings, 63 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 856 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1073 <= p629) AND (1 <= p2461)) OR (1 <= p1346) OR (p1535 <= p916))))
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 ((((p1073 <= p629) AND (1 <= p2461)) OR (1 <= p1346) OR (p1535 <= p916))))
lola: processed formula length: 81
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p629 + 1 <= p1073) OR (p2461 <= 0)) AND (p1346 <= 0) AND (p916 + 1 <= p1535))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 1035 markings, 1171 edges
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1285 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1768 + 1 <= p166) AND ((p411 <= p2531) OR ((p1361 <= p1228) AND (p1184 <= p1724))))))
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 (((p1768 + 1 <= p166) AND ((p411 <= p2531) OR ((p1361 <= p1228) AND (p1184 <= p1724))))))
lola: processed formula length: 95
lola: 16 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((p1768 + 1 <= p166) AND ((p411 <= p2531) OR ((p1361 <= p1228) AND (p1184 <= p1724))))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 242 markings, 310 edges
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2570 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1127 <= p94) OR (1 <= p2475)) AND ((p1304 <= p370) OR ((p27 <= p1439) AND (1 <= p2224))))))
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 ((((p1127 <= p94) OR (1 <= p2475)) AND ((p1304 <= p370) OR ((p27 <= p1439) AND (1 <= p2224))))))
lola: processed formula length: 103
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p94 + 1 <= p1127) AND (p2475 <= 0)) OR ((p370 + 1 <= p1304) AND ((p1439 + 1 <= p27) OR (p2224 <= 0))))
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 42 markings, 41 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-303-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G ((p1378 <= p1275)))
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 ((p1378 <= p1275)))
lola: processed formula length: 24
lola: 17 rewrites
lola: closed formula file CloudReconfiguration-PT-303-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p1275 + 1 <= p1378)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-303-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-303-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 85457 markings, 102590 edges, 17091 markings/sec, 0 secs
lola: sara is running 5 secs || 172185 markings, 208708 edges, 17346 markings/sec, 5 secs
lola: sara is running 10 secs || 251563 markings, 305834 edges, 15876 markings/sec, 10 secs
lola: sara is running 15 secs || 328614 markings, 400114 edges, 15410 markings/sec, 15 secs
lola: sara is running 20 secs || 417297 markings, 508759 edges, 17737 markings/sec, 20 secs
lola: sara is running 25 secs || 506303 markings, 617901 edges, 17801 markings/sec, 25 secs
lola: sara is running 30 secs || 602710 markings, 735606 edges, 19281 markings/sec, 30 secs
lola: sara is running 35 secs || 689001 markings, 841896 edges, 17258 markings/sec, 35 secs
lola: sara is running 40 secs || 767298 markings, 938209 edges, 15659 markings/sec, 40 secs
lola: sara is running 45 secs || 837267 markings, 1024639 edges, 13994 markings/sec, 45 secs
lola: sara is running 50 secs || 905798 markings, 1109030 edges, 13706 markings/sec, 50 secs
lola: sara is running 55 secs || 974647 markings, 1193970 edges, 13770 markings/sec, 55 secs
lola: sara is running 60 secs || 1059479 markings, 1298666 edges, 16966 markings/sec, 60 secs
lola: sara is running 65 secs || 1141128 markings, 1399562 edges, 16330 markings/sec, 65 secs
lola: sara is running 70 secs || 1235456 markings, 1515633 edges, 18866 markings/sec, 70 secs
lola: sara is running 75 secs || 1322714 markings, 1623795 edges, 17452 markings/sec, 75 secs
lola: sara is running 80 secs || 1388097 markings, 1702165 edges, 13077 markings/sec, 80 secs
lola: sara is running 85 secs || 1460630 markings, 1790229 edges, 14507 markings/sec, 85 secs
lola: sara is running 90 secs || 1533183 markings, 1878333 edges, 14511 markings/sec, 90 secs
lola: sara is running 95 secs || 1604295 markings, 1964992 edges, 14222 markings/sec, 95 secs
lola: sara is running 100 secs || 1685725 markings, 2058170 edges, 16286 markings/sec, 100 secs
lola: sara is running 105 secs || 1751300 markings, 2137342 edges, 13115 markings/sec, 105 secs
lola: sara is running 110 secs || 1824462 markings, 2226651 edges, 14632 markings/sec, 110 secs
lola: sara is running 115 secs || 1897344 markings, 2315440 edges, 14576 markings/sec, 115 secs
lola: sara is running 120 secs || 1973540 markings, 2408666 edges, 15239 markings/sec, 120 secs
lola: sara is running 125 secs || 2048296 markings, 2500546 edges, 14951 markings/sec, 125 secs
lola: sara is running 130 secs || 2122083 markings, 2591325 edges, 14757 markings/sec, 130 secs
lola: sara is running 135 secs || 2192982 markings, 2678448 edges, 14180 markings/sec, 135 secs
lola: sara is running 140 secs || 2266434 markings, 2768462 edges, 14690 markings/sec, 140 secs
lola: sara is running 145 secs || 2341789 markings, 2860542 edges, 15071 markings/sec, 145 secs
lola: sara is running 150 secs || 2417259 markings, 2953159 edges, 15094 markings/sec, 150 secs
lola: sara is running 155 secs || 2494205 markings, 3047594 edges, 15389 markings/sec, 155 secs
lola: sara is running 160 secs || 2572371 markings, 3143591 edges, 15633 markings/sec, 160 secs
lola: sara is running 165 secs || 2648481 markings, 3236400 edges, 15222 markings/sec, 165 secs
lola: sara is running 170 secs || 2727456 markings, 3333515 edges, 15795 markings/sec, 170 secs
lola: sara is running 175 secs || 2803040 markings, 3425977 edges, 15117 markings/sec, 175 secs
lola: sara is running 180 secs || 2878886 markings, 3518760 edges, 15169 markings/sec, 180 secs
lola: sara is running 185 secs || 2955677 markings, 3612831 edges, 15358 markings/sec, 185 secs
lola: sara is running 190 secs || 3032397 markings, 3707275 edges, 15344 markings/sec, 190 secs
lola: sara is running 195 secs || 3109680 markings, 3801833 edges, 15457 markings/sec, 195 secs
lola: sara is running 200 secs || 3186981 markings, 3896655 edges, 15460 markings/sec, 200 secs
lola: sara is running 205 secs || 3264237 markings, 3991773 edges, 15451 markings/sec, 205 secs
lola: sara is running 210 secs || 3341285 markings, 4086652 edges, 15410 markings/sec, 210 secs
lola: sara is running 215 secs || 3414365 markings, 4175852 edges, 14616 markings/sec, 215 secs
lola: sara is running 220 secs || 3491385 markings, 4270138 edges, 15404 markings/sec, 220 secs
lola: sara is running 225 secs || 3561297 markings, 4356452 edges, 13982 markings/sec, 225 secs
lola: sara is running 230 secs || 3633440 markings, 4444278 edges, 14429 markings/sec, 230 secs
lola: sara is running 235 secs || 3707099 markings, 4534521 edges, 14732 markings/sec, 235 secs
lola: sara is running 240 secs || 3779860 markings, 4623738 edges, 14552 markings/sec, 240 secs
lola: sara is running 245 secs || 3858540 markings, 4720331 edges, 15736 markings/sec, 245 secs
lola: sara is running 250 secs || 3930857 markings, 4809374 edges, 14463 markings/sec, 250 secs
lola: sara is running 255 secs || 4004932 markings, 4899943 edges, 14815 markings/sec, 255 secs
lola: sara is running 260 secs || 4079120 markings, 4990710 edges, 14838 markings/sec, 260 secs
lola: sara is running 265 secs || 4158920 markings, 5089032 edges, 15960 markings/sec, 265 secs
lola: sara is running 270 secs || 4232361 markings, 5179054 edges, 14688 markings/sec, 270 secs
lola: sara is running 275 secs || 4302240 markings, 5264819 edges, 13976 markings/sec, 275 secs
lola: sara is running 280 secs || 4378049 markings, 5357600 edges, 15162 markings/sec, 280 secs
lola: sara is running 285 secs || 4451673 markings, 5447950 edges, 14725 markings/sec, 285 secs
lola: sara is running 290 secs || 4524958 markings, 5537567 edges, 14657 markings/sec, 290 secs
lola: sara is running 295 secs || 4600988 markings, 5630435 edges, 15206 markings/sec, 295 secs
lola: sara is running 300 secs || 4673638 markings, 5718266 edges, 14530 markings/sec, 300 secs
lola: sara is running 305 secs || 4743510 markings, 5802470 edges, 13974 markings/sec, 305 secs
lola: sara is running 310 secs || 4816552 markings, 5891716 edges, 14608 markings/sec, 310 secs
lola: sara is running 315 secs || 4891533 markings, 5982654 edges, 14996 markings/sec, 315 secs
lola: sara is running 320 secs || 4956747 markings, 6059280 edges, 13043 markings/sec, 320 secs
lola: sara is running 325 secs || 5025789 markings, 6144620 edges, 13808 markings/sec, 325 secs
lola: sara is running 330 secs || 5095674 markings, 6230773 edges, 13977 markings/sec, 330 secs
lola: sara is running 335 secs || 5166069 markings, 6317469 edges, 14079 markings/sec, 335 secs
lola: sara is running 340 secs || 5237693 markings, 6406027 edges, 14325 markings/sec, 340 secs
lola: sara is running 345 secs || 5313800 markings, 6499832 edges, 15221 markings/sec, 345 secs
lola: sara is running 350 secs || 5389393 markings, 6593266 edges, 15119 markings/sec, 350 secs
lola: sara is running 355 secs || 5464714 markings, 6685974 edges, 15064 markings/sec, 355 secs
lola: sara is running 360 secs || 5540845 markings, 6779572 edges, 15226 markings/sec, 360 secs
lola: sara is running 365 secs || 5614249 markings, 6869945 edges, 14681 markings/sec, 365 secs
lola: sara is running 370 secs || 5690613 markings, 6963649 edges, 15273 markings/sec, 370 secs
lola: sara is running 375 secs || 5764261 markings, 7054028 edges, 14730 markings/sec, 375 secs
lola: sara is running 380 secs || 5839386 markings, 7146646 edges, 15025 markings/sec, 380 secs
lola: sara is running 385 secs || 5913549 markings, 7237924 edges, 14833 markings/sec, 385 secs
lola: sara is running 390 secs || 5986879 markings, 7328439 edges, 14666 markings/sec, 390 secs
lola: sara is running 395 secs || 6060546 markings, 7418604 edges, 14733 markings/sec, 395 secs
lola: sara is running 400 secs || 6133297 markings, 7508018 edges, 14550 markings/sec, 400 secs
lola: sara is running 405 secs || 6207805 markings, 7599336 edges, 14902 markings/sec, 405 secs
lola: sara is running 410 secs || 6286415 markings, 7696068 edges, 15722 markings/sec, 410 secs
lola: sara is running 415 secs || 6359828 markings, 7786272 edges, 14683 markings/sec, 415 secs
lola: sara is running 420 secs || 6435282 markings, 7878825 edges, 15091 markings/sec, 420 secs
lola: sara is running 425 secs || 6508116 markings, 7968035 edges, 14567 markings/sec, 425 secs
lola: sara is running 430 secs || 6578222 markings, 8054699 edges, 14021 markings/sec, 430 secs
lola: sara is running 435 secs || 6647120 markings, 8139774 edges, 13780 markings/sec, 435 secs
lola: sara is running 440 secs || 6718454 markings, 8228000 edges, 14267 markings/sec, 440 secs
lola: sara is running 445 secs || 6794038 markings, 8321296 edges, 15117 markings/sec, 445 secs
lola: sara is running 450 secs || 6867551 markings, 8411774 edges, 14703 markings/sec, 450 secs
lola: sara is running 455 secs || 6938724 markings, 8499158 edges, 14235 markings/sec, 455 secs
lola: sara is running 460 secs || 7012161 markings, 8589163 edges, 14687 markings/sec, 460 secs
lola: sara is running 465 secs || 7083292 markings, 8675977 edges, 14226 markings/sec, 465 secs
lola: sara is running 470 secs || 7156324 markings, 8764519 edges, 14606 markings/sec, 470 secs
lola: sara is running 475 secs || 7229739 markings, 8854514 edges, 14683 markings/sec, 475 secs
lola: sara is running 480 secs || 7299262 markings, 8938357 edges, 13905 markings/sec, 480 secs
lola: sara is running 485 secs || 7359054 markings, 9011149 edges, 11958 markings/sec, 485 secs
lola: sara is running 490 secs || 7424578 markings, 9091727 edges, 13105 markings/sec, 490 secs
lola: sara is running 495 secs || 7492401 markings, 9175269 edges, 13565 markings/sec, 495 secs
lola: sara is running 500 secs || 7563329 markings, 9262243 edges, 14186 markings/sec, 500 secs
lola: sara is running 505 secs || 7635058 markings, 9350172 edges, 14346 markings/sec, 505 secs
lola: sara is running 510 secs || 7706941 markings, 9438498 edges, 14377 markings/sec, 510 secs
lola: sara is running 515 secs || 7778636 markings, 9527311 edges, 14339 markings/sec, 515 secs
lola: sara is running 520 secs || 7853902 markings, 9620092 edges, 15053 markings/sec, 520 secs
lola: sara is running 525 secs || 7928830 markings, 9712509 edges, 14986 markings/sec, 525 secs
lola: sara is running 530 secs || 8002267 markings, 9802978 edges, 14687 markings/sec, 530 secs
lola: sara is running 535 secs || 8073900 markings, 9890827 edges, 14327 markings/sec, 535 secs
lola: sara is running 540 secs || 8143312 markings, 9975986 edges, 13882 markings/sec, 540 secs
lola: sara is running 545 secs || 8216727 markings, 10066405 edges, 14683 markings/sec, 545 secs
lola: sara is running 550 secs || 8289074 markings, 10155263 edges, 14469 markings/sec, 550 secs
lola: sara is running 555 secs || 8359446 markings, 10241515 edges, 14074 markings/sec, 555 secs
lola: sara is running 560 secs || 8432447 markings, 10331297 edges, 14600 markings/sec, 560 secs
lola: sara is running 565 secs || 8504390 markings, 10420005 edges, 14389 markings/sec, 565 secs
lola: sara is running 570 secs || 8573847 markings, 10505193 edges, 13891 markings/sec, 570 secs
lola: sara is running 575 secs || 8645427 markings, 10593445 edges, 14316 markings/sec, 575 secs
lola: sara is running 580 secs || 8716683 markings, 10681371 edges, 14251 markings/sec, 580 secs
lola: sara is running 585 secs || 8786679 markings, 10767617 edges, 13999 markings/sec, 585 secs
lola: sara is running 590 secs || 8859322 markings, 10857047 edges, 14529 markings/sec, 590 secs
lola: sara is running 595 secs || 8931324 markings, 10945727 edges, 14400 markings/sec, 595 secs
lola: sara is running 600 secs || 8999799 markings, 11029834 edges, 13695 markings/sec, 600 secs
lola: sara is running 605 secs || 9070286 markings, 11116401 edges, 14097 markings/sec, 605 secs
lola: sara is running 610 secs || 9140975 markings, 11203516 edges, 14138 markings/sec, 610 secs
lola: sara is running 615 secs || 9203365 markings, 11280299 edges, 12478 markings/sec, 615 secs
lola: sara is running 620 secs || 9270102 markings, 11362315 edges, 13347 markings/sec, 620 secs
lola: sara is running 625 secs || 9336123 markings, 11443779 edges, 13204 markings/sec, 625 secs
lola: sara is running 630 secs || 9405580 markings, 11527574 edges, 13891 markings/sec, 630 secs
lola: sara is running 635 secs || 9483614 markings, 11623537 edges, 15607 markings/sec, 635 secs
lola: sara is running 640 secs || 9560115 markings, 11712967 edges, 15300 markings/sec, 640 secs
lola: sara is running 645 secs || 9650455 markings, 11823769 edges, 18068 markings/sec, 645 secs
lola: sara is running 650 secs || 9729250 markings, 11919401 edges, 15759 markings/sec, 650 secs
lola: sara is running 655 secs || 9813327 markings, 12021313 edges, 16815 markings/sec, 655 secs
lola: sara is running 660 secs || 9895479 markings, 12121911 edges, 16430 markings/sec, 660 secs
lola: sara is running 665 secs || 9970013 markings, 12213635 edges, 14907 markings/sec, 665 secs
lola: sara is running 670 secs || 10043846 markings, 12304722 edges, 14767 markings/sec, 670 secs
lola: sara is running 675 secs || 10119022 markings, 12397258 edges, 15035 markings/sec, 675 secs
lola: sara is running 680 secs || 10193273 markings, 12488424 edges, 14850 markings/sec, 680 secs
lola: sara is running 685 secs || 10262437 markings, 12573891 edges, 13833 markings/sec, 685 secs
lola: sara is running 690 secs || 10332618 markings, 12660287 edges, 14036 markings/sec, 690 secs
lola: sara is running 695 secs || 10398704 markings, 12741274 edges, 13217 markings/sec, 695 secs
lola: sara is running 700 secs || 10466974 markings, 12826067 edges, 13654 markings/sec, 700 secs
lola: sara is running 705 secs || 10535533 markings, 12910630 edges, 13712 markings/sec, 705 secs
lola: sara is running 710 secs || 10607519 markings, 12999241 edges, 14397 markings/sec, 710 secs
lola: sara is running 715 secs || 10674427 markings, 13081116 edges, 13382 markings/sec, 715 secs
lola: sara is running 720 secs || 10742883 markings, 13165441 edges, 13691 markings/sec, 720 secs
lola: sara is running 725 secs || 10815351 markings, 13254537 edges, 14494 markings/sec, 725 secs
lola: sara is running 730 secs || 10887702 markings, 13343645 edges, 14470 markings/sec, 730 secs
lola: sara is running 735 secs || 10960049 markings, 13432253 edges, 14469 markings/sec, 735 secs
lola: sara is running 740 secs || 11030385 markings, 13518767 edges, 14067 markings/sec, 740 secs
lola: sara is running 745 secs || 11103435 markings, 13608389 edges, 14610 markings/sec, 745 secs
lola: sara is running 750 secs || 11174378 markings, 13695434 edges, 14189 markings/sec, 750 secs
lola: sara is running 755 secs || 11246292 markings, 13784486 edges, 14383 markings/sec, 755 secs
lola: sara is running 760 secs || 11318858 markings, 13873596 edges, 14513 markings/sec, 760 secs
lola: sara is running 765 secs || 11387610 markings, 13958372 edges, 13750 markings/sec, 765 secs
lola: sara is running 770 secs || 11456595 markings, 14043461 edges, 13797 markings/sec, 770 secs
lola: sara is running 775 secs || 11528134 markings, 14131302 edges, 14308 markings/sec, 775 secs
lola: sara is running 780 secs || 11598863 markings, 14218304 edges, 14146 markings/sec, 780 secs
lola: sara is running 785 secs || 11669029 markings, 14304979 edges, 14033 markings/sec, 785 secs
lola: sara is running 790 secs || 11740122 markings, 14392542 edges, 14219 markings/sec, 790 secs
lola: sara is running 795 secs || 11813022 markings, 14482553 edges, 14580 markings/sec, 795 secs
lola: sara is running 800 secs || 11881256 markings, 14566805 edges, 13647 markings/sec, 800 secs
lola: sara is running 805 secs || 11951863 markings, 14653813 edges, 14121 markings/sec, 805 secs
lola: sara is running 810 secs || 12023453 markings, 14741985 edges, 14318 markings/sec, 810 secs
lola: sara is running 815 secs || 12092536 markings, 14827323 edges, 13817 markings/sec, 815 secs
lola: sara is running 820 secs || 12162866 markings, 14914102 edges, 14066 markings/sec, 820 secs
lola: sara is running 825 secs || 12234321 markings, 15002126 edges, 14291 markings/sec, 825 secs
lola: sara is running 830 secs || 12304943 markings, 15089141 edges, 14124 markings/sec, 830 secs
lola: sara is running 835 secs || 12375488 markings, 15176170 edges, 14109 markings/sec, 835 secs
lola: sara is running 840 secs || 12447415 markings, 15264652 edges, 14385 markings/sec, 840 secs
lola: sara is running 845 secs || 12514689 markings, 15347521 edges, 13455 markings/sec, 845 secs
lola: sara is running 850 secs || 12584947 markings, 15434250 edges, 14052 markings/sec, 850 secs
lola: sara is running 855 secs || 12658833 markings, 15525172 edges, 14777 markings/sec, 855 secs
lola: sara is running 860 secs || 12731089 markings, 15613999 edges, 14451 markings/sec, 860 secs
lola: sara is running 865 secs || 12801174 markings, 15700223 edges, 14017 markings/sec, 865 secs
lola: sara is running 870 secs || 12874265 markings, 15789968 edges, 14618 markings/sec, 870 secs
lola: sara is running 875 secs || 12942196 markings, 15873899 edges, 13586 markings/sec, 875 secs
lola: sara is running 880 secs || 13009920 markings, 15957472 edges, 13545 markings/sec, 880 secs
lola: sara is running 885 secs || 13080744 markings, 16044402 edges, 14165 markings/sec, 885 secs
lola: sara is running 890 secs || 13150241 markings, 16130153 edges, 13899 markings/sec, 890 secs
lola: sara is running 895 secs || 13221943 markings, 16218096 edges, 14340 markings/sec, 895 secs
lola: sara is running 900 secs || 13294059 markings, 16306534 edges, 14423 markings/sec, 900 secs
lola: sara is running 905 secs || 13371411 markings, 16401277 edges, 15470 markings/sec, 905 secs
lola: sara is running 910 secs || 13446341 markings, 16493187 edges, 14986 markings/sec, 910 secs
lola: sara is running 915 secs || 13515459 markings, 16578007 edges, 13824 markings/sec, 915 secs
lola: sara is running 920 secs || 13587210 markings, 16666168 edges, 14350 markings/sec, 920 secs
lola: sara is running 925 secs || 13663755 markings, 16760743 edges, 15309 markings/sec, 925 secs
lola: sara is running 930 secs || 13738729 markings, 16853414 edges, 14995 markings/sec, 930 secs
lola: sara is running 935 secs || 13814774 markings, 16946451 edges, 15209 markings/sec, 935 secs
lola: sara is running 940 secs || 13889661 markings, 17038481 edges, 14977 markings/sec, 940 secs
lola: sara is running 945 secs || 13959562 markings, 17124019 edges, 13980 markings/sec, 945 secs
lola: sara is running 950 secs || 14028755 markings, 17209333 edges, 13839 markings/sec, 950 secs
lola: sara is running 955 secs || 14104844 markings, 17303658 edges, 15218 markings/sec, 955 secs
lola: sara is running 960 secs || 14178159 markings, 17393238 edges, 14663 markings/sec, 960 secs
lola: sara is running 965 secs || 14251458 markings, 17483076 edges, 14660 markings/sec, 965 secs
lola: sara is running 970 secs || 14319337 markings, 17567190 edges, 13576 markings/sec, 970 secs
lola: sara is running 975 secs || 14379910 markings, 17642318 edges, 12115 markings/sec, 975 secs
lola: sara is running 980 secs || 14454645 markings, 17732852 edges, 14947 markings/sec, 980 secs
lola: sara is running 985 secs || 14538232 markings, 17835370 edges, 16717 markings/sec, 985 secs
lola: sara is running 990 secs || 14622500 markings, 17939374 edges, 16854 markings/sec, 990 secs
lola: sara is running 995 secs || 14707962 markings, 18044890 edges, 17092 markings/sec, 995 secs
lola: sara is running 1000 secs || 14796291 markings, 18152958 edges, 17666 markings/sec, 1000 secs
lola: sara is running 1005 secs || 14878820 markings, 18255440 edges, 16506 markings/sec, 1005 secs
lola: sara is running 1010 secs || 14962239 markings, 18359125 edges, 16684 markings/sec, 1010 secs
lola: sara is running 1015 secs || 15047696 markings, 18464938 edges, 17091 markings/sec, 1015 secs
lola: sara is running 1020 secs || 15133123 markings, 18570531 edges, 17085 markings/sec, 1020 secs
lola: sara is running 1025 secs || 15219914 markings, 18677801 edges, 17358 markings/sec, 1025 secs
lola: sara is running 1030 secs || 15306869 markings, 18785007 edges, 17391 markings/sec, 1030 secs
lola: sara is running 1035 secs || 15393231 markings, 18891463 edges, 17272 markings/sec, 1035 secs
lola: sara is running 1040 secs || 15479402 markings, 18997362 edges, 17234 markings/sec, 1040 secs
lola: sara is running 1045 secs || 15565087 markings, 19103014 edges, 17137 markings/sec, 1045 secs
lola: sara is running 1050 secs || 15650159 markings, 19208524 edges, 17014 markings/sec, 1050 secs
lola: sara is running 1055 secs || 15735556 markings, 19313872 edges, 17079 markings/sec, 1055 secs
lola: sara is running 1060 secs || 15821003 markings, 19419209 edges, 17089 markings/sec, 1060 secs
lola: sara is running 1065 secs || 15905848 markings, 19523495 edges, 16969 markings/sec, 1065 secs
lola: sara is running 1070 secs || 15989748 markings, 19626897 edges, 16780 markings/sec, 1070 secs
lola: sara is running 1075 secs || 16073680 markings, 19730390 edges, 16786 markings/sec, 1075 secs
lola: sara is running 1080 secs || 16157204 markings, 19833606 edges, 16705 markings/sec, 1080 secs
lola: sara is running 1085 secs || 16240425 markings, 19936507 edges, 16644 markings/sec, 1085 secs
lola: sara is running 1090 secs || 16322878 markings, 20037787 edges, 16491 markings/sec, 1090 secs
lola: sara is running 1095 secs || 16404923 markings, 20138727 edges, 16409 markings/sec, 1095 secs
lola: sara is running 1100 secs || 16486618 markings, 20239503 edges, 16339 markings/sec, 1100 secs
lola: sara is running 1105 secs || 16568677 markings, 20341020 edges, 16412 markings/sec, 1105 secs
lola: sara is running 1110 secs || 16651335 markings, 20442174 edges, 16532 markings/sec, 1110 secs
lola: sara is running 1115 secs || 16734552 markings, 20544736 edges, 16643 markings/sec, 1115 secs
lola: sara is running 1120 secs || 16816452 markings, 20647050 edges, 16380 markings/sec, 1120 secs
lola: sara is running 1125 secs || 16898363 markings, 20748181 edges, 16382 markings/sec, 1125 secs
lola: sara is running 1130 secs || 16979316 markings, 20848218 edges, 16191 markings/sec, 1130 secs
lola: sara is running 1135 secs || 17060950 markings, 20949203 edges, 16327 markings/sec, 1135 secs
lola: sara is running 1140 secs || 17141304 markings, 21048514 edges, 16071 markings/sec, 1140 secs
lola: sara is running 1145 secs || 17223487 markings, 21149831 edges, 16437 markings/sec, 1145 secs
lola: sara is running 1150 secs || 17303472 markings, 21248344 edges, 15997 markings/sec, 1150 secs
lola: sara is running 1155 secs || 17383461 markings, 21346636 edges, 15998 markings/sec, 1155 secs
lola: sara is running 1160 secs || 17462102 markings, 21442801 edges, 15728 markings/sec, 1160 secs
lola: sara is running 1165 secs || 17539874 markings, 21538055 edges, 15554 markings/sec, 1165 secs
lola: sara is running 1170 secs || 17616256 markings, 21631348 edges, 15276 markings/sec, 1170 secs
lola: sara is running 1175 secs || 17689307 markings, 21721667 edges, 14610 markings/sec, 1175 secs
lola: sara is running 1180 secs || 17763776 markings, 21813211 edges, 14894 markings/sec, 1180 secs
lola: sara is running 1185 secs || 17838245 markings, 21905305 edges, 14894 markings/sec, 1185 secs
lola: sara is running 1190 secs || 17910159 markings, 21993681 edges, 14383 markings/sec, 1190 secs
lola: sara is running 1195 secs || 17982977 markings, 22082666 edges, 14564 markings/sec, 1195 secs
lola: sara is running 1200 secs || 18054612 markings, 22171536 edges, 14327 markings/sec, 1200 secs
lola: sara is running 1205 secs || 18123365 markings, 22256707 edges, 13751 markings/sec, 1205 secs
lola: sara is running 1210 secs || 18194971 markings, 22344521 edges, 14321 markings/sec, 1210 secs
lola: sara is running 1215 secs || 18265213 markings, 22431837 edges, 14048 markings/sec, 1215 secs
lola: sara is running 1220 secs || 18334546 markings, 22517711 edges, 13867 markings/sec, 1220 secs
lola: sara is running 1225 secs || 18405207 markings, 22605019 edges, 14132 markings/sec, 1225 secs
lola: sara is running 1230 secs || 18481463 markings, 22699346 edges, 15251 markings/sec, 1230 secs
lola: sara is running 1235 secs || 18558441 markings, 22794612 edges, 15396 markings/sec, 1235 secs
lola: sara is running 1240 secs || 18630695 markings, 22883485 edges, 14451 markings/sec, 1240 secs
lola: sara is running 1245 secs || 18700551 markings, 22969744 edges, 13971 markings/sec, 1245 secs
lola: sara is running 1250 secs || 18770976 markings, 23055936 edges, 14085 markings/sec, 1250 secs
lola: sara is running 1255 secs || 18840923 markings, 23142168 edges, 13989 markings/sec, 1255 secs
lola: sara is running 1260 secs || 18914933 markings, 23233418 edges, 14802 markings/sec, 1260 secs
lola: sara is running 1265 secs || 18993133 markings, 23329376 edges, 15640 markings/sec, 1265 secs
lola: sara is running 1270 secs || 19066903 markings, 23420314 edges, 14754 markings/sec, 1270 secs
lola: sara is running 1275 secs || 19143702 markings, 23515012 edges, 15360 markings/sec, 1275 secs
lola: sara is running 1280 secs || 19215851 markings, 23603842 edges, 14430 markings/sec, 1280 secs
lola: sara is running 1285 secs || 19285255 markings, 23689549 edges, 13881 markings/sec, 1285 secs
lola: sara is running 1290 secs || 19343553 markings, 23760997 edges, 11660 markings/sec, 1290 secs
lola: sara is running 1295 secs || 19407624 markings, 23839452 edges, 12814 markings/sec, 1295 secs
lola: sara is running 1300 secs || 19473569 markings, 23920505 edges, 13189 markings/sec, 1300 secs
lola: sara is running 1305 secs || 19545190 markings, 24008812 edges, 14324 markings/sec, 1305 secs
lola: sara is running 1310 secs || 19611145 markings, 24089992 edges, 13191 markings/sec, 1310 secs
lola: sara is running 1315 secs || 19664658 markings, 24156071 edges, 10703 markings/sec, 1315 secs
lola: sara is running 1320 secs || 19731310 markings, 24238233 edges, 13330 markings/sec, 1320 secs
lola: sara is running 1325 secs || 19795619 markings, 24317392 edges, 12862 markings/sec, 1325 secs
lola: sara is running 1330 secs || 19861641 markings, 24398891 edges, 13204 markings/sec, 1330 secs
lola: sara is running 1335 secs || 19934294 markings, 24488528 edges, 14531 markings/sec, 1335 secs
lola: sara is running 1340 secs || 20003476 markings, 24573927 edges, 13836 markings/sec, 1340 secs
lola: sara is running 1345 secs || 20072558 markings, 24659248 edges, 13816 markings/sec, 1345 secs
lola: sara is running 1350 secs || 20137164 markings, 24739030 edges, 12921 markings/sec, 1350 secs
lola: sara is running 1355 secs || 20199468 markings, 24815600 edges, 12461 markings/sec, 1355 secs
lola: sara is running 1360 secs || 20262487 markings, 24892922 edges, 12604 markings/sec, 1360 secs
lola: sara is running 1365 secs || 20333519 markings, 24980181 edges, 14206 markings/sec, 1365 secs
lola: sara is running 1370 secs || 20403116 markings, 25066142 edges, 13919 markings/sec, 1370 secs
lola: sara is running 1375 secs || 20457317 markings, 25132932 edges, 10840 markings/sec, 1375 secs
lola: sara is running 1380 secs || 20518648 markings, 25208507 edges, 12266 markings/sec, 1380 secs
lola: sara is running 1385 secs || 20585102 markings, 25290433 edges, 13291 markings/sec, 1385 secs
lola: sara is running 1390 secs || 20649383 markings, 25369716 edges, 12856 markings/sec, 1390 secs
lola: sara is running 1395 secs || 20718582 markings, 25454722 edges, 13840 markings/sec, 1395 secs
lola: sara is running 1400 secs || 20790810 markings, 25543757 edges, 14446 markings/sec, 1400 secs
lola: sara is running 1405 secs || 20860538 markings, 25629609 edges, 13946 markings/sec, 1405 secs
lola: sara is running 1410 secs || 20932891 markings, 25718661 edges, 14471 markings/sec, 1410 secs
lola: sara is running 1415 secs || 21005946 markings, 25808682 edges, 14611 markings/sec, 1415 secs
lola: sara is running 1420 secs || 21077723 markings, 25897167 edges, 14355 markings/sec, 1420 secs
lola: sara is running 1425 secs || 21145968 markings, 25981214 edges, 13649 markings/sec, 1425 secs
lola: sara is running 1430 secs || 21214866 markings, 26066259 edges, 13780 markings/sec, 1430 secs
lola: sara is running 1435 secs || 21282379 markings, 26149627 edges, 13503 markings/sec, 1435 secs
lola: sara is running 1440 secs || 21351914 markings, 26235335 edges, 13907 markings/sec, 1440 secs
lola: sara is running 1445 secs || 21421156 markings, 26320999 edges, 13848 markings/sec, 1445 secs
lola: sara is running 1450 secs || 21491139 markings, 26407699 edges, 13997 markings/sec, 1450 secs
lola: sara is running 1455 secs || 21551882 markings, 26482079 edges, 12149 markings/sec, 1455 secs
lola: sara is running 1460 secs || 21616840 markings, 26561627 edges, 12992 markings/sec, 1460 secs
lola: sara is running 1465 secs || 21684637 markings, 26645030 edges, 13559 markings/sec, 1465 secs
lola: sara is running 1470 secs || 21754925 markings, 26731694 edges, 14058 markings/sec, 1470 secs
lola: sara is running 1475 secs || 21816756 markings, 26807741 edges, 12366 markings/sec, 1475 secs
lola: sara is running 1480 secs || 21877051 markings, 26881786 edges, 12059 markings/sec, 1480 secs
lola: sara is running 1485 secs || 21939391 markings, 26958308 edges, 12468 markings/sec, 1485 secs
lola: sara is running 1490 secs || 22012473 markings, 27048187 edges, 14616 markings/sec, 1490 secs
lola: sara is running 1495 secs || 22086061 markings, 27139071 edges, 14718 markings/sec, 1495 secs
lola: sara is running 1500 secs || 22142305 markings, 27208099 edges, 11249 markings/sec, 1500 secs
lola: sara is running 1505 secs || 22205365 markings, 27285573 edges, 12612 markings/sec, 1505 secs
lola: sara is running 1510 secs || 22267869 markings, 27362428 edges, 12501 markings/sec, 1510 secs
lola: sara is running 1515 secs || 22332528 markings, 27441676 edges, 12932 markings/sec, 1515 secs
lola: sara is running 1520 secs || 22395900 markings, 27519841 edges, 12674 markings/sec, 1520 secs
lola: sara is running 1525 secs || 22457743 markings, 27595805 edges, 12369 markings/sec, 1525 secs
lola: sara is running 1530 secs || 22521976 markings, 27674455 edges, 12847 markings/sec, 1530 secs
lola: sara is running 1535 secs || 22584875 markings, 27751818 edges, 12580 markings/sec, 1535 secs
lola: sara is running 1540 secs || 22651939 markings, 27834391 edges, 13413 markings/sec, 1540 secs
lola: sara is running 1545 secs || 22717261 markings, 27914793 edges, 13064 markings/sec, 1545 secs
lola: sara is running 1550 secs || 22783045 markings, 27996018 edges, 13157 markings/sec, 1550 secs
lola: sara is running 1555 secs || 22849193 markings, 28077630 edges, 13230 markings/sec, 1555 secs
lola: sara is running 1560 secs || 22899006 markings, 28138905 edges, 9963 markings/sec, 1560 secs
lola: sara is running 1565 secs || 22958822 markings, 28212385 edges, 11963 markings/sec, 1565 secs
lola: sara is running 1570 secs || 23019670 markings, 28287043 edges, 12170 markings/sec, 1570 secs
lola: sara is running 1575 secs || 23081640 markings, 28362951 edges, 12394 markings/sec, 1575 secs
lola: sara is running 1580 secs || 23144852 markings, 28440742 edges, 12642 markings/sec, 1580 secs
lola: sara is running 1585 secs || 23206311 markings, 28516431 edges, 12292 markings/sec, 1585 secs
lola: sara is running 1590 secs || 23276199 markings, 28602180 edges, 13978 markings/sec, 1590 secs
lola: sara is running 1595 secs || 23340048 markings, 28680717 edges, 12770 markings/sec, 1595 secs
lola: sara is running 1600 secs || 23404713 markings, 28760581 edges, 12933 markings/sec, 1600 secs
lola: sara is running 1605 secs || 23472527 markings, 28844260 edges, 13563 markings/sec, 1605 secs
lola: sara is running 1610 secs || 23526915 markings, 28910512 edges, 10878 markings/sec, 1610 secs
lola: sara is running 1615 secs || 23589410 markings, 28987315 edges, 12499 markings/sec, 1615 secs
lola: sara is running 1620 secs || 23651401 markings, 29063545 edges, 12398 markings/sec, 1620 secs
lola: sara is running 1625 secs || 23720707 markings, 29148914 edges, 13861 markings/sec, 1625 secs
lola: sara is running 1630 secs || 23790503 markings, 29234984 edges, 13959 markings/sec, 1630 secs
lola: sara is running 1635 secs || 23860513 markings, 29321291 edges, 14002 markings/sec, 1635 secs
lola: sara is running 1640 secs || 23924132 markings, 29399774 edges, 12724 markings/sec, 1640 secs
lola: sara is running 1645 secs || 23988649 markings, 29479256 edges, 12903 markings/sec, 1645 secs
lola: sara is running 1650 secs || 24053483 markings, 29558950 edges, 12967 markings/sec, 1650 secs
lola: sara is running 1655 secs || 24117504 markings, 29638418 edges, 12804 markings/sec, 1655 secs
lola: sara is running 1660 secs || 24180148 markings, 29716461 edges, 12529 markings/sec, 1660 secs
lola: sara is running 1665 secs || 24242454 markings, 29793157 edges, 12461 markings/sec, 1665 secs
lola: sara is running 1670 secs || 24303217 markings, 29868129 edges, 12153 markings/sec, 1670 secs
lola: sara is running 1675 secs || 24359576 markings, 29937090 edges, 11272 markings/sec, 1675 secs
lola: sara is running 1680 secs || 24419925 markings, 30011567 edges, 12070 markings/sec, 1680 secs
lola: sara is running 1685 secs || 24484404 markings, 30091040 edges, 12896 markings/sec, 1685 secs
lola: sara is running 1690 secs || 24548133 markings, 30169580 edges, 12746 markings/sec, 1690 secs
lola: sara is running 1695 secs || 24614312 markings, 30251720 edges, 13236 markings/sec, 1695 secs
lola: sara is running 1700 secs || 24684189 markings, 30337989 edges, 13975 markings/sec, 1700 secs
lola: sara is running 1705 secs || 24753283 markings, 30423539 edges, 13819 markings/sec, 1705 secs
lola: sara is running 1710 secs || 24814350 markings, 30498572 edges, 12213 markings/sec, 1710 secs
lola: sara is running 1715 secs || 24875214 markings, 30573319 edges, 12173 markings/sec, 1715 secs
lola: sara is running 1720 secs || 24936147 markings, 30648209 edges, 12187 markings/sec, 1720 secs
lola: sara is running 1725 secs || 24999373 markings, 30725619 edges, 12645 markings/sec, 1725 secs
lola: sara is running 1730 secs || 25062227 markings, 30802664 edges, 12571 markings/sec, 1730 secs
lola: sara is running 1735 secs || 25124245 markings, 30878736 edges, 12404 markings/sec, 1735 secs
lola: sara is running 1740 secs || 25187567 markings, 30956254 edges, 12664 markings/sec, 1740 secs
lola: sara is running 1745 secs || 25248973 markings, 31031552 edges, 12281 markings/sec, 1745 secs
lola: sara is running 1750 secs || 25310077 markings, 31106625 edges, 12221 markings/sec, 1750 secs
lola: sara is running 1755 secs || 25366235 markings, 31175425 edges, 11232 markings/sec, 1755 secs
lola: sara is running 1760 secs || 25427022 markings, 31250085 edges, 12157 markings/sec, 1760 secs
lola: sara is running 1765 secs || 25488766 markings, 31325937 edges, 12349 markings/sec, 1765 secs
lola: sara is running 1770 secs || 25553488 markings, 31405077 edges, 12944 markings/sec, 1770 secs
lola: sara is running 1775 secs || 25615926 markings, 31482082 edges, 12488 markings/sec, 1775 secs
lola: sara is running 1780 secs || 25670130 markings, 31548367 edges, 10841 markings/sec, 1780 secs
lola: sara is running 1785 secs || 25731059 markings, 31623085 edges, 12186 markings/sec, 1785 secs
lola: sara is running 1790 secs || 25793011 markings, 31699242 edges, 12390 markings/sec, 1790 secs
lola: sara is running 1795 secs || 25855879 markings, 31776342 edges, 12574 markings/sec, 1795 secs
lola: sara is running 1800 secs || 25918688 markings, 31853434 edges, 12562 markings/sec, 1800 secs
lola: sara is running 1805 secs || 25983042 markings, 31932424 edges, 12871 markings/sec, 1805 secs
lola: sara is running 1810 secs || 26028884 markings, 31988813 edges, 9168 markings/sec, 1810 secs
lola: sara is running 1815 secs || 26089729 markings, 32063436 edges, 12169 markings/sec, 1815 secs
lola: sara is running 1820 secs || 26150145 markings, 32137691 edges, 12083 markings/sec, 1820 secs
lola: sara is running 1825 secs || 26208067 markings, 32208332 edges, 11584 markings/sec, 1825 secs
lola: sara is running 1830 secs || 26272105 markings, 32286733 edges, 12808 markings/sec, 1830 secs
lola: sara is running 1835 secs || 26334526 markings, 32363804 edges, 12484 markings/sec, 1835 secs
lola: sara is running 1840 secs || 26391953 markings, 32434138 edges, 11485 markings/sec, 1840 secs
lola: sara is running 1845 secs || 26453415 markings, 32509669 edges, 12292 markings/sec, 1845 secs
lola: sara is running 1850 secs || 26514001 markings, 32584170 edges, 12117 markings/sec, 1850 secs
lola: sara is running 1855 secs || 26575606 markings, 32658996 edges, 12321 markings/sec, 1855 secs
lola: sara is running 1860 secs || 26655536 markings, 32757243 edges, 15986 markings/sec, 1860 secs
lola: sara is running 1865 secs || 26739645 markings, 32860924 edges, 16822 markings/sec, 1865 secs
lola: sara is running 1870 secs || 26822921 markings, 32963066 edges, 16655 markings/sec, 1870 secs
lola: sara is running 1875 secs || 26904603 markings, 33064623 edges, 16336 markings/sec, 1875 secs
lola: sara is running 1880 secs || 26985906 markings, 33164884 edges, 16261 markings/sec, 1880 secs
lola: sara is running 1885 secs || 27067105 markings, 33265306 edges, 16240 markings/sec, 1885 secs
lola: sara is running 1890 secs || 27144864 markings, 33361473 edges, 15552 markings/sec, 1890 secs
lola: sara is running 1895 secs || 27224920 markings, 33460382 edges, 16011 markings/sec, 1895 secs
lola: sara is running 1900 secs || 27304227 markings, 33558491 edges, 15861 markings/sec, 1900 secs
lola: sara is running 1905 secs || 27383284 markings, 33656303 edges, 15811 markings/sec, 1905 secs
lola: sara is running 1910 secs || 27460622 markings, 33752177 edges, 15468 markings/sec, 1910 secs
lola: sara is running 1915 secs || 27538737 markings, 33849508 edges, 15623 markings/sec, 1915 secs
lola: sara is running 1920 secs || 27614343 markings, 33942652 edges, 15121 markings/sec, 1920 secs
sara: warning, failure of lp_solve (at job 4065)
lola: sara is running 1925 secs || 27689763 markings, 34035551 edges, 15084 markings/sec, 1925 secs
lola: sara is running 1930 secs || 27764618 markings, 34127954 edges, 14971 markings/sec, 1930 secs
lola: sara is running 1935 secs || 27838316 markings, 34218653 edges, 14740 markings/sec, 1935 secs
lola: sara is running 1940 secs || 27910769 markings, 34307568 edges, 14491 markings/sec, 1940 secs
lola: sara is running 1945 secs || 27975124 markings, 34386352 edges, 12871 markings/sec, 1945 secs
lola: sara is running 1950 secs || 28036827 markings, 34462180 edges, 12341 markings/sec, 1950 secs
lola: sara is running 1955 secs || 28093554 markings, 34531665 edges, 11345 markings/sec, 1955 secs
lola: sara is running 1960 secs || 28144063 markings, 34593894 edges, 10102 markings/sec, 1960 secs
lola: sara is running 1965 secs || 28203077 markings, 34666134 edges, 11803 markings/sec, 1965 secs
lola: sara is running 1970 secs || 28263226 markings, 34740318 edges, 12030 markings/sec, 1970 secs
lola: sara is running 1975 secs || 28322134 markings, 34812356 edges, 11782 markings/sec, 1975 secs
lola: sara is running 1980 secs || 28387899 markings, 34893665 edges, 13153 markings/sec, 1980 secs
lola: sara is running 1985 secs || 28450888 markings, 34971081 edges, 12598 markings/sec, 1985 secs
lola: sara is running 1990 secs || 28512942 markings, 35047799 edges, 12411 markings/sec, 1990 secs
lola: sara is running 1995 secs || 28578381 markings, 35128184 edges, 13088 markings/sec, 1995 secs
lola: sara is running 2000 secs || 28637313 markings, 35201027 edges, 11786 markings/sec, 2000 secs
lola: sara is running 2005 secs || 28699732 markings, 35277009 edges, 12484 markings/sec, 2005 secs
lola: sara is running 2010 secs || 28761307 markings, 35353546 edges, 12315 markings/sec, 2010 secs
lola: sara is running 2015 secs || 28822856 markings, 35429849 edges, 12310 markings/sec, 2015 secs
lola: sara is running 2020 secs || 28886393 markings, 35507514 edges, 12707 markings/sec, 2020 secs
lola: sara is running 2025 secs || 28949425 markings, 35585879 edges, 12606 markings/sec, 2025 secs
lola: sara is running 2030 secs || 29012796 markings, 35664643 edges, 12674 markings/sec, 2030 secs
lola: sara is running 2035 secs || 29074449 markings, 35740779 edges, 12331 markings/sec, 2035 secs
lola: sara is running 2040 secs || 29139616 markings, 35821314 edges, 13033 markings/sec, 2040 secs
lola: sara is running 2045 secs || 29206525 markings, 35903789 edges, 13382 markings/sec, 2045 secs
lola: sara is running 2050 secs || 29264985 markings, 35975736 edges, 11692 markings/sec, 2050 secs
lola: sara is running 2055 secs || 29319630 markings, 36042877 edges, 10929 markings/sec, 2055 secs
lola: sara is running 2060 secs || 29366436 markings, 36100464 edges, 9361 markings/sec, 2060 secs
lola: sara is running 2065 secs || 29421876 markings, 36168615 edges, 11088 markings/sec, 2065 secs
lola: sara is running 2070 secs || 29484510 markings, 36245532 edges, 12527 markings/sec, 2070 secs
lola: sara is running 2075 secs || 29540640 markings, 36314518 edges, 11226 markings/sec, 2075 secs
lola: sara is running 2080 secs || 29598307 markings, 36385423 edges, 11533 markings/sec, 2080 secs
lola: sara is running 2085 secs || 29656259 markings, 36456587 edges, 11590 markings/sec, 2085 secs
lola: sara is running 2090 secs || 29719119 markings, 36533940 edges, 12572 markings/sec, 2090 secs
lola: sara is running 2095 secs || 29778974 markings, 36607824 edges, 11971 markings/sec, 2095 secs
lola: sara is running 2100 secs || 29833496 markings, 36674700 edges, 10904 markings/sec, 2100 secs
lola: sara is running 2105 secs || 29893868 markings, 36748879 edges, 12074 markings/sec, 2105 secs
lola: sara is running 2110 secs || 29949690 markings, 36817558 edges, 11164 markings/sec, 2110 secs
lola: sara is running 2115 secs || 30008353 markings, 36889473 edges, 11733 markings/sec, 2115 secs
lola: sara is running 2120 secs || 30070232 markings, 36965715 edges, 12376 markings/sec, 2120 secs
lola: sara is running 2125 secs || 30128604 markings, 37037817 edges, 11674 markings/sec, 2125 secs
lola: sara is running 2130 secs || 30181809 markings, 37102713 edges, 10641 markings/sec, 2130 secs
lola: sara is running 2135 secs || 30237655 markings, 37171316 edges, 11169 markings/sec, 2135 secs
lola: sara is running 2140 secs || 30300391 markings, 37248361 edges, 12547 markings/sec, 2140 secs
lola: sara is running 2145 secs || 30362352 markings, 37324497 edges, 12392 markings/sec, 2145 secs
lola: sara is running 2150 secs || 30424945 markings, 37401007 edges, 12519 markings/sec, 2150 secs
lola: sara is running 2155 secs || 30483413 markings, 37473138 edges, 11694 markings/sec, 2155 secs
lola: sara is running 2160 secs || 30535489 markings, 37537435 edges, 10415 markings/sec, 2160 secs
lola: sara is running 2165 secs || 30591340 markings, 37605938 edges, 11170 markings/sec, 2165 secs
lola: sara is running 2170 secs || 30656751 markings, 37686590 edges, 13082 markings/sec, 2170 secs
lola: sara is running 2175 secs || 30721616 markings, 37766396 edges, 12973 markings/sec, 2175 secs
lola: sara is running 2180 secs || 30786145 markings, 37846110 edges, 12906 markings/sec, 2180 secs
lola: sara is running 2185 secs || 30848710 markings, 37923291 edges, 12513 markings/sec, 2185 secs
lola: sara is running 2190 secs || 30910448 markings, 37999156 edges, 12348 markings/sec, 2190 secs
lola: sara is running 2195 secs || 30970718 markings, 38073530 edges, 12054 markings/sec, 2195 secs
lola: sara is running 2200 secs || 31028715 markings, 38145122 edges, 11599 markings/sec, 2200 secs
lola: sara is running 2205 secs || 31083113 markings, 38211752 edges, 10880 markings/sec, 2205 secs
lola: sara is running 2210 secs || 31141852 markings, 38283928 edges, 11748 markings/sec, 2210 secs
lola: sara is running 2215 secs || 31203518 markings, 38359543 edges, 12333 markings/sec, 2215 secs
lola: sara is running 2220 secs || 31262123 markings, 38431740 edges, 11721 markings/sec, 2220 secs
lola: sara is running 2225 secs || 31323479 markings, 38507090 edges, 12271 markings/sec, 2225 secs
lola: sara is running 2230 secs || 31382758 markings, 38580228 edges, 11856 markings/sec, 2230 secs
lola: sara is running 2235 secs || 31441212 markings, 38652367 edges, 11691 markings/sec, 2235 secs
lola: sara is running 2240 secs || 31499883 markings, 38724806 edges, 11734 markings/sec, 2240 secs
lola: sara is running 2245 secs || 31559221 markings, 38798004 edges, 11868 markings/sec, 2245 secs
lola: sara is running 2250 secs || 31608868 markings, 38857783 edges, 9929 markings/sec, 2250 secs
lola: sara is running 2255 secs || 31669490 markings, 38932326 edges, 12124 markings/sec, 2255 secs
lola: sara is running 2260 secs || 31731411 markings, 39008360 edges, 12384 markings/sec, 2260 secs
lola: sara is running 2265 secs || 31788543 markings, 39078720 edges, 11426 markings/sec, 2265 secs
lola: sara is running 2270 secs || 31851173 markings, 39155618 edges, 12526 markings/sec, 2270 secs
lola: sara is running 2275 secs || 31907050 markings, 39224832 edges, 11175 markings/sec, 2275 secs
lola: sara is running 2280 secs || 31964535 markings, 39295316 edges, 11497 markings/sec, 2280 secs
lola: sara is running 2285 secs || 32020631 markings, 39364488 edges, 11219 markings/sec, 2285 secs
lola: sara is running 2290 secs || 32086213 markings, 39445325 edges, 13116 markings/sec, 2290 secs
lola: sara is running 2295 secs || 32150450 markings, 39524392 edges, 12847 markings/sec, 2295 secs
lola: sara is running 2300 secs || 32213521 markings, 39602285 edges, 12614 markings/sec, 2300 secs
lola: sara is running 2305 secs || 32274355 markings, 39677407 edges, 12167 markings/sec, 2305 secs
lola: sara is running 2310 secs || 32335391 markings, 39752498 edges, 12207 markings/sec, 2310 secs
lola: sara is running 2315 secs || 32394698 markings, 39825692 edges, 11861 markings/sec, 2315 secs
lola: sara is running 2320 secs || 32452111 markings, 39896190 edges, 11483 markings/sec, 2320 secs
lola: sara is running 2325 secs || 32504768 markings, 39961058 edges, 10531 markings/sec, 2325 secs
lola: sara is running 2330 secs || 32564991 markings, 40034915 edges, 12045 markings/sec, 2330 secs
lola: sara is running 2335 secs || 32626889 markings, 40111140 edges, 12380 markings/sec, 2335 secs
lola: sara is running 2340 secs || 32684150 markings, 40181563 edges, 11452 markings/sec, 2340 secs
lola: sara is running 2345 secs || 32742806 markings, 40253773 edges, 11731 markings/sec, 2345 secs
lola: sara is running 2350 secs || 32800569 markings, 40325270 edges, 11553 markings/sec, 2350 secs
lola: sara is running 2355 secs || 32855279 markings, 40392000 edges, 10942 markings/sec, 2355 secs
lola: sara is running 2360 secs || 32916529 markings, 40467376 edges, 12250 markings/sec, 2360 secs
lola: sara is running 2365 secs || 32973619 markings, 40537994 edges, 11418 markings/sec, 2365 secs
lola: sara is running 2370 secs || 33025812 markings, 40601857 edges, 10439 markings/sec, 2370 secs
lola: sara is running 2375 secs || 33088183 markings, 40678373 edges, 12474 markings/sec, 2375 secs
lola: sara is running 2380 secs || 33148870 markings, 40752950 edges, 12137 markings/sec, 2380 secs
lola: sara is running 2385 secs || 33203387 markings, 40820004 edges, 10903 markings/sec, 2385 secs
lola: sara is running 2390 secs || 33269984 markings, 40901868 edges, 13319 markings/sec, 2390 secs
lola: sara is running 2395 secs || 33329218 markings, 40974702 edges, 11847 markings/sec, 2395 secs
lola: sara is running 2400 secs || 33390495 markings, 41050348 edges, 12255 markings/sec, 2400 secs
lola: sara is running 2405 secs || 33454501 markings, 41129520 edges, 12801 markings/sec, 2405 secs
lola: sara is running 2410 secs || 33506073 markings, 41192972 edges, 10314 markings/sec, 2410 secs
lola: sara is running 2415 secs || 33555428 markings, 41253510 edges, 9871 markings/sec, 2415 secs
lola: sara is running 2420 secs || 33615605 markings, 41327421 edges, 12035 markings/sec, 2420 secs
lola: sara is running 2425 secs || 33677750 markings, 41403674 edges, 12429 markings/sec, 2425 secs
lola: sara is running 2430 secs || 33733662 markings, 41472525 edges, 11182 markings/sec, 2430 secs
lola: sara is running 2435 secs || 33795089 markings, 41547711 edges, 12285 markings/sec, 2435 secs
lola: sara is running 2440 secs || 33854463 markings, 41620926 edges, 11875 markings/sec, 2440 secs
lola: sara is running 2445 secs || 33908861 markings, 41687989 edges, 10880 markings/sec, 2445 secs
lola: sara is running 2450 secs || 33964971 markings, 41756641 edges, 11222 markings/sec, 2450 secs
lola: sara is running 2455 secs || 34028052 markings, 41834062 edges, 12616 markings/sec, 2455 secs
lola: sara is running 2460 secs || 34088674 markings, 41908682 edges, 12124 markings/sec, 2460 secs
lola: sara is running 2465 secs || 34149437 markings, 41983146 edges, 12153 markings/sec, 2465 secs
lola: sara is running 2470 secs || 34212693 markings, 42061093 edges, 12651 markings/sec, 2470 secs
lola: sara is running 2475 secs || 34274754 markings, 42137614 edges, 12412 markings/sec, 2475 secs
lola: sara is running 2480 secs || 34338413 markings, 42216218 edges, 12732 markings/sec, 2480 secs
lola: sara is running 2485 secs || 34399993 markings, 42292002 edges, 12316 markings/sec, 2485 secs
lola: sara is running 2490 secs || 34454616 markings, 42359300 edges, 10925 markings/sec, 2490 secs
lola: sara is running 2495 secs || 34507663 markings, 42424377 edges, 10609 markings/sec, 2495 secs
lola: sara is running 2500 secs || 34571155 markings, 42502303 edges, 12698 markings/sec, 2500 secs
lola: sara is running 2505 secs || 34632617 markings, 42577618 edges, 12292 markings/sec, 2505 secs
lola: sara is running 2510 secs || 34692880 markings, 42651725 edges, 12053 markings/sec, 2510 secs
lola: sara is running 2515 secs || 34753196 markings, 42726101 edges, 12063 markings/sec, 2515 secs
lola: sara is running 2520 secs || 34810053 markings, 42795672 edges, 11371 markings/sec, 2520 secs
lola: sara is running 2525 secs || 34869774 markings, 42868858 edges, 11944 markings/sec, 2525 secs
lola: sara is running 2530 secs || 34928525 markings, 42941285 edges, 11750 markings/sec, 2530 secs
lola: sara is running 2535 secs || 34983012 markings, 43007955 edges, 10897 markings/sec, 2535 secs
lola: sara is running 2540 secs || 35037055 markings, 43074836 edges, 10809 markings/sec, 2540 secs
lola: sara is running 2545 secs || 35099069 markings, 43151545 edges, 12403 markings/sec, 2545 secs
lola: sara is running 2550 secs || 35158391 markings, 43224937 edges, 11864 markings/sec, 2550 secs
lola: sara is running 2555 secs || 35213343 markings, 43291797 edges, 10990 markings/sec, 2555 secs
lola: sara is running 2560 secs || 35276237 markings, 43369084 edges, 12579 markings/sec, 2560 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no unknown no yes yes no no yes yes yes no no yes unknown no
lola:
preliminary result: yes no unknown no yes yes no no yes yes yes no no yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no unknown no yes yes no no yes yes yes no no yes unknown no
lola: memory consumption: 27760 KB
lola: time consumption: 3570 seconds
BK_STOP 1526478305470
--------------------
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="CloudReconfiguration-PT-303"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-303.tgz
mv CloudReconfiguration-PT-303 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 CloudReconfiguration-PT-303, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646379800019"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;