About the Execution of LoLA for ClientsAndServers-PT-N0500P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.400 | 3571036.00 | 3427536.00 | 35033.60 | TTT?T?TFFTTTTTTT | 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 192K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 119 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 357 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K 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 8 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 9.1K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ClientsAndServers-PT-N0500P0, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357300166
=====================================================================
--------------------
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 ClientsAndServers-PT-N0500P0-ReachabilityCardinality-00
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-01
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-02
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-03
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-04
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-05
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-06
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-07
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-08
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-09
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-10
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-11
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-12
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-13
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-14
FORMULA_NAME ClientsAndServers-PT-N0500P0-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526562323475
info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N0500P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N0500P0 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ ClientsAndServers-PT-N0500P0 @ 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: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0500P0-ReachabilityCardinality.task
lola: always true
lola: always true
lola: LP says that atomic proposition is always true: (1 <= Mi)
lola: LP says that atomic proposition is always true: (2 <= Mi)
lola: always true
lola: A (G (())) : E (F (((MtF <= 0) AND ((3 <= SpG) OR (SpG <= Ci)) AND (2 <= CwA)))) : E (F ((3 <= MtF))) : E (F ((((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF))))) : A (G (())) : A (G ((((CwG <= SF) AND (Uf <= StR)) OR (StR + 1 <= Uf) OR (SpA <= 0)))) : E (F (((Ci <= SpG)))) : A (G (((MwU <= 0) OR (SpA <= 2) OR (StR <= Si)))) : A (G ((MpA <= Mi))) : E (F (((Uf <= MpG) AND (SA <= SF)))) : A (G (TRUE)) : E (F (((CF + 1 <= StF) AND (Uf <= 2)))) : E (F (((Ci <= 0) AND (Si <= 2) AND (MpG <= SG)))) : E (F ((Mi <= CwG))) : E (F (((2 <= CG) AND (3 <= SF) AND (MpA <= 2)))) : E (F ((Ci <= StR)))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 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: 9 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 ClientsAndServers-PT-N0500P0-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 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: 9 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 ClientsAndServers-PT-N0500P0-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 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: 9 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 ClientsAndServers-PT-N0500P0-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= MtF)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((3 <= MtF)))
lola: processed formula length: 18
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= MtF)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-3-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 40 markings, 39 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((MpA <= Mi)))
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 ((MpA <= Mi)))
lola: processed formula length: 19
lola: 11 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (Mi + 1 <= MpA)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-4-0.sara.
lola: sara is running 0 secs || 1659612 markings, 3969291 edges, 331922 markings/sec, 0 secs
lola: sara is running 5 secs || 3184358 markings, 7745523 edges, 304949 markings/sec, 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3212526 markings, 7818901 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((Ci <= SpG))))
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 (((Ci <= SpG))))
lola: processed formula length: 21
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ((Ci <= SpG))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-5-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4001 markings, 4000 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((Mi <= CwG)))
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 ((Mi <= CwG)))
lola: processed formula length: 19
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (Mi <= CwG)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-6-0.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1501 markings, 1500 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((Ci <= StR)))
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 ((Ci <= StR)))
lola: processed formula length: 19
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (Ci <= StR)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4001 markings, 4000 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= CG) AND (3 <= SF) AND (MpA <= 2))))
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 (((2 <= CG) AND (3 <= SF) AND (MpA <= 2))))
lola: processed formula length: 48
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ((2 <= CG) AND (3 <= SF) AND (MpA <= 2))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 53 markings, 52 edges
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-8-0.sara
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((CF + 1 <= StF) AND (Uf <= 2))))
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 (((CF + 1 <= StF) AND (Uf <= 2))))
lola: processed formula length: 39
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ((CF + 1 <= StF) AND (Uf <= 2))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 12998 markings, 12997 edges
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((Ci <= 0) AND (Si <= 2) AND (MpG <= SG))))
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 (((Ci <= 0) AND (Si <= 2) AND (MpG <= SG))))
lola: processed formula length: 49
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ((Ci <= 0) AND (Si <= 2) AND (MpG <= SG))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4999 markings, 4998 edges
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((Uf <= MpG) AND (SA <= SF))))
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 (((Uf <= MpG) AND (SA <= SF))))
lola: processed formula length: 36
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ((Uf <= MpG) AND (SA <= SF))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5001 markings, 5000 edges
lola:
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((MwU <= 0) OR (SpA <= 2) OR (StR <= Si))))
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 (((MwU <= 0) OR (SpA <= 2) OR (StR <= Si))))
lola: processed formula length: 51
lola: 11 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= MwU) AND (3 <= SpA) AND (Si + 1 <= StR))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-12-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: 1051 markings, 1050 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1186 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((MtF <= 0) AND ((3 <= SpG) OR (SpG <= Ci)) AND (2 <= CwA))))
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 (((MtF <= 0) AND ((3 <= SpG) OR (SpG <= Ci)) AND (2 <= CwA))))
lola: processed formula length: 68
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ((MtF <= 0) AND ((3 <= SpG) OR (SpG <= Ci)) AND (2 <= CwA))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((CwG <= SF) AND (Uf <= StR)) OR (StR + 1 <= Uf) OR (SpA <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((CwG <= SF) AND (Uf <= StR)) OR (StR + 1 <= Uf) OR (SpA <= 0))))
lola: processed formula length: 74
lola: 11 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (((SF + 1 <= CwG) OR (StR + 1 <= Uf)) AND (Uf <= StR) AND (1 <= SpA))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-14-0.sara.
lola: sara is running 0 secs || 3333447 markings, 4216588 edges, 666689 markings/sec, 0 secs
lola: sara is running 5 secs || 6536679 markings, 8273999 edges, 640646 markings/sec, 5 secs
lola: sara is running 10 secs || 9738266 markings, 12318663 edges, 640317 markings/sec, 10 secs
lola: sara is running 15 secs || 12844708 markings, 16250822 edges, 621288 markings/sec, 15 secs
lola: sara is running 20 secs || 15798120 markings, 19993311 edges, 590682 markings/sec, 20 secs
lola: sara is running 25 secs || 18697967 markings, 23672836 edges, 579969 markings/sec, 25 secs
lola: sara is running 30 secs || 21597956 markings, 27345864 edges, 579998 markings/sec, 30 secs
lola: sara is running 35 secs || 24456259 markings, 30974831 edges, 571661 markings/sec, 35 secs
lola: sara is running 40 secs || 27313324 markings, 34659159 edges, 571413 markings/sec, 40 secs
lola: sara is running 45 secs || 29679228 markings, 38078554 edges, 473181 markings/sec, 45 secs
lola: sara is running 50 secs || 31812571 markings, 41238483 edges, 426669 markings/sec, 50 secs
lola: sara is running 55 secs || 33877117 markings, 44306147 edges, 412909 markings/sec, 55 secs
lola: sara is running 60 secs || 35858339 markings, 47287323 edges, 396244 markings/sec, 60 secs
lola: sara is running 65 secs || 37778125 markings, 50194173 edges, 383957 markings/sec, 65 secs
lola: sara is running 70 secs || 39678271 markings, 53080238 edges, 380029 markings/sec, 70 secs
lola: sara is running 75 secs || 41528988 markings, 55907120 edges, 370143 markings/sec, 75 secs
lola: sara is running 80 secs || 43363116 markings, 58704775 edges, 366826 markings/sec, 80 secs
lola: sara is running 85 secs || 45172766 markings, 61477395 edges, 361930 markings/sec, 85 secs
lola: sara is running 90 secs || 46985711 markings, 64242002 edges, 362589 markings/sec, 90 secs
lola: sara is running 95 secs || 48778966 markings, 66981797 edges, 358651 markings/sec, 95 secs
lola: sara is running 100 secs || 50543783 markings, 69684668 edges, 352963 markings/sec, 100 secs
lola: sara is running 105 secs || 52300733 markings, 72372282 edges, 351390 markings/sec, 105 secs
lola: sara is running 110 secs || 54049719 markings, 75050601 edges, 349797 markings/sec, 110 secs
lola: sara is running 115 secs || 55789224 markings, 77715815 edges, 347901 markings/sec, 115 secs
lola: sara is running 120 secs || 57548360 markings, 80398056 edges, 351827 markings/sec, 120 secs
lola: sara is running 125 secs || 59261803 markings, 83032329 edges, 342689 markings/sec, 125 secs
lola: sara is running 130 secs || 60991513 markings, 85676014 edges, 345942 markings/sec, 130 secs
lola: sara is running 135 secs || 62692728 markings, 88294057 edges, 340243 markings/sec, 135 secs
lola: sara is running 140 secs || 64376094 markings, 90893838 edges, 336673 markings/sec, 140 secs
lola: sara is running 145 secs || 66069262 markings, 93497148 edges, 338634 markings/sec, 145 secs
lola: sara is running 150 secs || 67751176 markings, 96085614 edges, 336383 markings/sec, 150 secs
lola: sara is running 155 secs || 69429310 markings, 98668834 edges, 335627 markings/sec, 155 secs
lola: sara is running 160 secs || 71106396 markings, 101246331 edges, 335417 markings/sec, 160 secs
lola: sara is running 165 secs || 72778841 markings, 103826530 edges, 334489 markings/sec, 165 secs
lola: sara is running 170 secs || 74427713 markings, 106374006 edges, 329774 markings/sec, 170 secs
lola: sara is running 175 secs || 76090609 markings, 108928733 edges, 332579 markings/sec, 175 secs
lola: sara is running 180 secs || 77745958 markings, 111486806 edges, 331070 markings/sec, 180 secs
lola: sara is running 185 secs || 79397266 markings, 114039400 edges, 330262 markings/sec, 185 secs
lola: sara is running 190 secs || 81145027 markings, 116743633 edges, 349552 markings/sec, 190 secs
lola: sara is running 195 secs || 83071595 markings, 119727085 edges, 385314 markings/sec, 195 secs
lola: sara is running 200 secs || 85017631 markings, 122727757 edges, 389207 markings/sec, 200 secs
lola: sara is running 205 secs || 86957190 markings, 125725603 edges, 387912 markings/sec, 205 secs
lola: sara is running 210 secs || 88883589 markings, 128709873 edges, 385280 markings/sec, 210 secs
lola: sara is running 215 secs || 90785231 markings, 131666283 edges, 380328 markings/sec, 215 secs
lola: sara is running 220 secs || 92706145 markings, 134637680 edges, 384183 markings/sec, 220 secs
lola: sara is running 225 secs || 94608730 markings, 137588917 edges, 380517 markings/sec, 225 secs
lola: sara is running 230 secs || 96514753 markings, 140548303 edges, 381205 markings/sec, 230 secs
lola: sara is running 235 secs || 98318446 markings, 143343741 edges, 360739 markings/sec, 235 secs
lola: sara is running 240 secs || 100234267 markings, 146294516 edges, 383164 markings/sec, 240 secs
lola: sara is running 245 secs || 102149116 markings, 149256922 edges, 382970 markings/sec, 245 secs
lola: sara is running 250 secs || 104028454 markings, 152179756 edges, 375868 markings/sec, 250 secs
lola: sara is running 255 secs || 105903865 markings, 155101697 edges, 375082 markings/sec, 255 secs
lola: sara is running 260 secs || 107790973 markings, 158028835 edges, 377422 markings/sec, 260 secs
lola: sara is running 265 secs || 109677106 markings, 160954009 edges, 377227 markings/sec, 265 secs
lola: sara is running 270 secs || 111544662 markings, 163861793 edges, 373511 markings/sec, 270 secs
lola: sara is running 275 secs || 113417905 markings, 166767257 edges, 374649 markings/sec, 275 secs
lola: sara is running 280 secs || 115287511 markings, 169664979 edges, 373921 markings/sec, 280 secs
lola: sara is running 285 secs || 117161608 markings, 172578950 edges, 374819 markings/sec, 285 secs
lola: sara is running 290 secs || 119006349 markings, 175459714 edges, 368948 markings/sec, 290 secs
lola: sara is running 295 secs || 120782556 markings, 178222569 edges, 355241 markings/sec, 295 secs
lola: sara is running 300 secs || 122638127 markings, 181106899 edges, 371114 markings/sec, 300 secs
lola: sara is running 305 secs || 124501680 markings, 184007333 edges, 372711 markings/sec, 305 secs
lola: sara is running 310 secs || 126348380 markings, 186876297 edges, 369340 markings/sec, 310 secs
lola: sara is running 315 secs || 128195745 markings, 189747149 edges, 369473 markings/sec, 315 secs
lola: sara is running 320 secs || 130048087 markings, 192630842 edges, 370468 markings/sec, 320 secs
lola: sara is running 325 secs || 131885442 markings, 195493991 edges, 367471 markings/sec, 325 secs
lola: sara is running 330 secs || 133720613 markings, 198357347 edges, 367034 markings/sec, 330 secs
lola: sara is running 335 secs || 135563362 markings, 201221699 edges, 368550 markings/sec, 335 secs
lola: sara is running 340 secs || 137417314 markings, 204106304 edges, 370790 markings/sec, 340 secs
lola: sara is running 345 secs || 139260854 markings, 206976991 edges, 368708 markings/sec, 345 secs
lola: sara is running 350 secs || 141097097 markings, 209843834 edges, 367249 markings/sec, 350 secs
lola: sara is running 355 secs || 142812795 markings, 212530014 edges, 343140 markings/sec, 355 secs
lola: sara is running 360 secs || 144632157 markings, 215373103 edges, 363872 markings/sec, 360 secs
lola: sara is running 365 secs || 146473095 markings, 218227725 edges, 368188 markings/sec, 365 secs
lola: sara is running 370 secs || 148301473 markings, 221068044 edges, 365676 markings/sec, 370 secs
lola: sara is running 375 secs || 150133832 markings, 223921114 edges, 366472 markings/sec, 375 secs
lola: sara is running 380 secs || 151966861 markings, 226773421 edges, 366606 markings/sec, 380 secs
lola: sara is running 385 secs || 153796593 markings, 229615584 edges, 365946 markings/sec, 385 secs
lola: sara is running 390 secs || 155603689 markings, 232438646 edges, 361419 markings/sec, 390 secs
lola: sara is running 395 secs || 157418411 markings, 235264203 edges, 362944 markings/sec, 395 secs
lola: sara is running 400 secs || 159222313 markings, 238079621 edges, 360780 markings/sec, 400 secs
lola: sara is running 405 secs || 161033611 markings, 240907651 edges, 362260 markings/sec, 405 secs
lola: sara is running 410 secs || 162843584 markings, 243727958 edges, 361995 markings/sec, 410 secs
lola: sara is running 415 secs || 164570720 markings, 246422267 edges, 345427 markings/sec, 415 secs
lola: sara is running 420 secs || 166362601 markings, 249227513 edges, 358376 markings/sec, 420 secs
lola: sara is running 425 secs || 168156578 markings, 252035908 edges, 358795 markings/sec, 425 secs
lola: sara is running 430 secs || 169943903 markings, 254831548 edges, 357465 markings/sec, 430 secs
lola: sara is running 435 secs || 171750283 markings, 257648244 edges, 361276 markings/sec, 435 secs
lola: sara is running 440 secs || 173550295 markings, 260460100 edges, 360002 markings/sec, 440 secs
lola: sara is running 445 secs || 175326196 markings, 263240355 edges, 355180 markings/sec, 445 secs
lola: sara is running 450 secs || 177138833 markings, 266062298 edges, 362527 markings/sec, 450 secs
lola: sara is running 455 secs || 178929605 markings, 268861990 edges, 358154 markings/sec, 455 secs
lola: sara is running 460 secs || 180726933 markings, 271663929 edges, 359466 markings/sec, 460 secs
lola: sara is running 465 secs || 182522090 markings, 274471795 edges, 359031 markings/sec, 465 secs
lola: sara is running 470 secs || 184316998 markings, 277275093 edges, 358982 markings/sec, 470 secs
lola: sara is running 475 secs || 186026487 markings, 279941951 edges, 341898 markings/sec, 475 secs
lola: sara is running 480 secs || 187821989 markings, 282738714 edges, 359100 markings/sec, 480 secs
lola: sara is running 485 secs || 189611582 markings, 285537923 edges, 357919 markings/sec, 485 secs
lola: sara is running 490 secs || 191400951 markings, 288328123 edges, 357874 markings/sec, 490 secs
lola: sara is running 495 secs || 193204988 markings, 291133492 edges, 360807 markings/sec, 495 secs
lola: sara is running 500 secs || 195000030 markings, 293942450 edges, 359008 markings/sec, 500 secs
lola: sara is running 505 secs || 196794476 markings, 296746496 edges, 358889 markings/sec, 505 secs
lola: sara is running 510 secs || 198566990 markings, 299525643 edges, 354503 markings/sec, 510 secs
lola: sara is running 515 secs || 200334222 markings, 302297848 edges, 353446 markings/sec, 515 secs
lola: sara is running 520 secs || 202102929 markings, 305069389 edges, 353741 markings/sec, 520 secs
lola: sara is running 525 secs || 203891933 markings, 307858015 edges, 357801 markings/sec, 525 secs
lola: sara is running 530 secs || 205671725 markings, 310627786 edges, 355958 markings/sec, 530 secs
lola: sara is running 535 secs || 207362816 markings, 313274747 edges, 338218 markings/sec, 535 secs
lola: sara is running 540 secs || 208929259 markings, 315729223 edges, 313289 markings/sec, 540 secs
lola: sara is running 545 secs || 210694230 markings, 318497617 edges, 352994 markings/sec, 545 secs
lola: sara is running 550 secs || 212466826 markings, 321261890 edges, 354519 markings/sec, 550 secs
lola: sara is running 555 secs || 214231564 markings, 324031481 edges, 352948 markings/sec, 555 secs
lola: sara is running 560 secs || 215999813 markings, 326793427 edges, 353650 markings/sec, 560 secs
lola: sara is running 565 secs || 217764099 markings, 329550957 edges, 352857 markings/sec, 565 secs
lola: sara is running 570 secs || 219550601 markings, 332340597 edges, 357300 markings/sec, 570 secs
lola: sara is running 575 secs || 221340526 markings, 335130168 edges, 357985 markings/sec, 575 secs
lola: sara is running 580 secs || 223096619 markings, 337878625 edges, 351219 markings/sec, 580 secs
lola: sara is running 585 secs || 224861581 markings, 340640875 edges, 352992 markings/sec, 585 secs
lola: sara is running 590 secs || 226633069 markings, 343411638 edges, 354298 markings/sec, 590 secs
lola: sara is running 595 secs || 228322813 markings, 346049285 edges, 337949 markings/sec, 595 secs
lola: sara is running 600 secs || 230072393 markings, 348808979 edges, 349916 markings/sec, 600 secs
lola: sara is running 605 secs || 231837064 markings, 351567838 edges, 352934 markings/sec, 605 secs
lola: sara is running 610 secs || 233647177 markings, 354379228 edges, 362023 markings/sec, 610 secs
lola: sara is running 615 secs || 235399248 markings, 357119696 edges, 350414 markings/sec, 615 secs
lola: sara is running 620 secs || 237144412 markings, 359858583 edges, 349033 markings/sec, 620 secs
lola: sara is running 625 secs || 238904598 markings, 362613433 edges, 352037 markings/sec, 625 secs
lola: sara is running 630 secs || 240654788 markings, 365353966 edges, 350038 markings/sec, 630 secs
lola: sara is running 635 secs || 242407092 markings, 368094119 edges, 350461 markings/sec, 635 secs
lola: sara is running 640 secs || 244152770 markings, 370825462 edges, 349136 markings/sec, 640 secs
lola: sara is running 645 secs || 245893959 markings, 373563829 edges, 348238 markings/sec, 645 secs
lola: sara is running 650 secs || 247680662 markings, 376337368 edges, 357341 markings/sec, 650 secs
lola: sara is running 655 secs || 249359385 markings, 378963365 edges, 335745 markings/sec, 655 secs
lola: sara is running 660 secs || 251101940 markings, 381698209 edges, 348511 markings/sec, 660 secs
lola: sara is running 665 secs || 252837133 markings, 384425251 edges, 347039 markings/sec, 665 secs
lola: sara is running 670 secs || 254581973 markings, 387161213 edges, 348968 markings/sec, 670 secs
lola: sara is running 675 secs || 256312781 markings, 389881927 edges, 346162 markings/sec, 675 secs
lola: sara is running 680 secs || 258050528 markings, 392617283 edges, 347549 markings/sec, 680 secs
lola: sara is running 685 secs || 259793797 markings, 395342180 edges, 348654 markings/sec, 685 secs
lola: sara is running 690 secs || 261515718 markings, 398052053 edges, 344384 markings/sec, 690 secs
lola: sara is running 695 secs || 263248736 markings, 400771001 edges, 346604 markings/sec, 695 secs
lola: sara is running 700 secs || 264983916 markings, 403494697 edges, 347036 markings/sec, 700 secs
lola: sara is running 705 secs || 266714961 markings, 406216637 edges, 346209 markings/sec, 705 secs
lola: sara is running 710 secs || 268452369 markings, 408942116 edges, 347482 markings/sec, 710 secs
lola: sara is running 715 secs || 270113501 markings, 411544374 edges, 332226 markings/sec, 715 secs
lola: sara is running 720 secs || 271843185 markings, 414256630 edges, 345937 markings/sec, 720 secs
lola: sara is running 725 secs || 273603976 markings, 417002401 edges, 352158 markings/sec, 725 secs
lola: sara is running 730 secs || 275356855 markings, 419742085 edges, 350576 markings/sec, 730 secs
lola: sara is running 735 secs || 277109606 markings, 422477770 edges, 350550 markings/sec, 735 secs
lola: sara is running 740 secs || 278842180 markings, 425201243 edges, 346515 markings/sec, 740 secs
lola: sara is running 745 secs || 280558465 markings, 427902689 edges, 343257 markings/sec, 745 secs
lola: sara is running 750 secs || 282282548 markings, 430609517 edges, 344817 markings/sec, 750 secs
lola: sara is running 755 secs || 283993942 markings, 433299370 edges, 342279 markings/sec, 755 secs
lola: sara is running 760 secs || 285711273 markings, 435998206 edges, 343466 markings/sec, 760 secs
lola: sara is running 765 secs || 287434853 markings, 438708460 edges, 344716 markings/sec, 765 secs
lola: sara is running 770 secs || 289160187 markings, 441418899 edges, 345067 markings/sec, 770 secs
lola: sara is running 775 secs || 290813992 markings, 444013520 edges, 330761 markings/sec, 775 secs
lola: sara is running 780 secs || 292170594 markings, 446149926 edges, 271320 markings/sec, 780 secs
lola: sara is running 785 secs || 292258880 markings, 446285215 edges, 17657 markings/sec, 785 secs
lola: sara is running 790 secs || 292270783 markings, 446304150 edges, 2381 markings/sec, 790 secs
lola: sara is running 795 secs || 292281573 markings, 446322174 edges, 2158 markings/sec, 795 secs
lola: sara is running 800 secs || 292292635 markings, 446340645 edges, 2212 markings/sec, 800 secs
lola: sara is running 805 secs || 292307843 markings, 446365826 edges, 3042 markings/sec, 805 secs
lola: sara is running 810 secs || 292310382 markings, 446369688 edges, 508 markings/sec, 810 secs
lola: sara is running 815 secs || 292317732 markings, 446380830 edges, 1470 markings/sec, 815 secs
lola: sara is running 820 secs || 292322837 markings, 446388091 edges, 1021 markings/sec, 820 secs
lola: sara is running 825 secs || 292353259 markings, 446435999 edges, 6084 markings/sec, 825 secs
lola: sara is running 830 secs || 292360263 markings, 446446874 edges, 1401 markings/sec, 830 secs
lola: sara is running 835 secs || 292371090 markings, 446462905 edges, 2165 markings/sec, 835 secs
lola: sara is running 840 secs || 292385066 markings, 446485920 edges, 2795 markings/sec, 840 secs
lola: sara is running 845 secs || 292385140 markings, 446486049 edges, 15 markings/sec, 845 secs
lola: sara is running 850 secs || 292391884 markings, 446496305 edges, 1349 markings/sec, 850 secs
lola: sara is running 855 secs || 292394486 markings, 446499746 edges, 520 markings/sec, 855 secs
lola: sara is running 860 secs || 292400284 markings, 446508916 edges, 1160 markings/sec, 860 secs
lola: sara is running 865 secs || 292406118 markings, 446518468 edges, 1167 markings/sec, 865 secs
lola: sara is running 870 secs || 292409174 markings, 446523663 edges, 611 markings/sec, 870 secs
lola: sara is running 875 secs || 292444708 markings, 446578590 edges, 7107 markings/sec, 875 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2670 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF)))))
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 ((((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF)))))
lola: processed formula length: 91
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF)))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-15-0.sara.
lola: sara is running 0 secs || 2214585 markings, 4640252 edges, 442917 markings/sec, 0 secs
lola: sara is running 5 secs || 4193142 markings, 8893041 edges, 395711 markings/sec, 5 secs
lola: sara is running 10 secs || 6022884 markings, 12886200 edges, 365948 markings/sec, 10 secs
lola: sara is running 15 secs || 7587356 markings, 16429733 edges, 312894 markings/sec, 15 secs
lola: sara is running 20 secs || 9083947 markings, 19889227 edges, 299318 markings/sec, 20 secs
lola: sara is running 25 secs || 10521463 markings, 23254861 edges, 287503 markings/sec, 25 secs
lola: sara is running 30 secs || 11912642 markings, 26544147 edges, 278236 markings/sec, 30 secs
lola: sara is running 35 secs || 13270203 markings, 29792856 edges, 271512 markings/sec, 35 secs
lola: sara is running 40 secs || 14602378 markings, 33011077 edges, 266435 markings/sec, 40 secs
lola: sara is running 45 secs || 15910746 markings, 36175587 edges, 261674 markings/sec, 45 secs
lola: sara is running 50 secs || 17182444 markings, 39320639 edges, 254340 markings/sec, 50 secs
lola: sara is running 55 secs || 18439083 markings, 42449949 edges, 251328 markings/sec, 55 secs
lola: sara is running 60 secs || 19712298 markings, 45546860 edges, 254643 markings/sec, 60 secs
lola: sara is running 65 secs || 20933780 markings, 48597932 edges, 244296 markings/sec, 65 secs
lola: sara is running 70 secs || 22150862 markings, 51660753 edges, 243416 markings/sec, 70 secs
lola: sara is running 75 secs || 23357806 markings, 54712002 edges, 241389 markings/sec, 75 secs
lola: sara is running 80 secs || 24525605 markings, 57705291 edges, 233560 markings/sec, 80 secs
lola: sara is running 85 secs || 25711605 markings, 60746171 edges, 237200 markings/sec, 85 secs
lola: sara is running 90 secs || 26883412 markings, 63767601 edges, 234361 markings/sec, 90 secs
lola: sara is running 95 secs || 28039063 markings, 66779038 edges, 231130 markings/sec, 95 secs
lola: sara is running 100 secs || 29197863 markings, 69808915 edges, 231760 markings/sec, 100 secs
lola: sara is running 105 secs || 30356613 markings, 72790558 edges, 231750 markings/sec, 105 secs
lola: sara is running 110 secs || 31479618 markings, 75794134 edges, 224601 markings/sec, 110 secs
lola: sara is running 115 secs || 32616835 markings, 78807339 edges, 227443 markings/sec, 115 secs
lola: sara is running 120 secs || 33713471 markings, 81664930 edges, 219327 markings/sec, 120 secs
lola: sara is running 125 secs || 34897987 markings, 84806612 edges, 236903 markings/sec, 125 secs
lola: sara is running 130 secs || 35857576 markings, 87347627 edges, 191918 markings/sec, 130 secs
lola: sara is running 135 secs || 36924228 markings, 90228111 edges, 213330 markings/sec, 135 secs
lola: sara is running 140 secs || 38056177 markings, 93328762 edges, 226390 markings/sec, 140 secs
lola: sara is running 145 secs || 39260762 markings, 96534149 edges, 240917 markings/sec, 145 secs
lola: sara is running 150 secs || 40408661 markings, 99695027 edges, 229580 markings/sec, 150 secs
lola: sara is running 155 secs || 41580272 markings, 102864062 edges, 234322 markings/sec, 155 secs
lola: sara is running 160 secs || 42677319 markings, 105911126 edges, 219409 markings/sec, 160 secs
lola: sara is running 165 secs || 43852657 markings, 109106444 edges, 235068 markings/sec, 165 secs
lola: sara is running 170 secs || 44996040 markings, 112282303 edges, 228677 markings/sec, 170 secs
lola: sara is running 175 secs || 46109919 markings, 115423093 edges, 222776 markings/sec, 175 secs
lola: sara is running 180 secs || 47254588 markings, 118568632 edges, 228934 markings/sec, 180 secs
lola: sara is running 185 secs || 48379058 markings, 121690108 edges, 224894 markings/sec, 185 secs
lola: sara is running 190 secs || 49441660 markings, 124630301 edges, 212520 markings/sec, 190 secs
lola: sara is running 195 secs || 50549865 markings, 127742395 edges, 221641 markings/sec, 195 secs
lola: sara is running 200 secs || 51703541 markings, 130900192 edges, 230735 markings/sec, 200 secs
lola: sara is running 205 secs || 52806623 markings, 133997496 edges, 220616 markings/sec, 205 secs
lola: sara is running 210 secs || 53916953 markings, 137109046 edges, 222066 markings/sec, 210 secs
lola: sara is running 215 secs || 55042450 markings, 140223555 edges, 225099 markings/sec, 215 secs
lola: sara is running 220 secs || 56135326 markings, 143315462 edges, 218575 markings/sec, 220 secs
lola: sara is running 225 secs || 57246969 markings, 146419191 edges, 222329 markings/sec, 225 secs
lola: sara is running 230 secs || 58345506 markings, 149501695 edges, 219707 markings/sec, 230 secs
lola: sara is running 235 secs || 59379667 markings, 152544694 edges, 206832 markings/sec, 235 secs
lola: sara is running 240 secs || 60521738 markings, 155654411 edges, 228414 markings/sec, 240 secs
lola: sara is running 245 secs || 61621851 markings, 158716414 edges, 220023 markings/sec, 245 secs
lola: sara is running 250 secs || 62669674 markings, 161751192 edges, 209565 markings/sec, 250 secs
lola: sara is running 255 secs || 63728696 markings, 164786348 edges, 211804 markings/sec, 255 secs
lola: sara is running 260 secs || 64798877 markings, 167817004 edges, 214036 markings/sec, 260 secs
lola: sara is running 265 secs || 65842799 markings, 170840601 edges, 208784 markings/sec, 265 secs
lola: sara is running 270 secs || 66858852 markings, 173835664 edges, 203211 markings/sec, 270 secs
lola: sara is running 275 secs || 67912614 markings, 176872066 edges, 210752 markings/sec, 275 secs
lola: sara is running 280 secs || 68990105 markings, 179895505 edges, 215498 markings/sec, 280 secs
lola: sara is running 285 secs || 70028203 markings, 182874386 edges, 207620 markings/sec, 285 secs
lola: sara is running 290 secs || 71021161 markings, 185842564 edges, 198592 markings/sec, 290 secs
lola: sara is running 295 secs || 71994414 markings, 188779330 edges, 194651 markings/sec, 295 secs
lola: sara is running 300 secs || 73026765 markings, 191760861 edges, 206470 markings/sec, 300 secs
lola: sara is running 305 secs || 74009945 markings, 194709681 edges, 196636 markings/sec, 305 secs
lola: sara is running 310 secs || 75021468 markings, 197671565 edges, 202305 markings/sec, 310 secs
lola: sara is running 315 secs || 76054699 markings, 200627817 edges, 206646 markings/sec, 315 secs
lola: sara is running 320 secs || 77059347 markings, 203586821 edges, 200930 markings/sec, 320 secs
lola: sara is running 325 secs || 78033548 markings, 206439424 edges, 194840 markings/sec, 325 secs
lola: sara is running 330 secs || 79022268 markings, 209359581 edges, 197744 markings/sec, 330 secs
lola: sara is running 335 secs || 80010139 markings, 212282080 edges, 197574 markings/sec, 335 secs
lola: sara is running 340 secs || 81020913 markings, 215216011 edges, 202155 markings/sec, 340 secs
lola: sara is running 345 secs || 82018722 markings, 218127174 edges, 199562 markings/sec, 345 secs
lola: sara is running 350 secs || 83030958 markings, 221071584 edges, 202447 markings/sec, 350 secs
lola: sara is running 355 secs || 83984046 markings, 223956660 edges, 190618 markings/sec, 355 secs
lola: sara is running 360 secs || 84947507 markings, 226845142 edges, 192692 markings/sec, 360 secs
lola: sara is running 365 secs || 85902813 markings, 229719771 edges, 191061 markings/sec, 365 secs
lola: sara is running 370 secs || 86821758 markings, 232496105 edges, 183789 markings/sec, 370 secs
lola: sara is running 375 secs || 87779436 markings, 235390576 edges, 191536 markings/sec, 375 secs
lola: sara is running 380 secs || 88744808 markings, 238261147 edges, 193074 markings/sec, 380 secs
lola: sara is running 385 secs || 89690580 markings, 241111776 edges, 189154 markings/sec, 385 secs
lola: sara is running 390 secs || 90672065 markings, 243998968 edges, 196297 markings/sec, 390 secs
lola: sara is running 395 secs || 91671137 markings, 246894803 edges, 199814 markings/sec, 395 secs
lola: sara is running 400 secs || 92647438 markings, 249756499 edges, 195260 markings/sec, 400 secs
lola: sara is running 405 secs || 93594799 markings, 252609810 edges, 189472 markings/sec, 405 secs
lola: sara is running 410 secs || 94603232 markings, 255505286 edges, 201687 markings/sec, 410 secs
lola: sara is running 415 secs || 95607284 markings, 258423140 edges, 200810 markings/sec, 415 secs
lola: sara is running 420 secs || 96582131 markings, 261295649 edges, 194969 markings/sec, 420 secs
lola: sara is running 425 secs || 97551817 markings, 264143911 edges, 193937 markings/sec, 425 secs
lola: sara is running 430 secs || 98468268 markings, 266873739 edges, 183290 markings/sec, 430 secs
lola: sara is running 435 secs || 99460631 markings, 269747315 edges, 198473 markings/sec, 435 secs
lola: sara is running 440 secs || 100385415 markings, 272578156 edges, 184957 markings/sec, 440 secs
lola: sara is running 445 secs || 101331680 markings, 275403920 edges, 189253 markings/sec, 445 secs
lola: sara is running 450 secs || 102231856 markings, 278185694 edges, 180035 markings/sec, 450 secs
lola: sara is running 455 secs || 103173764 markings, 280998464 edges, 188382 markings/sec, 455 secs
lola: sara is running 460 secs || 104126614 markings, 283846612 edges, 190570 markings/sec, 460 secs
lola: sara is running 465 secs || 105068653 markings, 286661272 edges, 188408 markings/sec, 465 secs
lola: sara is running 470 secs || 105985871 markings, 289468930 edges, 183444 markings/sec, 470 secs
lola: sara is running 475 secs || 106916606 markings, 292287123 edges, 186147 markings/sec, 475 secs
lola: sara is running 480 secs || 107818590 markings, 295073861 edges, 180397 markings/sec, 480 secs
lola: sara is running 485 secs || 108742135 markings, 297850734 edges, 184709 markings/sec, 485 secs
lola: sara is running 490 secs || 109607988 markings, 300516475 edges, 173171 markings/sec, 490 secs
lola: sara is running 495 secs || 110512399 markings, 303295572 edges, 180882 markings/sec, 495 secs
lola: sara is running 500 secs || 111457656 markings, 306101265 edges, 189051 markings/sec, 500 secs
lola: sara is running 505 secs || 112415920 markings, 308914661 edges, 191653 markings/sec, 505 secs
lola: sara is running 510 secs || 113339414 markings, 311703695 edges, 184699 markings/sec, 510 secs
lola: sara is running 515 secs || 114240581 markings, 314458504 edges, 180233 markings/sec, 515 secs
lola: sara is running 520 secs || 115157741 markings, 317243743 edges, 183432 markings/sec, 520 secs
lola: sara is running 525 secs || 116097014 markings, 320041340 edges, 187855 markings/sec, 525 secs
lola: sara is running 530 secs || 117045920 markings, 322840047 edges, 189781 markings/sec, 530 secs
lola: sara is running 535 secs || 117999723 markings, 325646417 edges, 190761 markings/sec, 535 secs
lola: sara is running 540 secs || 118957184 markings, 328468036 edges, 191492 markings/sec, 540 secs
lola: sara is running 545 secs || 119861308 markings, 331226457 edges, 180825 markings/sec, 545 secs
lola: sara is running 550 secs || 120723988 markings, 333886680 edges, 172536 markings/sec, 550 secs
lola: sara is running 555 secs || 121603139 markings, 336612952 edges, 175830 markings/sec, 555 secs
lola: sara is running 560 secs || 122513575 markings, 339376511 edges, 182087 markings/sec, 560 secs
lola: sara is running 565 secs || 123408966 markings, 342117623 edges, 179078 markings/sec, 565 secs
lola: sara is running 570 secs || 124304810 markings, 344886437 edges, 179169 markings/sec, 570 secs
lola: sara is running 575 secs || 125203882 markings, 347633856 edges, 179814 markings/sec, 575 secs
lola: sara is running 580 secs || 126106372 markings, 350387411 edges, 180498 markings/sec, 580 secs
lola: sara is running 585 secs || 126973651 markings, 353096089 edges, 173456 markings/sec, 585 secs
lola: sara is running 590 secs || 127881777 markings, 355866300 edges, 181625 markings/sec, 590 secs
lola: sara is running 595 secs || 128787383 markings, 358615971 edges, 181121 markings/sec, 595 secs
lola: sara is running 600 secs || 129644723 markings, 361323721 edges, 171468 markings/sec, 600 secs
lola: sara is running 605 secs || 130572452 markings, 364072379 edges, 185546 markings/sec, 605 secs
lola: sara is running 610 secs || 131390791 markings, 366661976 edges, 163668 markings/sec, 610 secs
lola: sara is running 615 secs || 132259805 markings, 369384679 edges, 173803 markings/sec, 615 secs
lola: sara is running 620 secs || 133146375 markings, 372099284 edges, 177314 markings/sec, 620 secs
lola: sara is running 625 secs || 134043832 markings, 374834029 edges, 179491 markings/sec, 625 secs
lola: sara is running 630 secs || 134894805 markings, 377514801 edges, 170195 markings/sec, 630 secs
lola: sara is running 635 secs || 135753426 markings, 380199698 edges, 171724 markings/sec, 635 secs
lola: sara is running 640 secs || 136672669 markings, 382962573 edges, 183849 markings/sec, 640 secs
lola: sara is running 645 secs || 137560099 markings, 385685617 edges, 177486 markings/sec, 645 secs
lola: sara is running 650 secs || 138440082 markings, 388374191 edges, 175997 markings/sec, 650 secs
lola: sara is running 655 secs || 139299425 markings, 391055313 edges, 171869 markings/sec, 655 secs
lola: sara is running 660 secs || 140184766 markings, 393770960 edges, 177068 markings/sec, 660 secs
lola: sara is running 665 secs || 141041547 markings, 396436391 edges, 171356 markings/sec, 665 secs
lola: sara is running 670 secs || 141831594 markings, 398992615 edges, 158009 markings/sec, 670 secs
lola: sara is running 675 secs || 142710860 markings, 401693941 edges, 175853 markings/sec, 675 secs
lola: sara is running 680 secs || 143578651 markings, 404380044 edges, 173558 markings/sec, 680 secs
lola: sara is running 685 secs || 144470019 markings, 407083329 edges, 178274 markings/sec, 685 secs
lola: sara is running 690 secs || 145345739 markings, 409768831 edges, 175144 markings/sec, 690 secs
lola: sara is running 695 secs || 146238515 markings, 412469470 edges, 178555 markings/sec, 695 secs
lola: sara is running 700 secs || 147110489 markings, 415178225 edges, 174395 markings/sec, 700 secs
lola: sara is running 705 secs || 147967757 markings, 417836915 edges, 171454 markings/sec, 705 secs
lola: sara is running 710 secs || 148835787 markings, 420519270 edges, 173606 markings/sec, 710 secs
lola: sara is running 715 secs || 149754072 markings, 423223324 edges, 183657 markings/sec, 715 secs
lola: sara is running 720 secs || 150630834 markings, 425916424 edges, 175352 markings/sec, 720 secs
lola: sara is running 725 secs || 151516908 markings, 428593438 edges, 177215 markings/sec, 725 secs
lola: sara is running 730 secs || 152323782 markings, 431154979 edges, 161375 markings/sec, 730 secs
lola: sara is running 735 secs || 153175490 markings, 433810677 edges, 170342 markings/sec, 735 secs
lola: sara is running 740 secs || 154018120 markings, 436457047 edges, 168526 markings/sec, 740 secs
lola: sara is running 745 secs || 154880753 markings, 439128056 edges, 172527 markings/sec, 745 secs
lola: sara is running 750 secs || 155681716 markings, 441742712 edges, 160193 markings/sec, 750 secs
lola: sara is running 755 secs || 156525148 markings, 444381382 edges, 168686 markings/sec, 755 secs
lola: sara is running 760 secs || 157411224 markings, 447084478 edges, 177215 markings/sec, 760 secs
lola: sara is running 765 secs || 158247789 markings, 449726465 edges, 167313 markings/sec, 765 secs
lola: sara is running 770 secs || 159113048 markings, 452374760 edges, 173052 markings/sec, 770 secs
lola: sara is running 775 secs || 159946513 markings, 455005037 edges, 166693 markings/sec, 775 secs
lola: sara is running 780 secs || 160797677 markings, 457656624 edges, 170233 markings/sec, 780 secs
lola: sara is running 785 secs || 161706542 markings, 460352849 edges, 181773 markings/sec, 785 secs
lola: sara is running 790 secs || 162522311 markings, 462897417 edges, 163154 markings/sec, 790 secs
lola: sara is running 795 secs || 163377016 markings, 465527804 edges, 170941 markings/sec, 795 secs
lola: sara is running 800 secs || 164207992 markings, 468145713 edges, 166195 markings/sec, 800 secs
lola: sara is running 805 secs || 164989416 markings, 470704312 edges, 156285 markings/sec, 805 secs
lola: sara is running 810 secs || 165817469 markings, 473326590 edges, 165611 markings/sec, 810 secs
lola: sara is running 815 secs || 166661466 markings, 475958305 edges, 168799 markings/sec, 815 secs
lola: sara is running 820 secs || 167538104 markings, 478616243 edges, 175328 markings/sec, 820 secs
lola: sara is running 825 secs || 168358837 markings, 481223179 edges, 164147 markings/sec, 825 secs
lola: sara is running 830 secs || 169226446 markings, 483880606 edges, 173522 markings/sec, 830 secs
lola: sara is running 835 secs || 170078009 markings, 486508040 edges, 170313 markings/sec, 835 secs
lola: sara is running 840 secs || 170942861 markings, 489179365 edges, 172970 markings/sec, 840 secs
lola: sara is running 845 secs || 171723447 markings, 491736899 edges, 156117 markings/sec, 845 secs
lola: sara is running 850 secs || 172533802 markings, 494297647 edges, 162071 markings/sec, 850 secs
lola: sara is running 855 secs || 173388136 markings, 496941795 edges, 170867 markings/sec, 855 secs
lola: sara is running 860 secs || 174187197 markings, 499527084 edges, 159812 markings/sec, 860 secs
lola: sara is running 865 secs || 175042470 markings, 502153323 edges, 171055 markings/sec, 865 secs
lola: sara is running 870 secs || 175925702 markings, 504816594 edges, 176646 markings/sec, 870 secs
lola: sara is running 875 secs || 176754587 markings, 507431185 edges, 165777 markings/sec, 875 secs
lola: sara is running 880 secs || 177595402 markings, 510061860 edges, 168163 markings/sec, 880 secs
lola: sara is running 885 secs || 178439670 markings, 512698751 edges, 168854 markings/sec, 885 secs
lola: sara is running 890 secs || 179297135 markings, 515339741 edges, 171493 markings/sec, 890 secs
lola: sara is running 895 secs || 180153727 markings, 517977821 edges, 171318 markings/sec, 895 secs
lola: sara is running 900 secs || 180965640 markings, 520562353 edges, 162383 markings/sec, 900 secs
lola: sara is running 905 secs || 181838080 markings, 523204349 edges, 174488 markings/sec, 905 secs
lola: sara is running 910 secs || 182622488 markings, 525707760 edges, 156882 markings/sec, 910 secs
lola: sara is running 915 secs || 183501658 markings, 528371848 edges, 175834 markings/sec, 915 secs
lola: sara is running 920 secs || 184353363 markings, 530987585 edges, 170341 markings/sec, 920 secs
lola: sara is running 925 secs || 185241077 markings, 533662256 edges, 177543 markings/sec, 925 secs
lola: sara is running 930 secs || 186036862 markings, 536240058 edges, 159157 markings/sec, 930 secs
lola: sara is running 935 secs || 186865421 markings, 538836803 edges, 165712 markings/sec, 935 secs
lola: sara is running 940 secs || 187668096 markings, 541401880 edges, 160535 markings/sec, 940 secs
lola: sara is running 945 secs || 188501021 markings, 544014905 edges, 166585 markings/sec, 945 secs
lola: sara is running 950 secs || 189307733 markings, 546596038 edges, 161342 markings/sec, 950 secs
lola: sara is running 955 secs || 190113197 markings, 549166680 edges, 161093 markings/sec, 955 secs
lola: sara is running 960 secs || 190941185 markings, 551769204 edges, 165598 markings/sec, 960 secs
lola: sara is running 965 secs || 191709202 markings, 554288594 edges, 153603 markings/sec, 965 secs
lola: sara is running 970 secs || 192437690 markings, 556702409 edges, 145698 markings/sec, 970 secs
lola: sara is running 975 secs || 193262836 markings, 559282278 edges, 165029 markings/sec, 975 secs
lola: sara is running 980 secs || 194035740 markings, 561797670 edges, 154581 markings/sec, 980 secs
lola: sara is running 985 secs || 194805597 markings, 564317753 edges, 153971 markings/sec, 985 secs
lola: sara is running 990 secs || 195567978 markings, 566813581 edges, 152476 markings/sec, 990 secs
lola: sara is running 995 secs || 196414136 markings, 569406101 edges, 169232 markings/sec, 995 secs
lola: sara is running 1000 secs || 197218270 markings, 571942205 edges, 160827 markings/sec, 1000 secs
lola: sara is running 1005 secs || 198006705 markings, 574460141 edges, 157687 markings/sec, 1005 secs
lola: sara is running 1010 secs || 198775958 markings, 576949305 edges, 153851 markings/sec, 1010 secs
lola: sara is running 1015 secs || 199570677 markings, 579455374 edges, 158944 markings/sec, 1015 secs
lola: sara is running 1020 secs || 200347139 markings, 581948972 edges, 155292 markings/sec, 1020 secs
lola: sara is running 1025 secs || 201123951 markings, 584418195 edges, 155362 markings/sec, 1025 secs
lola: sara is running 1030 secs || 201842004 markings, 586810598 edges, 143611 markings/sec, 1030 secs
lola: sara is running 1035 secs || 202629005 markings, 589320330 edges, 157400 markings/sec, 1035 secs
lola: sara is running 1040 secs || 203409304 markings, 591822445 edges, 156060 markings/sec, 1040 secs
lola: sara is running 1045 secs || 204201309 markings, 594324768 edges, 158401 markings/sec, 1045 secs
lola: sara is running 1050 secs || 205014696 markings, 596866045 edges, 162677 markings/sec, 1050 secs
lola: sara is running 1055 secs || 205859590 markings, 599463818 edges, 168979 markings/sec, 1055 secs
lola: sara is running 1060 secs || 206650934 markings, 601973705 edges, 158269 markings/sec, 1060 secs
lola: sara is running 1065 secs || 207432861 markings, 604444129 edges, 156385 markings/sec, 1065 secs
lola: sara is running 1070 secs || 208187687 markings, 606921876 edges, 150965 markings/sec, 1070 secs
lola: sara is running 1075 secs || 208953040 markings, 609409040 edges, 153071 markings/sec, 1075 secs
lola: sara is running 1080 secs || 209765758 markings, 611937627 edges, 162544 markings/sec, 1080 secs
lola: sara is running 1085 secs || 210553680 markings, 614434142 edges, 157584 markings/sec, 1085 secs
lola: sara is running 1090 secs || 211317450 markings, 616861078 edges, 152754 markings/sec, 1090 secs
lola: sara is running 1095 secs || 212137745 markings, 619413307 edges, 164059 markings/sec, 1095 secs
lola: sara is running 1100 secs || 212957435 markings, 621980733 edges, 163938 markings/sec, 1100 secs
lola: sara is running 1105 secs || 213791878 markings, 624543348 edges, 166889 markings/sec, 1105 secs
lola: sara is running 1110 secs || 214594156 markings, 627096312 edges, 160456 markings/sec, 1110 secs
lola: sara is running 1115 secs || 215398288 markings, 629637981 edges, 160826 markings/sec, 1115 secs
lola: sara is running 1120 secs || 216185762 markings, 632145699 edges, 157495 markings/sec, 1120 secs
lola: sara is running 1125 secs || 216974822 markings, 634670011 edges, 157812 markings/sec, 1125 secs
lola: sara is running 1130 secs || 217786553 markings, 637217125 edges, 162346 markings/sec, 1130 secs
lola: sara is running 1135 secs || 218636022 markings, 639788333 edges, 169894 markings/sec, 1135 secs
lola: sara is running 1140 secs || 219437372 markings, 642310101 edges, 160270 markings/sec, 1140 secs
lola: sara is running 1145 secs || 220192881 markings, 644798366 edges, 151102 markings/sec, 1145 secs
lola: sara is running 1150 secs || 220933042 markings, 647222070 edges, 148032 markings/sec, 1150 secs
lola: sara is running 1155 secs || 221699945 markings, 649734626 edges, 153381 markings/sec, 1155 secs
lola: sara is running 1160 secs || 222503309 markings, 652274588 edges, 160673 markings/sec, 1160 secs
lola: sara is running 1165 secs || 223336378 markings, 654859099 edges, 166614 markings/sec, 1165 secs
lola: sara is running 1170 secs || 224186310 markings, 657438602 edges, 169986 markings/sec, 1170 secs
lola: sara is running 1175 secs || 224973756 markings, 659965090 edges, 157489 markings/sec, 1175 secs
lola: sara is running 1180 secs || 225750175 markings, 662492678 edges, 155284 markings/sec, 1180 secs
lola: sara is running 1185 secs || 226527184 markings, 664996541 edges, 155402 markings/sec, 1185 secs
lola: sara is running 1190 secs || 227306427 markings, 667490954 edges, 155849 markings/sec, 1190 secs
lola: sara is running 1195 secs || 228116014 markings, 670026801 edges, 161917 markings/sec, 1195 secs
lola: sara is running 1200 secs || 228892649 markings, 672536787 edges, 155327 markings/sec, 1200 secs
lola: sara is running 1205 secs || 229649780 markings, 675006114 edges, 151426 markings/sec, 1205 secs
lola: sara is running 1210 secs || 230381976 markings, 677397205 edges, 146439 markings/sec, 1210 secs
lola: sara is running 1215 secs || 231142235 markings, 679880798 edges, 152052 markings/sec, 1215 secs
lola: sara is running 1220 secs || 231930055 markings, 682415391 edges, 157564 markings/sec, 1220 secs
lola: sara is running 1225 secs || 232654111 markings, 684853700 edges, 144811 markings/sec, 1225 secs
lola: sara is running 1230 secs || 233373285 markings, 687140625 edges, 143835 markings/sec, 1230 secs
lola: sara is running 1235 secs || 233469729 markings, 687423103 edges, 19289 markings/sec, 1235 secs
lola: sara is running 1240 secs || 233482815 markings, 687469421 edges, 2617 markings/sec, 1240 secs
lola: sara is running 1245 secs || 233486269 markings, 687481495 edges, 691 markings/sec, 1245 secs
lola: sara is running 1250 secs || 233490184 markings, 687494621 edges, 783 markings/sec, 1250 secs
lola: sara is running 1255 secs || 233492553 markings, 687502429 edges, 474 markings/sec, 1255 secs
lola: sara is running 1260 secs || 233507871 markings, 687556847 edges, 3064 markings/sec, 1260 secs
lola: sara is running 1265 secs || 233517698 markings, 687590253 edges, 1965 markings/sec, 1265 secs
lola: sara is running 1270 secs || 233525339 markings, 687616806 edges, 1528 markings/sec, 1270 secs
lola: sara is running 1275 secs || 233534945 markings, 687649137 edges, 1921 markings/sec, 1275 secs
lola: sara is running 1280 secs || 233544775 markings, 687682638 edges, 1966 markings/sec, 1280 secs
lola: sara is running 1285 secs || 233560682 markings, 687737594 edges, 3181 markings/sec, 1285 secs
lola: sara is running 1290 secs || 233564529 markings, 687750490 edges, 769 markings/sec, 1290 secs
lola: sara is running 1295 secs || 233567033 markings, 687758815 edges, 501 markings/sec, 1295 secs
lola: sara is running 1300 secs || 233571187 markings, 687773528 edges, 831 markings/sec, 1300 secs
lola: sara is running 1305 secs || 233579270 markings, 687801362 edges, 1617 markings/sec, 1305 secs
lola: sara is running 1310 secs || 233592468 markings, 687846246 edges, 2640 markings/sec, 1310 secs
lola: sara is running 1315 secs || 233616324 markings, 687927286 edges, 4771 markings/sec, 1315 secs
lola: sara is running 1320 secs || 233617682 markings, 687931924 edges, 272 markings/sec, 1320 secs
lola: sara is running 1325 secs || 233617724 markings, 687932058 edges, 8 markings/sec, 1325 secs
lola: sara is running 1330 secs || 233625995 markings, 687960586 edges, 1654 markings/sec, 1330 secs
lola: sara is running 1335 secs || 233631660 markings, 687976337 edges, 1133 markings/sec, 1335 secs
lola: sara is running 1340 secs || 233651170 markings, 688024879 edges, 3902 markings/sec, 1340 secs
lola: sara is running 1345 secs || 233651225 markings, 688025034 edges, 11 markings/sec, 1345 secs
lola: sara is running 1350 secs || 233654776 markings, 688034497 edges, 710 markings/sec, 1350 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((((CwG <= SF) AND (Uf <= StR)) OR (StR + 1 <= Uf) OR (SpA <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((CwG <= SF) AND (Uf <= StR)) OR (StR + 1 <= Uf) OR (SpA <= 0))))
lola: processed formula length: 74
lola: 11 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (((SF + 1 <= CwG) OR (StR + 1 <= Uf)) AND (Uf <= StR) AND (1 <= SpA))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-16-0.sara.
lola: sara is running 0 secs || 3174121 markings, 4014299 edges, 634824 markings/sec, 0 secs
lola: sara is running 5 secs || 6385817 markings, 8083744 edges, 642339 markings/sec, 5 secs
lola: sara is running 10 secs || 9615467 markings, 12163286 edges, 645930 markings/sec, 10 secs
lola: sara is running 15 secs || 12891362 markings, 16310605 edges, 655179 markings/sec, 15 secs
lola: sara is running 20 secs || 15901149 markings, 20124296 edges, 601957 markings/sec, 20 secs
lola: sara is running 25 secs || 19110658 markings, 24196592 edges, 641902 markings/sec, 25 secs
lola: sara is running 30 secs || 22311235 markings, 28252505 edges, 640115 markings/sec, 30 secs
lola: sara is running 35 secs || 25473186 markings, 32267337 edges, 632390 markings/sec, 35 secs
lola: sara is running 40 secs || 28465354 markings, 36319793 edges, 598434 markings/sec, 40 secs
lola: sara is running 45 secs || 31030810 markings, 40065095 edges, 513091 markings/sec, 45 secs
lola: sara is running 50 secs || 33425140 markings, 43648429 edges, 478866 markings/sec, 50 secs
lola: sara is running 55 secs || 35764021 markings, 47143923 edges, 467776 markings/sec, 55 secs
lola: sara is running 60 secs || 37959030 markings, 50469981 edges, 439002 markings/sec, 60 secs
lola: sara is running 65 secs || 40124039 markings, 53759538 edges, 433002 markings/sec, 65 secs
lola: sara is running 70 secs || 42250625 markings, 57006245 edges, 425317 markings/sec, 70 secs
lola: sara is running 75 secs || 44355042 markings, 60219133 edges, 420883 markings/sec, 75 secs
lola: sara is running 80 secs || 46450959 markings, 63423755 edges, 419183 markings/sec, 80 secs
lola: sara is running 85 secs || 48532731 markings, 66607133 edges, 416354 markings/sec, 85 secs
lola: sara is running 90 secs || 50588107 markings, 69753531 edges, 411075 markings/sec, 90 secs
lola: sara is running 95 secs || 52642482 markings, 72890513 edges, 410875 markings/sec, 95 secs
lola: sara is running 100 secs || 54671681 markings, 76006277 edges, 405840 markings/sec, 100 secs
lola: sara is running 105 secs || 56718930 markings, 79130509 edges, 409450 markings/sec, 105 secs
lola: sara is running 110 secs || 58726457 markings, 82211634 edges, 401505 markings/sec, 110 secs
lola: sara is running 115 secs || 60744136 markings, 85296943 edges, 403536 markings/sec, 115 secs
lola: sara is running 120 secs || 62731358 markings, 88354787 edges, 397444 markings/sec, 120 secs
lola: sara is running 125 secs || 64697492 markings, 91390470 edges, 393227 markings/sec, 125 secs
lola: sara is running 130 secs || 66668922 markings, 94420804 edges, 394286 markings/sec, 130 secs
lola: sara is running 135 secs || 68607746 markings, 97404142 edges, 387765 markings/sec, 135 secs
lola: sara is running 140 secs || 70438723 markings, 100219288 edges, 366195 markings/sec, 140 secs
lola: sara is running 145 secs || 72359450 markings, 103178083 edges, 384145 markings/sec, 145 secs
lola: sara is running 150 secs || 74266605 markings, 106123455 edges, 381431 markings/sec, 150 secs
lola: sara is running 155 secs || 76186235 markings, 109076836 edges, 383926 markings/sec, 155 secs
lola: sara is running 160 secs || 78100060 markings, 112034448 edges, 382765 markings/sec, 160 secs
lola: sara is running 165 secs || 80013392 markings, 114991540 edges, 382666 markings/sec, 165 secs
lola: sara is running 170 secs || 81919000 markings, 117936004 edges, 381122 markings/sec, 170 secs
lola: sara is running 175 secs || 83814790 markings, 120872333 edges, 379158 markings/sec, 175 secs
lola: sara is running 180 secs || 85711444 markings, 123803590 edges, 379331 markings/sec, 180 secs
lola: sara is running 185 secs || 87648566 markings, 126798176 edges, 387424 markings/sec, 185 secs
lola: sara is running 190 secs || 89566895 markings, 129767505 edges, 383666 markings/sec, 190 secs
lola: sara is running 195 secs || 91480849 markings, 132738012 edges, 382791 markings/sec, 195 secs
lola: sara is running 200 secs || 93390464 markings, 135700677 edges, 381923 markings/sec, 200 secs
lola: sara is running 205 secs || 95311636 markings, 138675305 edges, 384234 markings/sec, 205 secs
lola: sara is running 210 secs || 97213979 markings, 141627856 edges, 380469 markings/sec, 210 secs
lola: sara is running 215 secs || 99124980 markings, 144584983 edges, 382200 markings/sec, 215 secs
lola: sara is running 220 secs || 101033760 markings, 147538566 edges, 381756 markings/sec, 220 secs
lola: sara is running 225 secs || 102945894 markings, 150495942 edges, 382427 markings/sec, 225 secs
lola: sara is running 230 secs || 104829104 markings, 153427936 edges, 376642 markings/sec, 230 secs
lola: sara is running 235 secs || 106718366 markings, 156366714 edges, 377852 markings/sec, 235 secs
lola: sara is running 240 secs || 108615664 markings, 159309404 edges, 379460 markings/sec, 240 secs
lola: sara is running 245 secs || 110496397 markings, 162232358 edges, 376147 markings/sec, 245 secs
lola: sara is running 250 secs || 112375872 markings, 165151270 edges, 375895 markings/sec, 250 secs
lola: sara is running 255 secs || 114264408 markings, 168079845 edges, 377707 markings/sec, 255 secs
lola: sara is running 260 secs || 116031684 markings, 170825789 edges, 353455 markings/sec, 260 secs
lola: sara is running 265 secs || 117914475 markings, 173753371 edges, 376558 markings/sec, 265 secs
lola: sara is running 270 secs || 119771720 markings, 176658781 edges, 371449 markings/sec, 270 secs
lola: sara is running 275 secs || 121658062 markings, 179575915 edges, 377268 markings/sec, 275 secs
lola: sara is running 280 secs || 123522126 markings, 182477536 edges, 372813 markings/sec, 280 secs
lola: sara is running 285 secs || 125387832 markings, 185386722 edges, 373141 markings/sec, 285 secs
lola: sara is running 290 secs || 127250074 markings, 188278491 edges, 372448 markings/sec, 290 secs
lola: sara is running 295 secs || 129115207 markings, 191182947 edges, 373027 markings/sec, 295 secs
lola: sara is running 300 secs || 130979899 markings, 194081872 edges, 372938 markings/sec, 300 secs
lola: sara is running 305 secs || 132830030 markings, 196964932 edges, 370026 markings/sec, 305 secs
lola: sara is running 310 secs || 134667165 markings, 199835540 edges, 367427 markings/sec, 310 secs
lola: sara is running 315 secs || 136535887 markings, 202735506 edges, 373744 markings/sec, 315 secs
lola: sara is running 320 secs || 138405618 markings, 205643240 edges, 373946 markings/sec, 320 secs
lola: sara is running 325 secs || 140252892 markings, 208531066 edges, 369455 markings/sec, 325 secs
lola: sara is running 330 secs || 142091921 markings, 211402539 edges, 367806 markings/sec, 330 secs
lola: sara is running 335 secs || 143931298 markings, 214270712 edges, 367875 markings/sec, 335 secs
lola: sara is running 340 secs || 145772673 markings, 217137893 edges, 368275 markings/sec, 340 secs
lola: sara is running 345 secs || 147628675 markings, 220019260 edges, 371200 markings/sec, 345 secs
lola: sara is running 350 secs || 149466790 markings, 222886683 edges, 367623 markings/sec, 350 secs
lola: sara is running 355 secs || 151311873 markings, 225754011 edges, 369017 markings/sec, 355 secs
lola: sara is running 360 secs || 153169731 markings, 228640710 edges, 371572 markings/sec, 360 secs
lola: sara is running 365 secs || 154989266 markings, 231481926 edges, 363907 markings/sec, 365 secs
lola: sara is running 370 secs || 156823122 markings, 234340429 edges, 366771 markings/sec, 370 secs
lola: sara is running 375 secs || 158648575 markings, 237185047 edges, 365091 markings/sec, 375 secs
lola: sara is running 380 secs || 160381104 markings, 239891999 edges, 346506 markings/sec, 380 secs
lola: sara is running 385 secs || 162216289 markings, 242749799 edges, 367037 markings/sec, 385 secs
lola: sara is running 390 secs || 164033990 markings, 245588246 edges, 363540 markings/sec, 390 secs
lola: sara is running 395 secs || 165853894 markings, 248429075 edges, 363981 markings/sec, 395 secs
lola: sara is running 400 secs || 167649908 markings, 251249552 edges, 359203 markings/sec, 400 secs
lola: sara is running 405 secs || 169463377 markings, 254075004 edges, 362694 markings/sec, 405 secs
lola: sara is running 410 secs || 171277111 markings, 256909785 edges, 362747 markings/sec, 410 secs
lola: sara is running 415 secs || 173089470 markings, 259740858 edges, 362472 markings/sec, 415 secs
lola: sara is running 420 secs || 174871736 markings, 262535584 edges, 356453 markings/sec, 420 secs
lola: sara is running 425 secs || 176693960 markings, 265370895 edges, 364445 markings/sec, 425 secs
lola: sara is running 430 secs || 178494769 markings, 268189719 edges, 360162 markings/sec, 430 secs
lola: sara is running 435 secs || 180316423 markings, 271023613 edges, 364331 markings/sec, 435 secs
lola: sara is running 440 secs || 182039251 markings, 273712108 edges, 344566 markings/sec, 440 secs
lola: sara is running 445 secs || 183837541 markings, 276530773 edges, 359658 markings/sec, 445 secs
lola: sara is running 450 secs || 185657587 markings, 279364590 edges, 364009 markings/sec, 450 secs
lola: sara is running 455 secs || 187471968 markings, 282188720 edges, 362876 markings/sec, 455 secs
lola: sara is running 460 secs || 189278304 markings, 285011689 edges, 361267 markings/sec, 460 secs
lola: sara is running 465 secs || 191079504 markings, 287821045 edges, 360240 markings/sec, 465 secs
lola: sara is running 470 secs || 192898408 markings, 290651672 edges, 363781 markings/sec, 470 secs
lola: sara is running 475 secs || 194707484 markings, 293481432 edges, 361815 markings/sec, 475 secs
lola: sara is running 480 secs || 196496081 markings, 296286181 edges, 357719 markings/sec, 480 secs
lola: sara is running 485 secs || 198304197 markings, 299108433 edges, 361623 markings/sec, 485 secs
lola: sara is running 490 secs || 200081541 markings, 301903114 edges, 355469 markings/sec, 490 secs
lola: sara is running 495 secs || 201863315 markings, 304690345 edges, 356355 markings/sec, 495 secs
lola: sara is running 500 secs || 203573422 markings, 307362073 edges, 342021 markings/sec, 500 secs
lola: sara is running 505 secs || 205368303 markings, 310152319 edges, 358976 markings/sec, 505 secs
lola: sara is running 510 secs || 207153227 markings, 312948726 edges, 356985 markings/sec, 510 secs
lola: sara is running 515 secs || 208941332 markings, 315747193 edges, 357621 markings/sec, 515 secs
lola: sara is running 520 secs || 210724510 markings, 318544310 edges, 356636 markings/sec, 520 secs
lola: sara is running 525 secs || 212509813 markings, 321329548 edges, 357061 markings/sec, 525 secs
lola: sara is running 530 secs || 214292623 markings, 324129097 edges, 356562 markings/sec, 530 secs
lola: sara is running 535 secs || 216080451 markings, 326920178 edges, 357566 markings/sec, 535 secs
lola: sara is running 540 secs || 217863259 markings, 329707529 edges, 356562 markings/sec, 540 secs
lola: sara is running 545 secs || 219673870 markings, 332527783 edges, 362122 markings/sec, 545 secs
lola: sara is running 550 secs || 221477636 markings, 335343645 edges, 360753 markings/sec, 550 secs
lola: sara is running 555 secs || 223245469 markings, 338112892 edges, 353567 markings/sec, 555 secs
lola: sara is running 560 secs || 225028061 markings, 340902868 edges, 356518 markings/sec, 560 secs
lola: sara is running 565 secs || 226820592 markings, 343705590 edges, 358506 markings/sec, 565 secs
lola: sara is running 570 secs || 228619847 markings, 346515786 edges, 359851 markings/sec, 570 secs
lola: sara is running 575 secs || 230378963 markings, 349291511 edges, 351823 markings/sec, 575 secs
lola: sara is running 580 secs || 232165843 markings, 352080863 edges, 357376 markings/sec, 580 secs
lola: sara is running 585 secs || 233991123 markings, 354912895 edges, 365056 markings/sec, 585 secs
lola: sara is running 590 secs || 235751579 markings, 357673786 edges, 352091 markings/sec, 590 secs
lola: sara is running 595 secs || 237518996 markings, 360446299 edges, 353483 markings/sec, 595 secs
lola: sara is running 600 secs || 239289272 markings, 363219853 edges, 354055 markings/sec, 600 secs
lola: sara is running 605 secs || 241064355 markings, 365993941 edges, 355017 markings/sec, 605 secs
lola: sara is running 610 secs || 242830151 markings, 368749801 edges, 353159 markings/sec, 610 secs
lola: sara is running 615 secs || 244581002 markings, 371501772 edges, 350170 markings/sec, 615 secs
lola: sara is running 620 secs || 246261102 markings, 374138134 edges, 336020 markings/sec, 620 secs
lola: sara is running 625 secs || 248056235 markings, 376930946 edges, 359027 markings/sec, 625 secs
lola: sara is running 630 secs || 249828095 markings, 379704123 edges, 354372 markings/sec, 630 secs
lola: sara is running 635 secs || 251600171 markings, 382480166 edges, 354415 markings/sec, 635 secs
lola: sara is running 640 secs || 253349403 markings, 385231153 edges, 349846 markings/sec, 640 secs
lola: sara is running 645 secs || 255108442 markings, 387986144 edges, 351808 markings/sec, 645 secs
lola: sara is running 650 secs || 256857465 markings, 390736176 edges, 349805 markings/sec, 650 secs
lola: sara is running 655 secs || 258605647 markings, 393488208 edges, 349636 markings/sec, 655 secs
lola: sara is running 660 secs || 260368005 markings, 396242524 edges, 352472 markings/sec, 660 secs
lola: sara is running 665 secs || 262113314 markings, 398985126 edges, 349062 markings/sec, 665 secs
lola: sara is running 670 secs || 263854558 markings, 401723970 edges, 348249 markings/sec, 670 secs
lola: sara is running 675 secs || 265604116 markings, 404468966 edges, 349912 markings/sec, 675 secs
lola: sara is running 680 secs || 267275440 markings, 407092180 edges, 334265 markings/sec, 680 secs
lola: sara is running 685 secs || 269030968 markings, 409850108 edges, 351106 markings/sec, 685 secs
lola: sara is running 690 secs || 270789070 markings, 412605710 edges, 351620 markings/sec, 690 secs
lola: sara is running 695 secs || 272548244 markings, 415355552 edges, 351835 markings/sec, 695 secs
lola: sara is running 700 secs || 274329680 markings, 418134986 edges, 356287 markings/sec, 700 secs
lola: sara is running 705 secs || 276096828 markings, 420894645 edges, 353430 markings/sec, 705 secs
lola: sara is running 710 secs || 277849594 markings, 423643301 edges, 350553 markings/sec, 710 secs
lola: sara is running 715 secs || 279605296 markings, 426402588 edges, 351140 markings/sec, 715 secs
lola: sara is running 720 secs || 281343847 markings, 429136401 edges, 347710 markings/sec, 720 secs
lola: sara is running 725 secs || 283083922 markings, 431867560 edges, 348015 markings/sec, 725 secs
lola: sara is running 730 secs || 284811982 markings, 434578460 edges, 345612 markings/sec, 730 secs
lola: sara is running 735 secs || 286546927 markings, 437312431 edges, 346989 markings/sec, 735 secs
lola: sara is running 740 secs || 288201644 markings, 439911025 edges, 330943 markings/sec, 740 secs
lola: sara is running 745 secs || 289934400 markings, 442640220 edges, 346551 markings/sec, 745 secs
lola: sara is running 750 secs || 291679485 markings, 445379420 edges, 349017 markings/sec, 750 secs
lola: sara is running 755 secs || 292293302 markings, 446341694 edges, 122763 markings/sec, 755 secs
lola: sara is running 760 secs || 292295697 markings, 446345613 edges, 479 markings/sec, 760 secs
lola: sara is running 765 secs || 292303507 markings, 446358833 edges, 1562 markings/sec, 765 secs
lola: sara is running 770 secs || 292313978 markings, 446375219 edges, 2094 markings/sec, 770 secs
lola: sara is running 775 secs || 292328052 markings, 446396342 edges, 2815 markings/sec, 775 secs
lola: sara is running 780 secs || 292339397 markings, 446414397 edges, 2269 markings/sec, 780 secs
lola: sara is running 785 secs || 292344383 markings, 446422935 edges, 997 markings/sec, 785 secs
lola: sara is running 790 secs || 292358537 markings, 446444027 edges, 2831 markings/sec, 790 secs
lola: sara is running 795 secs || 292373659 markings, 446467084 edges, 3024 markings/sec, 795 secs
lola: sara is running 800 secs || 292394616 markings, 446499916 edges, 4191 markings/sec, 800 secs
lola: sara is running 805 secs || 292407710 markings, 446521275 edges, 2619 markings/sec, 805 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N0500P0-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF)))))
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 ((((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF)))))
lola: processed formula length: 91
lola: 10 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: (((CwA <= MtF) AND (Uf <= 2)) OR ((MwU <= MpA) AND (Ci <= SA) AND (Mi + 1 <= CF)))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-ReachabilityCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ClientsAndServers-PT-N0500P0-ReachabilityCardinality-17-0.sara.
lola: sara is running 0 secs || 2174333 markings, 4555302 edges, 434867 markings/sec, 0 secs
lola: sara is running 5 secs || 4200651 markings, 8910752 edges, 405264 markings/sec, 5 secs
lola: sara is running 10 secs || 6063959 markings, 12976409 edges, 372662 markings/sec, 10 secs
lola: sara is running 15 secs || 7656066 markings, 16583893 edges, 318421 markings/sec, 15 secs
lola: sara is running 20 secs || 9168625 markings, 20089351 edges, 302512 markings/sec, 20 secs
lola: sara is running 25 secs || 10630271 markings, 23511470 edges, 292329 markings/sec, 25 secs
lola: sara is running 30 secs || 12039914 markings, 26846645 edges, 281929 markings/sec, 30 secs
lola: sara is running 35 secs || 13416994 markings, 30142037 edges, 275416 markings/sec, 35 secs
lola: sara is running 40 secs || 14758238 markings, 33392373 edges, 268249 markings/sec, 40 secs
lola: sara is running 45 secs || 16087633 markings, 36600069 edges, 265879 markings/sec, 45 secs
lola: sara is running 50 secs || 17369140 markings, 39796878 edges, 256301 markings/sec, 50 secs
lola: sara is running 55 secs || 18649053 markings, 42966144 edges, 255983 markings/sec, 55 secs
lola: sara is running 60 secs || 19933698 markings, 46092856 edges, 256929 markings/sec, 60 secs
lola: sara is running 65 secs || 21174376 markings, 49198101 edges, 248136 markings/sec, 65 secs
lola: sara is running 70 secs || 22412814 markings, 52319138 edges, 247688 markings/sec, 70 secs
lola: sara is running 75 secs || 23627667 markings, 55393814 edges, 242971 markings/sec, 75 secs
lola: sara is running 80 secs || 24813536 markings, 58429202 edges, 237174 markings/sec, 80 secs
lola: sara is running 85 secs || 25993865 markings, 61519790 edges, 236066 markings/sec, 85 secs
lola: sara is running 90 secs || 27187257 markings, 64543125 edges, 238678 markings/sec, 90 secs
lola: sara is running 95 secs || 28337710 markings, 67575585 edges, 230091 markings/sec, 95 secs
lola: sara is running 100 secs || 29485279 markings, 70551893 edges, 229514 markings/sec, 100 secs
lola: sara is running 105 secs || 30627539 markings, 73532036 edges, 228452 markings/sec, 105 secs
lola: sara is running 110 secs || 31749142 markings, 76484956 edges, 224321 markings/sec, 110 secs
lola: sara is running 115 secs || 32862690 markings, 79450561 edges, 222710 markings/sec, 115 secs
lola: sara is running 120 secs || 33995694 markings, 82390395 edges, 226601 markings/sec, 120 secs
lola: sara is running 125 secs || 35081407 markings, 85311025 edges, 217143 markings/sec, 125 secs
lola: sara is running 130 secs || 36191051 markings, 88246321 edges, 221929 markings/sec, 130 secs
lola: sara is running 135 secs || 37248974 markings, 91147794 edges, 211585 markings/sec, 135 secs
lola: sara is running 140 secs || 38318428 markings, 94026475 edges, 213891 markings/sec, 140 secs
lola: sara is running 145 secs || 39398631 markings, 96905825 edges, 216041 markings/sec, 145 secs
lola: sara is running 150 secs || 40437083 markings, 99777319 edges, 207690 markings/sec, 150 secs
lola: sara is running 155 secs || 41490246 markings, 102619890 edges, 210633 markings/sec, 155 secs
lola: sara is running 160 secs || 42514440 markings, 105462775 edges, 204839 markings/sec, 160 secs
lola: sara is running 165 secs || 43556956 markings, 108304380 edges, 208503 markings/sec, 165 secs
lola: sara is running 170 secs || 44590868 markings, 111144881 edges, 206782 markings/sec, 170 secs
lola: sara is running 175 secs || 45586474 markings, 113976261 edges, 199121 markings/sec, 175 secs
lola: sara is running 180 secs || 46604691 markings, 116776897 edges, 203643 markings/sec, 180 secs
lola: sara is running 185 secs || 47617263 markings, 119560328 edges, 202514 markings/sec, 185 secs
lola: sara is running 190 secs || 48628761 markings, 122348147 edges, 202300 markings/sec, 190 secs
lola: sara is running 195 secs || 49615951 markings, 125122891 edges, 197438 markings/sec, 195 secs
lola: sara is running 200 secs || 50606690 markings, 127886943 edges, 198148 markings/sec, 200 secs
lola: sara is running 205 secs || 51606836 markings, 130657098 edges, 200029 markings/sec, 205 secs
lola: sara is running 210 secs || 52591091 markings, 133406052 edges, 196851 markings/sec, 210 secs
lola: sara is running 215 secs || 53567497 markings, 136143375 edges, 195281 markings/sec, 215 secs
lola: sara is running 220 secs || 54550618 markings, 138872463 edges, 196624 markings/sec, 220 secs
lola: sara is running 225 secs || 55530336 markings, 141610239 edges, 195944 markings/sec, 225 secs
lola: sara is running 230 secs || 56506721 markings, 144344724 edges, 195277 markings/sec, 230 secs
lola: sara is running 235 secs || 57487977 markings, 147063995 edges, 196251 markings/sec, 235 secs
lola: sara is running 240 secs || 58437111 markings, 149778434 edges, 189827 markings/sec, 240 secs
lola: sara is running 245 secs || 59353238 markings, 152471349 edges, 183225 markings/sec, 245 secs
lola: sara is running 250 secs || 60340158 markings, 155180494 edges, 197384 markings/sec, 250 secs
lola: sara is running 255 secs || 61318588 markings, 157879855 edges, 195686 markings/sec, 255 secs
lola: sara is running 260 secs || 62255453 markings, 160552007 edges, 187373 markings/sec, 260 secs
lola: sara is running 265 secs || 63184218 markings, 163221409 edges, 185753 markings/sec, 265 secs
lola: sara is running 270 secs || 64120385 markings, 165902097 edges, 187233 markings/sec, 270 secs
lola: sara is running 275 secs || 65076592 markings, 168569671 edges, 191241 markings/sec, 275 secs
lola: sara is running 280 secs || 65954102 markings, 171213713 edges, 175502 markings/sec, 280 secs
lola: sara is running 285 secs || 66867536 markings, 173864622 edges, 182687 markings/sec, 285 secs
lola: sara is running 290 secs || 67788343 markings, 176543770 edges, 184161 markings/sec, 290 secs
lola: sara is running 295 secs || 68741430 markings, 179190892 edges, 190617 markings/sec, 295 secs
lola: sara is running 300 secs || 69677505 markings, 181830001 edges, 187215 markings/sec, 300 secs
lola: sara is running 305 secs || 70559661 markings, 184472527 edges, 176431 markings/sec, 305 secs
lola: sara is running 310 secs || 71432538 markings, 187104781 edges, 174575 markings/sec, 310 secs
lola: sara is running 315 secs || 72320800 markings, 189756900 edges, 177652 markings/sec, 315 secs
lola: sara is running 320 secs || 73246893 markings, 192394752 edges, 185219 markings/sec, 320 secs
lola: sara is running 325 secs || 74124983 markings, 195046071 edges, 175618 markings/sec, 325 secs
lola: sara is running 330 secs || 75028961 markings, 197690170 edges, 180796 markings/sec, 330 secs
lola: sara is running 335 secs || 75945084 markings, 200312287 edges, 183225 markings/sec, 335 secs
lola: sara is running 340 secs || 76836079 markings, 202936926 edges, 178199 markings/sec, 340 secs
lola: sara is running 345 secs || 77725645 markings, 205555331 edges, 177913 markings/sec, 345 secs
lola: sara is running 350 secs || 78624357 markings, 208167351 edges, 179742 markings/sec, 350 secs
lola: sara is running 355 secs || 79496860 markings, 210782580 edges, 174501 markings/sec, 355 secs
lola: sara is running 360 secs || 80385633 markings, 213385154 edges, 177755 markings/sec, 360 secs
lola: sara is running 365 secs || 81291115 markings, 215981040 edges, 181096 markings/sec, 365 secs
lola: sara is running 370 secs || 82164052 markings, 218556866 edges, 174587 markings/sec, 370 secs
lola: sara is running 375 secs || 83063729 markings, 221158706 edges, 179935 markings/sec, 375 secs
lola: sara is running 380 secs || 83902546 markings, 223728821 edges, 167763 markings/sec, 380 secs
lola: sara is running 385 secs || 84761584 markings, 226292761 edges, 171808 markings/sec, 385 secs
lola: sara is running 390 secs || 85601267 markings, 228847030 edges, 167937 markings/sec, 390 secs
lola: sara is running 395 secs || 86464747 markings, 231419140 edges, 172696 markings/sec, 395 secs
lola: sara is running 400 secs || 87325888 markings, 233984321 edges, 172228 markings/sec, 400 secs
lola: sara is running 405 secs || 88156718 markings, 236535565 edges, 166166 markings/sec, 405 secs
lola: sara is running 410 secs || 89006428 markings, 239065900 edges, 169942 markings/sec, 410 secs
lola: sara is running 415 secs || 89872251 markings, 241621525 edges, 173165 markings/sec, 415 secs
lola: sara is running 420 secs || 90712362 markings, 244135915 edges, 168022 markings/sec, 420 secs
lola: sara is running 425 secs || 91594082 markings, 246680775 edges, 176344 markings/sec, 425 secs
lola: sara is running 430 secs || 92452417 markings, 249193193 edges, 171667 markings/sec, 430 secs
lola: sara is running 435 secs || 93289296 markings, 251710930 edges, 167376 markings/sec, 435 secs
lola: sara is running 440 secs || 94166869 markings, 254246142 edges, 175515 markings/sec, 440 secs
lola: sara is running 445 secs || 95069993 markings, 256822939 edges, 180625 markings/sec, 445 secs
lola: sara is running 450 secs || 95913005 markings, 259334309 edges, 168602 markings/sec, 450 secs
lola: sara is running 455 secs || 96757408 markings, 261856290 edges, 168881 markings/sec, 455 secs
lola: sara is running 460 secs || 97626066 markings, 264373756 edges, 173732 markings/sec, 460 secs
lola: sara is running 465 secs || 98466324 markings, 266868608 edges, 168052 markings/sec, 465 secs
lola: sara is running 470 secs || 99328799 markings, 269379210 edges, 172495 markings/sec, 470 secs
lola: sara is running 475 secs || 100154350 markings, 271870918 edges, 165110 markings/sec, 475 secs
lola: sara is running 480 secs || 100977193 markings, 274355588 edges, 164569 markings/sec, 480 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes unknown yes unknown yes no no yes yes yes yes yes yes yes
lola:
preliminary result: yes yes yes unknown yes unknown yes no no yes yes yes yes yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes unknown yes unknown yes no no yes yes yes yes yes yes yes
lola: memory consumption: 7361160 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes unknown yes unknown yes no no yes yes yes yes yes yes yes
lola: memory consumption: 7361556 KB
lola: time consumption: 3570 seconds
BK_STOP 1526565894511
--------------------
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="ClientsAndServers-PT-N0500P0"
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/ClientsAndServers-PT-N0500P0.tgz
mv ClientsAndServers-PT-N0500P0 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 ClientsAndServers-PT-N0500P0, 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 r040-smll-152646357300166"
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 ;